• Aucun résultat trouvé

Ensembles nis - Dénombrement

N/A
N/A
Protected

Academic year: 2022

Partager "Ensembles nis - Dénombrement"

Copied!
1
0
0

Texte intégral

(1)

Stanislas

T.D. 17

Ensembles nis - Dénombrement

Dénombrabilité MPSI 1

2015/2016

Exercice 1. (Théorème de Cantor-Bernstein)SoientXetY deux ensembles non vides. On suppose qu'il existe deux applications injectives f : X→Y etg : Y →X. On va prouver qu'il existe un bijection deX surY.

1. On suppose dans cette question queX etY sont des ensembles nis.

a)Montrer que |X|=|Y|.

b)En déduire qu'il existe une bijection de X dansY. 2. Montrer le théorème lorsquef(X) =Y.

On suppose dans toute la suite quef(X) 6=Y. Notons ϕ=f ◦g. On dénit par récurrence les ensembles A0=Y\f(X) puis pour toutn∈N,An+1 =ϕ(An). On note A= S

n∈N

An.

3. Montrer queA est stable parϕ, i.e.ϕ(A)⊂A.

4. Montrer que les ensemblesA0, . . . , An, . . . sont deux à deux disjoints.

5. Montrer que siy∈Y\A, il existe un unique x∈X tel que f(x) =y. On notera abusivement x=f−1(y).

6. Soitx∈X. Montrer que si f(x)∈A, alors x∈g(A).

7. On dénit la fonctionh : Y →X parh(y) =g(y) siy∈Aeth(y) =f−1(y)si y6∈A. a)Montrer que h est bien dénie.

b)Montrer que hest injective.

c)Montrer que h est surjective.

8. Conclure.

Exercice 2. (Dénombrabilité)On dit qu'un ensemble est dénombrable s'il est en bijection avec N.

1. Exemples d'ensembles dénombrables.

a)Prouver queN×Nest un ensemble dénombrable.

b)Prouver queZest dénombrable.

c)Prouver queQest dénombrable.

2. Opérations sur les ensembles dénombrables.

a)Soient n∈N? et (Ai)i∈J1,nK une famille d'ensembles dénombrables. Montrer que le produit cartésien ×n

i=1Ai est dénombrable.

b)Soit(Ai)i∈Nune suite d'ensembles dénombrables. Montrer que la réunion S

i∈N

Ai est dénom- brable.

3. Un ensemble non dénombrable.

a)Montrer que [0,1]n'est pas dénombrable.

b)En déduire que Rn'est pas dénombrable.

Dans la littérature, il arrive qu'on dénisse un ensemble dénombrable comme étant un ensemble ni ou en bijection avecN. Les propriétés précédentes restent vraies dans ce cadre.

Stanislas A. Camanes

Références

Documents relatifs

(ii). On suppose qu'il existe un espace probabilisé modélisant les lancers indépendants et successifs de pièces déséquilibrées telles que, lors du n ème lancer, la pièce renvoie

Exercice 16. Un fumeur a dans sa poche deux boîtes contenant respecti- vement n et n+ 1 allumettes. Chaque fois qu'il a besoin d'une allumette, il prend au hasard dans l'une des

Déterminer le nombre de façons de tirer successivement 5 boules avec remise dans une urne contenant n boules numérotées.. Déterminer le nombre de façons de tirer simultanément 5

Dénombrer, c’est compter le nombre d’éléments que contient un ensemble fini, c’est à dire en déterminer le

L'expression

l’ennui, c’est qu’on n’a pas de bonne notion de démonstration pour les théories logiques du second ordre : il ne peut rien y avoir qui véri…e le théorème de complétude

u i o` u F d´ ecrit l’ensemble des parties finies de I est major´ e ; dans ce cas, la somme de la famille (u i ) i∈I est la borne sup´ erieure de l’ensemble pr´ ec´ edent..

Comme 1 2 est symétrique, ceci contredirait la deuxième relation intervenant dans la définition d’un quasi-ordre. C’est dire exactement que: