cardinalité

En mathématiques, la cardinalité est une notion de taille pour les ensembles. Lorsqu'un ensemble est fini, c'est-à-dire si ses éléments peuvent être listés par une suite finie, son cardinal est la longueur de cette suite, autrement dit il s'agit du nombre d'éléments de l'ensemble. En particulier, le cardinal de l'ensemble vide est zéro. La généralisation de cette notion aux ensembles infinis est fondée sur la relation d'équipotence : deux ensembles sont dits équipotents s'il existe une bijection de l'un dans l'autre. Par exemple, un ensemble infini est dit dénombrable s'il est en bijection avec l'ensemble des entiers naturels. C'est le cas de l'ensemble des entiers relatifs ou de celui des rationnels mais pas de celui des réels, d'après l'argument de la diagonale de Cantor. L'ensemble des réels a un cardinal strictement plus grand, ce qui signifie qu'il existe une injection dans un sens mais pas dans l'autre. Le théorème de Cantor généralise ce résultat en montrant que tout ensemble est de cardinal strictement inférieur à l'ensemble de ses parties. L'étude de la cardinalité en toute généralité peut être approfondie avec la définition des nombres cardinaux. Il existe plusieurs notations classiques pour désigner le cardinal d'un ensemble, avec l'opérateur Card, le croisillon (#) préfixe, à l'aide de barres verticales de chaque côté ou une ou deux barres horizontales au-dessus.