Ordinal limite

En mathématiques et plus précisément en théorie des ensembles, un ordinal limite est un nombre ordinal non nul qui n'est pas un ordinal successeur.

Définition

D'après la définition ci-dessus, un ordinal αあるふぁ est limite si et seulement s'il satisfait l'une des propositions équivalentes suivantes :

• αあるふぁ ≠ 0 et ∀ βべーた  βべーた+1 ≠ αあるふぁ ;
• 0 < αあるふぁ et ∀ βべーた < αあるふぁ  βべーた+1 < αあるふぁ ;
• αあるふぁ ≠ 0 et ∀ βべーた < αあるふぁ  ∃ γがんま   βべーた < γがんま < αあるふぁ ;
• αあるふぁ est non nul et égal à la borne supérieure de tous les ordinaux qui lui sont strictement inférieurs (l'ensemble des ordinaux strictement inférieurs à un ordinal successeur βべーた +1 possède un plus grand élément, l'ordinal βべーた) ;
• en tant qu'ensemble d'ordinaux, αあるふぁ n'est pas vide et ne possède pas de plus grand élément ;
• αあるふぁ peut s'écrire sous la forme ωおめが·γがんま avec γがんま > 0 ;
• αあるふぁ est un point d'accumulation de la classe des nombres ordinaux, munie de la topologie de l'ordre.

Certains manuels incluent également 0 parmi les ordinaux limites.

Exemples

La classe des nombres ordinaux étant bien ordonnée, il existe un ordinal limite plus petit que tous les autres, noté ωおめが. Cet ordinal ωおめが est également le plus petit ordinal infini et est la borne supérieure des entiers naturels. L'ordinal limite suivant est ωおめが + ωおめが = ωおめが·2, suivi par ωおめが·n, pour tout entier naturel n. À partir de la réunion de tous les ωおめが·n, on obtient ωおめが·ωおめが = ωおめが². Ce procédé peut être itéré pour produire :

$\omega ^{3},\omega ^{4},\ldots ,\omega ^{\omega },\omega ^{\omega ^{\omega }},\ldots ,\epsilon _{0}=\omega ^{\omega ^{\omega ^{~\cdot ^{~\cdot ^{~\cdot }}}}},\ldots$

Tous ces ordinaux demeurent dénombrables. Cependant, il n'existe aucune méthode récursivement énumérable pour nommer systématiquement tous les ordinaux plus petits que l'ordinal de Church–Kleene, qui est lui-même dénombrable.

Le premier ordinal non dénombrable est généralement noté ωおめが₁. Il s'agit également d'un ordinal limite.

En poursuivant, on peut définir les ordinaux limites suivants, correspondant à des cardinaux :

$\omega _{2},\omega _{3},\ldots ,\omega _{\omega },\omega _{\omega +1},\ldots ,\omega _{\omega _{\omega }},\ldots$

En général, on obtient un ordinal limite en considérant la réunion d'un ensemble d'ordinaux qui n'admet pas de plus grand élément.

Les ordinaux de la forme ωおめが²αあるふぁ, pour αあるふぁ > 0, sont des limites de limites, etc.

Articles connexes

• Cardinal limite
• Fonction de Veblen