Une théorie de structures ordonnées telle que tout ensemble définissable sur la droite (domaine unidimensionnel) est une réunion finie de points et d'intervalles ; l'o-minimalité impose une forte douceur géométrique aux ensembles définissables.

Principe

Exiger que les sous-ensembles définissables en une variable soient simples — unions finies de points et d'intervalles — de sorte que les ensembles définissables de dimension supérieure héritent de propriétés géométriques et topologiques tempérées via la décomposition en cellules et une théorie de la dimension.

Démonstration

La théorie du corps ordonné des réels est o-minimale : tout ensemble définissable de la droite réelle est une réunion finie de points et d'intervalles ouverts/fermés, ce qui fournit une géométrie tempérée et permet des outils tels que la décomposition cellulaire et la continuité définissable.

Mauvaise application

Supposer que l'o-minimalité découle de tout ordre faible ou de l'absence de combinatoire pathologique ; de nombreuses structures ordonnées ne sont pas o-minimales et on ne peut pas déduire l'o-minimalité de la seule NIP ou stabilité.

Conséquence

L'o-minimalité entraîne des conséquences puissantes : les ensembles définissables ont une complexité topologique finie, les dimensions se comportent de façon prévisible, les fonctions définissables sont par morceaux continues et différentiables sous des extensions légères, et l'on obtient un fort contrôle géométrique et métrique.

Inversion

L'opposé correspond à des théories ordonnées où un ensemble définissable de la ligne présente un comportement fractal ou fortement oscillatoire, ou code des motifs discrets arbitraires — celles-ci manquent de douceur o-minimale et admettent des ensembles définissables sauvages.

Limite

S'applique aux extensions du premier ordre de structures ordonnées et prend comme point de départ les ensembles définissables unidimensionnels ; elle exclut les théories où l'ordre interagit avec une combinatoire plus riche ou une complétude non définissable, et ne se généralise pas directement aux langages non ordonnés.

Tension sémantique

Il existe une tension avec NIP et la stabilité : l'o-minimalité est plus forte et de nature géométrique — toute théorie o-minimale est NIP mais la réciproque est fausse ; l'o-minimalité exige une régularité d'ordre au-delà de la simple douceur combinatoire.

Synthèse

L'o-minimalité est la condition de douceur liée à l'ordre qui exige que les ensembles définissables unidimensionnels soient des unions finies de points et d'intervalles, ce qui se propage à une géométrie multi-dimensionnelle tempérée et une forte régularité des fonctions définissables.