Cardinal (mathématiques)

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 comptent le nombre d'éléments que d'ensembles finis.

Sommaire

1 Le concept
2 Définitions
- 2.1 Définition classique
- 2.2 Définition de Frege
3 Propriétés générales
- 3.1 Théorème fondamental
4 Cardinal fini
5 Cardinal infini
- 5.1 Exemples
- 5.2 Propriétés
6 Cardinal inaccessible
7 Hypothèse du continu
8 Notes et références
9 Voir aussi

Le concept

Les saisons, les points cardinaux, les fils Aymon, forment trois ensembles partageant une certaine qualité, qu'ils ne partagent pas avec l'ensemble des doigts de la main : on peut mettre en évidence cette qualité en faisant correspondre un à un les éléments respectifs de ces ensembles et dire qu'ils sont de cardinal « quatre »^[1]. « Quatre » serait alors la signature de la propriété en question.

De la même façon l'ensemble des doigts de la main peut être mis en correspondance, élément par élément, avec l'ensemble des mots {« Amérique », « Afrique », « Antarctique », « Océanie », « Eurasie »} ; ces deux ensembles sont en un certain sens équivalents.

Cependant, il n' y a aucun moyen de mettre en correspondance « un à un » chaque point cardinal avec chaque doigt de la main; et donc là on n'a pas affaire à des ensembles équivalents.

Ce que l'on appelle « cardinal » sera en quelque sorte la mesure de la « puissance » d'un ensemble.

Ainsi donc les cardinaux apparaissent sous le double aspect de l' équivalence et de l' ordre : chacun d'eux est la signature d'une équivalence entre ensembles, mais entre eux ils sont ordonnés par taille.

Définitions

Le cardinal d'un ensemble est défini comme étant le nombre d'éléments de ce dernier.

Définition classique

Dans la théorie des ensembles de Zermelo-Fraenkel (ZF), l'adjonction de l'axiome du choix (donnant la théorie ZFC) permet de définir le cardinal d'un ensemble comme le plus petit nombre ordinal qui lui est équipotent. Un nombre cardinal est alors un ordinal qui n'est équipotent à aucun de ses éléments. Sans l'axiome du choix, mais avec l'axiome de fondation, on utilise la définition de Frege (ou plus précisément une amélioration technique de cette idée, due à Scott) : le cardinal de x est l'ensemble des ensembles de rang minimum équipotent à x. On sait que sans l'axiome du choix ni l'axiome de fondation, il est impossible de définir (en général) la notion de nombre cardinal.

S'il existe une injection d'un ensemble A dans un ensemble B alors il existe une injection de n'importe quel ensemble équipotent à A dans n'importe quel ensemble équipotent à B. Le théorème de Cantor-Bernstein permet de montrer que deux cardinaux sont égaux s'il existe une injection de chacun d'eux dans l'autre. Cette relation est donc une relation d'ordre (partiel) sur les cardinaux. Le fait qu'elle est totale ou linéaire équivaut à l'axiome du choix.

L'ensemble vide et les ensembles d'entiers de la forme $\left\{1, \dots, n\right\}$ forment des ensembles de cardinaux deux à deux différents.
Un ensemble est dit fini s'il est équipotent à l'un de ces ensembles, infini dans le cas contraire. Tout cardinal fini est inférieur à tout cardinal infini.

Sans l'axiome du choix, il peut être judicieux de se limiter aux ensembles pour lesquels un tel ordinal équipotent existe.

On note $\mathrm{card}(\varnothing) = 0\$ et $\ \mathrm{card}\left(\left\{1, \dots, n\right\}\right) = n$ , de sorte que l'ordre sur les cardinaux prolonge l'ordre sur les entiers naturels.

Or l'ensemble vide n'est équipotent qu'à lui-même ; donc dans une théorie où les objets du discours sont tous des ensembles, on a nécessairement $0 = \varnothing$ .

La définition des autres entiers n'est pas aussi évidente, mais selon celle de Von Neumann, la plus utilisée (et qui a le mérite de se prolonger à tous les ordinaux), pour tout entier naturel $\quad n$ , on a $n = \left\{0,1, \dots, n-1\right\}$ .

Définition de Frege

La relation d'équipotence étant réflexive, symétrique et transitive sur la classe des ensembles, chaque classe d'équivalence est appelée nombre cardinal ou simplement cardinal.

Cette définition qui paraît très naturelle se présente parfois dans les exposés élémentaires de la théorie des ensembles ; cependant son usage pose des problèmes d'ordre logique, en particulier elle est incompatible avec les théories usuelles où soit on ne considère que des ensembles, soit on considère des classes propres mais qui ne peuvent être éléments d'autres classes. Ces difficultés s'apparentent au paradoxe de Russell, qui fut d'ailleurs découvert quand ce dernier adressa une lettre critique à Frege. La solution de ces problèmes, due à Dana S. Scott, consiste à utiliser l'ensemble des x de rang minimum contenu dans une telle classe, ce qui suppose l'axiome de fondation ; il ne semble pas possible de généraliser encore cette définition si l'on ne dispose pas d'un axiome de ce genre.

Propriétés générales

Si $f$ est une fonction de $A$ dans $B$ , alors $\mathrm{card}(f(A)) \le \mathrm{card}(A)$ .

Théorème fondamental

Il n'existe pas de surjection d'un ensemble E sur l'ensemble de ses parties $\mathfrak P(E)$ . Un ensemble n'est donc jamais équipotent à l'ensemble de ses parties, bien qu'il s'injecte dedans par l'ensemble des singletons de ses éléments, ce qui permet d'écrire :

$\mathrm{card}(E) < \mathrm{card}(\mathfrak P(E))$ .

C'est le théorème de Cantor.

Ce résultat justifie le fait qu'il existe des infinis de cardinaux différents. Il donne même un procédé de construction d'une infinité d'entre eux par itération.

Les cardinaux infinis sont représentés au moyen de la lettre hébraïque aleph $\ \aleph$ . Le plus petit cardinal infini est $\ \aleph_0$ . C'est le cardinal de l'ensemble $\ \mathbb N$ des entiers naturels, qui est également désigné en tant que nombre ordinal par $ω$ . Le cardinal immédiatement supérieur est $\ \aleph_1$ , etc. D'une manière générale, un cardinal quelconque s'écrit $\ \aleph_\alpha$ où $α$ est un ordinal.

Cardinal fini

Le cardinal d'un ensemble fini correspond donc simplement au nombre d'éléments qu'il contient. Par exemple, $card({1,2,5}) = 3$ .

Toute partie d'un ensemble fini est finie.

Cardinal infini

Si $A$ est infini alors $\mathrm{card}(\mathfrak P(A))$ est noté $2 card(A)$ par analogie avec le cas fini.

Exemples

Le cardinal de l'ensemble des nombres réels est le même que celui de l'ensemble des parties de $\N$ :

$\mathrm{card}(\R) = 2^{\aleph_0} > \aleph_0 = \mathrm{card}(\N)$ .

Ce cardinal étant égal à celui de $\mathbb R$ , on le note également $\mathfrak c$ , dit cardinal du continu.

Cependant, l'ensemble des entiers naturels et l'ensemble des rationnels sont équipotents.

$\mathrm{card} (\mathbb{N}) = \mathrm{card} (\mathbb{Q})$ .

Article détaillé : Ensemble dénombrable.

De même que $\mathbb{N}^k$ s'injecte dans $\mathbb{N}\,$ pour tout entier $k$ , $\mathbb{R}^k\,$ s'injecte dans $\mathbb{R}\,$ , par conséquent le cardinal de $\mathbb{R}^k\,$ est égal à $\mathfrak c$ , cardinal de $\mathbb{R}\,$ . Démonstration succincte : on montre que $[0,1] 2$ s'injecte dans $[0,1]$ (d'où le fait que $\mathbb{R}^2$ puis $\mathbb{R}^k$ par récurrence s'injecte dans $\mathbb{R}\,$ , l'existence d'une bijection provenant du théorème de Cantor-Bernstein). Pour cela, il suffit d'écrire tout élément de $[0,1]$ comme suite de $0$ et de $1$ (développement binaire). L'image d'un élément de $[0,1] 2$ est formé en intercalant successivement chaque chiffre du développement binaire du premier et second nombre. On vérifie facilement que c'est une application injective (en prenant garde toutefois aux problèmes de non unicité du développement binaire). En utilisant un raisonnement similaire, on montre que l'ensemble des suites de réels est de cardinal $\mathfrak c$ .
Le cardinal de l'ensemble des fonctions continues de $\mathbb R$ dans $\mathbb R$ est égal à $\mathfrak c$ , cardinal de $\mathbb R$ . Ceci découle de la proposition précédente, car l'ensemble des fonctions réelles continues a au plus la puissance de $\mathbb{R}^\mathbb{Q}$ (et au moins celle du continu).
Le cardinal de l'ensemble des fonctions de $\mathbb R$ dans $\mathbb R$ est $2^{\mathfrak c} > \mathfrak c$ .

Propriétés

Un ensemble A est infini si et seulement si $\mathrm{card}(A) = \mathrm{card}(A \cup \{A\})$ .
Si $A$ est infini et si $\mathfrak F(A)$ désigne l'ensemble des parties finies de $A$ , alors $\mathrm{card}(A) = \mathrm{card}(\mathfrak F(A))$ .
Si $A$ est infini et $B$ non vide, alors $\mathrm{card}(A \cup B) = \mathrm{card}(A \times B) = \max(\mathrm{card}(A), \mathrm{card}(B))$ .
Si $B$ est inclus dans $A$ infini avec $card(B) < card(A)$ , alors $\ \mathrm{card}(A-B)=\mathrm{card}(A)$ .
Si $A$ est infini, alors $\mathrm{card}(A \times A) = \mathrm{card}(A)$
Si $A$ est infini et si $2 \le \mathrm{card}(B) \le \mathrm{card}(A)$ , alors $\ \mathrm{card}(B^A) = 2^{\mathrm{card}(A)}$ où $B A$ désigne l'ensemble des fonctions de $A$ dans $B$ .

Cardinal inaccessible

L'accessibilité est la possibilité d'atteindre un ordinal ou un cardinal donné à partir des ordinaux plus petits.
Un ordinal $α$ est dit cofinal avec un ordinal $β$ inférieur s'il existe une application strictement croissante $f$ de $β$ dans $α$ tel que $α$ soit la limite de $f$ au sens suivant :

$\forall \gamma \in \alpha, \exists \delta \in \beta, \gamma \le f(\delta)$

Par exemple, $\aleph_0$ n'est cofinal avec aucun ordinal strictement plus petit, puisqu'un ordinal inférieur à $\aleph_0$ est un entier $n = {0,1,..., n - 1}$ et qu'une application strictement croissante définie sur ${0,1,..., n - 1}$ est bornée. Le cardinal $\aleph_0$ est dit alors régulier, c'est le cas de tous les cardinaux successeurs.

Par contre, le cardinal $\aleph_{\omega}$ est cofinal avec $ω$ au moyen de l'application $f : n \in \omega \mapsto \aleph_n$ .
Ce cardinal $\aleph_{\omega}$ est dit alors singulier.

En notant $cf(α)$ le plus petit ordinal pour lequel $α$ est cofinal, on obtient $\mathrm{cf}(\omega) = \mathrm{cf}(\aleph_{\omega}) = \omega$ .

Les cardinaux se classent alors comme suit :

ceux de la forme $\aleph_{\alpha+1}$ , indexés par un ordinal $α + 1$ successeur d'un ordinal $α$ ;
ceux de la forme $\aleph_\alpha$ , indexés par un ordinal $α$ limite et qui sont singuliers ;
ceux de la forme $\aleph_\alpha$ , indexés par un ordinal $α$ limite et qui sont réguliers.

Ce dernier type de cardinal est qualifié de faiblement inaccessibles car ils ne peuvent être construits à partir de cardinaux plus petits. On distingue parmi eux les cardinaux fortement inaccessibles qui vérifient de plus $\mathrm{card}(x) < \aleph_{\alpha} \Longrightarrow 2^{\mathrm{card}(x)} < \aleph_{\alpha}$ . L'existence de tels cardinaux ne peut se déduire des axiomes de la théorie des ensembles ZFC.
Les deux premiers types de cardinaux sont qualifiés au contraire d'accessibles, car on peut les construire (dans ZFC) à partir de cardinaux plus petits qu'eux.

Hypothèse du continu

L'inégalité $\mathrm{card} (\mathbb{N}) = \aleph_0 < \mathrm{card} (\mathbb{R}) = 2^{\aleph_0}$ montrée ci-dessus permet d'écrire $\aleph_1 \le 2^{\aleph_0}$ puisque $\aleph_1$ est le plus petit cardinal strictement supérieur à $\aleph_0$ .

L'hypothèse du continu affirme l'égalité $\aleph_1 = 2^{\aleph_0}$ . On montre que cette propriété est indécidable dans ZFC. Par extension, l'hypothèse généralisée du continu énonce que, pour tout ordinal $α$ , on a $\aleph_{\alpha+1} = 2^{\aleph_{\alpha}}$ .

Les résultats suivants s'obtiennent en admettant comme axiome l'hypothèse généralisée du continu.

L'axiome du choix est démontrable.
Il y a équivalence entre les notions de cardinaux faiblement inaccessibles et fortement inaccessibles.
En notant l'ensemble des fonctions de dans , il vient
- $\mathrm{card}(\aleph_{\alpha}^{\aleph_{\beta}}) = \aleph_{\alpha}$ si $\aleph_{\beta} < {\rm cf}(\aleph_{\alpha})$ ;
- $\mathrm{card}(\aleph_{\alpha}^{\aleph_{\beta}}) = \aleph_{\alpha+1}$ si ${\rm cf}(\aleph_{\alpha}) \le \aleph_{\beta} \le \aleph_{\alpha}$ ;
- $\mathrm{card}(\aleph_{\alpha}^{\aleph_{\beta}}) = \aleph_{\beta+1}$ si $\aleph_{\alpha} \le \aleph_{\beta}$ .

Notes et références

↑ R. Maillard, G. Girard, A. Lentin, Mathématiques, classe de seconde, 1964

Voir aussi

Notion de nombre
Ensembles usuels	$\mathbb{N}$ Entier naturel • $\mathbb{Z}$ Entier relatif • $\mathbb{D}$ Nombre décimal • $\mathbb{Q}$ Nombre rationnel • $\mathbb{R}$ Nombre réel • $\mathbb{C}$ Nombre complexe
Extensions	$\mathbb{H}$ Quaternion • $\mathbb{O}$ Octonion • $\mathbb{S}$ Sédénion • Nombre complexe fendu • Tessarine • Nombre bicomplexe • Nombre multicomplexe • Biquaternion • Coquaternion • Octonion fendu • Nombre hypercomplexe • $\mathbb{Q}_p$ Nombre p-adique • Nombre hyperréel • Nombre superréel • Nombre dual • Droite réelle achevée • Nombre cardinal • Nombre ordinal • Nombre surréel et pseudo-réel
Propriétés particulières	Parité • Nombre premier • Nombre composé • Carré parfait • Nombre parfait • Nombre positif • Nombre négatif • Fraction dyadique • Nombre irrationnel • Nombre algébrique • Nombre transcendant • Nombre imaginaire pur • Nombre de Liouville • Nombre normal • Nombre univers • Nombre constructible • Nombre réel calculable • Nombre transfini • Infiniment petit • Infiniment grand
Exemples d’importance historique	π Pi • √2 Racine carrée de deux • φ Nombre d’or • 0 Zéro • $i$ Unité imaginaire • $e$ Constante de Neper • ℵ₀ Aleph-zéro • Table de constantes mathématiques
Notions connexes	Chiffre • Numération • Fraction • Opération • Calcul • Algèbre • Arithmétique • Suite d’entiers • ∞ Infini • Chiffre significatif

Portail des mathématiques

Ce document provient de « Nombre cardinal ».

Catégories : Théorie des ensembles | Nombre cardinal

Wikimedia Foundation. 2010.

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

Игры ⚽ Поможем сделать НИР

Regardez d'autres dictionnaires:

Mathematiques indiennes — Mathématiques indiennes La chronologie des mathématiques indiennes s étend de la civilisation de la vallée de l Indus ( 3300 à 1500) jusqu à l Inde moderne. Parmi les impressionnantes contributions des mathématiciens indiens au développement de… … Wikipédia en Français
Mathématiques Indiennes — La chronologie des mathématiques indiennes s étend de la civilisation de la vallée de l Indus ( 3300 à 1500) jusqu à l Inde moderne. Parmi les impressionnantes contributions des mathématiciens indiens au développement de la discipline, la plus… … Wikipédia en Français
Cardinal d'un ensemble — 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… … Wikipédia en Français
Cardinal inaccessible — En mathématiques, et plus précisément en théorie des ensembles, un cardinal inaccessible est un cardinal ne pouvant être construit à partir de cardinaux plus petits à l aide des axiomes de ZFC ; cette propriété fait qu un cardinal… … Wikipédia en Français
Cardinal mesurable — En mathématiques, un cardinal mesurable est un cardinal sur lequel existe une mesure définie pour tout sous ensemble ; cette propriété fait qu un tel cardinal est un grand cardinal. Sommaire 1 Définitions et propriétés de grand cardinal 2… … Wikipédia en Français
Cardinal de Hartogs — Ordinal de Hartogs En théorie des ensembles, l ordinal de Hartogs d un ensemble A désigne le plus petit ordinal qui ne s injecte pas dans A. Son existence utilise le remplacement et se démontre sans l axiome de choix, contrairement au théorème de … Wikipédia en Français
Cardinal — Cette page d’homonymie répertorie les différents sujets et articles partageant un même nom. Sur les autres projets Wikimedia : « Cardinal », sur le Wiktionnaire (dictionnaire universel) Le nom commun « cardinal » apparaît … Wikipédia en Français
Mathématiques indiennes — La chronologie des mathématiques indiennes s étend de la civilisation de la vallée de l Indus ( 3300 à 1500) jusqu à l Inde moderne. Parmi les impressionnantes contributions des mathématiciens indiens au développement de la discipline, la plus… … Wikipédia en Français
Cardinal de Cheverus — Jean Lefebvre de Cheverus Pour les articles homonymes, voir Lefebvre. Cardinal … Wikipédia en Français
Cardinal Du Perron — Jacques Du Perron Pour les articles homonymes, voir Perron. Jacques du Perron Autres noms … Wikipédia en Français

Dictionnaires et Encyclopédies sur 'Academic'

Cardinal (mathématiques)

Nombre cardinal

Sommaire

Le concept