2110512022 28:54 Bibm@th.net Rechercher surlessite... Bibm@th Rechercher sur le site. Accueil Lycée Supérieur Bibliotheques Références Thémes Forum Exereces corigés “Tribus, fonctions mesurables, mesures, Bibliotheque d'exercicesBibliothéque de problémesAutomatismes Accueil Lycée Collége Seconde Supérieur Math Sup 2020 Math Sup 2021 Math Spé Capes Agreg interne BTS Bibliothéques Bibliotheque d'exercices Bibliotheque de problémes Automatismes Références Dictionnaire Biographie de mathématiciens Formulaire Lexique francais/anglais Themes Cryptographie et codes secrets Jeux et énigmes Carrés magiques Mathématiques au quotidien Dossiers hitpsiwwubiomath netressourcesiindex php action=affched.quoi=bde/analysintgration/masurabla&type=fexo sno2110512022 28:54 xereces corigés “Tribus, fonctions mesurables, mesures Forum > Ressources mathématiques > Base de données d'exercices > Exercices d'analyse > Accéder & mon compte > Accéder a ma feuille d'exercices > Exercices corrigés - Tribus, fonctions mesurables, mesures Tribus Exercice 1 - Tribu engendrée (signaler une erreur] (Ajouter a ma feuille d’exos) nonce ¥ Soit 9 = Z. On considére T la tribu engendrée par les ensembles $,, = {n,n +1,n +2} avec n € 2. Quels sont les éléments de la tribu 7? Indication Corrigé Exercice 2 - Tribu image réciproque [signaler une erreur) (Ajouter & ma feullle &'exos] lEnonce W Soit E et F deux ensembles, 7 une tribu sur F et 6: E> F une application. Montrer que T' = {¢-(A); AE T} est une tribu sur E. indication P Corrigé Exercice 3 ww - Tribu engendrée par une partition [signaler une erreur) (Ajouter & ma feuille d'exos lEnoncé © Soit X un ensemble non-vide et Aj,...,A,, une partition de X. On note T= {Ua you, a} a Démontrer que T est la tribu engendrée par Aj,...,A, indication Corrige Exercice 4 ww - Tribu engendrée par une partition signaler une erreur] (Ajouter & ma feuille d'exos lEnoncé W Soit E un ensemble infini et (4,),cx une partition de E. Pour toute partie J de N, on pose Br =U jes 4s 1, Démontrer que T = {By; J © P(N)} est une tribu sur B et que c'est la plus petite tribu contenant tous les Ay 2, Trouver une partition (An)ncr de N de sorte que, pour tout n ¢ N, Ay n’est pas fini. 3, Trouver une tribu incluse dans P(N), de cardinal infini, dont tous les éléments, sauf ensemble vide, sont de cardinal infini hitpssiwwu-biamath netressourcestindex.php?acti afiche&quoitbde/analyselintegration/mesurabledlype=fexo 2102110512022 29:54 xereces corigés “Tribus, fonctions mesurables, mesures | Indication ¥ 1. Verifier la définition. 2. Utiliser une bijection entre N? et N. 3. Corrigé Exercice 5 soww - Tribu borélienne de R? jsignaler une erreur] [Ajouter & ma feuille d'exos’ lEnonce 1. Soit R ensemble des rectangles ouverts de R? a extrémités rationnelles. Démontrer que R est dénombrable. 2, Soit U un ouvert de R*, Démontrer que U = Unce, new Re 3. En déduire que la tribu engendrée par les rectangles ouverts de R? coincide avec la tribu borélienne de R’. indication P Corrige Exercice 6 www - Tribu des parties finies de R [signaler une erreur] [Ajouter a ma feuille d'exos) lEnonce ¥ Soit T la tribu engendrée par les parties finies de R, et C 'ensembles des parties A de R telles que A est dénombrable ou A* est dénombrable. 1, Démontrer que C est une tribu. 2. Démontrer que C et T sont égales. 3. Comparer T ala tribu borélienne B. 4, Soit f une application de R dans R injective. Montrer que f est mesurable lorsqu'on munit de la tribu T (au départ et a l'arrivée). 5. Donner une application f qui est mesurable de (R, B) dans (i, 8) et qui ne l'est pas de (R,T) dans (R,T) indication P Corrigé Ensembles mesurables, boréliens Exercice 7 » - Exemples de boréliens (signaler une erreur] [Ajouter a ma feuille d’exos) nonce W 1. Démontrer que A = {# €R; Sn €N*, |e —n| <1/n} est un borélien de B. 2, Démontrer que les ensembles suivants sont des boréliens de R? 2.1, La diagonale A = {(2,2) € R*; x € R} de R’. 2.2. B= {(z,y) €R’; 27 +y? = let a ¢ Q}. Indication P Corrigé hitpsiwwbiomath netressourcesiindex php acton=affiched.quoisbde/analyseinegration/mesurable&typertexo ano2110512022 28:54 xereces corigés “Tribus, fonctions mesurables, mesures Exercice 8 «www - Oscillation et ensembles des points de continuité d'une fonction [Signaler une erreur] (Ajouter a ma feuille d'exos) lEnonce ¥ Soit (X,d) un espace métrique et f : X + R une fonction. Pour tout x € X, I'oscillation de f en x est définie par $90 \ aiea}sotdlua} 0, "ensemble . = {x € X; w/(z) Oet—zsia< 3. la derivée f' d'une fonction dérivable f. Indication Corrigé Exercice 10 % - Restriction [Signaler une erreur] (Ajouter a ma Feuille d'exos] nonce ¥ Soit E une partie mesurable de R” et f : B— R. Soit g: R” > R définie par g(z) = f(z) siz E et g(2) = 0 sinon. Démontrer que f est mesurable si et seulement sig est mesurable Indication Corrigé Exercice 11 wie - Composée [signaler une erreur] (Ajouter & ma Feuille d'exos] lEnoncé W Soit f:R > R une fonction telle que fo f est mesurable., Est-ce que f est mesurable? indication Corrigé ® Exercice 12 ww - Fonctions monotones {signaler une erreur (Ajouter a ma feullle d’exos) nonce ¥ Soit f :R + R une fonction monotone. 1. Montrer que, pour tout € R, f-"(] — 00, ¢[) est convexe. hitpswwubiomath netressourcesiindex.php?action=affcheé.quoisbdelanalystitegration/mesurablaStypefexo 402110512022 29:54 xereces corigés “Tribus, fonctions mesurables, mesures 2. En déduire que f est mesurable. indication P Corrigé Exercice 13 ww - Fonction et son module [signaler une erreur] [Ajouter a ma feuille d'exos} nonce Donner un exemple d'espace mesurable (E,T) et d'application f : E> R qui n'est pas mesurable, mais telle que || est mesurable. Indication P Corrigé B Exercice 14 ww - Une fonction mesurable dont la réciproque n'est pas mesurable iSignaler une erreur] [Ajouter & ma feuille d'exos] lEnonce ¥ Le but de cet exercice est de construire un espace mesurable (X,7) et une application bijective f:(X,T) = (X,7) mesurable, mais dont la réciproque f-? n'est pas mesurable. Pour cela, on pose X = Zet T est l'ensemble des parties A de Z ayant la propriété suivante : pour tout entier n> 1, 2n€ A siet seulement si 2n +1 € A. 1. Donner des exemples d’éléments de T. 2. Montrer que T est une tribu. 3. On pose f:n€Z++n+2. Démontrer que f est mesurable, mais que f~1 ne lest pas. Indication Corrigé Exercice 15 www - Développement décimal (signaler une erreur [Ajouter & ma Feuille d'exos) lEnonce W Soit n > 1. On note fq "application de (0, 1| dans R définie par j,(2) vaut la n-iéme décimale de z dans son développement décimal propre. Démontrer que f, est mesurable. indication P Corrigé Exercice 16 www - Troncature [signaler une erreur) (Ajouter a ma feuille d’exos) Enoncé Soit (X,7) un espace mesuré, et soit f : (X,T) > (R, B(R)) une application mesurable. Soit a> Oet fq la fonction définie sur E par fla) silf(a)i0 -a sif(e) <—a. Démontrer que f, est mesurable. indication P Corrigé hitpsswwubiomath netressourcesiindex.php?action=affched.quoi=bdelanalystitegration/mesurablaStypefexo sno2110512022 28:54 Mesures xereces corigés “Tribus, fonctions mesurables, mesures Exercice 17 w - Fonctions et mesures (signaler une erreur] (Ajouter a ma feuille d'exos) lEnoncé Soit (X,B, ») un espace mesuré et f : X —+ (IR, B(R)) une fonction mesurable. On suppose que u({x © E; f(z) > 0}) > 0. Démontrer qu'il existe ¢ > 0 tel que u({e 2}) > 0. indication P Corrigé Exercice 18 » - Combinaison convexe de mesures (Signaler une erreur] [Ajouter & ma feuille d'exos) lEnonce ¥ Solent j11,.-.,4n des mesures définies sur un méme espace mesurable (X,). Soient également 1, ,dy des réels positifs. On définit une application v : T — (0, +00] par, pour tout T € T, v(t) = > ayn) ‘ Démontrer que v est une mesure sur la tribu T. Indication ¥ | suffit d'appliquer la définition. Corrigé Exercice 19 - Tribu des ensembles certains ou négligeables {signaler une erreur] (Ajouter & ma feuille &'exos] nonce ¥ Soit (X,B,u) un espace mesuré ol est une mesure de probabilité. On note ‘A & B; (A) = 0 ou u(A) = 1}. Démontrer que T est une tribu sur X. Indication V Pour la stabilité par union dénombrable, ou des Aj est de mesure pleine. n tous les A; sont de mesure nulle, ou bien un Corrigé Exercice 20 www - Mesure invariante par translation sur Z (signaler une erreur] [Ajouter a ma feuille dexos] lEnoncé Démontrer qu'il n'existe pas de mesure ys finie et non nulle sur (Z,P(Z)) qui soit invariante par translation, i.e. satisfaisant u(p +A) = (A) pour tout p< Zet tout Ac Z Indication W Raisonner par l'absurde, et prouver quill existe nécessairement n € N tel que yu({n}) #0. En déduire une contradiction en utilisant linvariance par translation. Corrigé hitpsiwubiomath netressourcesiindex.phpaction=afcheé.quoisbdelanalystitegration/mesurablaStypefexo ano2110512022 28:54 xereces corigés “Tribus, fonctions mesurables, mesures Exercice 21 woiww - Absolue Continuité d'une mesure par rapport a une autre isignaler une erreur] {Ajouter & ma feulled'exos] lEnoncé W Soit (X,B) un espace mesurable et soient 4, deux mesures finies sur (X,B). On suppose que, pour tout A € B, ona u(A) = 0 —> v(A) = 0. Démontrer que, pour tout ¢ > 0, ill existe n > 0 tel que, VA € B, u(A) (A) Cet f : X > C. On suppose quill existe une partie ¥ ¢ B telle que (fa(y)) tend vers f(y) pour tout y < ¥ et m(X\¥) = 0, Soit enfin c > 0, Le but de I'exercice est de prouver qu'il existe A B telle que m(X\\A) < c et telle que (f,) converge vers f uniformément sur A. 1. Pour tout entier k > 1 fixé et tout n > 1, on pose Bux = Ujoaflfi — f] > 1/K}- Montrer que la suite (m(Bnx))n>1 est décroissante et tend vers 0. 2. Soit e > 0 fixé. Construire une suite strictement croissante d'entiers (ng)4>1 telle que Be = Ups; Brat Soit de mesure m(B.) < . 3. Montrer que (f,) converge uniformément sur A. = Be. indication P Corrigé Mesure de Lebesgue tés sur la mesure de Lebesgue des ouverts (signaler une erreur] [Ajouter a ma feuille d'exos) lEnoncé W Dans cet exercice, on note A la mesure de Lebesgue. 1. Soit U un ouvert borné. Démontrer que \(U) < +oo. La réciproque est-elle vraie? 2. Soit « > 0. Construire un ouvert U dense dans R de sorte que A(U) < «. 3. Soit A un borélien de R. Montrer que si A contient un ouvert, alors A(A) > 0, La réciproque est-elle vraie? Indication Corrige Exercice 24 ww - Propriété d'un grand borélien (Signaler une erreur] [Ajouter a ma feuille d’exos) lEnoncé Soit A un borélien de R tel que (A) > 1. 1, Démontrer que (A) = Dynex M(A—n) 9 (0, 11) 2. En déduire que les ensembles (A —n) 1 [0,1[, n € Z, ne peuvent pas étre deux A deux disjoints. 3. En déduire quill existe a,b < A tels que a — 4 soit un entier non nul. hitpsiwwubiomath netressourcesindex.php?action=afcheé.quoisbdelanalystiegration/mesurablaStypefexo m02110512022 29:54 Exereces corigés “Tribus, fonctions mesurables, mesures, Indication V 1. Introduire les ensembles A, = AQ [n,n +1 2. Procéder par 'absurde. La contradiction vient de ce que (A) > 1 3. Corrigé > Exercice 25 wwww - Ensemble triadique de Cantor [Signaler une erreur] [Ajouter a ma feuille d'exos lEnoncé ¥ Le but de I'exercice est d'introduire et d'étudier l'ensemble triadique de Cantor. Cet ensemble est un exemple d'ensemble mesurable, non dénombrable, et de mesure de Lebesgue nulle. Pour cela, on définit dans R une suite de parties (C,,) de la facon suivante : on part de Cy = [0,1 Pour définir C,, on coupe Ca en trois et on enléve lintervalle ouvert central. Ainsi, Cy = (0, 1/3] U [2/3, 1). Pour définir C,, on réitére la méme opération sur chacun des deux intervalles composant O;, de sorte que C ~ {0,1/9] U (2/9, 1/3] U (2/3, 7/9] U (8/9, 1]. Plus généralement, C,, est la réunion de 2” intervalles [a,, by] avec (b, — a) = 3" et on définit C,,.. comme la réunion des 2"*! intervalles [ax, (2ax + bx)/3), [(ax + 2b.) /3, bs). Enfin, on pose C= Nazi Cn: 1. Justifier que C est un compact. 2. Démontrer que (C) = 0. : 5 . [yon 2a gan 2a 3. Démontrer que C, est la réunion des 2" intervalles Ly, a, ~ [Sea 2) Dat + FI avec a,.--,a, € {0,1}. 4, En déduire que l'application ¢ : {0,1} > C, (a:)er 3 DE = est injective 5. Démontrer que C n'est pas dénombrable. Indication W 1. Remarquer que chaque C, est compact. 2. Calculer (Cn) 3. Procéder par récurrence. 4, Ne pas oublier de prouver que l'application est a valeurs dans C. Corrige Exercice 26 www - Un exemple d'ensemble qui n'est pas un borélien {signaler une erreur [Ajouter & ma feuille d'exos] lEnonce W On considére sur |0, 1[ la relation d’équivalence x ~ y si et seulement si z ~ y ¢ @. Pour chaque classe d'équivalence, on fixe un représentant et on note F l'ensemble de ces représentants, Ainsi, pour tout x <]0, 1[, il existe un unique y < F tel que 2 ~ y 1. Soit g,r € Q, avec qf r. Démontrer que (F +4) (F +r) = 2. 2. Démontrer que ]0,1/C Uyegey-1a(F +9) C= 1,2 3, On suppose que F est un borélien. En considérant (Useo sal(F + 0). obtenir une contradiction. hitpsiwwubiomath netressourcesiindex.php?action=afcheé.quoi=bde/analyseintgraton/masurabladlype=fexo ano2110512022 29:54 Exereces corigés “Tribus, fonctions mesurables, mesures, Indication W un élément de F, 3. La mesure de Lebesgue est additive. 1, Procéder par 'absurde et utiliser que si f # g € F, alors f et g ne sont pas en relation. 2. Pour linclusion de gauche, utiliser le fait que tout élément de J0, 1/ est en relation avec Corrigé Discussions des forums = Analyse limite avec epsil Bestialement calcularoire probabiités conditionnelles Ia topologie de la conver ... probabilité de tirage complexe 3éme concours CAPES Maths Peut on modéliser un écos matrices stochastiques et Calcul différentiel variable complexe Probabilités Endormorphisme d'un espac Probabilité et matrice st * Nombre de choses entre de + Analyse complexe Accéder aux forums Mathématicienne du mois Wan) fa ™ ada Lovelace (1815 - 1852) Toutes les biographies Signaler une erreur/Nous contacterMentions LégalesConfidentialité itp: biamathnetressourcesindexphpacionsaficneéqucicbdlanalysfintagraion/mestrablaiypa=fxo eno2110512022 28:54 Exereces corigés “Tribus, fonctions mesurables, mesures, ContactConfidentialitéMentions légales hitpssiwwu-biamath netressourcestindex.php?actio ichedquol-bde/analyse/ntegation/mesurable&type=fexo s0n0