Aleph (nombre)
Page d'aide sur l'homonymie Pour les articles homonymes, voir Aleph.

En théorie des ensembles, les alephs sont les cardinaux des ensembles infinis bien ordonnés. En quelque sorte, le cardinal d'un ensemble représente sa « taille », indépendamment de toute structure que puisse avoir cet ensemble (celle d'ordre en particulier dans le cas présent). Ils sont nommés ainsi d'après la lettre aleph, notée א, première lettre de l'alphabet hébreu, qui est utilisée pour les représenter. En effet on montre que les alephs forment une classe propre elle même « bien ordonnée », et il existe alors une et une seule « bijection » (une classe fonctionnelle bijective) croissante de la classe des ordinaux dans la classe des alephs. On utilise la notation ℵα pour désigner l'image de α par cette « bijection ».

En présence de l'axiome du choix les alephs représentent les cardinaux de tous les ensembles infinis, en vertu du théorème de Zermelo qui dit qu'alors tout ensemble peut être bien ordonné. La définition même des alephs n'utilise cependant pas l'axiome du choix.

Le plus petit aleph est le cardinal des entiers naturels, et on le note donc aleph-zéro0. Le suivant est noté aleph-un, ℵ1, puis ℵ2, et ainsi de suite.

La notation a été introduite par Georg Cantor, qui le premier s'est intéressé à la relation d'équipotence entre ensembles infinis, le fait d'être en bijection, et a réalisé que deux ensembles infinis pouvaient ne pas être équipotents. Il a ensuite introduit la notion de nombre cardinal, un nombre qui caractérise une classe d'équivalence pour l'équipotence. Pour Cantor, qui utilise implicitement l'axiome du choix, ou plutôt plus directement que tout ensemble peut être bien ordonné, les alephs représentent tous les cardinaux infinis.

Sommaire

Définitions

Ordinal initial infini

Plus formellement, dans la théorie des ensembles de Zermelo-Fraenkel, on appelle ordinal initial un ordinal qui n'est équipotent à aucun ordinal strictement inférieur, et on appelle aussi cardinal un tel ordinal, en particulier en présence de l'axiome du choix. Un ordinal étant par définition bien ordonné, tout ordinal est donc équipotent à un ordinal initial, et par la même tout ensemble bien ordonné également. Tout ordinal fini est un ordinal initial. Un aleph est par définition un ordinal initial infini. Le plus petit ordinal infini, ω, qui correspond au bon ordre sur les entiers naturels, est également le plus petit aleph, et on le note, en tant que cardinal, ℵ0.

La classe propre des alephs

La classe des ordinaux est une classe propre : c'est une version positive du paradoxe de Burali-Forti. On en déduit, grâce au schéma d'axiomes de remplacement que la classe des ordinaux initiaux est aussi une classe propre.

En effet, si ce n'était pas le cas, à partir d'un certain rang les ordinaux seraient tous équipotents, soit α le plus petit d'entre eux. Tout ordinal serait alors subpotent à α, et donc isomorphe à un bon ordre sur une partie de α. Un tel bon ordre est défini par son graphe : une partie de α × α. On peut donc définir par compréhension sur l'ensemble des parties de α × α, l'ensemble des bons ordres définis sur une partie de α. On associe à chacun de ces bons ordres son ordinal, et les ordinaux ainsi obtenus forment un ensemble par remplacement, ce ne peut donc être la classe de tous les ordinaux d'où la contradiction.

La classe des alephs est donc elle-même une classe propre, puisque les ordinaux initiaux finis forment un ensemble (qui est celui des entiers naturels).

Définition par induction

Une classe propre d'ordinaux est nécessairement image de la classe des ordinaux par une unique classe fonctionnelle bijective croissante : définition par induction ordinale pour l'existence, démonstration par induction ordinale pour l'unicité.

Pour expliciter la définition dans le cas des alephs, on va noter ρ → ρ+ le successeur sur les ordinaux initiaux (c'est le successeur cardinal, qui diffère du successeur ordinal) : à ρ il associe le plus petit des ordinaux strictement supérieur à ρ et non équipotent à ρ. Il existe forcément un tel ordinal, puisque la classe des ordinaux initiaux est une classe propre, et que toute classe non vide d'ordinaux a un plus petit élément.

Il est possible alors de définir la suite ordinale aleph de la façon suivante :

\aleph_{0} = \omega
\aleph_{\alpha+1} = \aleph_{\alpha}^+

et pour λ, un ordinal limite infini :

\aleph_{\lambda} = \bigcup_{\beta < \lambda} \aleph_\beta.

Successeur cardinal

Il est possible de donner une définition plus explicite du successeur cardinal. On associe à tout ensemble un ordinal initial, que l'on appelle ordinal ou cardinal de Hartogs, de la façon suivante. L'ordinal de Hartogs d'un ensemble a est l'ensemble de tous les ordinaux subpotents à a. Cet ensemble est évidemment un segment initial de la classe des ordinaux, donc un ordinal. Il est également évidemment initial.

Quand a est un ordinal initial ρ, l'ordinal de Hartogs de ρ n'est autre que ρ+, le successeur cardinal de ρ.

Article détaillé : Ordinal de Hartogs.

Axiome du choix et cardinal d'un ensemble

Les définitions qui précèdent se font dans la théorie des ensembles de Zermelo-Fraenkel, l'axiome du choix n'est jamais utilisé. L'axiome du choix équivaut au théorème de Zermelo qui énonce que tout ensemble peut être bien ordonné. Comme les ensembles finis (au sens équipotent à un entier) sont par définition bien ordonnés, l'axiome du choix équivaut donc au fait que tout ensemble infini est équipotent à un aleph.

Dans ZFC, tout ensemble A est donc équipotent à un ordinal initial, qui est soit un entier si l'ensemble est fini, soit un aleph si l'ensemble est infini, et que l'on appelle alors cardinal de l'ensemble A.

En l'absence de l'axiome du choix, les alephs représentent les cardinaux des ensembles bien ordonnés infinis. On ne peut plus vraiment dire que ℵ0 est le plus petit cardinal infini : il pourrait exister des ensembles qui ne sont pas finis, c'est-à-dire équipotents à aucun entier, mais ne contiennent pas de partie dénombrable (de tels ensembles, qui ne sont équipotents à aucun de leurs sous-ensembles propres, sont dits Dedekind-finis (en)).

De façon analogue, sans l'axiome du choix, tout ce que l'on peut dire du successeur cardinal ρ+ de ρ, c'est que tout ensemble qui aurait un cardinal compris entre ρ et ρ+, au sens de la subpotence, serait soit ρ soit ρ+. En effet un ensemble qui s'injecte dans l'ordinal ρ+ est nécessairement bien ordonné. Donc ρ+ est bien minimal, parmi les ensemble ayant un cardinal supérieur à ρ au sens de la subpotence, c'est-à-dire les ensembles dans lesquels ρ s'injecte. Par contre, sans axiome du choix, rien ne permet de dire qu'il en est le plus petit élément.

Exemples

Aleph-zéro

Aleph-zéro (ℵ0) est, par définition, le cardinal de l'ensemble des entiers naturels. Si l'axiome du choix est vérifié, il s'agit également du plus petit cardinal infini. Un ensemble de cardinal ℵ0 est un ensemble infini et dénombrable.

Aleph-un

Aleph-un (ℵ1) est par définition le cardinal de l'ensemble des nombres ordinaux fini ou dénombrables (un ensemble lui-même non dénombrable). C'est aussi le cardinal de l'ensemble des nombres ordinaux dénombrables (au sens infini dénombrable). En présence de l'axiome du choix, ℵ1 est aussi le plus petit cardinal strictement supérieur au dénombrable, au sens où il s'injecte alors dans tout ensemble non dénombrable

Aleph-ω

Le plus petit ordinal infini est noté ω. Les ordinaux strictement inférieurs à ω sont les entiers naturels. Le cardinal ℵω est donc par définition la borne supérieure des ℵn pour n entier naturel.

Continu

Le cardinal de l'ensemble des nombres réels, appelé puissance du continu est aussi celui de l'ensemble des parties de l'ensemble des entiers naturels. Il est noté 20. Il faut l'axiome du choix pour montrer qu'il est bien ordonné, donc que 20 est un aleph.

Dans la théorie des ensembles de Zermelo-Fraenkel avec axiome du choix, en abrégé ZFC, La place de 20 dans la hiérarchie des alephs n'est cependant pas déterminée et on peut même démontrer que 20 = ℵα est compatible avec ZFC pour la plupart des valeurs de α > 0, mais pas pour α de cofinalité (en) ω, à cause du théorème de König). par exemple 20 ne peut être égal à ℵω.

Une formulation de l'hypothèse du continu est l'affirmation que 20 = ℵ1, dit autrement on peut bien ordonner l'ensemble des réels par un bon ordre de type ℵ1.

Article détaillé : hypothèse du continu.

.

Arithmétique cardinale

Somme et produit finis

La somme cardinale est par définition le cardinal de la somme disjointe, le produit cardinal celui du produit cartésien. La somme cardinale de deux ordinaux est donc le cardinal de leur somme ordinale, de même pour le produit, mais la somme ordinale de deux ordinaux initiaux n'est pas en général un ordinal initial, de même pour le produit : par exemple ω + ω et ω × ω ont tous deux même cardinal que ω, soit ℵ0.

On note cependant de la même façon somme et produit cardinale, le contexte et les notations employées permettant de distinguer s'il s'agit de somme ordinale ou cardinale. Par exemple :

ω < ω + ω < ω × ω (somme et produit ordinales)

mais (bien que ℵ0 = ω par définition) :

0 = ℵ0 + ℵ0 = ℵ0 × ℵ0 (somme et produit cardinales).

L'arithmétique de la somme et du produit des alephs (en nombre fini) est triviale à savoir que l'on a le résultat suivant (en notant sup la borne supérieure) :

α + ℵβ = ℵα × ℵβ = sup(ℵα, ℵβ).

En particulier, pour le carré cardinal :

α × ℵα = ℵα

et pour l'exponentiation finie (qui se définit par récurrence sur ω) :

αn = ℵα.

Le résultat initial se déduit de celui sur le carré cardinal par le théorème de Cantor-Bernstein. Pour ce dernier il suffit, étant donné un ordinal κ d'exhiber un bon ordre sur κ × κ, qui, dans le cas où κ est un ordinal initial, est isomorphe à κ. C'est le cas de l'ordre suivant sur κ × κ (les couples d'ordinaux sont énumérés en "équerres" successives), pour (α, β), (γ,δ) ∈ κ × κ, on a (α, β) < (γ,δ) quand :

sup(α, β) < sup(γ,δ)
ou
sup(α, β) = sup(γ,δ) et α < γ
ou
sup(α, β) = sup(γ,δ) et α = γ et β < δ.

On montre alors qu'il s'agit d'un bon ordre sur κ × κ, puis, par récurrence ordinale sur α, que le bon ordre ainsi défini sur ℵα × ℵα a pour type d'ordre au plus ℵα, c'est-à-dire qu'il est isomorphe à un segment initial de ℵα (ce qui suffit pour la démonstration)[1].

On en déduit, en présence de l'axiome du choix, le même résultat pour la somme et le produit de deux cardinaux infinis, c'est-à-dire que l'union disjointe et le produit de deux ensembles infinis sont équipotents entre eux et à celui des ensembles infinis qui a le plus grand cardinal (l'équipotence entre n'importe quel ensemble infini et son carré cartésien équivaut à l'axiome du choix, voir ordinal de Hartogs).

Le théorème sur le produit des alephs, ou encore ses conséquences pour les cardinaux infinis dans ZFC, est parfois appelé théorème de Hessenberg[2].

Somme et produit infinis, exponentiation

Points fixes

Pour tout ordinal α :

\alpha\leq\aleph_\alpha.

Dans beaucoup de cas, \aleph_{\alpha} est strictement supérieur à α. Cependant, certains ordinaux limites sont des points fixes de la fonction aleph. Le premier cardinal de ce type est la limite de la suite

\aleph_0, \aleph_{\aleph_0}, \aleph_{\aleph_{\aleph_0}},\ldots

Tout cardinal inaccessible est également un point fixe de la fonction aleph.

Voir aussi

Notes et références

  1. Cori-Lascar 93, chap. 7, p. 164-165 ; pour une variante utilisant directement la classe des ordinaux, voir Krivine 2007 p. 38.
  2. La première démonstration publiée de ces résultats sur la somme et le produit des alephs, est parue en 1906 dans un article de Gerhard Hessenberg(de) G. Hessenberg, « Grundbegriffe der Mengenlehre », dans Abhandlungen der Fries'schen Schule, Neue Folge, vol. 1, 1906, p. 478-706 [texte intégral] 

Bibliographie

  • 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].
  • Jean-Louis Krivine, Théorie des ensembles [détail des éditions].
  • (en)Yannis P. Moschovakis, Notes on Set Theory. Springer Verlag, New York 2006, ISBN 0-387-28722-1.



Wikimedia Foundation. 2010.

Contenu soumis à la licence CC-BY-SA. Source : Article Aleph (nombre) de Wikipédia en français (auteurs)

Regardez d'autres dictionnaires:

  • Aleph (Nombre) — Pour les articles homonymes, voir Aleph. En théorie des ensembles, les alephs sont les cardinaux des ensembles infinis bien ordonnés. En quelque sorte le cardinal d un ensemble représente sa « taille », indépendamment de toute structure …   Wikipédia en Français

  • Nombre Transfini — Les nombres transfinis sont des nombres infinis découverts et explorés par le mathématicien Georg Cantor. Se basant sur ses résultats, il a introduit une sorte de hiérarchie dans l infini, en développant la théorie des ensembles. Sommaire 1… …   Wikipédia en Français

  • Nombre Cardinal — Pour les articles homonymes, voir Cardinal. En mathématiques, la cardinalité est une notion de taille pour les ensembles. Les nombres cardinaux permettent donc de mesurer l ampleur de tout ensemble, même infini, là où les entiers naturels ne… …   Wikipédia en Français

  • Aleph-1 — Aleph un Cet article court présente un sujet plus amplement développé ici : Aleph (nombre). L ensemble des ordinaux dénombrables (toutes les « façons » de bien ordonner les entiers naturels à isomorphisme d ordre près) est… …   Wikipédia en Français

  • Aleph 1 — Aleph un Cet article court présente un sujet plus amplement développé ici : Aleph (nombre). L ensemble des ordinaux dénombrables (toutes les « façons » de bien ordonner les entiers naturels à isomorphisme d ordre près) est… …   Wikipédia en Français

  • Aleph un — Cet article court présente un sujet plus amplement développé ici : Aleph (nombre). L ensemble des ordinaux dénombrables (toutes les « façons » de bien ordonner les entiers naturels à isomorphisme d ordre près) est naturellement… …   Wikipédia en Français

  • Aleph-0 — Aleph zéro Cet article court présente un sujet plus amplement développé ici : Aleph (nombre) et Ensemble dénombrable. Le cardinal de l ensemble des entiers naturels, et donc par équipotence, le cardinal de n importe quel ensemble dénombrable …   Wikipédia en Français

  • Aleph-zero — Aleph zéro Cet article court présente un sujet plus amplement développé ici : Aleph (nombre) et Ensemble dénombrable. Le cardinal de l ensemble des entiers naturels, et donc par équipotence, le cardinal de n importe quel ensemble dénombrable …   Wikipédia en Français

  • Aleph 0 — Aleph zéro Cet article court présente un sujet plus amplement développé ici : Aleph (nombre) et Ensemble dénombrable. Le cardinal de l ensemble des entiers naturels, et donc par équipotence, le cardinal de n importe quel ensemble dénombrable …   Wikipédia en Français

  • Aleph zéro — Cet article court présente un sujet plus amplement développé ici : Aleph (nombre) et Ensemble dénombrable. Le cardinal de l ensemble des entiers naturels, et donc par équipotence, le cardinal de n importe quel ensemble dénombrable, est noté… …   Wikipédia en Français

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”