Aleph (nombre)

Carte Peu commune · n° 108089

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...

Lire sur Wikipédia · Image PNG made by Maksim, SVG made by Amada44, Public domain