L2 PS - Année 2016-2017 Mesures et intégration
TD no1 : Tribus
Exercice 1.1 (Exemples « simples » de tribus).Soit Xun ensemble.
1. Soit Mune tribu de Xet B∈M. Montrer que
MB:= {A∩B, A ∈M}
est une tribu de B.
2. Soit Aune partie de X. Déterminer la plus petite σ-algèbre de Xcontenant A.
3. Déterminer la tribu engendrée par les singletons de X.
4. Déterminer la tribu engendrée par les parties de Xcontenant deux éléments.
5. Soit A∈P(X). Déterminer la tribu engendrée par les parties de Xcontenant A.
6. Soient M1et M2deux tribus de X. Déterminer les tribus engendrées par M1∩M2et
par M1∪M2.
7. Déterminer la tribu de Rengendrée par [0,2],[1,3].
Exercice 1.2.Donner un exemple de topologie qui n’est pas une tribu.
Exercice 1.3.Soit Xun ensemble non vide. On appelle algèbre de Xune famille Ade
parties de Xtelle que X∈Aet pour tous A, B ∈Aon a X\A∈Aet A∪B∈A.
1. Soit Pune partie non vide de P(X). Montrer qu’il existe une plus petite algèbre (au sens
de l’inclusion) contenant P.
2. Soit (An)n∈Nune suite d’algèbres de Xtelle que An⊂An+1 pour tout n∈N. Montrer
que la réunion n∈NAnest une algèbre de X.
3. Que dire de la question précédente si on remplace « algèbre » par « σ-algèbre » ? On pourra
par exemple considérer X=Net, pour tout n∈N,An=σ({0},...,{n}).
Exercice 1.4.Soient Xet Ydeux ensembles. Soit fune fonction de Xdans Y.
1. Soit Mune tribu sur X. Montrer que B|f−1(B)∈Mest une tribu sur Y.
2. Soit Nune tribu sur Y. Montrer que f−1(N) = f−1(B), B ∈Nest une tribu sur X.
3. Soit Fune famille de parties de Y. Montrer que σ(f−1(F)) = f−1(σ(F)).
Exercice 1.5.Montrer que B(R)est engendré par l’ensemble des intervalles de la forme
]a, +∞[avec a∈Q.
Exercice 1.6.Soit Xun espace topologique, muni de sa tribu borélienne B(X). Soit Fune
partie de X, muni de la topologie induite et de la tribu borélienne B(F)correspondante.
1. Montrer que
B(F) = {A∩F, A ∈B(X)}.
2. Montrer que si Fest un borélien de Xalors B(F)est simplement l’ensemble des boréliens
de Xinclus dans F.
Exercice 1.7.On considère une suite (fn)n∈Nde fonctions continues de Rdans R. Montrer
que les ensembles suivants sont des boréliens de R.
(i) L’ensemble des réels xtels que fn(x)−−−−→
n→∞ 0.
(ii) L’ensemble des réels xtels que la suite (fn(x))n∈Nconverge.
(iii) L’ensemble des réels xtels que la suite (fn(x))n∈Na 0 pour valeur d’adhérence.
Exercice 1.8.On note Pl’ensemble des pavés de Rdde la forme
d
j=1 nj
2−k,nj+ 1
2−k,