##  [O-Minimalité](/fr/node/60372) 

 Définition

Condition de tameness pour structures ordonnées au sens des premiers ordres exigeant que tout sous-ensemble définissable de la droite (domaine unidimensionnel) soit une union finie de points et d'intervalles ouverts. Elle formalise l'absence d'oscillation pathologique des ensembles définissables de l'ordre.

 

 

 

 

 

 





## Principe

Principe

Restreindre les ensembles définissables unidimensionnels à des pièces topologiques simples (points et intervalles), ce qui impose régularité dans le comportement géométrique et combinatoire et permet la décomposition en cellules et une théorie de la dimension.

 

 

 

 

 





## Démonstration

Démonstration

Exemple concret : le corps ordonné des réels avec ses opérations (un corps réellement clos) est o-minimal dans le langage semi-algébrique ; les ensembles définissables y sont des unions finies de points et d'intervalles, et les ensembles définissables de dimension supérieure admettent une décomposition cellulaire en cellules de type variété.

 

 

 

 

## Mauvaise application

Mauvaise application

Considérer une expansion par des fonctions arbitraires (par exemple l'ajout de fonctions analytiques oscillatoires non restreintes) comme restant o-minimale sans vérifier les conditions de définissabilité ; présumer l'o-minimalité dans des contextes multi-triés ou non ordonnés où le critère unidimensionnel n'est pas applicable.

 

 

 

 

 





## Conséquence

Conséquence

L'o-minimalité entraîne une forte régularité géométrique et topologique : théorie de la dimension, finitude des composantes connexes définissables, propriétés de mesure et de triangulation tames, et souvent une bonne notion de continuité et différentiabilité définissables.

 

 

 

 

## Inversion

Inversion

La notion opposée autoriserait des sous-ensembles définissables arbitraires de la droite, y compris des ensembles denses et fortement oscillants avec alternance infinie de points et d'intervalles, détruisant la décomposition en cellules.

 

 

 

 

 





## Limite

Limite

Propriété des structures ordonnées et de leurs expansions du premier ordre ; elle porte explicitement sur les ensembles définissables unidimensionnels et ne garantit pas automatiquement la tameness pour tous les sorts ou pour des expansions ajoutant des fonctions ou prédicats de complexité supérieure.

 

 

 

 

 





## Tension sémantique

Tension sémantique

Une tension apparaît avec des notions de tameness plus faibles (faible o-minimalité, quasi-o-minimalité) et avec les expansions analytiques : certaines expansions préservent l'o-minimalité tandis que d'autres augmentent fortement la complexité définissable, nécessitant des distinctions fines.

 

 

 

 

 





## Synthèse

Synthèse

L'o-minimalité est un axiome de tameness unidimensionnel pour structures ordonnées forçant les ensembles définissables à se décomposer en un nombre fini d'intervalles et de points, ce qui soutient une riche théorie géométrique (décomposition en cellules, dimension, régularité) pour ensembles et applications définissables.