Théorème de comparabilité cardinale
![](http://upload.wikimedia.org/wikipedia/commons/thumb/1/1f/Racine_carr%C3%A9e_bleue.svg/35px-Racine_carr%C3%A9e_bleue.svg.png)
Cet article est une ébauche concernant les mathématiques.
Vous pouvez partager vos connaissances en l’améliorant (comment ?) selon les recommandations des projets correspondants.
En mathématiques, et plus précisément en théorie des ensembles, le théorème de comparabilité cardinale, dû à Friedrich Hartogs[1], énonce qu'entre deux ensembles, il existe forcément une injection de l'un dans l'autre. Autrement dit, pour deux ensembles A et B quelconques, il existe une injection de A dans B ou il existe une injection de B dans A.
On peut reformuler ce théorème de la façon suivante. Si l'on note A ≤ B la propriété « il existe une injection de l'ensemble A dans l'ensemble B », alors ≤ est un « préordre » (en un sens étendu, puisqu'il porte sur une classe propre : celle de tous les ensembles). Le fait que ce préordre soit total, c'est-à-dire que pour deux ensembles A et B, on a au moins A ≤ B ou B ≤ A, est alors exactement l'énoncé du théorème de comparabilité cardinale. Les classes d'équivalences associées à ce préordre sont les classes d'équipotence par le théorème de Cantor-Bernstein, et ce sont aussi des classes propres en dehors de celle de l'ensemble vide.
Sa démonstration, elle, utilise nécessairement l'axiome du choix : ce théorème est même équivalent à l'axiome du choix, par comparaison cardinale entre un ensemble et son cardinal de Hartogs[2].
Le théorème de comparaison cardinale se déduit immédiatement du théorème de Zermelo et du théorème de comparaison entre bons ordres. Une démonstration directe repose sur le lemme de Zorn : le graphe d'une injection de A dans B ou de B dans A est donné par un élément maximal (au sens de l'inclusion) de l'ensemble (inductif) des graphes d'injections d'une partie de A dans une partie de B.
Références
- ↑ (de) Friedrich Moritz Hartogs, « Über das Problem der Wohlordnung », Math. Ann., vol. 76, , p. 438–443 (lire en ligne)
- ↑ René Cori et Daniel Lascar, Logique mathématique II. Fonctions récursives, théorème de Gödel, théorie des ensembles, théorie des modèles [détail des éditions], chap. 7L'ordinal de Hartogs, et son utilisation pour l'équivalence entre la comparabilité cardinale et l'axiome du choix, sont traités en exercice.
Portail des mathématiques
Portail de la logique