Un ensemble fini, c’est un ensemble qu’on peut dénombrer à l’aide des entiers naturels \(1,\ldots,n\) pour un certain entier naturel \(n\).
Pour compter les éléments d’un ensemble, on utilise la notion de bijection.
Une bijection entre deux ensembles \(E\) et \(F\) est une fonction qui transforme les éléments de \(E\) en des éléments de \(F\), de manière très particulière : chaque élément de \(F\) est associé par \(f\) à au plus un élément de \(E\) et tout élément de \(F\) est associé à au moins un élément de \(E\).
On dénombre l’ensemble \(E\) en utilisant le même principe de la bijection : on associe un-à-un les éléments de \(E\) aux premiers entiers naturels, jusqu’à avoir associé tous ses éléments.
Un ensemble fini, c’est un ensemble dont on peut théoriquement compter les éléments, ce qu’on appelle dénombrer, autrement dit un ensemble qui est en bijection avec un ensemble de la forme \(\{1,2,3,\ldots,n\}\) pour un certain entier naturel \(n\).
L’ensemble des nombres de \(1\) à \(n\) est noté \([[1,n]]\).
A un ensemble fini \(E\), on peut donc attacher un nombre d’éléments, qui est l’entier naturel \(n\) qu’on obtient en mettant, par définition, \(E\) en bijection avec l’ensemble \([[1,n]]\).