Théorème de représentation de Riesz
|
|
|
- Martine Duval
- il y a 9 ans
- Total affichages :
Transcription
1 Université d Artois Faculté des Sciences Jean Perrin Mesure et Intégration (Licence 3 Mathématiques-Informatique) Daniel Li Théorème de représentation de Riesz May 9, 2006 C est un théorème de construction de mesures positives sur les espaces topologiques localement compacts, à partir de formes linéaires positives sur l espace des fonctions continues à support compact. En particulier, il permet de construire la mesure de Lebesgue sur R d. 1 Préliminaires topologiques Rappel. Un espace topologique est localement compact s il est séparé et si tout point de possède un voisinage compact. On montre qu alors tout point x possède une base de voisinages compacts : V V(x) W V(x) tel que W soit compact et W V. Proposition 1 Soit un espace localement compact, K un compact de et U un ouvert contenant K. Alors il existe un ouvert V relativement compact tel que : K V V U. Rappelons que relativement compact signifie que l adhérence est compacte. Preuve. Pour tout x K, il existe un voisinage ouvert V x de x, dont l adhérence V x est compacte et contenue dans U. Comme K est compact, il existe un nombre fini de points x 1,..., x n K tels que K soit recouvert par V x1 V xn. Si l on note V cette réunion, c est un ouvert contenant K, et V = V x1 V xn est compact et contenu dans U. Rappelons que si est un espace topologique et f : C, le support de f est le fermé : supp (f) = {x ; f(x) 0}. On a : x / supp (f) f(x) = 0, et [supp (f)] c est le plus grand ouvert sur lequel f s annule. L ensemble K () des fonctions f : R qui sont continues et à support compact est un espace vectoriel sur R. 1
2 Notations. 1) On écrira K f pour dire que : a) K est un compact de ; b) f K () ; c) 1I K f 1I, et l on dira que f domine K et que K est dominé par f. Remarque. On aura en particulier : f 0, et : x K f(x) = 1. 2) On écrira f Ω et l on dira que Ω domine f et que f est dominée par Ω lorsque : a) f K() ; b) Ω est un ouvert de ; c) 0 f 1I Ω ; d) supp (f) Ω. Remarque. On aura en particulier 0 f 1I, et : x \ Ω f(x) = 0. Théorème 2 (Théorème d Urysohn.) Soit un espace localement compact, K une partie compacte de, et Ω un ouvert contenant K. Alors, il existe f K () telle que : K f Ω. (en particulier, on a 0 1I K f 1I Ω ). Preuve. Lorsque est métrique, il suffit de prendre un ouvert relativement compact V tel que K V V Ω, et : f(x) = dist (x, V c ) dist (x, K) + dist (x, V c ) Dans le cas général, c est un plus délicat, et la preuve sera donnée en Annexe à la fin. Corollaire 3 Pour tout ouvert non vide Ω de, il existe f telle que f Ω. Preuve. Prendre a Ω puis K = {a}. Corollaire 4 (partition de l unité) Soit un espace localement compact, K une partie compacte de, et {Ω 1,..., Ω n } un recouvrement ouvert de K : K Ω 1 Ω n. Alors, il existe h 1,..., h n K() telles que : { h j Ω j, 1 j n h 1 (x) + + h n (x) = 1, x K. 2
3 On dit que {h 1,..., h n } est une partition de l unité de K subordonnée au recouvrement {Ω 1,..., Ω n }. Preuve. Pour tout x K, il existe j n tel que x Ω j. La Proposition 1 nous dit qu il existe un ouvert V x relativement compact tel que x V x et V x Ω j. Comme K x K V x et puisque K est compact, il existe un ensemble fini F K tel que K x F V x. Posons : H j = V x. x F Vx Ω j C est un compact contenu dans Ω j ; le Théorème d Urysohn donne g 1,..., g n telles que H j g j Ω j pour 1 j n. Les fonctions : h 1 = g 1 h 2 = (1I g 1 )g h n = (1I g 1 )(1I g 2 ) (1I g n 1 )g n conviennent. 2 Enoncé du Théorème de représentation. Théorème 5 (Théorème de représentation de Riesz) Soit un espace localement compact et L: K () R une forme linéaire positive : f 0 L(f) 0. Alors, il existe une tribu M de parties de, contenant la tribu borélienne Bor() et une unique mesure positive m = m L sur (, M ) telle que : 1 L(f) = f dm, f K () ; 2 m(k) < + pour tout compact K ; 3 a m(ω) = sup{m(k) ; K compact et K Ω} pour tout ouvert Ω de ; b m(b) = sup{m(k) ; K compact et K B} pour toute partie B M telle que m(b) < + ; 4 m(b) = inf{m(ω) ; Ω ouvert et B Ω} pour tout B M. Remarque. Si est compact, alors m() < + et donc 3 b est vrai pour tout B M. 3
4 Application : construction de la mesure de Lebesgue sur R. Pour toute f K (R), l intégrale de Riemann généralisée R + f(x) dx converge (absolument), et si supp (f) [α, β], elle est égale à R β f(x) dx. α L application L: K (R) R f R + f(x) dx est une forme linéaire positive. Le Théorème de représentation de Riesz dit qu il existe une mesure positive λ sur (R, M ), donc sur ( R, Bor(R) ), telle que : + R f(x) dx = f dλ, f K (R). Il reste juste à vérifier que : λ(]a, b[) = b a a < b R. Pour cela prenons une fonction f n : R R nulle en dehors de ]a, b[, valant 1 sur [a+1/n, b 1/n] et affine sur [a, a+1/n] et sur [b 1/n, b]. Alors f n K (R) et lim f n = 1I ]a,b[ ; donc : n + λ(]a, b[) = R 1I ]a,b[ dλ = lim n + ( = lim b a 1 ) n + n R R f n dλ = lim n + R = b a. + f n (x) dx Remarque. Pour la mesure de Lebesgue sur R d, on fait pareil ; ou bien on peut la construire comme la mesure-produit λ λ (d fois). Preuve de l unicité. Supposons que m 1 et m 2 soient comme dans le théorème. Grâce à 3 a et 4, il suffit de montrer que : m 1 (K) = m 2 (K), pour tout compact K. Soit K un compact et ε > 0. Comme m 2 (K) < +, 4 dit qu il existe un ouvert Ω tel que K Ω et m 2 (Ω) m 2 (K) + ε. Le Théorème d Urysohn donne f telle que K f Ω. On a donc : 1 m 1 (K) 1I K dm 1 f dm 1 = f dm 2 1I Ω dm 2 = m 2 (Ω) m 2 (K) + ε. Par conséquent m 1 (K) m 2 (K). En échangeant les rôles de m 1 et m 2, on obtient l inégalité inverse, et donc m 1 (K) = m 2 (K). 4
5 3 Preuve de l existence. Elle se fait en plusieurs étapes. 3.1 Etape 1. Posons : Pour tout ouvert Ω : puis, pour tout A : On a m ( ) = 0 et m (Ω) = sup{l(f) ; f Ω} ; m (A) = inf{m (Ω) ; Ω ouvert et A Ω}. A B m (A) m (B). Lemme 6 Si Ω 1 et Ω 2 sont deux ouverts, alors : m (Ω 1 Ω 2 ) m (Ω 1 ) + m (Ω 2 ). Preuve. Soit g Ω 1 Ω 2. Le Théorème de partition de l unité (avec Ω 3 = [supp (g)] c ) donne h 1 Ω 1 et h 2 Ω 2 telles que : h 1 (x) + h 2 (x) = 1, x supp (g). Alors h 1 g Ω 1, h 2 g Ω 2 et g = h 1 g + h 2 g ; donc : L(g) = L(h 1 g) + L(h 2 g) m (Ω 1 ) + m (Ω 2 ) ; d où m (Ω 1 Ω 2 ) m (Ω 1 ) + m (Ω 2 ). Proposition 7 Pour tous A 1, A 2,..., A n,..., on a : m ( ) A n + n 1 n=1 m (A n ) (sous σ-additivité). Preuve. On peut supposer m (A n ) < + pour tout n 1. Soit ε > 0. Pour tout n 1, il existe un ouvert Ω n A n tel que : Posons Ω = n 1 m (Ω n ) m (A n ) + ε/2 n. Ω n ; c est un ouvert. supp (f) est compact, un n 1 tel que : f Ω 1 Ω n. Pour toute f Ω, il existe, puisque 5
6 On a donc : L(f) m (Ω 1 Ω n ) n [ m (A n ) + ε 2 k ] n m (Ω k ) + m (A n ) + ε ; d où m (Ω) + m (A n ) + ε. Comme + A k conséquent m ( Etape 2. Ω, on obtient m ( + A k ) + m (A k ) + ε, et par ) A k + m (A k ) puisque ε > 0 est quelconque. Définition 8 On dit que A est quasi-mesurable si m (A) = sup{m (K) ; K compact et K A}. On notera QM l ensemble des parties quasi-mesurables. Proposition 9 (importante) 1) Toute partie A telle que m (A) = 0 est quasi-mesurable. 2) Tout compact K est quasi-mesurable et, de plus, m (K) < +. 3) Tout ouvert Ω est quasi-mesurable. Le 1) est évident, de même que le fait que les compacts soient quasi-mesurables. Pour montrer que m (K) < +, on utilisera le lemme suivant. Lemme 10 K f Ω m (K) L(f) m (Ω). Preuve. L inégalité de droite provient de la définition de m (Ω). Pour l autre, soit α > 0 tel que 0 < α < 1. Posons : Ω α = {f > α}. C est un ouvert et K Ω α (car α < 1). Par définition, il existe ϕ Ω α telle que : m (Ω α ) L(ϕ) + (1 α). Comme ϕ 1I Ωα 1 αf, on obtient : m (K) m (Ω α ) L(ϕ) + (1 α) 1 L(f) + (1 α) ; α d où m (K) L(f), en faisant tendre α vers 1. 6
7 Suite de la preuve de 2). Par le Théorème d Urysohn, il existe f telle que K f, et le lemme donne m (K) L(f) < +. Preuve de 3). Le cas m (Ω) = 0 est évident (voir 1)). On suppose donc m (Ω) > 0. Soit α > 0 tel que α < m (Ω). Par définition, il existe f Ω telle que : α L(f) m (Ω). Posons K = supp (f). Pour tout ouvert V K, on a f V ; donc L(f) m (V ), et par conséquent : L(f) inf{m (V ) ; V ouvert et K V } = m (K). Alors α m (K). Puisque α < m (Ω) est arbitraire, on obtient : m (Ω) inf{m (K) ; K compact et K Ω}, d où l égalité, car est évident. 3.3 Etape 3 : σ-additivité de m pour les ensembles quasimesurables. Lemme 11 Si K 1 et K 2 sont deux compacts disjoints de, alors : m (K 1 K 2 ) = m (K 1 ) + m (K 2 ). Preuve. K c 2 est un ouvert tel que K 1 K c 2. Par la Proposition 1, il existe un ouvert relativement compact Ω tel que K 1 Ω Ω K c 2. Alors Ω 1 = Ω et Ω 2 = (Ω) c sont deux ouverts disjoints et K 1 Ω 1 et K 2 Ω 2. Maintenant, pour tout ε > 0, il existe un ouvert V tel que K 1 K 2 V et m (V ) m (K 1 K 2 ) + ε/3. Il existe de plus f 1 Ω 1 V et f 2 Ω 2 V telles que : m (Ω 1 V ) L(f 1 ) + ε/3 et m (Ω 2 V ) L(f 2 ) + ε/3. Donc m (K 1 ) + m (K 2 ) m (Ω 1 V ) + m (Ω 2 V ) Comme f 1 + f 2 V (car Ω 1 Ω 2 = ), on a : Finalement : L(f 1 ) + ε 3 + L(f 2) + ε 3 = L(f 1 + f 2 ) + 2ε 3 L(f 1 + f 2 ) m (V ) m (K 1 K 2 ) + ε 3 m (K 1 ) + m (K 2 ) m (K 1 K 2 ) + ε ; d où m (K 1 ) + m (K 2 ) m (K 1 K 2 ), puisque ε > 0 était arbitraire, et il y a l égalité, puisque provient de la sous σ-additivité. 7
8 Proposition 12 Si les A n sont quasi-mesurables, n 1, et sont deux-à-deux disjoints, alors A = A n est quasi-mesurable, et : n 1 m ( ) A n = n 1 + n=1 m (A n ). Preuve. S il existe un n 1 tel que m (A n ) = +, c est évident (les deux côtés valent + ). On suppose donc m (A n ) < + pour tout n 1. Soit ε > 0. Il existe des compacts H n A n tels que : m (A n ) m (H n ) + ε 2 n Posons K n = H 1 H n ; c est un compact contenu dans A, et : n m (A) m (K n ) = m (H k ) car A 1,..., A n étant deux-à-deux disjoints, H 1,..., H n le sont aussi n m (A k ) ε. Il en résulte que m (A) + m (A k ), et donc que l on a l égalité puisque est toujours vrai, par sous σ-additivité. De plus, si l on pose : on a : S = sup{m (K) ; Kcompact et K A}, S m (K n ) n m (A k ) ε ; donc S m (A), puisque ε > 0 est arbitraire. Il en résulte que S = m (A) et A est quasi-mesurable. Corollaire 13 Soit A une partie quasi-mesurable telle que m (A) < +. Alors pour tout ε > 0, il existe un compact K et un ouvert Ω tels que K A Ω et m (Ω \ K) ε. Preuve. Par définition de m et des parties quasi-mesurables, pour tout ε > 0, il existe un compact K et un ouvert Ω tels que K A Ω et m (Ω) ε 2 m (A) m (K) + ε 2 Comme Ω \ K est un ouvert, il est quasi-mesurable. De plus, il est disjoint du compact K, qui est quasi-mesurable. La Proposition 12 donne : m (K) + m (Ω \ K) = m (Ω) m (K) + ε ; d où le résultat, en simplifiant par m (K) < +. 8
9 Corollaire 14 Si A, B sont deux parties quasi-mesurables telles que m (A) < + et m (B) < +, alors l ensemble A \ B = A B c est quasi-mesurable. Preuve. Soit ε > 0. Le Corollaire 13 donne des compacts K 1 et K 2 et des ouverts Ω 1 et Ω 2 tels que K 1 A Ω 1, K 2 B Ω 2 et Comme on obtient : m (Ω 1 \ K 1 ) ε, m (Ω 2 \ K 2 ) ε. A \ B Ω 1 \ K 2 (Ω 1 \ K 1 ) (K 1 \ Ω 2 ) (Ω 2 \ K 2 ), m (A \ B) ε + m (K 1 \ Ω 2 ) + ε. Comme K 1 \ Ω 2 est un compact contenu dans A \ B, cela donne le résultat. Corollaire 15 Si A, B sont deux parties quasi-mesurables telles que m (A) < + et m (B) < +, alors A B et A B sont quasi-mesurables. Preuve. a) A\B QM par le Corollaire 14 ; comme A et A\B sont disjoints, la Proposition 12 donne A B = A (A \ B) QM. b) On a A \ B QM et m (A \ B) m (A) < + ; donc A B = A \ (A \ B) QM par le Corollaire Etape 4. Définition 16 On dit que A est mesurable si, pour tout compact K, on a A K QM. On note M l ensemble des parties mesurables. Proposition 17 M est une tribu de parties de et elle contient la tribu borélienne Bor(). Preuve. 1) a) Il est clair que M. b) Si A M, alors, pour tout compact K, on a m (A K) m (K) < +. Comme K QM, le Corollaire 14 dit que A c K = K \ (A K) QM ; donc A c M. c) Soit A n M, n 1, et A = A n. Pour tout compact K, posons : n 1 B 1 = A 1 K, B = (A K) \ (B 1 B n ), n 1. Alors B n QM, par les Corollaire 14 et Corollaire 15 ; et les B n, n 1, sont deux-à-deux disjoints. La Proposition 12 nous dit que A K = B n QM. Ainsi A M. 2) Pour tout fermé F et tout compact K, F K est compact et donc F K QM. Donc F M et, par conséquent, Bor() M, puisque M est une tribu. Proposition 18 m = m M est une mesure positive sur (, M ). Preuve. Cela résulte de la Proposition 12. n 1 9
10 3.5 Etape 5. Proposition 19 L(f) = f dm, f K (). Preuve. Il suffit de montrer : L(f) f dm, f K () ; en effet, on aura l inégalité inverse en remplaçant f par ( f). Soit K = supp (f) et choisissons a, b R, avec b > 0, tels que f(k) ]a, b]. Soit ε > 0 et soit : y 0 = a < y 1 < < y n < y = b une subdivision de [a, b] de pas inférieur ou égal à ε : 0 < y k+1 y k ε pour 0 k n. Définissons : A k = {y k 1 < f y k } K, 1 k n + 1. Les A k sont des boréliens (car f est continue) deux-à-deux disjoints ; donc : m(k) = m(a k ). Pour tout k, soit Ω k un ouvert tel que A k Ω k et Posons : m(ω k ) m(a k ) + c est un ouvert et A k V k ; de plus : ε n + 1 V k = Ω k {f < y k + ε} ; m(v k ) m(ω k ) m(a k ) + ε n + 1 Comme K V 1 V, il existe une partition de l unité de K subordonnée au recouvrement (V k ) 1 k, c est-à-dire des fonctions h 1,..., h n K () telles que : h k V k, 1 k n + 1, et K h k. On a alors : a) m(k) L b) f = ( h k f ; ) h k (par le Lemme 10) ; 10
11 c) h k f (y k + ε)h k pour 1 k n + 1 ; d) y k ε f(x) pour tout x A k. Par conséquent : L(f) = L(h k f) (y k + ε)l(h k ) = ( a + y k + ε)l(h k ) a L(h k ) ( a + y k + ε)m(v k ) a m(k) (car a + y k + ε 0) [ ( a + y k + ε) m(a k ) + ε ] a m(k) n + 1 = (y k + ε)m(a k ) + ε ( a + y k + ε) n + 1 (y k ε)m(a k ) + 2εm(K) + ε( a + b + ε) [ = ] f1i Ak dm + ε[2m(k) + a + b + ε] f dm + ε[2m(k) + a + b + ε], ce qui donne le résultat, puisque ε > 0 est arbitraire. 3.6 Fin de la preuve. Il ne reste plus qu à voir que les propriétés 2, 3 a, 3 b et 4 sont bien vérifiées. Mais 2 et 3 a ont été vus dans la Proposition 9, 3 b dans le Corollaire 13 de la Proposition 12, et 4 résulte de la définition de m. Cela achève la preuve du Théorème de representation de Riesz. 4 Annexe : Preuve du Théorème d Urysohn. Notons Q [0, 1] = {r n ; n 1}, avec r 1 = 0 et r 2 = 1. La Proposition 1 permet de trouver un ouvert relativement compact V 0 tel que : K V 0 V 0 Ω, 11
12 puis un autre ouvert relativement compact V 1 tel que : V 0 V 1 V 1 Ω. Pour n 2, supposons que l on ait déjà construit des ouverts relativement compacts V r1,..., V rn tels que, pour r j < r k, on ait : Notons : K V rj V rj V rk V rk Ω. r inf = max{r j ; 1 j n et r j < r } r sup = min {r j ; 1 j n et r j > r }. La Proposition 1 permet à nouveau de trouver un ouvert relativement compact V r tel que : V rinf V r V r V rsup. Par cette récurrence, un obtient une famille (V r ) r Q [0,1] d ouverts relativement compacts tels que : ( ) 0 < r < s < 1 K V 0 V 0 V r V r V s V s V 1 V 1 Ω. Définissons g : [0, 1] par g(x) = 1 si x / V 1 et, pour x V 1 : g(x) = inf{r Q [0, 1] ; x V r }. Il est clair que g(x) = 0 si x K (car K V 0 ), de sorte que si l on montre que g est continue, la fonction f = 1I g aura les propriétés requises : f sera continue, f(x) = 1 si x K, et supp (f) V 1 sera compact. Fixons-nous x 0, et supposons 0 < g(x 0 ) < 1 (les cas g(x 0 ) = 0 et g(x 0 ) = 1 ne demandant que des modifications d écriture). Pour tout ε > 0, choisissons r, s Q tels que 0 < s r ε et : 0 < r < g(x 0 ) < s < 1. Alors, par définition de g et en vertu des inclusions ( ), on a x 0 V s et x 0 / V r (sinon, on aurait x 0 V r pour r < r, et ce n est pas possible pour r < g(x 0 )). Ainsi l ouvert V s (V r ) c contient x 0 et l on a r g(x) s (et donc g(x) g(x 0 ) ε) pour tout x V s (V r ) c. 12
Intégration et probabilités TD1 Espaces mesurés Corrigé
Intégration et probabilités TD1 Espaces mesurés Corrigé 2012-2013 1 Petites questions 1 Est-ce que l ensemble des ouverts de R est une tribu? Réponse : Non, car le complémentaire de ], 0[ n est pas ouvert.
Construction de l'intégrale de Lebesgue
Université d'artois Faculté des ciences Jean Perrin Mesure et Intégration (Licence 3 Mathématiques-Informatique) Daniel Li Construction de l'intégrale de Lebesgue 10 février 2011 La construction de l'intégrale
Dualité dans les espaces de Lebesgue et mesures de Radon finies
Chapitre 6 Dualité dans les espaces de Lebesgue et mesures de Radon finies Nous allons maintenant revenir sur les espaces L p du Chapitre 4, à la lumière de certains résultats du Chapitre 5. Sauf mention
Intégration et probabilités TD1 Espaces mesurés
Intégration et probabilités TD1 Espaces mesurés 2012-2013 1 Petites questions 1) Est-ce que l ensemble des ouverts de R est une tribu? 2) Si F et G sont deux tribus, est-ce que F G est toujours une tribu?
Mesures et Intégration
Mesures et Intégration Marc Troyanov - EPFL - Octobre 2005 30 avril 2008 Ce document contient les notes du cours de Mesure et Intégration enseigné à l EPFL par Marc Troyanov, version 2005-2006. Table des
Image d un intervalle par une fonction continue
DOCUMENT 27 Image d un intervalle par une fonction continue La continuité d une fonction en un point est une propriété locale : une fonction est continue en un point x 0 si et seulement si sa restriction
Amphi 3: Espaces complets - Applications linéaires continues
Amphi 3: Espaces complets - Applications linéaires continues Département de Mathématiques École polytechnique Remise en forme mathématique 2013 Suite de Cauchy Soit (X, d) un espace métrique. Une suite
MESURE ET INTÉGRATION EN UNE DIMENSION. Notes de cours
MSUR T INTÉGRATION N UN DIMNSION Notes de cours André Giroux Département de Mathématiques et Statistique Université de Montréal Mai 2004 Table des matières 1 INTRODUCTION 2 1.1 xercices.............................
Commun à tous les candidats
EXERCICE 3 (9 points ) Commun à tous les candidats On s intéresse à des courbes servant de modèle à la distribution de la masse salariale d une entreprise. Les fonctions f associées définies sur l intervalle
Produits d espaces mesurés
Chapitre 7 Produits d espaces mesurés 7.1 Motivation Au chapitre 2, on a introduit la mesure de Lebesgue sur la tribu des boréliens de R (notée B(R)), ce qui nous a permis d exprimer la notion de longueur
Fonctions de plusieurs variables, intégrales multiples, et intégrales dépendant d un paramètre
IUFM du Limousin 2009-10 PLC1 Mathématiques S. Vinatier Rappels de cours Fonctions de plusieurs variables, intégrales multiples, et intégrales dépendant d un paramètre 1 Fonctions de plusieurs variables
Théorie de la Mesure et Intégration
Université Pierre & Marie Curie (Paris 6) Licence de Mathématiques L3 UE LM364 Intégration 1 & UE LM365 Intégration 2 Année 2010 11 Théorie de la Mesure et Intégration Responsable des cours : Amaury LAMBERT
Intégrale de Lebesgue
Intégrale de Lebesgue L3 Mathématiques Jean-Christophe Breton Université de Rennes 1 Septembre Décembre 2014 version du 2/12/14 Table des matières 1 Tribus (σ-algèbres) et mesures 1 1.1 Rappels ensemblistes..............................
Exercices - Fonctions de plusieurs variables : corrigé. Pour commencer
Pour commencer Exercice 1 - Ensembles de définition - Première année - 1. Le logarithme est défini si x + y > 0. On trouve donc le demi-plan supérieur délimité par la droite d équation x + y = 0.. 1 xy
Théorie de la mesure. S. Nicolay
Théorie de la mesure S. Nicolay Année académique 2011 2012 ii Table des matières Introduction v 1 Mesures 1 1.1 Sigma-algèbres................................. 1 1.2 Mesures.....................................
Calcul fonctionnel holomorphe dans les algèbres de Banach
Chapitre 7 Calcul fonctionnel holomorphe dans les algèbres de Banach L objet de ce chapitre est de définir un calcul fonctionnel holomorphe qui prolonge le calcul fonctionnel polynômial et qui respecte
THÉORIE DE LA MESURE ET DE L INTÉGRATION.
THÉORIE DE LA MESURE ET DE L INTÉGRATION. THIERRY GALLAY Transcrit par Tancrède LEPOINT 29 UNIVERSITÉ JOSEPH FOURIER, GRENOBLE TABLE DES MATIÈRES Avant-propos Biographie sommaire...........................................
3 Approximation de solutions d équations
3 Approximation de solutions d équations Une équation scalaire a la forme générale f(x) =0où f est une fonction de IR dans IR. Un système de n équations à n inconnues peut aussi se mettre sous une telle
La mesure de Lebesgue sur la droite réelle
Chapitre 1 La mesure de Lebesgue sur la droite réelle 1.1 Ensemble mesurable au sens de Lebesgue 1.1.1 Mesure extérieure Définition 1.1.1. Un intervalle est une partie convexe de R. L ensemble vide et
Planche n o 22. Fonctions de plusieurs variables. Corrigé
Planche n o Fonctions de plusieurs variables Corrigé n o : f est définie sur R \ {, } Pour, f, = Quand tend vers, le couple, tend vers le couple, et f, tend vers Donc, si f a une limite réelle en, cette
I. Polynômes de Tchebychev
Première épreuve CCP filière MP I. Polynômes de Tchebychev ( ) 1.a) Tout réel θ vérifie cos(nθ) = Re ((cos θ + i sin θ) n ) = Re Cn k (cos θ) n k i k (sin θ) k Or i k est réel quand k est pair et imaginaire
Mesure et Intégration (Notes de cours de L3)
Mesure et Intégration (Notes de cours de L3) Ahmed Zeriahi Version préliminaire-octobre 2011 Avertissement : Ceci est une version préliminaire des notes du cours que l auteur a dispensé en troisème année
4. Martingales à temps discret
Martingales à temps discret 25 4. Martingales à temps discret 4.1. Généralités. On fixe un espace de probabilités filtré (Ω, (F n ) n, F, IP ). On pose que F contient ses ensembles négligeables mais les
Résolution d équations non linéaires
Analyse Numérique Résolution d équations non linéaires Said EL HAJJI et Touria GHEMIRES Université Mohammed V - Agdal. Faculté des Sciences Département de Mathématiques. Laboratoire de Mathématiques, Informatique
CHAPITRE IV. L axiome du choix
CHAPITRE IV L axiome du choix Résumé. L axiome du choix AC affirme qu il est légitime de construire des objets mathématiques en répétant un nombre infini de fois l opération de choisir un élément dans
Chapitre 7 : Intégration sur un intervalle quelconque
Universités Paris 6 et Paris 7 M1 MEEF Analyse (UE 3) 2013-2014 Chapitre 7 : Intégration sur un intervalle quelconque 1 Fonctions intégrables Définition 1 Soit I R un intervalle et soit f : I R + une fonction
Chapitre 2 Le problème de l unicité des solutions
Université Joseph Fourier UE MAT 127 Mathématiques année 2011-2012 Chapitre 2 Le problème de l unicité des solutions Ce que nous verrons dans ce chapitre : un exemple d équation différentielle y = f(y)
3. Conditionnement P (B)
Conditionnement 16 3. Conditionnement Dans cette section, nous allons rappeler un certain nombre de définitions et de propriétés liées au problème du conditionnement, c est à dire à la prise en compte
aux différences est appelé équation aux différences d ordre n en forme normale.
MODÉLISATION ET SIMULATION EQUATIONS AUX DIFFÉRENCES (I/II) 1. Rappels théoriques : résolution d équations aux différences 1.1. Équations aux différences. Définition. Soit x k = x(k) X l état scalaire
* très facile ** facile *** difficulté moyenne **** difficile ***** très difficile I : Incontournable T : pour travailler et mémoriser le cours
Exo7 Continuité (étude globale). Diverses fonctions Exercices de Jean-Louis Rouget. Retrouver aussi cette fiche sur www.maths-france.fr * très facile ** facile *** difficulté moyenne **** difficile *****
Calcul différentiel sur R n Première partie
Calcul différentiel sur R n Première partie Université De Metz 2006-2007 1 Définitions générales On note L(R n, R m ) l espace vectoriel des applications linéaires de R n dans R m. Définition 1.1 (différentiabilité
Cours d Analyse 3 Fonctions de plusieurs variables
Université Claude Bernard, Lyon I Licence Sciences, Technologies & Santé 43, boulevard 11 novembre 1918 Spécialité Mathématiques 69622 Villeurbanne cedex, France L. Pujo-Menjouet [email protected]
Chp. 4. Minimisation d une fonction d une variable
Chp. 4. Minimisation d une fonction d une variable Avertissement! Dans tout ce chapître, I désigne un intervalle de IR. 4.1 Fonctions convexes d une variable Définition 9 Une fonction ϕ, partout définie
Continuité d une fonction de plusieurs variables
Chapitre 2 Continuité d une fonction de plusieurs variables Maintenant qu on a défini la notion de limite pour des suites dans R n, la notion de continuité s étend sans problème à des fonctions de plusieurs
Intégration sur des espaces produits
Chapitre 5 Intégration sur des espaces produits 5.1 Produit de deux mesures Étant donnés deux espaces mesurés (Ω 1, F 1, µ 1 ) et (Ω 2, F 1, µ 2 ), le but de cette section est de construire une mesure
* très facile ** facile *** difficulté moyenne **** difficile ***** très difficile I : Incontournable
Eo7 Fonctions de plusieurs variables Eercices de Jean-Louis Rouget Retrouver aussi cette fiche sur wwwmaths-francefr * très facile ** facile *** difficulté moenne **** difficile ***** très difficile I
Suites numériques 3. 1 Convergence et limite d une suite
Suites numériques 3 1 Convergence et limite d une suite Nous savons que les termes de certaines suites s approchent de plus en plus d une certaine valeur quand n augmente : par exemple, les nombres u n
Limites finies en un point
8 Limites finies en un point Pour ce chapitre, sauf précision contraire, I désigne une partie non vide de R et f une fonction définie sur I et à valeurs réelles ou complees. Là encore, les fonctions usuelles,
Théorie de la Mesure et Intégration
Ecole Nationale de la Statistique et de l Administration Economique Théorie de la Mesure et Intégration Xavier MARY 2 Table des matières I Théorie de la mesure 11 1 Algèbres et tribus de parties d un ensemble
Optimisation non linéaire Irène Charon, Olivier Hudry École nationale supérieure des télécommunications
Optimisation non linéaire Irène Charon, Olivier Hudry École nationale supérieure des télécommunications A. Optimisation sans contrainte.... Généralités.... Condition nécessaire et condition suffisante
Cours d Analyse. Fonctions de plusieurs variables
Cours d Analyse Fonctions de plusieurs variables Licence 1ère année 2007/2008 Nicolas Prioux Université de Marne-la-Vallée Table des matières 1 Notions de géométrie dans l espace et fonctions à deux variables........
Fonctions de plusieurs variables
Module : Analyse 03 Chapitre 00 : Fonctions de plusieurs variables Généralités et Rappels des notions topologiques dans : Qu est- ce que?: Mathématiquement, n étant un entier non nul, on définit comme
Méthodes de quadrature. Polytech Paris-UPMC. - p. 1/48
Méthodes de Polytech Paris-UPMC - p. 1/48 Polynôme d interpolation de Preuve et polynôme de Calcul de l erreur d interpolation Étude de la formule d erreur Autres méthodes - p. 2/48 Polynôme d interpolation
1 Définition et premières propriétés des congruences
Université Paris 13, Institut Galilée Département de Mathématiques Licence 2ème année Informatique 2013-2014 Cours de Mathématiques pour l Informatique Des nombres aux structures Sylviane R. Schwer Leçon
Université Paris-Dauphine DUMI2E 1ère année, 2009-2010. Applications
Université Paris-Dauphine DUMI2E 1ère année, 2009-2010 Applications 1 Introduction Une fonction f (plus précisément, une fonction réelle d une variable réelle) est une règle qui associe à tout réel x au
Le produit semi-direct
Le produit semi-direct Préparation à l agrégation de mathématiques Université de Nice - Sophia Antipolis Antoine Ducros Octobre 2007 Ce texte est consacré, comme son titre l indique, au produit semi-direct.
Correction de l examen de la première session
de l examen de la première session Julian Tugaut, Franck Licini, Didier Vincent Si vous trouvez des erreurs de Français ou de mathématiques ou bien si vous avez des questions et/ou des suggestions, envoyez-moi
Exo7. Matrice d une application linéaire. Corrections d Arnaud Bodin.
Exo7 Matrice d une application linéaire Corrections d Arnaud odin. Exercice Soit R muni de la base canonique = ( i, j). Soit f : R R la projection sur l axe des abscisses R i parallèlement à R( i + j).
Filtrage stochastique non linéaire par la théorie de représentation des martingales
Filtrage stochastique non linéaire par la théorie de représentation des martingales Adriana Climescu-Haulica Laboratoire de Modélisation et Calcul Institut d Informatique et Mathématiques Appliquées de
Capes 2002 - Première épreuve
Cette correction a été rédigée par Frédéric Bayart. Si vous avez des remarques à faire, ou pour signaler des erreurs, n hésitez pas à écrire à : [email protected] Mots-clés : équation fonctionnelle, série
Cours 02 : Problème général de la programmation linéaire
Cours 02 : Problème général de la programmation linéaire Cours 02 : Problème général de la Programmation Linéaire. 5 . Introduction Un programme linéaire s'écrit sous la forme suivante. MinZ(ou maxw) =
Texte Agrégation limitée par diffusion interne
Page n 1. Texte Agrégation limitée par diffusion interne 1 Le phénomène observé Un fût de déchets radioactifs est enterré secrètement dans le Cantal. Au bout de quelques années, il devient poreux et laisse
Première partie. Préliminaires : noyaux itérés. MPSI B 6 juin 2015
Énoncé Soit V un espace vectoriel réel. L espace vectoriel des endomorphismes de V est désigné par L(V ). Lorsque f L(V ) et k N, on désigne par f 0 = Id V, f k = f k f la composée de f avec lui même k
Introduction à la. Points Critiques. Otared Kavian. et Applications aux Problèmes Elliptiques. Springer-Verlag
Otared Kavian Introduction à la Théorie des Points Critiques et Applications aux Problèmes Elliptiques Springer-Verlag Berlin Heidelberg NewYork London Paris Tokyo Hong Kong Barcelona Budapest Avant propos
Mesures gaussiennes et espaces de Fock
Mesures gaussiennes et espaces de Fock Thierry Lévy Peyresq - Juin 2003 Introduction Les mesures gaussiennes et les espaces de Fock sont deux objets qui apparaissent naturellement et peut-être, à première
Développements limités. Notion de développement limité
MT12 - ch2 Page 1/8 Développements limités Dans tout ce chapitre, I désigne un intervalle de R non vide et non réduit à un point. I Notion de développement limité Dans tout ce paragraphe, a désigne un
EXERCICE 4 (7 points ) (Commun à tous les candidats)
EXERCICE 4 (7 points ) (Commun à tous les candidats) On cherche à modéliser de deux façons différentes l évolution du nombre, exprimé en millions, de foyers français possédant un téléviseur à écran plat
PROBABILITÉS: COURS DE LICENCE DE MATHÉMATIQUES APPLIQUÉES LM 390
PROBABILITÉS: COURS DE LICENCE DE MATHÉMATIQUES APPLIQUÉES LM 390 Université PARIS 6 2008/2009 Jean BERTOIN 1 Table des Matières ( ) ces parties peuvent ^etre omises en première lecture, et ne feront pas
ÉTUDE ASYMPTOTIQUE D UNE MARCHE ALÉATOIRE CENTRIFUGE
ÉTUDE ASYMPTOTIQUE D UNE MARCHE ALÉATOIRE CENTRIFUGE JEAN-DENIS FOUKS, EMMANUEL LESIGNE ET MARC PEIGNÉ J.-D. Fouks. École Supérieure d Ingénieurs de Poitiers. 40 avenue du Recteur Pineau, 860 Poitiers
Optimisation des fonctions de plusieurs variables
Optimisation des fonctions de plusieurs variables Hervé Hocquard Université de Bordeaux, France 8 avril 2013 Extrema locaux et globaux Définition On étudie le comportement d une fonction de plusieurs variables
C algèbre d un certain groupe de Lie nilpotent.
Université Paul Verlaine - METZ LMAM 6 décembre 2011 1 2 3 4 Les transformations de Fourier. Le C algèbre de G/ Z. Le C algèbre du sous-groupe G 5 / vect{u,v }. Conclusion. G un groupe de Lie, Ĝ l ensemble
Continuité et dérivabilité d une fonction
DERNIÈRE IMPRESSIN LE 7 novembre 014 à 10:3 Continuité et dérivabilité d une fonction Table des matières 1 Continuité d une fonction 1.1 Limite finie en un point.......................... 1. Continuité
Calcul différentiel. Chapitre 1. 1.1 Différentiabilité
Chapitre 1 Calcul différentiel L idée du calcul différentiel est d approcher au voisinage d un point une fonction f par une fonction plus simple (ou d approcher localement le graphe de f par un espace
MA6.06 : Mesure et Probabilités
Année universitaire 2002-2003 UNIVERSITÉ D ORLÉANS Olivier GARET MA6.06 : Mesure et Probabilités 2 Table des matières Table des matières i 1 Un peu de théorie de la mesure 1 1.1 Tribus...............................
3. Caractéristiques et fonctions d une v.a.
3. Caractéristiques et fonctions d une v.a. MTH2302D S. Le Digabel, École Polytechnique de Montréal H2015 (v2) MTH2302D: fonctions d une v.a. 1/32 Plan 1. Caractéristiques d une distribution 2. Fonctions
Exemple 4.4. Continuons l exemple précédent. Maintenant on travaille sur les quaternions et on a alors les décompositions
Exemple 4.4. Continuons l exemple précédent. Maintenant on travaille sur les quaternions et on a alors les décompositions HQ = He 1 He 2 He 3 He 4 HQ e 5 comme anneaux (avec centre Re 1 Re 2 Re 3 Re 4
Groupe symétrique. Chapitre II. 1 Définitions et généralités
Chapitre II Groupe symétrique 1 Définitions et généralités Définition. Soient n et X l ensemble 1,..., n. On appelle permutation de X toute application bijective f : X X. On note S n l ensemble des permutations
Equations aux Dérivées Partielles
Equations aux Dérivées Partielles Tony Lelièvre 29-2 Après avoir considéré dans le capitre précédent des équations d évolution pour des fonctions ne dépendant que du paramètre temps, nous nous intéressons
Continuité en un point
DOCUMENT 4 Continuité en un point En général, D f désigne l ensemble de définition de la fonction f et on supposera toujours que cet ensemble est inclus dans R. Toutes les fonctions considérées sont à
FONCTIONS DE PLUSIEURS VARIABLES (Outils Mathématiques 4)
FONCTIONS DE PLUSIEURS VARIABLES (Outils Mathématiques 4) Bernard Le Stum Université de Rennes 1 Version du 13 mars 2009 Table des matières 1 Fonctions partielles, courbes de niveau 1 2 Limites et continuité
Polynômes à plusieurs variables. Résultant
Polynômes à plusieurs variables. Résultant Christophe Ritzenthaler 1 Relations coefficients-racines. Polynômes symétriques Issu de [MS] et de [Goz]. Soit A un anneau intègre. Définition 1.1. Soit a A \
Différentiabilité ; Fonctions de plusieurs variables réelles
Différentiabilité ; Fonctions de plusieurs variables réelles Denis Vekemans R n est muni de l une des trois normes usuelles. 1,. 2 ou.. x 1 = i i n Toutes les normes de R n sont équivalentes. x i ; x 2
RO04/TI07 - Optimisation non-linéaire
RO04/TI07 - Optimisation non-linéaire Stéphane Mottelet Université de Technologie de Compiègne Printemps 2003 I Motivations et notions fondamentales 4 I1 Motivations 5 I2 Formes quadratiques 13 I3 Rappels
Comparaison de fonctions Développements limités. Chapitre 10
PCSI - 4/5 www.ericreynaud.fr Chapitre Points importants 3 Questions de cours 6 Eercices corrigés Plan du cours 4 Eercices types 7 Devoir maison 5 Eercices Chap Et s il ne fallait retenir que si points?
Suites numériques 4. 1 Autres recettes pour calculer les limites
Suites numériques 4 1 Autres recettes pour calculer les limites La propriété suivante permet de calculer certaines limites comme on verra dans les exemples qui suivent. Propriété 1. Si u n l et fx) est
Théorème du point fixe - Théorème de l inversion locale
Chapitre 7 Théorème du point fixe - Théorème de l inversion locale Dans ce chapitre et le suivant, on montre deux applications importantes de la notion de différentiabilité : le théorème de l inversion
Capacité d un canal Second Théorème de Shannon. Théorie de l information 1/34
Capacité d un canal Second Théorème de Shannon Théorie de l information 1/34 Plan du cours 1. Canaux discrets sans mémoire, exemples ; 2. Capacité ; 3. Canaux symétriques ; 4. Codage de canal ; 5. Second
8.1 Généralités sur les fonctions de plusieurs variables réelles. f : R 2 R (x, y) 1 x 2 y 2
Chapitre 8 Fonctions de plusieurs variables 8.1 Généralités sur les fonctions de plusieurs variables réelles Définition. Une fonction réelle de n variables réelles est une application d une partie de R
Espérance conditionnelle
Espérance conditionnelle Samy Tindel Nancy-Université Master 1 - Nancy Samy T. (IECN) M1 - Espérance conditionnelle Nancy-Université 1 / 58 Plan 1 Définition 2 Exemples 3 Propriétés de l espérance conditionnelle
Chapitre 2 Le problème de l unicité des solutions
Université Joseph Fourier UE MAT 127 Mthémtiques nnée 2009-2010 Chpitre 2 Le prolème de l unicité des solutions 1 Le prolème et quelques réponses : 1.1 Un exemple Montrer que l éqution différentielle :
Cours d analyse numérique SMI-S4
ours d analyse numérique SMI-S4 Introduction L objet de l analyse numérique est de concevoir et d étudier des méthodes de résolution de certains problèmes mathématiques, en général issus de problèmes réels,
Chapitre 2. Eléments pour comprendre un énoncé
Chapitre 2 Eléments pour comprendre un énoncé Ce chapitre est consacré à la compréhension d un énoncé. Pour démontrer un énoncé donné, il faut se reporter au chapitre suivant. Les tables de vérité données
a et b étant deux nombres relatifs donnés, une fonction affine est une fonction qui a un nombre x associe le nombre ax + b
I Définition d une fonction affine Faire l activité 1 «une nouvelle fonction» 1. définition générale a et b étant deux nombres relatifs donnés, une fonction affine est une fonction qui a un nombre x associe
Équations non linéaires
Équations non linéaires Objectif : trouver les zéros de fonctions (ou systèmes) non linéaires, c-à-d les valeurs α R telles que f(α) = 0. y f(x) α 1 α 2 α 3 x Equations non lineaires p. 1/49 Exemples et
1 Mesure et intégrale
1 Mesure et itégrale 1.1 Tribu boréliee et foctios mesurables Soit =[a, b] u itervalle (le cas où b = ou a = est pas exclu) et F ue famille de sous-esembles de. OditqueF est ue tribu sur si les coditios
Chapitre 7. Statistique des échantillons gaussiens. 7.1 Projection de vecteurs gaussiens
Chapitre 7 Statistique des échantillons gaussiens Le théorème central limite met en évidence le rôle majeur tenu par la loi gaussienne en modélisation stochastique. De ce fait, les modèles statistiques
Yamina Yagoub-Zidi. Inconditionnalité et propriétés du point fixe dans les espaces de fonctions lisses
MINISTERE DE L ENSEIGNEMENT SUPERIEUR ET DE LA RECHERCHE SCIENTIFIQUE UNIVERSITE MOULOUD MAMMERI, TIZI-OUZOU FACULTE DES SCIENCES DEPARTEMENT DE MATHEMATIQUES THESE DE DOCTORAT SPECIALITE : MATHEMATIQUES
CCP PSI - 2010 Mathématiques 1 : un corrigé
CCP PSI - 00 Mathématiques : un corrigé Première partie. Définition d une structure euclidienne sur R n [X]... B est clairement symétrique et linéaire par rapport à sa seconde variable. De plus B(P, P
De même, le périmètre P d un cercle de rayon 1 vaut P = 2π (par définition de π). Mais, on peut démontrer (difficilement!) que
Introduction. On suppose connus les ensembles N (des entiers naturels), Z des entiers relatifs et Q (des nombres rationnels). On s est rendu compte, depuis l antiquité, que l on ne peut pas tout mesurer
* très facile ** facile *** difficulté moyenne **** difficile ***** très difficile I : Incontournable T : pour travailler et mémoriser le cours.
Eo7 Fonctions de plusieurs variables Eercices de Jean-Louis Rouget Retrouver aussi cette fiche sur wwwmaths-francefr * très facile ** facile *** difficulté moenne **** difficile ***** très difficile I
Contexte. Pour cela, elles doivent être très compliquées, c est-à-dire elles doivent être très différentes des fonctions simples,
Non-linéarité Contexte Pour permettre aux algorithmes de cryptographie d être sûrs, les fonctions booléennes qu ils utilisent ne doivent pas être inversées facilement. Pour cela, elles doivent être très
Chapitre 2. Matrices
Département de mathématiques et informatique L1S1, module A ou B Chapitre 2 Matrices Emmanuel Royer emmanuelroyer@mathuniv-bpclermontfr Ce texte mis gratuitement à votre disposition a été rédigé grâce
Notes du cours MTH1101 Calcul I Partie II: fonctions de plusieurs variables
Notes du cours MTH1101 Calcul I Partie II: fonctions de plusieurs variables Guy Desaulniers Département de mathématiques et de génie industriel École Polytechnique de Montréal Automne 2014 Table des matières
Programmes des classes préparatoires aux Grandes Ecoles
Programmes des classes préparatoires aux Grandes Ecoles Filière : scientifique Voie : Biologie, chimie, physique et sciences de la Terre (BCPST) Discipline : Mathématiques Seconde année Préambule Programme
Notes de cours M2 Équations aux dérivées partielles elliptiques. Hervé Le Dret
Notes de cours M2 Équations aux dérivées partielles elliptiques Hervé Le Dret 4 mars 2010 2 Table des matières 1 Rappels en tous genres 7 1.1 Les théorèmes de convergence de Lebesgue............ 7 1.2
Souad EL Bernoussi. Groupe d Analyse Numérique et Optimisation Rabat http ://www.fsr.ac.ma/ano/
Recherche opérationnelle Les démonstrations et les exemples seront traités en cours Souad EL Bernoussi Groupe d Analyse Numérique et Optimisation Rabat http ://www.fsr.ac.ma/ano/ Table des matières 1 Programmation
Groupoïdes quantiques mesurés : axiomatique, étude, dualité, exemples
Groupoïdes quantiques mesurés : axiomatique, étude, dualité, exemples Franck LESIEUR Mathématiques et Applications, Physique Mathématique d Orléans UMR 6628 - BP 6759 45067 ORLEANS CEDEX 2 - FRANCE e-mail
n N = u N u N+1 1 u pour u 1. f ( uv 1) v N+1 v N v 1 1 2 t
3.La méthode de Dirichlet 99 11 Le théorème de Dirichlet 3.La méthode de Dirichlet Lorsque Dirichlet, au début des années 180, découvre les travaux de Fourier, il cherche à les justifier par des méthodes
Corrigé du baccalauréat S Pondichéry 12 avril 2007
Corrigé du baccalauréat S Pondichéry 1 avril 7 EXERCICE 1 Commun à tous les candidats 4 points 1 a Les vecteurs AB et AC ont pour coordonnées AB ; ; ) et AC 1 ; 4 ; 1) Ils ne sont manifestement pas colinéaires
Chapitre 3. Mesures stationnaires. et théorèmes de convergence
Chapitre 3 Mesures stationnaires et théorèmes de convergence Christiane Cocozza-Thivent, Université de Marne-la-Vallée p.1 I. Mesures stationnaires Christiane Cocozza-Thivent, Université de Marne-la-Vallée
