Ivan Shishkin, Birch Grove

Dénombrabilité

Concept history

A revision trail for this concept page.

3 revisions

Back

Revision 4017

9/6/2026, 4:11:41 PM · quark67

Améliorations typographiques

Compare with revision 398812 changed lines
1##### Définition intuitive
2
3Pour un ensemble fini, le cardinal mesure naturellement le "nombre d'éléments". Mais cette approche atteint sa limite dès qu'on considère un ensemble infini : on ne peut pas "compter" ses éléments un par un, puisque le comptage ne s'arrête jamais.
3Pour un ensemble fini, le cardinal mesure naturellement le « nombre d'éléments ». Mais cette approche atteint sa limite dès qu'on considère un ensemble infini : on ne peut pas « compter » ses éléments un par un, puisque le comptage ne s'arrête jamais.
4
5L'idée clé pour contourner ce problème est de comparer des ensembles sans les compter, uniquement à l'aide d'une bijection : deux ensemble $E$ et $F$ ont le même cardinal si et seulement s'il existe une bijection entre $E$ et $F$. Cette définition redonne bien la notion usuelle dans le cas fini: en particulier, un ensemble est de cardinal n si et seulement s'il est en bijection avec $[\![1,n]\!]$, mais elle a l'avantage de s'étendre sans modification au cas infini, où l'on ne dispose plus d'un entier $n$ précis pour décrire le cardinal.
5L'idée clé pour contourner ce problème est de comparer des ensembles sans les compter, uniquement à l'aide d'une bijection : deux ensemble $E$ et $F$ ont le même cardinal si et seulement s'il existe une bijection entre $E$ et $F$. Cette définition redonne bien la notion usuelle dans le cas fini : en particulier, un ensemble est de cardinal $n$ si et seulement s'il est en bijection avec $[\![1,n]\!]$, mais elle a l'avantage de s'étendre sans modification au cas infini, où l'on ne dispose plus d'un entier $n$ précis pour décrire le cardinal.
6
7Parmi tous les ensembles infinis, $\mathbb{N}$ joue un rôle particulier : ses éléments sont énumérables un par un, dans l'ordre naturel: $0,1,2,3,...$ . Dire qu'un ensemble $E$ est en bijection avec $\mathbb{N}$, c'est donc dire qu'on peut associer à chaque élément de $E$ un unique entier naturel, c'est-à-dire numéroter les éléments de $E$, sans en oublier ni en répéter aucun. On peut donc "dénombrer" cet ensemble, intuitivement, même si $E$ est infini, on peut en "faire la liste" : $e_{0},e_{1},e_{2},…$
7Parmi tous les ensembles infinis, $\mathbb{N}$ joue un rôle particulier : ses éléments sont énumérables un par un, dans l'ordre naturel: $0,1,2,3,...$ . Dire qu'un ensemble $E$ est en bijection avec $\mathbb{N}$, c'est donc dire qu'on peut associer à chaque élément de $E$ un unique entier naturel, c'est-à-dire numéroter les éléments de $E$, sans en oublier ni en répéter aucun. On peut donc « dénombrer » cet ensemble, intuitivement, même si $E$ est infini, on peut en « faire la liste » : $e_{0},e_{1},e_{2},…$
8
9
10##### Définition formelle
11
12On dit qu'un ensemble $E$ est dénombrable si et seulement si il existe une bijection de $\mathbb{N}$ dans $E$.
13
14On dit qu'un ensemble $E$ est au plus dénombrable si et seulement si $E$ est dénombrable ou $E$ est fini.
15
16##### Exemples (voir exercices)
17
18- $\mathbb{Z}$ est dénombrable
18- $\mathbb{Z}$ est dénombrable ;
19- $\mathbb{Q}$ est dénombrable
19- $\mathbb{Q}$ est dénombrable ;
20- $\mathbb{R}$ n'est pas dénombrable (diagonale de Cantor)
20- $\mathbb{R}$ n'est pas dénombrable (diagonale de Cantor).

Revision 3988

9/6/2026, 1:02:38 PM · Uettechat

Updated text

Compare with revision 39863 changed lines
1##### Définition intuitive
2
3Pour un ensemble fini, le cardinal mesure naturellement le "nombre d'éléments". Mais cette approche atteint sa limite dès qu'on considère un ensemble infini : on ne peut pas "compter" ses éléments un par un, puisque le comptage ne s'arrête jamais.
4
5L'idée clé pour contourner ce problème est de comparer des ensembles sans les compter, uniquement à l'aide d'une bijection : deux ensemble $E$ et $F$ ont le même cardinal si et seulement s'il existe une bijection entre $E$ et $F$. Cette définition redonne bien la notion usuelle dans le cas fini: en particulier, un ensemble est de cardinal n si et seulement s'il est en bijection avec $[\![1,n]\!]$, mais elle a l'avantage de s'étendre sans modification au cas infini, où l'on ne dispose plus d'un entier $n$ précis pour décrire le cardinal.
6
7Parmi tous les ensembles infinis, $\mathbb{N}$ joue un rôle particulier : ses éléments sont énumérables un par un, dans l'ordre naturel: $0,1,2,3,...$ . Dire qu'un ensemble $E$ est en bijection avec $\mathbb{N}$, c'est donc dire qu'on peut associer à chaque élément de $E$ un unique entier naturel, c'est-à-dire numéroter les éléments de
7Parmi tous les ensembles infinis, $\mathbb{N}$ joue un rôle particulier : ses éléments sont énumérables un par un, dans l'ordre naturel: $0,1,2,3,...$ . Dire qu'un ensemble $E$ est en bijection avec $\mathbb{N}$, c'est donc dire qu'on peut associer à chaque élément de $E$ un unique entier naturel, c'est-à-dire numéroter les éléments de $E$, sans en oublier ni en répéter aucun. On peut donc "dénombrer" cet ensemble, intuitivement, même si $E$ est infini, on peut en "faire la liste" : $e_{0},e_{1},e_{2},…$
8$E$, sans en oublier ni en répéter aucun. On peut donc "dénombrer" cet ensemble, intuitivement, même si $E$ est infini, on peut en "faire la liste" : $e_{0},e_{1},e_{2},…$
9
10
11##### Définition formelle
12
13On dit qu'un ensemble $E$ est dénombrable si et seulement si il existe une bijection de $\mathbb{N}$ dans $E$.
14
15On dit qu'un ensemble $E$ est au plus dénombrable si et seulement si $E$ est dénombrable ou $E$ est fini.
16
17##### Exemples (voir exercices)
18
19- $\mathbb{Z}$ est dénombrable
20- $\mathbb{Q}$ est dénombrable
21- $\mathbb{R}$ n'est pas dénombrable (diagonale de Cantor)

Revision 3986

9/6/2026, 1:01:24 PM · Uettechat

Concept created

##### Définition intuitive

Pour un ensemble fini, le cardinal mesure naturellement le "nombre d'éléments". Mais cette approche atteint sa limite dès qu'on considère un ensemble infini : on ne peut pas "compter" ses éléments un par un, puisque le comptage ne s'arrête jamais.

L'idée clé pour contourner ce problème est de comparer des ensembles sans les compter, uniquement à l'aide d'une bijection : deux ensemble $E$ et $F$ ont le même cardinal si et seulement s'il existe une bijection entre $E$ et $F$. Cette définition redonne bien la notion usuelle dans le cas fini: en particulier, un ensemble est de cardinal n si et seulement s'il est en bijection avec $[\![1,n]\!]$, mais elle a l'avantage de s'étendre sans modification au cas infini, où l'on ne dispose plus d'un entier $n$ précis pour décrire le cardinal.

Parmi tous les ensembles infinis, $\mathbb{N}$ joue un rôle particulier : ses éléments sont énumérables un par un, dans l'ordre naturel: $0,1,2,3,...$ . Dire qu'un ensemble $E$ est en bijection avec $\mathbb{N}$, c'est donc dire qu'on peut associer à chaque élément de $E$ un unique entier naturel, c'est-à-dire numéroter les éléments de 
$E$, sans en oublier ni en répéter aucun. On peut donc "dénombrer" cet ensemble, intuitivement, même si $E$ est infini, on peut en "faire la liste" : $e_{0},e_{1},e_{2},…$


##### Définition formelle

On dit qu'un ensemble $E$ est dénombrable si et seulement si il existe une bijection de $\mathbb{N}$ dans $E$.

On dit qu'un ensemble $E$ est au plus dénombrable si et seulement si $E$ est dénombrable ou $E$ est fini.

##### Exemples (voir exercices)

- $\mathbb{Z}$ est dénombrable
- $\mathbb{Q}$ est dénombrable
- $\mathbb{R}$ n'est pas dénombrable (diagonale de Cantor)