CPGE IBN TIYMIA Année scolaire

MPSI1 Devoir Libre no 04 2023/2024

À rendre le 23 septembre 2023

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 :

Théorème de Cantor-Bernstein 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 .

Soit f : M → N et g : N → M deux injections. On considère l’application

F : P(M ) −→ P(M )
A 7→ M \ (g(N \ f (A))).

1. Soit (Ai )i∈I une famille de parties de M . Montrer que

\ \
f ( Ai ) = f (Ai ).
i∈I i∈I

2. Soit (Bi )i∈J une famille de parties de M . Montrer que

[ [
f ( Bi ) = f (Bi ).
i∈J i∈J

3. Soit (Ai )i∈I une famille de parties de M .

\ \
F( Ai ) = F (Ai ).
i∈I i∈I

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 ).
\
4. On définit E comme l’ensemble E = F k (M ). Montrer que F (E) = E.
k∈N
5. Soit φ l’application de M dans N définie par

φ(x) = f (x) si x ∈ E ;
φ(x) = g −1 (x) si x ∈
/ E.

Montrer que φ est une bijection de M dans N .

Problème 2
Algèbre et Tribu

Soit E un ensemble et T ⊆ P(E) ( T est un ensemble formé par des parties de E ).

On dit que T est une algèbre sur E si :
1. ∅ ∈ T
2. Si A ∈ T alors A ∈ T (T stable par passage au complémentaire )
3. Si A, B ∈ T alors A ∪ B ∈ T (T stable par union finie).
On dit que T est une tribu si T vérifie les propriétés 1. et 2. de la définition précédente et : (⋆) pour toute
famille (An )n∈N d´éléments de T , on a ∪n∈N An .

1
CPGE IBN TIYMIA Année scolaire
MPSI1 Devoir Libre no 04 2023/2024

Première partie :
Questions préliminaires.
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 −1 (A); A ∈ T ′ est une tribu sur E.
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.