Arithmétique cardinale et ordinale

L'arithmétique cardinale et ordinale étend les notions de dénombrement et d'ordonnancement à l'infini, fournissant les deux mesures complémentaires de taille et de position transfinies.

Definition

Un ordinal est un ensemble transitif bien ordonné par l'appartenance, représentant un type d'ordre ; un cardinal est un ordinal qui n'est pas en bijection avec un ordinal plus petit, représentant une taille. Leur arithmétique définit des opérations de somme, de produit et d'exponentiation étendant celles finies au transfini.

Scope

Ce sujet aborde les nombres ordinaux en tant qu'ensembles bien ordonnés canoniques et leur arithmétique non commutative, les nombres cardinaux en tant que mesures de taille et leur arithmétique sous l'axiome du choix, les hiérarchies aleph et beth, la cofinalité, ainsi que des résultats tels que le théorème de Cantor et le théorème de Koenig.

Core questions

• Comment les ordinaux encodent-ils tout bon ordre à isomorphisme près ?
• Pourquoi l'arithmétique ordinale est-elle non commutative alors que l'arithmétique cardinale ne l'est pas ?
• Comment les cardinaux infinis sont-ils additionnés, multipliés et exponentiés ?
• Quelles contraintes la cofinalité et le théorème de Koenig imposent-ils à l'exponentiation cardinale ?

Key theories

Théorème de Cantor

Pour tout ensemble, l'ensemble de ses parties a une cardinalité strictement supérieure ; il n'existe donc pas de plus grand cardinal et la hiérarchie des tailles infinies ne se termine jamais.

Induction et récursion transfinies

Des propriétés peuvent être prouvées et des fonctions définies sur tous les ordinaux par induction et récursion le long de l'ordre ordinal, le moteur technique central de la théorie des ensembles.

Hiérarchie aleph et exponentiation cardinale

Sous l'axiome du choix, les cardinaux infinis sont bien ordonnés comme les alephs ; la somme et le produit des cardinaux infinis se réduisent au maximum, tandis que l'exponentiation est régie par la cofinalité et le théorème de Koenig et reste largement indépendante de ZFC.

Clinical relevance

L'arithmétique transfinie sous-tend la comparaison des ensembles infinis dans l'ensemble des mathématiques, justifie les arguments par induction transfinie en algèbre et en analyse, et encadre des questions centrales d'indépendance telles que la valeur du continu.

History

Cantor a introduit les nombres ordinaux et cardinaux dans les années 1880 et 1890, démontrant que les nombres réels sont indénombrables et que les ensembles de parties augmentent strictement la cardinalité. La définition des ordinaux par Von Neumann comme ensembles transitifs bien ordonnés par l'appartenance a donné la formulation moderne, et Hausdorff et Koenig ont établi des résultats clés sur l'exponentiation cardinale et la cofinalité.

Key figures

• Georg Cantor
• John von Neumann
• Felix Hausdorff
• Julius Koenig

Seminal works

• jech2003
• enderton1977
• kunen2011

Frequently asked questions

Quelle est la différence entre un ordinal et un cardinal ?

Un ordinal enregistre le type d'ordre d'un bon ordre, distinguant les arrangements qui ont la même taille mais une structure différente, tandis qu'un cardinal n'enregistre que la taille. Tout cardinal est un ordinal, à savoir le plus petit ordinal de sa taille.

Pourquoi un plus oméga diffère-t-il d'oméga plus un ?

L'addition ordinale est définie en concaténant les types d'ordre et est sensible à la position. Placer un élément avant les nombres naturels donne le même type d'ordre que les naturels, tandis que le placer après eux ajoute un nouvel élément maximal ; les deux sommes sont donc des ordinaux différents.