DL2 Cantor Ber Et Tribu
DL2 Cantor Ber Et Tribu
DL2 Cantor Ber Et Tribu
Classe : MPSI 1
Devoir Libre 02 à rendre le 29/10/2024
Problème 1
Théorème de Cantor-Bernstein
On rappelle qu’une injection est une application injective. On se propose de démontrer le théorème suivant :
Soient M et N deux ensembles. S’il existe une injection de M dans N et une injection de N dans M , alors
il existe une bijection de M sur N .
F : P(M ) −→ P(M )
A 7→ M \ (g(N \ f (A))).
1. On pose F 0 = idM et pour tout entier naturel k, F k+1 = F ◦ F k . Montrer que pour tout entier k,
F k+1 (M ) ⊂ F k (M ).
φ(x) = f (x) si x ∈ E ;
φ(x) = g −1 (x) si x ∈
/ E.
Problème 2
Algèbre et Tribu
Première partie :
Questions préliminaires.
1
Soient E, F deux ensembles et f : E −→ F une application.
1. Que vaut f −1 (∅) ? f −1 (F ) ?
2. Montrer que pour toute partie A de F on a : f −1 (A) = f −1 (A)
3. Montrer que pour toute famille (An )n∈N de parties de F on a : f −1 (∪n∈N An ) = ∪n∈N f −1 (An )
4. Montrer que pour toute famille (An )n∈N de parties de F on a : f −1 (∩n∈N An ) = ∩n∈N f −1 (An )
5. Montrer que pour toute famille (An )n∈N de parties de E on a : ∪n∈N An = ∩n∈N An et ∩n∈N An =
∪n∈N An
Deuxième partie :
Quelques exemples et propriétés.
6. Exemples :
a) Tribu Grossière : Montrer que T = {∅, E} est une tribu sur E.
b) Tribu Discrète : Montrer que T = P(E) est une tribu sur E.
c) Algèbre engendrée par une partie : Soit A une partie de E, montrer que T = {∅, A, A, E} est
une algèbre sur E (c´est aussi une tribu sur E).
7. Propriétés : Soit T une tribu sur un ensemble E.
a) Montrer que E ∈ T .
b) Montrer que pour toute famille d´éléments de T , on a ∩n∈N An ∈ T (autrement dit T est stable
par intersection dénombrable).
8. Montrer qu´une tribu est une algèbre.
Troisième partie :
Image réciproque et trace .
9. Soient
E, F deux ensembles et f : E −→ F une application, et T ′ une tribu sur F . Montrer alors que
T = f (A); A ∈ T ′ est une tribu sur E.
−1
10. Soit E un ensemble , B est une partie de E et T une tribu sur E. Montrer que TB = {A ∩ B; A ∈ T }
est une tribu sur B.