La cardinalité est une mesure du nombre d'éléments d'un ensemble : les ensembles finis ont un cardinal naturel fini, les ensembles infinis se comparent par l'existence de bijections (même cardinalité) ou d'injections/surjections (relation ≤).

Principe

Deux ensembles ont la même cardinalité s'il existe une bijection entre eux ; injections et surjections définissent un ordre partiel sur les cardinaux ; le théorème de Cantor montre que l'ensemble des parties a un cardinal strictement supérieur à l'ensemble initial.

Démonstration

Exemple fini : {a,b,c} a cardinalité 3. Exemple dénombrable : les entiers et les entiers pairs sont en bijection, tous deux dénombrablement infinis. Exemple non dénombrable : les réels ont un cardinal strictement supérieur aux naturels.

Mauvaise application

Traiter les ensembles infinis comme s'ils obéissaient à l'intuition finie (par ex. supposer qu'un sous-ensemble propre a cardinal plus petit), ou confondre 'taille' en théorie de la mesure avec cardinalité.

Conséquence

La cardinalité classe les ensembles en finis, dénombrables et différentes tailles non dénombrables (alephs, continu) ; elle contraint l'existence de bijections et informe les résultats d'existence/non‑existence en mathématiques, avec des conséquences dépendant des axiomes choisis (p. ex. AC).

Inversion

La perspective opposée met l'accent sur la mesure ou la probabilité : un ensemble peut être non dénombrable mais de mesure nulle ; la cardinalité ignore la structure métrique ou mesurable et ne rend compte que de la taille combinatoire.

Limite

Pertinente pour la taille purement ensembliste ; l'arithmétique des cardinaux (somme, produit, exponentiation) a des comportements surprenants dans le cas infini et peut dépendre d'axiomes de théorie des ensembles ; la cardinalité ne capture pas topologie, mesure ou structure.

Tension sémantique

Concurrence avec les notions de 'mesure', 'dimension' et 'densité' — la cardinalité est une taille combinatoire grossière, tandis que mesure/dimension captent la magnitude géométrique ou probabiliste et se comportent différemment pour les ensembles infinis.

Synthèse

La cardinalité est le compte combinatoire des éléments d'un ensemble : une classification fondamentale en tailles finies et infinies déterminée par l'existence de bijections, centrale en théorie des ensembles et distinguant les infinis sans tenir compte des structures métriques ou mesurables.