 ##  [Âge (D'Une Structure)](/fr/node/60082) 

 Définition

La classe (à isomorphisme près) de toutes les structures finiment engendrées — dans le cadre de Fraïssé : finies — qui s'immergent dans une structure dénombrable donnée ; elle enregistre les motifs finis réalisés à l'intérieur de la structure.

 

 

 

 

 

 





## Principe

Principe

L'âge abstrait les données combinatoires locales d'une structure en énumérant les types d'isomorphisme de ses sous-structures finies (ou finiment engendrées) ; deux structures de même âge réalisent les mêmes configurations finies même si elles diffèrent globalement.

 

 

 

 

 





## Démonstration

Démonstration

L'âge de (Q,&lt;) est la classe de tous les ordres linéaires finis ; l'âge du graphe de Rado est la classe de tous les graphes simples finis.

 

 

 

 

## Mauvaise application

Mauvaise application

Confondre l'âge avec l'ensemble de toutes les sous-structures sans quotienter par isomorphisme, inclure des sous-structures infinies, ou considérer l'âge comme un invariant élémentaire (du premier ordre) plutôt que comme un invariant des motifs finis.

 

 

 

 

 





## Conséquence

Conséquence

Connaître l'âge contraint les limites de Fraïssé possibles et, sous les hypothèses d'amalgamation, détermine une structure homogène canonique dénombrable ; c'est l'invariant central dans les problèmes de classification par motifs finis.

 

 

 

 

## Inversion

Inversion

Inversement, on peut partir d'une classe de structures finies (un candidat à être un âge) et se demander si elle est l'âge d'une structure dénombrable, renversant la direction structure→classe en classe→structure.

 

 

 

 

 





## Limite

Limite

L'âge concerne uniquement les sous-structures finiment engendrées (souvent finies) ; il ne capture pas les propriétés combinatoires infinies ni les propriétés du premier ordre comme la complétude ou la satisfaction de phrases infinitaires.

 

 

 

 

 





## Tension sémantique

Tension sémantique

Tension entre 'âge' et 'théorie' : l'âge porte sur les types combinatoires finis à isomorphisme près, tandis que la théorie élémentaire capture les phrases du premier ordre ; elles se recoupent mais l'une n'implique pas nécessairement l'autre.

 

 

 

 

 





## Synthèse

Synthèse

L'âge d'une structure est le catalogue de ses types d'isomorphisme finis (ou finiment engendrés) ; il encode les motifs locaux finis qui, organisés par des propriétés d'amalgamation, peuvent reconstruire des structures homogènes canoniques.