Structure dénombrable ultrahomogène dont l'âge coïncide avec une classe dénombrable de structures finies fermée par sous-structures et isomorphismes, munie des propriétés d'embedding conjoint et d'amalgamation ; elle est unique à isomorphisme près et réalise tous les motifs finis de cette classe.

Principe

À partir d'une classe dénombrable de structures finies, stable par isomorphisme et sous-structure, et satisfaisant l'embedding conjoint et l'amalgamation, on obtient une structure dénombrable ultrahomogène unique à isomorphisme près dont les sous-structures finiment engendrées sont exactement cette classe.

Démonstration

L'ordre dense sans extrêmes (Q,<) est la limite de Fraïssé de la classe de tous les ordres linéaires finis ; le graphe aléatoire (graphe de Rado) est la limite de Fraïssé de la classe des graphes simples finis.

Mauvaise application

Qualifier de limite de Fraïssé une structure dénombrable simplement homogène ou universelle lorsque l'âge n'est pas une classe d'amalgamation dénombrable, ou lorsque les hypothèses sur le langage ou la finitude sont violées.

Conséquence

Sous les hypothèses, on obtient un modèle canonique dénombrable déterminé par ses sous-structures finies ; cela entraîne une forte symétrie (groupe d'automorphismes riche) et une méthode de classification des modèles dénombrables par leurs âges.

Inversion

Au lieu de construire la limite unique à partir d'une classe, on peut partir d'une structure dénombrable ultrahomogène donnée et considérer son âge ; l'inversion met l'accent sur la dérivation de la classe à partir de la structure plutôt que l'inverse.

Limite

S'applique aux langages dénombrables et aux classes dénombrables de structures finies (ou finiment engendrées) possédant la propriété d'amalgamation ; ne s'applique pas directement aux classes non dénombrables, aux signatures d'arité infinie ni aux classes dépourvues d'amalgamation.

Tension sémantique

Tension entre 'ultrahomogène' (toute isomorphie partielle finie s'étend) et 'universel' (contient des copies de toutes les structures d'une classe) : les limites de Fraïssé conjuguent ces deux notions mais se situent strictement dans le cadre des classes d'amalgamation dénombrables.

Synthèse

La limite de Fraïssé est le modèle canonique dénombrable qui réalise exactement les motifs finis d'une classe d'amalgamation dénombrable ; son existence et son unicité découlent des propriétés héréditaire, d'embedding conjoint et d'amalgamation, et produisent une réalisation de symétrie maximale.