Assertion selon laquelle tout ensemble peut être muni d'un bon ordre — un ordre total dans lequel tout sous-ensemble non vide possède un élément minimal. En théorie des ensembles, cela est équivalent à l'Axiome du Choix (dans ZF).

Principe

Totalisation du choix : toute collection peut être arrangée en une suite munie d'éléments premiers pour tous ses sous-ensembles, ce qui transforme des ensembles arbitraires en domaines bien ordonnés et rend applicables l'induction et la récurrence transfinites.

Démonstration

Exemple abstrait : le théorème implique l'existence d'un bon ordre des nombres réels, bien qu'aucune description explicite au sens usuel ne soit disponible. En théorie des ordinaux, il permet d'identifier tout ensemble à un ordinal et d'indexer ses éléments par des ordinaux pour des constructions transfinies.

Mauvaise application

Supposer que l'ordre usuel d'un ensemble familier (par exemple l'ordre usuel sur R) est un bon ordre : le théorème garantit l'existence d'un certain bon ordre, pas la conservation des ordres donnés. Considérer le bon ordre comme constructif ou descriptible sans preuve supplémentaire conduit aussi à l'erreur.

Conséquence

Permet l'induction transfinit et les définitions par récurrence transfinie, ainsi que l'indexation par ordinaux d'ensembles arbitraires. Équivalent à l'Axiome du Choix, son adoptions implique les mêmes conséquences de sélection et d'existence non constructives.

Inversion

La négation signifierait l'existence d'un ensemble qui ne peut pas être bien ordonné ; dans des modèles de ZF sans Choix de tels ensembles peuvent exister. Par contraste avec le Lemme de Zorn, qui assure l'existence d'éléments maximaux sous bornage des chaînes, le Théorème du Bon Ordre produit un ordre total muni d'éléments minimaux pour chaque sous-ensemble.

Limite

Portée essentiellement en théorie des ensembles : il garantit l'existence d'une relation de bon ordre sur tout ensemble mais ne dit rien sur la compatibilité avec des structures algébriques, topologiques ou métriques déjà présentes. C'est une assertion d'existence globale dépendant des axiomes sous-jacents (équivalente à AC dans ZF).

Tension sémantique

Tension avec l'intuition et la constructivité : l'existence d'un bon ordre sur des ensembles volumineux ou familiers (comme les réels) choque les attentes constructives et ne peut généralement pas être exhibée explicitement. Tension aussi avec les exigences de préservation d'ordre ou de structures.

Synthèse

Le Théorème du Bon Ordre affirme que tout ensemble admet au moins un ordre total qui le rend bien ordonné ; principe d'existence abstrait ouvrant les méthodes transfinies mais généralement non constructif et équivalent au choix.