MESURE ET INTÉGRATION EN UNE DIMENSION. Notes de cours

Dimension: px
Commencer à balayer dès la page:

Download "MESURE ET INTÉGRATION EN UNE DIMENSION. Notes de cours"

Transcription

1 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

2 Table des matières 1 INTRODUCTION xercices NSMBLS MSURABLS Mesure extérieure nsembles mesurables Mesure xercices FONCTIONS MSURABLS xercices INTÉGRATION xercices SPACS D LBSGU xercices DÉRIVATION Fonctions à variation bornée Fonctions absolument continues xercices INTÉGRATION ABSTRAIT Le modèle probabiliste xercices INTÉGRALS ITÉRÉS xercices APPLICATIONS Série de Fourier Transformée de Fourier xercices

3 1 INTRODUCTION L aire d un rectangle R de côtés a et b est ab, par définition. Lorsque a et b sont des entiers, cette aire est égale au nombre de carrés de côté unité nécessaires pour recouvrir R. L aire du triangle rectangle de base a et de hauteur b est bien évidemment ab/2. On en déduit l aire d un triangle quelconque puis, par triangulation, celle d un polygone arbitraire. Le calcul de l aire d un domaine D délimité par des courbes plus complexes, par exemple des arcs de cercle ou des segments de parabole, nécessite un passage à la limite. Dans le cas où D est déterminé par le graphe d une fonction f continue et positive sur un intervalle compact [a, b] 1, D = {(x, y) a x b, 0 y f(x)}, considérons avec Riemann une partition P de l intervalle [a, b] : P = {x 0, x 1, x 2,..., x n } où a = x 0 < x 1 < x 2 < < x n = b. Alors la somme supérieure S(f, P) = n sup{f(x) x k 1 x x k }(x k x k 1 ) fournit une borne supérieure pour l aire requise et la somme inférieure s(f, P) = n inf{f(x) x k 1 x x k }(x k x k 1 ) en fournit une borne inférieure. n utilisant les propriétés des fonctions continues sur les intervalles compacts, on montre que inf{s(f, P) P} = sup{s(f, P) P} et c est cette valeur commune que l on prend pour mesure de l aire du domaine D. On exprime ceci en disant que la fonction f est intégrable au sens de Riemann sur l intervalle [a, b], d intégrale b a f(x) dx = inf{s(f, P) P} = sup{s(f, P) P}. 1 [a, b] désigne un intervalle contenant ses extrémités, ]a, b[ désigne un intervalle ne contenant pas ses extrémités et (a, b) désigne un intervalle contenant peut-être ses extrémités. 2

4 Lorsque la fonction f n est pas continue, il n est plus certain qu elle soit intégrable au sens de Riemann, même si elle est positive et bornée. Un exemple d une telle fonction est fourni par la fonction indicatrice des nombres rationnels f = I Q, définie par { 1 si x Q I Q (x) = 0 sinon, qui n est intégrable sur aucun intervalle [a, b] puisque l on a toujours S(I Q, P) = b a, s(i Q, P) = 0. On peut essayer d élargir la classe des fonctions intégrables, et ceci est l objet de notre cours, en considérant avec Lebesgue des partitions de l axe des ordonnées plutôt que des partitions de l axe des abscisses. Nous étendrons d abord la notion de longueur d un intervalle, λ([a, b]) = b a, à une classe plus vaste d ensembles (nous les nommerons : ensembles mesurables et la longueur généralisée : mesure). Nous considérerons alors la somme m k σ m (f) = m λ( k) où k = k=0 { x k m f(x) < k + 1 } m et λ( k ) est la mesure de k. ( Pour alléger l exposé, nous avons supposé ici que 0 f(x) 1. ) Cette somme d aires de rectangles généralisés constitue une bonne approximation de l aire du domaine D cherchée : lorsque m est grand en effet, f est presque constante sur k. La complexité de la fonction se traduit par la complexité des ensembles k. Si f est monotone par exemple, les ensembles k sont des intervalles et la somme σ m (f) se réduit à la somme s(f, P) correspondante. Pour une classe très vaste de fonctions (nous les appellerons : fonctions mesurables), nous verrons que lim σ m(f) m + existe et généralise effectivement la notion d aire précédemment obtenue. Une telle fonction sera dite intégrable au sens de Lebesgue, d intégrale 1 0 f = lim σ m(f). m + 3

5 La propriété de la mesure qui permettra ces développements est la propriété d additivité : désignant par n n la réunion d une suite finie ou infinie d ensembles mesurables deux à deux disjoints 2, nous aurons ( ) λ n = λ( n ) n n et c est sur cette propriété fondamentale que reposera toute la théorie. 1.1 xercices 1. Vérifier que la fonction est partout discontinue. x I Q (x) 2. Déterminer l ensemble des points de continuité de la fonction x x I Q (x). 3. Déterminer les ensembles k associés à la fonction I Q. 2 et par la réunion de deux ensembles disjoints. 4

6 2 NSMBLS MSURABLS Nous allons généraliser la notion de longueur en deux étapes. Nous associerons d abord à tout ensemble R un élément λ () de [0, + ] 3 appelé mesure extérieure de qui, lorsque est un intervalle, se réduit à sa longueur. Nous restreindrons ensuite la fonction λ () ainsi définie sur l ensemble P(R) de toutes les parties de R à une famille L appropriée d ensembles de façon à avoir la propriété d additivité. Ces ensembles seront les ensembles mesurables et la fonction restreinte sera la mesure. Nous verrons ensuite des exemples d ensembles mesurables et étudierons des propriétés supplémentaires de la mesure. 2.1 Mesure extérieure La mesure extérieure λ () d un ensemble R est définie par l équation { λ () = inf (b k a k ) } ]a k, b k [, (1) k k la borne inférieure étant calculée sur la famille des suites finies ou infinies d intervalles ouverts { ]a k, b k [ } k recouvrant. Pour étudier ses propriétés, nous nous appuierons sur le théorème suivant. Théorème 1 (Borel-Lebesgue) Tout recouvrement d un intervalle compact [a, b] par des intervalles ouverts { ]a α, b α [ } α A contient un sous-recouvrement fini. Démonstration. Supposons le contraire. Alors au moins l un des deux intervalles [a, a + b 2 ], [a + b 2, b] ne pourrait être recouvert par un nombre fini des intervalles ]a α, b α [. Donc au moins l un des quatre intervalles [a, 3a + b 4 ], [ 3a + b, a + b 4 2 ], [a + b 2, a + 3b 4 ], [ a + 3b, b] 4 3 On convient que si a [ 0, + ], a + (+ ) = +, que si a ] 0, + ], a (+ ) = + et enfin que 0 (+ ) = 0. 5

7 ne pourrait l être. Ainsi de suite. On obtiendrait de cette façon une suite d intervalles emboîtés, I 1 I 2 I 3, dont le n ième aurait pour longueur (b a)/2 n. L intersection de tous ces intervalles se réduirait à un point x de [a, b]. Il existerait donc un intervalle ]a α, b α [ contenant ce point et, par suite, tous les intervalles I n à partir d un certain rang, contredisant leur définition. C.Q.F.D. Dans le théorème suivant, + x 0 désigne le translaté de par x 0 : + x 0 = {y y = x + x 0, x }. (Ne pas confondre + x 0 avec + {x 0 }.) Théorème 2 La mesure extérieure λ : P(R) [0, + ] possède les propriétés suivantes : 1. F implique que λ () λ (F ) ; 2. quel que soit x 0, λ ( + x 0 ) = λ () ; 3. pour tout intervalle (a, b), λ ((a, b)) = b a ; 4. pour toute suite finie ou infinie d ensembles { k } k, ( ) λ k λ ( k ). k k Démonstration. La première propriété (monotonie) suit de ce que tout recouvrement de F est aussi un recouvrement de et la deuxième (invariance sous translation) découle de ce que la longueur d un intervalle est invariante sous translation. Pour démontrer la troisième, considérons d abord le cas d un intervalle compact [a, b]. Soit ɛ > 0. La relation montre que donc, ɛ > 0 étant arbitraire, que [a, b] ]a ɛ, b + ɛ[ λ ([a, b]) λ ( ]a ɛ, b + ɛ[ ) b a + 2ɛ λ ([a, b]) b a. 6

8 Pour obtenir l inégalité opposée, il suffit, en vertu du théorème de Borel- Lebesgue, de montrer que, si on a [a, b] b a N ]a k, b k [, N (b k a k ). Pour ce faire, on peut supposer que les intervalles du recouvrement fini sont énumérés de telle sorte que a 1 < a < a 2 < b 1 < a 3 < b 2 < < a N 1 < b N 2 < a N < b N 1 < b < b N. Alors (b N a N ) + (b N 1 a N 1 ) + + (b 2 a 2 ) + (b 1 a 1 ) = b N + (b N 1 a N ) + (b N 2 a N 1 ) + + (b 1 a 2 ) a 1 > b N a 1 > b a. Si l intervalle (a, b) est borné, les inclusions entraînent [a + ɛ, b ɛ] (a, b) [a, b] b a 2ɛ λ ((a, b)) b a. nfin, si l intervalle (a, b) n est pas borné, il contient des intervalles bornés de mesure extérieure arbitrairement grande et, par monotonie, λ ((a, b)) = + = b a. Pour démontrer la quatrième propriété (sous-additivité), considérons pour chaque k une suite d intervalles ouverts { ]a k j, bk j [ } j tels que k j ]a k j, b k j [, j (b k j a k j ) λ ( k ) + ɛ 2 k. Alors les intervalles { ]a k j, bk j [ } j,k forment une famille au plus dénombrable (c est-à-dire peuvent être rangés en une suite finie ou infinie) telle que k ]a k j, b k j [, k k j 7

9 d où λ ( k k ) k (b k j a k j ) j k λ ( k ) + ɛ. C.Q.F.D. 2.2 nsembles mesurables La fonction λ que l on vient d introduire ne devient additive que si on la restreint à la classe des ensembles mesurables. Un ensemble R est un ensemble mesurable si quel que soit A R, λ (A) = λ (A) + λ (A c ). Puisque, par sous-additivité, on a toujours quel que soit A R, λ (A) λ (A) + λ (A c ), il suffit, pour démontrer qu un ensemble est mesurable, de vérifier l inégalité quel que soit A R, λ (A) λ (A) + λ (A c ) et, pour ce faire, on peut bien sûr supposer que λ (A) < +. Théorème 3 Pour toute suite finie ou infinie d ensembles mesurables { k } k deux à deux disjoints, on a ( ) λ k = λ ( k ). k k Démonstration. Considérons un ensemble A R quelconque et vérifions d abord, par récurrence sur N, que ( N ) λ A k = N λ (A k ). (2) 8

10 Cet énoncé est en effet trivial pour N = 1 et, s il est vrai pour N, ( N+1 ) (( N+1 ) ) (( N+1 ) ) λ A k = λ A k N+1 + λ A k N+1 c ( N ) = λ (A N+1 ) + λ A k = N+1 λ (A k ). Dans le cas d une suite finie, { k } 1 k N, on a donc bien, en prenant A = R, que ( N ) N λ k = λ ( k ). Dans le cas d une suite infinie, { k } 1 k +, on a, pour chaque N, que donc que ( N N ) ( + ) λ ( k ) = λ k λ k + ( + ) λ ( k ) λ k. La sous-additivité de la mesure extérieure implique l inégalité opposée. C.Q.F.D. Nous dénoterons par L la famille des ensembles mesurables. Le théorème suivant peut s énoncer en disant que cette famille forme ce que l on appelle une tribu. Théorème 4 La famille L P(R) des ensembles mesurables possède les propriétés suivantes : 1. R est mesurable ; 2. le complémentaire c d un ensemble mesurable est mesurable ; 3. la réunion d une suite finie ou infinie d ensembles mesurables { k } k est mesurable ; 4. l intersection d une suite finie ou infinie d ensembles mesurables { k } k est mesurable. 9

11 Démonstration. Les deux premières propriétés sont évidentes de la définition et la quatrième découle, par complémentarité, de la deuxième et de la troisième. Pour démontrer cette dernière, considérons d abord le cas de deux ensembles mesurables 1 et 2. Alors, quel que soit A R, λ (A( 1 2 )) + λ (A( 1 2 ) c ) = λ (A 1 A 2 ) + λ (A c 1 c 2) = λ (A 1 c 2 + A 2 ) + λ (A c 1 c 2) λ (A 1 c 2) + λ (A 2 ) + λ (A c 1 c 2) = λ (A c 2) + λ (A 2 ) = λ (A). Par récurrence sur N, la réunion de toute suite finie d ensembles mesurables { k } 1 k N est donc mesurable et, par complémentarité, ainsi en est-il de leur intersection. Considérons maintenant une suite infinie d ensembles mesurables deux à deux disjoints { k } k. n vertu de l équation (2), on a, quel que soit A R et quel que soit N, ) ( N N ) c ) λ (A) = λ (A k + λ (A k de telle sorte que = ( N N ) c ) λ (A k ) + λ (A k ( N + ) c ) λ (A k ) + λ (A k λ (A) + λ (A + ( + ) c ) λ (A k ) + λ (A k ) ( + ) c ) k + λ (A k ce qui montre que k k = k k est mesurable. nvisageons enfin le cas d une suite infinie quelconque { k } k. Posons F 1 = 1, F 2 = 2 c 1, F 3 = 3 c 1 c 2,..., F n = n c 1 c 2 c n 1,... Ces ensembles F k sont mesurables et deux à deux disjoints de telle sorte que leur réunion est mesurable. Or k F k = k k 10

12 puisque, si x k k, il existe un premier indice k x tel que x kx et alors x F kx. C.Q.F.D. Théorème 5 Tout intervalle I est mesurable. Démonstration. Considérons d abord le cas où I =]a, + [. Soit A R un ensemble quelconque et soient ]a k, b k [ des intervalles tels que A k ]a k, b k [, k (b k a k ) λ (A) + ɛ. Considérons les intervalles I k = ]a k, b k [ I, I k = ]a k, b k [ I c. On a ) λ (AI) λ ( k I k λ (I k ) k et ) λ (AI c ) λ ( k I k k λ (I k ) donc λ (AI) + λ (AI c ) k (λ (I k ) + λ (I k )) = k (b k a k ) λ (A) + ɛ. Les autres cas se ramènent à celui qui vient d être étudié. Par exemple, ]a, b[ = C.Q.F.D. + ]a, b 1 + k ] = ( ]a, + [ ]b 1 k, + [ c ). Théorème 6 Tout ensemble ouvert O est mesurable. Démonstration. Si x O, soient a x = inf{a ]a, x[ O}, b x = sup{b ]x, b[ O} + 11

13 et I x =]a x, b x [. Alors, ou bien I x = I y ou bien I x I y =. Les intervalles I x distincts sont donc au plus dénombrables (chacun d eux contient un nombre rationnel différent). Dénotant ces intervalles par J 1, J 2, J 3,..., O = n J n peut s écrire comme réunion d une suite finie ou infinie d intervalles ouverts deux à deux disjoints (appelés composantes connexes de O). C.Q.F.D. Théorème 7 Tout translaté + x 0 d un ensemble mesurable est mesurable. Démonstration. Observons d abord les identités : ST + x 0 = (S + x 0 )(T + x 0 ), (S + x 0 ) c = S c + x 0. Soit A R un ensemble quelconque. Alors, en vertu des identités précédentes, A( + x 0 ) = (A x 0 ) + x 0, A( + x 0 ) c = (A x 0 ) c + x 0. Par suite, la mesure extérieure étant invariante sous translation, λ (A( + x 0 )) + λ (A( + x 0 ) c ) = λ ((A x 0 )) + λ ((A x 0 ) c ) C.Q.F.D. = λ (A x 0 ) = λ (A). Théorème 8 Tout ensemble N de mesure extérieure nulle est mesurable. Démonstration. Soit A R un ensemble quelconque. On a C.Q.F.D. 2.3 Mesure λ (AN) + λ (AN c ) = λ (AN c ) λ (A). La mesure λ est la restriction de la mesure extérieure λ à la tribu des ensembles mesurables L. Théorème 9 La mesure λ : L [0, + ] possède les propriétés suivantes : 1. λ( + x 0 ) = λ() ; 12

14 2. λ((a, b)) = b a ; 3. pour toute suite disjointe { k } k, λ( k k) = k λ( k) ; 4. pour toute suite croissante 1 2 3, ( + ) lim λ( n) = λ k. Démonstration. Seule la quatrième propriété (continuité) n a pas encore été démontrée. Considérons à nouveau les ensembles F 1 = 1, F 2 = 2 c 1, F 3 = 3 c 2,..., F n = n c n 1,... Ils sont disjoints et tels que, pour chaque n, n n = F k. Par suite, λ( n ) = n λ(f k ) et ( + + ) ( lim λ( + ) n) = λ(f k ) = λ F k = λ k. C.Q.F.D. Une propriété vraie partout sauf aux points d un ensemble de mesure nulle est dite vraie presque partout. Par exemple, la fonction I Q est égale à 0 presque partout. Un ensemble dénombrable est toujours de mesure nulle mais un ensemble peut être de mesure nulle sans être dénombrable. Ainsi en est-il de l ensemble de Cantor. xemple. Soit K l ensemble des points x de [0, 1] dont le développement triadique, + a k x = 3 k, a k {0, 1, 2}, ne contient que des 0 ou des 2. Lorsque deux développements sont possibles, on convient d utiliser celui qui contient un nombre infini de 2 : 1 3 n = 2 3 n n n

15 Contenant 2 N points, l ensemble K n est pas dénombrable. D autre part, il est clair que Par suite, [0, 1]K c = ] 1 3, 2 3 [ + ]1 9, 2 9 [ + ]7 9, 8 9 [ + ] 1 27, 2 27 [ + λ([0, 1]K c ) = = 1 et λ(k) = 0. L axiome du choix affirme que le produit cartésien α A B α d une famille d ensembles non vides B α est non vide, c est-à-dire qu il est possible de choisir un élément x α de chaque ensemble de la famille : x α B α pour tout α A. n l utilisant, on peut obtenir un ensemble non mesurable. xemple. Introduisons une relation d équivalence sur l intervalle [0, 1] en posant, pour x, y [0, 1], x y si x y Q. Choisissons, en vertu de l axiome du choix, un nombre x dans chaque classe d équivalence [x]. Alors, l ensemble des nombres ainsi obtenus n est pas mesurable. Supposons en effet le contraire. Soit Q [ 1, +1] = {r 1, r 2, r 3,...} et considérons les ensembles translatés k = + r k. Ils sont disjoints car si x k j, x = a + r k = b + r j avec a, b. Comme a = b + (r j r k ) b, il faut que a = b, donc que r k = r j, c est-à-dire que k = j. Les relations [0, 1] + k [ 1, 2] (chaque x [0, 1] appartient à [x ] pour un x approprié, donc à k pour un k approprié) entraînent donc 1 + λ( k ) 3 ce qui est absurde puisque λ( k ) = λ() pour tout k. 14

16 2.4 xercices 1. Montrer que tout recouvrement d un ensemble K R compact (fermé et borné) par des ensembles ouverts contient un sous-recouvrement fini. 2. Si R et k R, Montrer que λ (k) = k λ (). k = {y y = kx, x }. 3. Soit µ : P(R) [0, + ] la fonction définie par µ () = sup{(b a) ]a, b[ }. Cette fonction est-elle monotone? invariante sous translation? Préservet-elle la longueur des intervalles? st-elle sous-additive? 4. Répondre aux mêmes questions si la fonction µ est définie par µ () = card(z). 5. Montrer que, si R est mesurable et k R, l ensemble k est mesurable. 6. Montrer que tout ensemble mesurable borné est de mesure finie. La réciproque est-elle vraie? 7. Un ensemble de mesure nulle peut-il être ouvert? Doit-il être fermé? 8. Soit ɛ > 0 donné. Construire un ensemble ouvert de mesure λ() < ɛ qui soit dense dans R (c est-à-dire tel que tout nombre réel puisse s écrire comme la limite d une suite de nombres appartenant à ). 9. Montrer qu un ensemble R est mesurable si et seulement si à chaque ɛ > 0 correspond un ensemble ouvert O ɛ R tel que O ɛ et que λ (O ɛ c ) < ɛ. Suggestion : considérer d abord le cas où λ () < + puis les ensembles m = ] m, +m[. 10. Montrer qu un ensemble R est mesurable si et seulement si on peut l écrire comme la réunion disjointe d un ensemble de mesure nulle N et d un ensemble qui est une réunion au plus dénombrable d ensembles fermés F k : = N + F k. k 15

17 11. Soit µ : L [0, + ] une fonction additive. Montrer qu elle est nécessairement croissante et sous-additive. 12. Soit µ : L [0, + ] la fonction définie par { + si est infini µ() = card() si est fini. Montrer que µ est additive et invariante sous translation. 13. Soit { k } k une suite décroissante, 1 2 3, d ensembles de mesure finie. Montrer que ( + ) lim λ( n) = λ k. L hypothèse «de mesure finie» est-elle essentielle? 14. Une fonction µ : L [0, + ] possède la propriété d additivité finie si, pour toute suite disjointe finie { k } 1 k N, Montrer qu une fonction ( N ) µ k = N µ( k ). µ : L [0, + ] est additive si et seulement si elle continue et possède la propriété d additivité finie. 16

18 3 FONCTIONS MSURABLS Nous allons maintenant introduire la classe des fonctions mesurables, étudier ses principales propriétés et considérer quelques exemples. Une fonction f : R est une fonction mesurable si, quel que soit α R, l ensemble f 1 ( ]α, + [ ) = {x f(x) > α} est mesurable. n particulier, le domaine de définition de f doit lui-même être un ensemble mesurable puisque = n N{x f(x) > n}. n vertu des identités et {x f(x) < α} = {x f(x) > α} = + + {x f(x) > α 1 k }c {x f(x) < α + 1 k }c, il revient au même de vérifier que les ensembles de type {x f(x) < α}, {x f(x) α} ou {x f(x) α} sont tous mesurables. L image inverse d un intervalle quelconque (c, d) par une fonction mesurable, f 1 ((c, d)), est donc toujours un ensemble mesurable. xemple. Une fonction indicatrice f = I, définie par { 1 si x I (x) = 0 sinon, est mesurable si et seulement si l ensemble l est. Théorème 10 Toute fonction continue f : (a, b) R est mesurable. 17

19 Démonstration. n vertu de la continuité de f, l ensemble {x f(x) > α} est relativement ouvert dans (a, b) (c est-à-dire de la forme O (a, b) avec O ouvert) donc mesurable. C.Q.F.D. Théorème 11 Soient f, g : R des fonctions mesurables et h : (a, b) R une fonction continue. Alors la fonction composée h f (si elle est définie) et les fonctions f + g et fg sont mesurables. Démonstration. L ensemble {x h(f(x)) > α} = f 1 (h 1 ( ]α, + [ )) est mesurable parce que l ensemble h 1 ( ]α, + [ ) est relativement ouvert dans (a, b), donc de la forme h 1 ( ]α, + [ ) = k ]a k, b k [ (a, b), ce qui entraîne que f 1 (h 1 ( ]α, + [ )) = k f 1 ( ]a k, b k [ (a, b) ). La fonction f + g est mesurable en vertu de la relation {x f(x) + g(x) > α} = r Q({x f(x) > r} {x g(x) > α r}). Finalement, la relation fg = (f + g)2 f 2 g 2 2 et la continuité des fonctions u u 2 et u cu, c R, entraînent la mesurablité de la fonction fg. C.Q.F.D. xemple. Une fonction étagée est une fonction f : R R dont l ensemble des valeurs est fini. Si {a 1, a 2, a 3,..., a N } 18

20 est l ensemble de ses valeurs non nulles et on a k = f 1 ({a k }) = {x f(x) = a k }, f = N a k I k (représentation canonique). La fonction f est donc mesurable si et seulement si chacun des ensembles k l est. xemple. Si une fonction mesurable f : R ne s annule pas, la fonction 1/f est mesurable. xemple. Si f : R est mesurable, sa valeur absolue f, sa partie positive f + = f + f = sup{f, 0} 2 et sa partie négative le sont aussi et l on a f = f f 2 = sup{ f, 0} f = f + f, f = f + + f. et xemple. Si f, g : R sont mesurables, les fonctions le sont aussi. sup{f, g} = inf{f, g} = (f + g) + f g 2 (f + g) f g 2 Théorème 12 Soient f n : R des fonctions mesurables. Alors, sur leur domaine de définition respectif, les fonctions et sont mesurables. sup f n, inf n N n N f n, lim sup lim f n f n, lim inf f n 19

21 Démonstration. Considérons par exemple l enveloppe supérieure sup n N f n. Son domaine de définition est l ensemble Pour tout α R, l ensemble {x sup f n (x) < + }. n N {x sup f n (x) > α} = {x f n (x) > α} n N n N est mesurable. Le raisonnement est symétrique pour l enveloppe inférieure inf n N f n. Le théorème découle alors des relations et lim sup f n = lim sup f n = inf k + n k lim inf f n = lim inf f n = sup k + n k sup f n k N n k inf f n k N n k sur les domaines de définition appropriés et des équations lim f n = lim sup f n = lim inf f n sur l ensemble C.Q.F.D. {x lim sup f n = lim inf f n}. Théorème 13 Soient f : R une fonction mesurable et g : R une fonction coïncidant presque partout avec f. Alors g est mesurable. Démonstration. L ensemble est de mesure nulle et N = {x g(x) f(x)} {x g(x) > α} = ({x g(x) > α} N) + ({x f(x) > α} N c ). Le premier ensemble est mesurable parce que de mesure nulle et le second est mesurable parce que f l est. C.Q.F.D. 20

22 Théorème 14 Soit f : R une fonction mesurable positive. Il existe une suite de fonctions mesurables positives étagées ϕ n : R qui croît vers f. Démonstration. Considérons les ensembles et Alors la fonction étagée est mesurable. Puisque et que on a n,k = {x k 1 2 n f(x) < k 2 n } ϕ n = F n = {x n f(x)}. n2 n k 1 2 n I n,k + n I Fn n,k = n+1,2k 1 + n+1,2k F n = (n+1)2 n+1 k=n2 n+1 +1 ϕ n ϕ n+1. n+1,k + F n+1, D autre part, en chaque point x, on a, pour n assez grand, que C.Q.F.D. f(x) 1 2 n ϕ n(x) f(x). 3.1 xercices 1. Soit f : R une fonction. Montrer qu elle est mesurable si et seulement si les ensembles le sont pour tout r Q. {x f(x) > r} 21

23 2. Vérifier les relations suivantes : I F = I I F, I +F = I +I F, I F = I +I F I F, I n n = sup I n. 3. Soit f : (a, b) R une fonction monotone. Montrer qu elle est mesurable. 4. Soient f : R R une fonction mesurable et x 0 R. Montrer que la fonction x f(x + x 0 ) est mesurable. 5. Soient f : R R une fonction mesurable et k R. Montrer que la fonction x f(kx) est mesurable. 6. Soit f : (a, b) R une fonction admettant une primitive (c est-à-dire telle qu il existe une fonction F : (a, b) R dont elle est la dérivée : f = F ). Montrer qu elle est mesurable. 7. Soient R un ensemble de mesure finie et f : R une fonction mesurable. Montrer qu à chaque ɛ > 0 correspond N N tel que λ{x f(x) > N} < ɛ. 8. Montrer que toute fonction mesurable est limite simple d une suite de fonctions mesurables étagées. 9. Montrer que toute fonction mesurable bornée est limite uniforme d une suite de fonctions mesurables étagées. 22

24 4 INTÉGRATION Ce chapitre constitue le coeur du cours. Nous allons y définir l intégrale d une fonction mesurable f sur un ensemble mesurable, f, lim et établir ses trois propriétés fondamentales qui sont la linéarité, la positivité et l additivité. Pour ce faire, nous utiliserons beaucoup le fait que l équation f n = lim f n est valable sous des hypothèses très générales dans la théorie de Lebesgue (théorème de la convergence monotone, théorème de la convergence dominée et lemme de Fatou). Nous terminerons par un théorème justifiant la dérivation sous le signe intégral. Soit R un ensemble mesurable. L intégrale sur d une fonction mesurable est définie en trois étapes. Soit d abord N ϕ = a k I k une fonction mesurable positive étagée représentée sous sa forme canonique (c est-à-dire que les a k sont les valeurs distinctes non nulles de ϕ). L intégrale de ϕ sur est définie par l équation On a donc à priori que ϕ = 0 N a k λ( k ). ϕ +. Un moment de réflexion montre que l équation ϕ = a k λ( k ) N est vraie dès que, dans une représentation ϕ = a k I k, N 23

25 les ensembles mesurables k sont deux à deux disjoints, même si les a k associés ne sont pas tous distincts. n effet, chaque valeur non nulle a k est alors nécessairement égale à l une des valeurs a j, les ensembles k correspondant à l une de ces valeurs non nulle forment une partition de l ensemble j correspondant et la mesure est additive. Les trois propriétés suivantes sont des conséquences immédiates de la définition : λ() = 0 implique ϕ = 0, et F implique 0 ϕ ψ sur implique ϕi F = F ϕ, ϕ Pour vérifier la troisième, on s aide de la remarque qui vient d être faite : si avec ϕ = a k I k N et ψ = b ji F j, M j=1 N M k = F j = R, il faut utiliser les représentations j=1 ψ. ϕ = a k I k F j N M j=1 et ψ = b ji k F j. N M j=1 Si ensuite f : R est une fonction mesurable positive, son intégrale sur est définie par { } f = sup ϕ 0 ϕ f sur. ncore ici, on a à priori 0 Les trois propriétés suivantes : f +. λ() = 0 implique 24 f = 0,

26 et F implique 0 f g sur implique fi F = F f, f découlent directement de cette définition et des propriétés correspondantes pour les fonctions étagées. Si enfin f : R est une fonction mesurable quelconque, nous dirons qu elle est une fonction intégrable (ou sommable) sur si f < + et nous poserons alors f = f + f. Cette définition a un sens puisque qu alors, nécessairement, f + < + et f < +. Nous dénoterons par L 1 () la classe des fonctions intégrables sur. Remarque. Lorsque est un intervalle [a, b] avec a b, on conserve la notation usuelle pour l intégrale, en indiquant si nécessaire la variable d intégration : on écrit ainsi b b f = f = f(x) dx et R [a,b] f = a + f = a + f(x) dx. g xemple. La fonction I Q est intégrable sur tout intervalle (a, b) et b a I Q = 0. xemple. Une fonction mesurable bornée est intégrable sur tout ensemble de mesure finie. n particulier, une fonction continue est intégrable sur tout intervalle compact. 25

27 Théorème 15 (convergence monotone) Soient R un ensemble mesurable et f n : R des fonctions mesurables positives qui croissent vers une fonction f : R. Alors lim f n = Démonstration. Il est clair que f est une fonction mesurable positive et que f n f. lim Pour démontrer l inégalité réciproque, soient ɛ > 0 et ϕ une fonction mesurable positive étagée telle que ϕ f et considérons les ensembles f. A n = {x f n (x) (1 ɛ)ϕ(x)}. Ils sont mesurables et, par hypothèse, croissent vers. Si ϕ = N a k I k est la représentation canonique de ϕ, on a f n (1 ɛ)ϕi An = N N (1 ɛ)a k λ(a n k ) = (1 ɛ) a k λ(a n k ). Utilisant la continuité de la mesure, on en déduit lim f n (1 ɛ) N a k λ( k ) = (1 ɛ) ϕ. Le nombre ɛ et la fonction ϕ étant arbitraires, ceci entraîne le résultat. C.Q.F.D. Remarque. Soient R un ensemble mesurable et f n : R des fonctions mesurables positives qui croissent vers + sur. Si λ() > 0, f n = +. n effet, posant lim A n = {x f n (x) > K}, 26

28 on a, quel que soit K > 0, f n f n Kλ(A n ) A n donc, par continuité, lim f n Kλ(). Le nombre K > 0 étant arbitraire, la remarque se trouve justifiée. xemple. Soit f : (a, b) R une fonction mesurable positive bornée. Alors b n2 n { k 1 f = lim 2 n λ x k 1 2 n f(x) < k } 2 n. a Théorème 16 Soient R un ensemble mesurable, f, g : R des fonctions intégrables sur et α, β R. Alors αf + βg est intégrable sur et αf + βg = α f + β g. Démonstration. La démonstration se fait en plusieurs étapes. Soient d abord ϕ et ψ deux fonctions mesurables positives étagées. Représentons-les sous la forme N M ϕ = a k I k, ψ = b ji F j les ensembles mesurables k et F j j=1 étant tels que Alors N M k = F j = R. ϕ + ψ = N j=1 M a k λ( k ) + b jλ(f j) j=1 = a k λ( k F j) + b jλ( k F j) N M j=1 N M j=1 N M = (a k + b j)λ( k F j) = j=1 (ϕ + ψ). 27

29 Soient ensuite f et g deux fonctions mesurables positives. Il existe deux suites de fonctions mesurables positives étagées {ϕ n } n N et {ψ n } n N qui croissent vers f et g respectivement. On a donc f + g = lim = lim ϕ n + lim ψ n = (ϕ n + ψ n ) = (f + g) lim ( ϕ n + ψ n ) (en vertu du théorème de la convergence monotone). Soient enfin f et g deux fonctions intégrables. Alors h = f + g est intégrable puisque h ( f + g ) = f + g < +. De plus, on a donc c est-à-dire h + + f + g = f + + g + + h h + + f + g = f + + g + + h h = D autre part, si α 0, il est clair que α ϕ = α f + g. pour toute fonction mesurable positive étagée ϕ, donc que, pour toute fonction mesurable positive f, αf = α f. Pour une fonction intégrable f quelconque, αf est intégrable (en appliquant ce qui précède à α f ) et αf = (αf) + (αf) = αf + αf = α( f + f ) = α f. ϕ 28

30 Si, enfin, α < 0, αf = ( α)( f) est intégrable et αf = ( α)( f) = ( α) ( f) = ( α)( = α( f + f ) = α f. C.Q.F.D. f f + ) Remarque. Si = A + B est une partition mesurable de et f est intégrable sur, on a f = f + f A B (additivité finie de l intégrale) en appliquant le théorème précédent aux fonctions fi A et fi B. Théorème 17 Soient R un ensemble mesurable, f, g : R des fonctions intégrables sur telles que f g sur. Alors f g avec égalité si et seulement si f = g presque partout sur. Démonstration. On a 0 (g f) = g f. L égalité a lieu dès que f = g presque partout sur puisque, posant on a A = {x f(x) = g(x)}, B = {x f(x) g(x)}, (g f) = A (g f) + B (g f) = 0. Réciproquement, observons que si h : R est une fonction mesurable positive telle que h = 0, on doit avoir h = 0 presque partout sur (on prendra ici h = g f). Posant en effet A k = {x h(x) > 1 k }, 29

Intégration et probabilités TD1 Espaces mesurés Corrigé

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.

Plus en détail

Image d un intervalle par une fonction continue

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

Plus en détail

Intégration et probabilités TD1 Espaces mesurés

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?

Plus en détail

Intégration et probabilités 2012-2013. TD3 Intégration, théorèmes de convergence Corrigé. 1 Petites questions. n hésitez pas à m envoyer un mail à

Intégration et probabilités 2012-2013. TD3 Intégration, théorèmes de convergence Corrigé. 1 Petites questions. n hésitez pas à m envoyer un mail à Intégration et probabilités 212-213 TD3 Intégration, théorèmes de convergence Corrigé xercice ayant été voué à être préparé xercice 1 (Mesure image). Soient (, A, µ) un espace mesuré, (F, B) un espace

Plus en détail

La mesure de Lebesgue sur la droite réelle

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

Plus en détail

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

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

Plus en détail

Cours d Analyse. Fonctions de plusieurs variables

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........

Plus en détail

Théorie de la Mesure et Intégration

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

Plus en détail

L2 MIEE 2012-2013 VAR Université de Rennes 1

L2 MIEE 2012-2013 VAR Université de Rennes 1 . Sous-ensembles de R n et fonctions (suite) 1 Nappes paramétrées Si f une fonction de deux variables, son graphe est une surface incluse dans R 3 : {(x, y, f(x, y)) / (x, y) R 2 }. Une telle surface s

Plus en détail

I. Polynômes de Tchebychev

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

Plus en détail

Chapitre 2 Le problème de l unicité des solutions

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)

Plus en détail

Continuité en un point

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 à

Plus en détail

Calcul fonctionnel holomorphe dans les algèbres de Banach

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

Plus en détail

Intégrale de Lebesgue

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..............................

Plus en détail

Limites finies en un point

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,

Plus en détail

Agrégation interne de Mathématiques. Session 2009. Deuxième épreuve écrite. (et CAERPA)

Agrégation interne de Mathématiques. Session 2009. Deuxième épreuve écrite. (et CAERPA) Agrégation interne de Mathématiques (et CAEPA Session 2009 Deuxième épreuve écrite 2 NOTATIONS ET PÉLIMINAIES On désigne par le corps des nombres réels et par C le corps des nombres complexes. Si f est

Plus en détail

Mesure et Intégration (Notes de cours de L3)

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

Plus en détail

* très facile ** facile *** difficulté moyenne **** difficile ***** très difficile I : Incontournable T : pour travailler et mémoriser le cours

* 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 *****

Plus en détail

Introduction à la Topologie

Introduction à la Topologie Introduction à la Topologie Licence de Mathématiques Université de Rennes 1 Francis Nier Dragoş Iftimie 2 3 Introduction Ce cours s adresse à des étudiants de Licence en mathématiques. Il a pour objectif

Plus en détail

3 Approximation de solutions d équations

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

Plus en détail

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

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

Plus en détail

Exercices - Fonctions de plusieurs variables : corrigé. Pour commencer

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

Plus en détail

3. Conditionnement P (B)

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

Plus en détail

Dualité dans les espaces de Lebesgue et mesures de Radon finies

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

Plus en détail

Continuité d une fonction de plusieurs variables

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

Plus en détail

Continuité et dérivabilité d une fonction

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é

Plus en détail

Programme de mathématiques TSI1

Programme de mathématiques TSI1 Programme de mathématiques TSI1 1. PROGRAMME DE DÉBUT D ANNÉE I. Nombres complexes et géométrie élémentaire 1. Nombres complexes 1 2. Géométrie élémentaire du plan 3 3. Géométrie élémentaire de l espace

Plus en détail

Théorème du point fixe - Théorème de l inversion locale

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

Plus en détail

Lois de probabilité à densité Loi normale

Lois de probabilité à densité Loi normale DERNIÈRE IMPRESSIN LE 31 mars 2015 à 14:11 Lois de probabilité à densité Loi normale Table des matières 1 Lois à densité 2 1.1 Introduction................................ 2 1.2 Densité de probabilité

Plus en détail

CCP PSI - 2010 Mathématiques 1 : un corrigé

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

Plus en détail

Théorie de la mesure. S. Nicolay

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.....................................

Plus en détail

Chp. 4. Minimisation d une fonction d une variable

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

Plus en détail

X-ENS PSI - 2009 Un corrigé

X-ENS PSI - 2009 Un corrigé X-ENS PSI - 009 Un corrigé Première partie.. Des calculs élémentaires donnent χ A(α) = χ B(α) = X X + et χ A(α)+B(α) = X X + 4α + 4 On en déduit que Sp(A(α)) = Sp(B(α)) = {j, j } où j = e iπ 3 Sp(A(α)

Plus en détail

Fonctions de plusieurs variables, intégrales multiples, et intégrales dépendant d un paramètre

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

Plus en détail

Calculs approchés d un point fixe

Calculs approchés d un point fixe M11 ÉPREUVE COMMUNE DE TIPE 2013 - Partie D TITRE : Calculs approchés d un point fixe Temps de préparation :.. 2 h 15 minutes Temps de présentation devant les examinateurs :.10 minutes Dialogue avec les

Plus en détail

Théorie spectrale. Stéphane Maingot & David Manceau

Théorie spectrale. Stéphane Maingot & David Manceau Théorie spectrale Stéphane Maingot & David Manceau 2 Théorie spectrale 3 Table des matières Introduction 5 1 Spectre d un opérateur 7 1.1 Inversibilité d un opérateur........................... 7 1.2 Définitions

Plus en détail

Construction de l'intégrale de Lebesgue

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

Plus en détail

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 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

Plus en détail

Opérateurs non-bornés

Opérateurs non-bornés Master Mathématiques Analyse spectrale Chapitre 4. Opérateurs non-bornés 1 Domaine, graphe et fermeture Soit H un espace de Hilbert. On rappelle que H H est l espace de Hilbert H H muni du produit scalaire

Plus en détail

Chapitre 3. Quelques fonctions usuelles. 1 Fonctions logarithme et exponentielle. 1.1 La fonction logarithme

Chapitre 3. Quelques fonctions usuelles. 1 Fonctions logarithme et exponentielle. 1.1 La fonction logarithme Chapitre 3 Quelques fonctions usuelles 1 Fonctions logarithme et eponentielle 1.1 La fonction logarithme Définition 1.1 La fonction 7! 1/ est continue sur ]0, +1[. Elle admet donc des primitives sur cet

Plus en détail

Leçon 6. Savoir compter

Leçon 6. Savoir compter Leçon 6. Savoir compter Cette leçon est une introduction aux questions de dénombrements. Il s agit, d une part, de compter certains objets mathématiques (éléments, parties, applications,...) et, d autre

Plus en détail

Chapitre 7 : Intégration sur un intervalle quelconque

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

Plus en détail

Théorie de la Mesure et Intégration

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

Plus en détail

Démonstrations exigibles au bac

Démonstrations exigibles au bac Démonstrations exigibles au bac On donne ici les 11 démonstrations de cours répertoriées comme exigibles dans le programme officiel. Toutes ces démonstrations peuvent donner lieu à une «restitution organisée

Plus en détail

Capes 2002 - Première épreuve

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 à : mathweb@free.fr Mots-clés : équation fonctionnelle, série

Plus en détail

Problème 1 : applications du plan affine

Problème 1 : applications du plan affine Problème 1 : applications du plan affine Notations On désigne par GL 2 (R) l ensemble des matrices 2 2 inversibles à coefficients réels. Soit un plan affine P muni d un repère (O, I, J). Les coordonnées

Plus en détail

Mesures gaussiennes et espaces de Fock

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

Plus en détail

Jeux à somme nulle : le cas fini

Jeux à somme nulle : le cas fini CHAPITRE 2 Jeux à somme nulle : le cas fini Les jeux à somme nulle sont les jeux à deux joueurs où la somme des fonctions de paiement est nulle. Dans ce type d interaction stratégique, les intérêts des

Plus en détail

I - PUISSANCE D UN POINT PAR RAPPORT A UN CERCLE CERCLES ORTHOGONAUX POLES ET POLAIRES

I - PUISSANCE D UN POINT PAR RAPPORT A UN CERCLE CERCLES ORTHOGONAUX POLES ET POLAIRES I - PUISSANCE D UN POINT PAR RAPPORT A UN CERCLE CERCLES ORTHOGONAUX POLES ET POLAIRES Théorème - Définition Soit un cercle (O,R) et un point. Une droite passant par coupe le cercle en deux points A et

Plus en détail

Exercices - Polynômes : corrigé. Opérations sur les polynômes

Exercices - Polynômes : corrigé. Opérations sur les polynômes Opérations sur les polynômes Exercice 1 - Carré - L1/Math Sup - Si P = Q est le carré d un polynôme, alors Q est nécessairement de degré, et son coefficient dominant est égal à 1. On peut donc écrire Q(X)

Plus en détail

Concours de recrutement interne PLP 2009

Concours de recrutement interne PLP 2009 Concours de recrutement interne PLP 2009 Le sujet est constitué de quatre exercices indépendants. Le premier exercice, de nature pédagogique au niveau du baccalauréat professionnel, porte sur le flocon

Plus en détail

Calcul matriciel. Définition 1 Une matrice de format (m,n) est un tableau rectangulaire de mn éléments, rangés en m lignes et n colonnes.

Calcul matriciel. Définition 1 Une matrice de format (m,n) est un tableau rectangulaire de mn éléments, rangés en m lignes et n colonnes. 1 Définitions, notations Calcul matriciel Définition 1 Une matrice de format (m,n) est un tableau rectangulaire de mn éléments, rangés en m lignes et n colonnes. On utilise aussi la notation m n pour le

Plus en détail

Moments des variables aléatoires réelles

Moments des variables aléatoires réelles Chapter 6 Moments des variables aléatoires réelles Sommaire 6.1 Espérance des variables aléatoires réelles................................ 46 6.1.1 Définition et calcul........................................

Plus en détail

Université Paris-Dauphine DUMI2E 1ère année, 2009-2010. Applications

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

Plus en détail

Devoir à la maison : correction

Devoir à la maison : correction Calcul différentiel 2 Sous-variétés : bilan Devoir à la maison : correction Exercice 1. Un exemple de sous-variété : les structures complexes Soit E un R-espace vectoriel. Montrer que la donnée d une structure

Plus en détail

Logique. Plan du chapitre

Logique. Plan du chapitre Logique Ce chapitre est assez abstrait en première lecture, mais est (avec le chapitre suivant «Ensembles») probablement le plus important de l année car il est à la base de tous les raisonnements usuels

Plus en détail

Sur certaines séries entières particulières

Sur certaines séries entières particulières ACTA ARITHMETICA XCII. 2) Sur certaines séries entières particulières par Hubert Delange Orsay). Introduction. Dans un exposé à la Conférence Internationale de Théorie des Nombres organisée à Zakopane

Plus en détail

Fonctions de plusieurs 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

Plus en détail

Différentiabilité ; Fonctions de plusieurs variables réelles

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

Plus en détail

Planche n o 22. Fonctions de plusieurs variables. Corrigé

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

Plus en détail

Développement décimal d un réel

Développement décimal d un réel 4 Développement décimal d un réel On rappelle que le corps R des nombres réels est archimédien, ce qui permet d y définir la fonction partie entière. En utilisant cette partie entière on verra dans ce

Plus en détail

Corrigé Pondichéry 1999

Corrigé Pondichéry 1999 Corrigé Pondichéry 999 EXERCICE. = 8 = i ). D'où les solutions de l'équation : z = + i et z = z = i. a. De manière immédiate : z = z = b. Soit θ la mesure principale de arg z : cos θ = Par suite arg z

Plus en détail

À propos des matrices échelonnées

À propos des matrices échelonnées À propos des matrices échelonnées Antoine Ducros appendice au cours de Géométrie affine et euclidienne dispensé à l Université Paris 6 Année universitaire 2011-2012 Introduction Soit k un corps, soit E

Plus en détail

Probabilités sur un univers fini

Probabilités sur un univers fini [http://mp.cpgedupuydelome.fr] édité le 7 août 204 Enoncés Probabilités sur un univers fini Evènements et langage ensembliste A quelle condition sur (a, b, c, d) ]0, [ 4 existe-t-il une probabilité P sur

Plus en détail

Espaces vectoriels et applications

Espaces vectoriels et applications Espaces vectoriels et applications linéaires 1 Définitions On parle d espaces vectoriels sur le corps R ou sur le corps C. Les définitions sont les mêmes en substituant R à C ou vice versa. Définition

Plus en détail

Commun à tous les candidats

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

Plus en détail

Calcul différentiel. Chapitre 1. 1.1 Différentiabilité

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

Plus en détail

Université de Nantes Année 2009-2010 Faculté des Sciences et des Techniques Département de Mathématiques. Topologie et calculs différentiel Liste n 5

Université de Nantes Année 2009-2010 Faculté des Sciences et des Techniques Département de Mathématiques. Topologie et calculs différentiel Liste n 5 Université de Nantes Année 009-010 Faculté des Sciences et des Techniques Département de Mathématiques Topologie et calculs différentiel Liste n 5 Applications Différentiables Exercice 1. Soit f : R n

Plus en détail

L usage de la calculatrice n est pas autorisé.

L usage de la calculatrice n est pas autorisé. e3a Concours ENSAM - ESTP - EUCLIDE - ARCHIMÈDE Épreuve de Mathématiques A durée 4 heures MP L usage de la calculatrice n est pas autorisé. Si, au cours de l épreuve, un candidat repère ce qui lui semble

Plus en détail

Fonctions de plusieurs variables : dérivés partielles, diérentielle. Fonctions composées. Fonctions de classe C 1. Exemples

Fonctions de plusieurs variables : dérivés partielles, diérentielle. Fonctions composées. Fonctions de classe C 1. Exemples 45 Fonctions de plusieurs variables : dérivés partielles, diérentielle. Fonctions composées. Fonctions de classe C 1. Exemples Les espaces vectoriels considérés sont réels, non réduits au vecteur nul et

Plus en détail

Suites numériques 3. 1 Convergence et limite d une suite

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

Plus en détail

Les calculatrices, téléphones, tablettes, ordinateurs et autres appareils électroniques similaires, ainsi que les documents sont interdits.

Les calculatrices, téléphones, tablettes, ordinateurs et autres appareils électroniques similaires, ainsi que les documents sont interdits. Les calculatrices, téléphones, tablettes, ordinateurs et autres appareils électroniques similaires, ainsi que les documents sont interdits 1 La qualité de la rédaction est un facteur important dans l appréciation

Plus en détail

* très facile ** facile *** difficulté moyenne **** difficile ***** très difficile I : Incontournable

* 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

Plus en détail

THÉORIE DE LA MESURE ET DE L INTÉGRATION.

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...........................................

Plus en détail

La fonction exponentielle

La fonction exponentielle DERNIÈRE IMPRESSION LE 2 novembre 204 à :07 La fonction exponentielle Table des matières La fonction exponentielle 2. Définition et théorèmes.......................... 2.2 Approche graphique de la fonction

Plus en détail

2 Opérateurs non bornés dans un espace de Hilbert

2 Opérateurs non bornés dans un espace de Hilbert 2 Opérateurs non bornés dans un espace de Hilbert 2. Opérateurs non bornés: définitions et propriétés élémentaires Soit H un espace de Hilbert et A un opérateur dans H, c est-à-dire, une application linéaire

Plus en détail

EXERCICE 4 (7 points ) (Commun à tous les candidats)

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

Plus en détail

FONCTIONS DE PLUSIEURS VARIABLES (Outils Mathématiques 4)

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é

Plus en détail

Exercice autour de densité, fonction de répatition, espérance et variance de variables quelconques.

Exercice autour de densité, fonction de répatition, espérance et variance de variables quelconques. 14-3- 214 J.F.C. p. 1 I Exercice autour de densité, fonction de répatition, espérance et variance de variables quelconques. Exercice 1 Densité de probabilité. F { ln x si x ], 1] UN OVNI... On pose x R,

Plus en détail

Introduction aux inégalités

Introduction aux inégalités Introduction aux inégalités -cours- Razvan Barbulescu ENS, 8 février 0 Inégalité des moyennes Faisons d abord la liste des propritétés simples des inégalités: a a et b b a + b a + b ; s 0 et a a sa sa

Plus en détail

Master de mathématiques Analyse numérique matricielle

Master de mathématiques Analyse numérique matricielle Master de mathématiques Analyse numérique matricielle 2009 2010 CHAPITRE 1 Méthodes itératives de résolution de systèmes linéaires On veut résoudre un système linéaire Ax = b, où A est une matrice inversible

Plus en détail

Première partie. Préliminaires : noyaux itérés. MPSI B 6 juin 2015

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

Plus en détail

Probabilités sur un univers fini

Probabilités sur un univers fini [http://mp.cpgedupuydelome.fr] édité le 10 août 2015 Enoncés 1 Proailités sur un univers fini Evènements et langage ensemliste A quelle condition sur (a,, c, d) ]0, 1[ 4 existe-t-il une proailité P sur

Plus en détail

Université Joseph Fourier MAT231 2008-2009

Université Joseph Fourier MAT231 2008-2009 Université Joseph Fourier MAT231 2008-2009 mat231-exo-03.tex (29 septembre 2008) Feuille d exercices n o 3 Exercice 3.1 Soit K un corps commutatif et soit {P 0, P 1,... P n } une famille de polynômes de

Plus en détail

Séries de Fourier. T f (x) exp 2iπn x T dx, n Z. T/2 f (x) cos ( ) f (x) dx a n (f) = 2 T. f (x) cos 2πn x )

Séries de Fourier. T f (x) exp 2iπn x T dx, n Z. T/2 f (x) cos ( ) f (x) dx a n (f) = 2 T. f (x) cos 2πn x ) Séries de Fourier Les séries de Fourier constituent un outil fondamental de la théorie du signal. Il donne lieu à des prolongements et des extensions nombreux. Les séries de Fourier permettent à la fois

Plus en détail

Calcul différentiel sur R n Première partie

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é

Plus en détail

Équations non linéaires

É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

Plus en détail

Amphi 3: Espaces complets - Applications linéaires continues

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

Plus en détail

Espérance conditionnelle

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

Plus en détail

Chapitre 6. Fonction réelle d une variable réelle

Chapitre 6. Fonction réelle d une variable réelle Chapitre 6 Fonction réelle d une variable réelle 6. Généralités et plan d étude Une application de I dans R est une correspondance entre les éléments de I et ceu de R telle que tout élément de I admette

Plus en détail

Éléments d analyse convexe

Éléments d analyse convexe Éléments d analyse convexe Cours de M1 Mathématiques Fondamentales Université Paul Sabatier Pierre Maréchal Table des matières 1 Préliminaires 2 1.1 Notations et définitions élémentaires................

Plus en détail

La Licence Mathématiques et Economie-MASS Université de Sciences Sociales de Toulouse 1

La Licence Mathématiques et Economie-MASS Université de Sciences Sociales de Toulouse 1 La Licence Mathématiques et Economie-MASS Université de Sciences Sociales de Toulouse 1 La licence Mathématiques et Economie-MASS de l Université des Sciences Sociales de Toulouse propose sur les trois

Plus en détail

Chapitre VI Fonctions de plusieurs variables

Chapitre VI Fonctions de plusieurs variables Chapitre VI Fonctions de plusieurs variables 6. 1 Fonctions différentiables de R 2 dans R. 6. 1. 1 Définition de la différentiabilité Nous introduisons la différentiabilité sous l angle des développements

Plus en détail

Épreuve pratique de mathématiques Printemps 2009. Descriptifs. (Page vide)

Épreuve pratique de mathématiques Printemps 2009. Descriptifs. (Page vide) Épreuve pratique de mathématiques Printemps 2009 Descriptifs (Page vide) Sujet 001 Épreuve pratique de mathématiques Descriptif Étude d une fonction dépendant d un paramètre Étant donné une fonction dépendant

Plus en détail

Mathématiques assistées par ordinateur

Mathématiques assistées par ordinateur Mathématiques assistées par ordinateur Chapitre 4 : Racines des polynômes réels et complexes Michael Eisermann Mat249, DLST L2S4, Année 2008-2009 www-fourier.ujf-grenoble.fr/ eiserm/cours # mao Document

Plus en détail

Cours de mathématiques

Cours de mathématiques DEUG MIAS premier niveau Cours de mathématiques année 2003/2004 Guillaume Legendre (version révisée du 3 avril 2015) Table des matières 1 Éléments de logique 1 1.1 Assertions...............................................

Plus en détail

Méthodes de quadrature. Polytech Paris-UPMC. - p. 1/48

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

Plus en détail

I. Ensemble de définition d'une fonction

I. Ensemble de définition d'une fonction Chapitre 2 Généralités sur les fonctions Fonctions de références et fonctions associées Ce que dit le programme : Étude de fonctions Fonctions de référence x x et x x Connaître les variations de ces deux

Plus en détail

Notes du cours MTH1101 Calcul I Partie II: fonctions de plusieurs variables

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

Plus en détail

UNIVERSITE D ORLEANS SL01MA11, Groupes 1 et 5 Département de Mathématiques 2009-2010. N. El Hage Hassan S EXPRIMER EN MATHÉMATIQUES

UNIVERSITE D ORLEANS SL01MA11, Groupes 1 et 5 Département de Mathématiques 2009-2010. N. El Hage Hassan S EXPRIMER EN MATHÉMATIQUES UNIVERSITE D ORLEANS SL01MA11, Groupes 1 et 5 Département de Mathématiques 2009-2010 N. El Hage Hassan S EXPRIMER EN MATHÉMATIQUES 1 Les énoncés La plupart des phrases que l on rencontre dans un livre

Plus en détail