On dit que deux ensembles {A} et {B} sont équipotents s’il existe une bijection de {A} dans {B} (ou de {B} dans {A} ce qui est évidemment équivalent).
Partie II
Soit {A} une partie infinie de {\mathbb{N}}.
On va montrer que {A} et {\mathbb{N}} sont équipotents.
Question I.1
Montrer que l’on définit bien une suite { (a_n)_{n \in \mathbb{N}}} d’éléments de {A} de la manière suivante :
-
{a_{0}=\min(A_0)}, où {A_0=A}.
-
Pour tout {n\in\mathbb{N}^*}, {a_{n}=\min A_n}, où {A_n=\Bigl(A\setminus\{a_{0},a_{1},\ldots,a_{n-1}\}\Bigr)}.
|
Cliquer ici pour voir (ou cacher) la réponse
On sait que toute partie non vide de {\mathbb{N}} possède un plus petit élément.
C’est le cas notamment de {A}, ce qui justifie l’existence de {a_{0}}.
On se donne maintenant {n} dans {\mathbb{N}^*}, et on suppose que {a_{0},\ldots,a_{n-1}} existent dans {A}.
On peut alors définir l’ensemble {A_{n}=A\setminus\{a_{0},\ldots,a_{n-1}\}}, partie infinie (donc non vide!) de {\mathbb{N}}.
On peut alors nommer {a_{n}} le minimum de {A_{n}}.
Cela prouve, par récurrence, qu’on a bien défini une suite {(a_{n})_{n\ge0}} de {A}.
Question I.2
Montrer que la suite {n\mapsto a_{n}} est strictement croissante de {\mathbb{N}} dans {A}.
|
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez :
Pour poursuivre votre exploration, vous pouvez :
Question I.3
Pour tout {n} de {\mathbb{N}}, montrer que {a_{n}\ge n}.
En déduire que : {\forall\,m\in A,\;\exists\,k\in\mathbb{N}^*,\;a_{k}>m}.
|
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez :
Pour poursuivre votre exploration, vous pouvez :
Question I.4
Pour tout {m\in A}, montrer : {\exists\,n\in\mathbb{N},\;a_{n}=m}.
En déduire que {A} et {\mathbb{N}} sont équipotents.
|
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez :
Pour poursuivre votre exploration, vous pouvez :
Partie II
Soit {X} un ensemble infini.
Question II.1.(a)
On suppose qu’il existe {f :X\to\mathbb{N}} injective.
Montrer que {X} et {\mathbb{N}} sont équipotents.
|
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez :
Pour poursuivre votre exploration, vous pouvez :
Question II.1.(b)
Soit {Y} un ensemble équipotent à {\mathbb{N}}.
On suppose qu’il existe {f :X\to Y} injective.
Montrer que {X} et {\mathbb{N}} sont équipotents.
|
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez :
Pour poursuivre votre exploration, vous pouvez :
Question II.2
On pose : {\forall\,n\in\mathbb{Z},\;f(n)=(3n+1)^2}.
Montrer que {\mathbb{Z}} et {\mathbb{N}} sont équipotents.
|
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez :
Pour poursuivre votre exploration, vous pouvez :
Question II.3.(a)
Soit {f :\mathbb{N}^2\to\mathbb{N}} définie par {f(m,n)=(m+n)^2+n}On se donne {(m,n)} et {(m',n')} dans {\mathbb{N}^2}.
Montrer que {m'\!+\!n'\!>\!m\!+\!n\!\Rightarrow\! f(m',n')\!>\!f(m,n)}
|
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez :
Pour poursuivre votre exploration, vous pouvez :
Question II.3.(b)
En déduire que {\mathbb{N}^2} et {\mathbb{N}} sont équipotents.
|
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez :
Pour poursuivre votre exploration, vous pouvez :
Question II.4.(a)
Soient {A} et {B} équipotents à {\mathbb{N}}.
Montrer que {A\times B} et {\mathbb{N}} sont équipotents.
|
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez :
Pour poursuivre votre exploration, vous pouvez :
Question II.4.(b)
Plus généralement, soit {A_{1},\ldots,A_{n}} équipotents à {\mathbb{N}}.
Montrer {A_{1}\times A_{2}\times\cdots\times A_{n}} est équipotent à {\mathbb{N}}.
|
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez :
Pour poursuivre votre exploration, vous pouvez :
Question II.5
On sait que tout nombre rationnel {x} peut s’écrire de manière unique sous la forme {x=p/q} avec {p} dans {\mathbb{Z}} et {q} dans {\mathbb{N}^*}, la fraction étant non simplifiable).
Utiliser cette propriété pour montrer que {\mathbb{Q}} et {\mathbb{N}} sont équipotents.
|
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez :
Pour poursuivre votre exploration, vous pouvez :
Question II.6
Montrer que {\mathscr{P}(\mathbb{N})} et {\mathbb{N}} ne sont pas équipotents.
|
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez :
Pour poursuivre votre exploration, vous pouvez :