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

TD2 Fonctions mesurables Corrigé

TD2 Fonctions mesurables Corrigé Intégration et probabilités 2012-2013 TD2 Fonctions mesurables Corrigé 0 Exercice qui avait été préparé chez soi Exercice 1. Soit (Ω, F, µ) un espace mesuré tel que µ (Ω) = 1. Soient A, B P (Ω) deux sousensembles

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

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

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

IV. Espaces L p. + tx 1. (1 t)x 0

IV. Espaces L p. + tx 1. (1 t)x 0 cours 13, le lundi 7 mars 2011 IV. spaces L p IV.1. Convexité Quand deux points x 0, x 1 R sont donnés, on peut parcourir le segment [x 0, x 1 ] qui les joint en posant pour tout t [0, 1] x t = (1 t)x

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

Construction de la mesure de Lebesgue. 1 Mesure positive engendrée par une mesure extérieure.

Construction de la mesure de Lebesgue. 1 Mesure positive engendrée par une mesure extérieure. Université d Artois Faculté des Sciences Jean Perrin Analyse Fonctionnelle (Licence 3 Mathématiques-Informatique Daniel Li Construction de la mesure de Lebesgue 28 janvier 2008 Dans ce chapitre, nous allons

Plus en détail

Le corps R des nombres réels

Le corps R des nombres réels Le corps R des nombres réels. Construction de R à l aide des suites de Cauchy de nombres rationnels On explique brièvement dans ce paragraphe comment construire le corps R des nombres réels à partir du

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

Calculs préliminaires.

Calculs préliminaires. MINES-PONTS 005. Filière MP. MATHÉMATIQES 1. Corrigé de JL. Lamard jean-louis.lamard@prepas.org) Calculs préliminaires. Notons que si f H alors f)e / est bien intégrable sur R car continue positive et

Plus en détail

THÉORIE DE LA MESURE ET INTÉGRATION

THÉORIE DE LA MESURE ET INTÉGRATION Université Pierre et Marie Curie Licence de Mathématiques Années 2004-2005-2006 LM 363 THÉORIE DE LA MESURE ET INTÉGRATION Cours de P. MAZET Edition 2004-2005-2006 Table des matières Table des matières

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

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

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

Cours MP. Espaces vectoriels normés

Cours MP. Espaces vectoriels normés Table des matières Espaces vectoriels normés B. Seddoug. Médiane Sup, Oujda I Norme et distance 1 I.1 Définitions..................... 1 I.2 Evn produit.................... 12 I.3 Notions topologiques

Plus en détail

1 Topologies, distances, normes

1 Topologies, distances, normes Université Claude Bernard Lyon 1. Licence de mathématiques L3. Topologie Générale 29/1 1 1 Topologies, distances, normes 1.1 Topologie, distances, intérieur et adhérence Exercice 1. Montrer que dans un

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

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

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

Cours de terminale S Suites numériques

Cours de terminale S Suites numériques Cours de terminale S Suites numériques V. B. et S. B. Lycée des EK 13 septembre 2014 Introduction Principe de récurrence Exemple En Mathématiques, un certain nombre de propriétés dépendent d un entier

Plus en détail

[http://mp.cpgedupuydelome.fr] édité le 16 octobre 2015 Enoncés 1

[http://mp.cpgedupuydelome.fr] édité le 16 octobre 2015 Enoncés 1 [http://mp.cpgedupuydelome.fr] édité le 16 octobre 2015 Enoncés 1 Relations binaires Relations d équivalence Exercice 1 [ 02643 ] [Correction] Soit R une relation binaire sur un ensemble E à la fois réflexive

Plus en détail

Outils d analyse fonctionnelle Cours 5 Théorie spectrale

Outils d analyse fonctionnelle Cours 5 Théorie spectrale Outils d analyse fonctionnelle Cours 5 Théorie spectrale 22 septembre 2015 Généralités Dans tout ce qui suit V désigne un espace de Hilbert réel muni d un produit scalaire x, y. Définition Soit A une application

Plus en détail

+ 1. Qu est ce que cela donne pour notre calcul de 1,01? On pose x = 1,01 donc f (x) 1 + 1 0,01

+ 1. Qu est ce que cela donne pour notre calcul de 1,01? On pose x = 1,01 donc f (x) 1 + 1 0,01 Eo7 Dérivée d une fonction Vidéo partie. Définition Vidéo partie. Calculs Vidéo partie 3. Etremum local, théorème de Rolle Vidéo partie 4. Théorème des accroissements finis Eercices Fonctions dérivables

Plus en détail

Licence de Sciences et Technologies. Fiche de cours 1 - Nombres réels.

Licence de Sciences et Technologies. Fiche de cours 1 - Nombres réels. Licence de Sciences et Technologies EM21 - Analyse Fiche de cours 1 - Nombres réels. On connaît les ensembles suivants, tous munis d une addition, d une multiplication, et d une relation d ordre compatibles

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

Intégrale de Lebesgue

Intégrale de Lebesgue Intégrale de Lebesgue ÉCOLE POLYTECHNIQUE Cours 4 : intégrale de Lebesgue Bertrand Rémy 1 / 50 1. Motivations et points de vue ÉCOLE POLYTECHNIQUE Cours 4 : intégrale de Lebesgue Bertrand Rémy 2 / 50 Deux

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

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

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

L3 Maths : Cours d Intégration (partie I)

L3 Maths : Cours d Intégration (partie I) L3 Maths : Cours d Intégration (partie I) Noureddine Igbida 1 2012-2013 1. Institut de recherche XLIM, UMR-CNRS 6172, Faculté des Sciences et Techniques, Université de Limoges 123, Avenue Albert Thomas

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

Partie II. Supplémentaires d un sous-espace donné. Partie I. Partie III. Supplémentaire commun. MPSI B 8 octobre 2015

Partie II. Supplémentaires d un sous-espace donné. Partie I. Partie III. Supplémentaire commun. MPSI B 8 octobre 2015 Énoncé Dans tout le problème, K est un sous-corps de C. On utilisera en particulier que K n est pas un ensemble fini. Tous les espaces vectoriels considérés sont des K espaces vectoriels de dimension finie.

Plus en détail

TOPOLOGIE DE LA DROITE REELLE

TOPOLOGIE DE LA DROITE REELLE TOPOLOGIE DE LA DROITE REELLE P. Pansu 16 mai 2005 1 Qu est-ce que la topologie? C est l étude des propriétés des objets qui sont conservées par déformation continue. Belle phrase, mais qui nécessite d

Plus en détail

Applications des nombres complexes à la géométrie

Applications des nombres complexes à la géométrie Chapitre 6 Applications des nombres complexes à la géométrie 6.1 Le plan complexe Le corps C des nombres complexes est un espace vectoriel de dimension 2 sur R. Il est donc muni d une structure naturelle

Plus en détail

Feuille d exercices n o 1. N(x i ). 4. On rappelle qu un espace normé est séparable s il contient une partie dénombrable dense.

Feuille d exercices n o 1. N(x i ). 4. On rappelle qu un espace normé est séparable s il contient une partie dénombrable dense. 1 Feuille d exercices n o 1 1. Deuxième forme géométrique du théorème de Hahn-Banach Soient A E et B E deux convexes, non vides, disjoints (E est une espace vectoriel normé). On suppose que A est fermé

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

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

Fonction polynôme du second degré : Forme canonique

Fonction polynôme du second degré : Forme canonique Fonction polynôme du second degré : Forme canonique I) Introduction. Soit g(x) = a(x - s)²+h. Toute fonction polynôme du second degré peut s écrire sous cette forme. Le passage de la forme développée à

Plus en détail

VIII Relations d ordre

VIII Relations d ordre VIII Relations d ordre 20 février 2015 Dans tout ce chapitre, E est un ensemble. 1. Relations binaires Définition 1.0.1. On appelle relation binaire sur E tout triplet R = (E, E, Γ) où Γ est une partie

Plus en détail

Première partie. Deuxième partie

Première partie. Deuxième partie PC 96-97 correction épreuve X97 Première partie. f étant convexe sur l intervalle [t, t 2 ], sa courbe représentative est en dessous la corde joignant les points (t, f(t )) et (t 2, f(t 2 )). Comme f(t

Plus en détail

Cours d Analyse Réelle 4M003

Cours d Analyse Réelle 4M003 Cours d Analyse Réelle 4M003 Jean SAINT RAYMOND Université Pierre et Marie Curie Avant-propos Ce texte a été rédigé pour servir de support écrit à un cours de Master 1 de l Université Pierre-et-Marie Curie.

Plus en détail

Programme de Mathématique Préparation Maths-Physique. Analyse et Géométrie Différentielle. Première Année

Programme de Mathématique Préparation Maths-Physique. Analyse et Géométrie Différentielle. Première Année Programme de Mathématique Préparation Maths-Physique Analyse et Géométrie Différentielle Première Année I NOMBRES REELS ET COMPLEXES, SUITES ET FONCTIONS 1 Nombres réels et complexes 2 Suites de nombres

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

Exo7. Topologie générale. Enoncés : M. Quéffelec Corrections : A. Bodin

Exo7. Topologie générale. Enoncés : M. Quéffelec Corrections : A. Bodin Enoncés : M. Quéffelec Corrections : A. Bodin Exo7 Topologie générale Exercice 1 1. Rappeler les définitions d une borne supérieure (inférieure) d un ensemble de nombres réels. Si A et B sont deux ensembles

Plus en détail

Un tout petit peu d homotopie

Un tout petit peu d homotopie Vincent Beck On note I = [ 0, 1 ]. Un tout petit peu d homotopie 0.1 Homotopie Définition 1 Applications homotopes. Soient X, Y deux espaces topologiques et f, g : X Y deux applications continues. On dit

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

Aire sous une courbe et calcul de primitives

Aire sous une courbe et calcul de primitives Aire sous une courbe et calcul de primitives Le calcul de primitives d une fonction et celui de l aire de la surface bordée par le graphique de cette fonction sont intimement liés. Les exemples qui suivent

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

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

Espaces vectoriels 2006-2007. Agrégation interne de Mathématiques Département de Mathématiques Université de La Rochelle F.

Espaces vectoriels 2006-2007. Agrégation interne de Mathématiques Département de Mathématiques Université de La Rochelle F. Agrégation interne de Mathématiques Département de Mathématiques Université de La Rochelle 2006-2007 Espaces vectoriels Convention 1. Dans toute la suite, k désignera un corps quelconque. Définition 2.

Plus en détail

Cours d analyse 1ère année. Rhodes Rémi

Cours d analyse 1ère année. Rhodes Rémi Cours d analyse 1ère année Rhodes Rémi 10 décembre 2008 2 Table des matières 1 Propriétés des nombres réels 5 1.1 Sous-ensembles remarquables de R........................ 5 1.2 Relations d ordre..................................

Plus en détail

Mathématiques pour l informatique. - Soutien - 1 Nombres complexes. 2 Suites. Exercice 1. (Nombres complexes) Soit le nombre complexe z = (2 + 2i) 7.

Mathématiques pour l informatique. - Soutien - 1 Nombres complexes. 2 Suites. Exercice 1. (Nombres complexes) Soit le nombre complexe z = (2 + 2i) 7. Mathématiques pour l informatique IMAC première année - Soutien - Nombres complexes Rappels. Un nombre complexe z admet plusieurs représentations : représentation vectorielle z = (a, b) où a, b R représentation

Plus en détail

TS. 2012/2013. Lycée Prévert. Corrigé du contrôle n 3. Durée : 3 heures. Mardi 20/11/12

TS. 2012/2013. Lycée Prévert. Corrigé du contrôle n 3. Durée : 3 heures. Mardi 20/11/12 TS. 01/013. Lycée Prévert. Corrigé du contrôle n 3. Durée : 3 heures. Mardi 0/11/1 Exercice 1 : ( 6,5 pts) Première partie : Démonstration à rédiger { Démontrer que si ( ) et (v n ) sont deux suites telles

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

Du Calcul d Aire... ...Au Calcul Intégral

Du Calcul d Aire... ...Au Calcul Intégral Du Calcul d Aire......Au Calcul Intégral Objectifs Définir proprement l aire d une surface plane, au moins pour les domaines usuels (limités par des courbes simples) et fournir un moyen de la calculer.

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

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

Problèmes de Mathématiques Filtres et ultrafiltres

Problèmes de Mathématiques Filtres et ultrafiltres Énoncé Soit E un ensemble non vide. On dit qu un sous-ensemble F de P(E) est un filtre sur E si (P 0 ) F. (P 1 ) (X, Y ) F 2, X Y F. (P 2 ) X F, Y P(E) : X Y Y F. (P 3 ) / F. Première Partie 1. Que dire

Plus en détail

Les espaces L p. Chapitre 6. 6.1 Définitions et premières propriétés. 6.1.1 Les espaces L p, avec 1 p < +

Les espaces L p. Chapitre 6. 6.1 Définitions et premières propriétés. 6.1.1 Les espaces L p, avec 1 p < + Chapitre 6 Les espaces L p 6.1 Définitions et premières propriétés 6.1.1 Les espaces L p, avec 1 p < + Soient (E, T,m) un espace mesuré, 1 p < + et f M = M(E, T) (c est-à-dire f : E R, mesurable). On remarque

Plus en détail

Fonctions - Continuité Cours maths Terminale S

Fonctions - Continuité Cours maths Terminale S Fonctions - Continuité Cours maths Terminale S Dans ce module, introduction d une nouvelle notion qu est la continuité d une fonction en un point. En repartant de la définition et de l illustration graphique

Plus en détail

Le raisonnement par récurrence

Le raisonnement par récurrence Le raisonnement par récurrence Nous notons N l ensemble des entiers naturels : N = {0,,, } Nous dirons naturel au lieu de entier naturel Le principe du raisonnement par récurrence Soit A une partie de

Plus en détail

Cours de Mathématiques

Cours de Mathématiques Cours de Mathématiques Lycee Gustave Eiffel PTSI 02/03 Chapitre 3 Fonctions usuelles 3.1 Théorème de la bijection Une fonction dérivable sur un intervalle I, strictement monotone déþnit une bijection.

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

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

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

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

[http://mp.cpgedupuydelome.fr] édité le 29 décembre 2015 Enoncés 1. b) Soit (u n ) n N une suite d éléments de [0 ; 1]. Montrer

[http://mp.cpgedupuydelome.fr] édité le 29 décembre 2015 Enoncés 1. b) Soit (u n ) n N une suite d éléments de [0 ; 1]. Montrer [http://mp.cpgedupuydelome.fr] édité le 9 décembre 05 Enoncés Familles sommables Ensemble dénombrable a) Calculer n+ Exercice [ 03897 ] [Correction] Soit f : R R croissante. Montrer que l ensemble des

Plus en détail

ANALYSE MATHEMATIQUE. Jean SCHMETS

ANALYSE MATHEMATIQUE. Jean SCHMETS UNIVERSITE DE LIEGE Faculté des Sciences Institut de Mathématique ANALYSE MATHEMATIQUE Introduction aux espaces fonctionnels Notes du cours de la seconde candidature en sciences mathématiques ou en sciences

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

FICHE DE RÉVISION DU BAC

FICHE DE RÉVISION DU BAC Introduction Pré-requis : Etude de fonctions dérivées logarithmes et exponentielles continuité Plan du cours 1. Intégrales 2. Primitives 1. Intégrales A. Aire sous la courbe Méthode des rectangles : Pour

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

Les mots de Sturm. Fathi BEN ARIBI 20 décembre 2008

Les mots de Sturm. Fathi BEN ARIBI 20 décembre 2008 Les mots de Sturm Fathi BEN ARIBI 20 décembre 2008 1 Objectifs Dans cette présentation, nous donnerons quelques résultats de combinatoire des mots. Avant tout, il est nécessaire d introduire quelques notations

Plus en détail

COURS METHODES MATHEMATIQUES POUR L INGENIEUR. MAM 3, Polytech Lyon. Ionel Sorin CIUPERCA

COURS METHODES MATHEMATIQUES POUR L INGENIEUR. MAM 3, Polytech Lyon. Ionel Sorin CIUPERCA COURS METHODES MATHEMATIQUES POUR L INGENIEUR MAM 3, Polytech Lyon Ionel Sorin CIUPERCA Le cours s adresse en principal à des élèves des écoles d ingénieurs, filière modélisation mathématique. Une partie

Plus en détail

Topologie des espaces vectoriels normés

Topologie des espaces vectoriels normés Topologie des espaces vectoriels normés Cédric Milliet Version préliminaire Cours de troisième année de licence Université Galatasaray Année 2011-2012 2 Chapitre 1 R-Espaces vectoriels normés 1.1 Vocabulaire

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

Espaces vectoriels normés

Espaces vectoriels normés Espaces vectoriels normés Essaidi Ali 19 octobre 2010 K = R ou C. E un K-espace vectoriel. 1 Normes et distances : 1.1 Normes et distances : Définition : On appelle semi-norme sur E toute application N

Plus en détail

Les supports de cours suivants font référence au cours de Mr SOL et à son livre : "Accès à l'université" chez DUNOD

Les supports de cours suivants font référence au cours de Mr SOL et à son livre : Accès à l'université chez DUNOD Les supports de cours suivants font référence au cours de Mr SOL et à son livre : "Accès à l'université" chez DUNOD Les supports de cours ne sont pas complets, ils ne contiennent ni les démonstrations,

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

Problèmes de Mathématiques Noyaux et images itérés

Problèmes de Mathématiques Noyaux et images itérés Énoncé Soit E un espace vectoriel sur IK (IK = IR ou lc). Soit f un endomorphisme de E. On pose f 0 = Id E, et pour tout entier k 1, f k = f f k 1. 1. Montrer que (Im f k ) k 0 et (Ker f k ) k 0 forment

Plus en détail

Simulation de variables aléatoires

Simulation de variables aléatoires Simulation de variables aléatoires S. Robin INA PG, Biométrie Décembre 1997 Table des matières 1 Introduction Variables aléatoires discrètes 3.1 Pile ou face................................... 3. Loi de

Plus en détail

AMPHI 2 : INTEGRATION. Chapitre 3. Documents disponibles sur http ://www.math.polytechnique.fr/ golse

AMPHI 2 : INTEGRATION. Chapitre 3. Documents disponibles sur http ://www.math.polytechnique.fr/ golse AMPHI 2 : INTEGRATION Chapitre 3 Documents disponibles sur http ://www.math.polytechnique.fr/ golse L intégrale de Lebesgue (1902) A la base de l analyse fonctionnelle, socle mathématique de la mécanique

Plus en détail

Université de Cergy-Pontoise Département de Mathématiques L1 MPI - S1. Cours de Mathématiques 1

Université de Cergy-Pontoise Département de Mathématiques L1 MPI - S1. Cours de Mathématiques 1 Université de Cergy-Pontoise Département de Mathématiques L1 MPI - S1 Cours de Mathématiques 1 Table des matières 1 Un peu de formalisme mathématique 7 1.1 Rudiments de logique........................................

Plus en détail

COURS METHODES MATHEMATIQUES POUR L INGENIEUR 2. Cours de filière MAM, ISTIL deuxième année. Ionel Sorin CIUPERCA

COURS METHODES MATHEMATIQUES POUR L INGENIEUR 2. Cours de filière MAM, ISTIL deuxième année. Ionel Sorin CIUPERCA COURS METHODES MATHEMATIQUES POUR L INGENIEUR 2 Cours de filière MAM, ISTIL deuxième année Ionel Sorin CIUPERCA Le but de ce cours est d introduire un outil très utilisé dans la modélisation mathématique

Plus en détail

Chapitre 5: Opérateurs dans les espaces de Hilbert. Notions d opérateur adjoint

Chapitre 5: Opérateurs dans les espaces de Hilbert. Notions d opérateur adjoint Chapitre 5: Opérateurs dans les espaces de Hilbert. Notions d opérateur adjoint 18 mars 2008 1 Généralités sur les opérateurs 1.1 Définitions Soient H et H deux espaces de Hilbert sur C. Définition 1.1

Plus en détail

Notes du cours Mathématiques pour l ingénieur. Sup Galilée - année 2008-2009

Notes du cours Mathématiques pour l ingénieur. Sup Galilée - année 2008-2009 Notes du cours Mathématiques pour l ingénieur Sup Galilée - année 2008-2009 Benoît Merlet Ces notes de cours s adressent aux élèves ayant suivi le cours. Elles contiennent peu d explications. Elles pourront

Plus en détail

INTÉGRATION SUR LES SURFACES. Le but de ce texte est d expliquer comment définir et calculer des expressions du type

INTÉGRATION SUR LES SURFACES. Le but de ce texte est d expliquer comment définir et calculer des expressions du type INTÉGRATION SUR LES SURFACES Le but de ce texte est d expliquer comment définir et calculer des expressions du type φ(x)dσ(x) Σ où Σ est une surface de classe C 1 de R 3 ou plus généralement une hypersurface

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 LM365 Intégration 2 Année 2011 12 Théorie de la Mesure et Intégration Amaury Lambert 1 1. Responsable de l UE. Mél : amaury.lambert@upmc.fr

Plus en détail

Université de Cergy-Pontoise 2008-2009 Calcul Diff S6 M. Topologie

Université de Cergy-Pontoise 2008-2009 Calcul Diff S6 M. Topologie Université de Cergy-Pontoise 2008-2009 Calcul Diff S6 M Topologie 1 Espaces métriques 1.1 Distance Dans toute cette partie E représente un ensemble qui n est pas forcément un espace vectoriel. Définition

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

Applications linéaires

Applications linéaires Applications linéaires I) Applications linéaires - Généralités 1.1) Introduction L'idée d'application linéaire est intimement liée à celle d'espace vectoriel. Elle traduit la stabilité par combinaison

Plus en détail

Espace de probabilité, indépendance et probabilité conditionnelle

Espace de probabilité, indépendance et probabilité conditionnelle Chapter 2 Espace de probabilité, indépendance et probabilité conditionnelle Sommaire 2.1 Tribu et événements........................................... 15 2.2 Probabilité................................................

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

Base : une axiomatique

Base : une axiomatique Autour des groupes de réflexions Master 2 Mathématiques fondamentales Cours : Michel Broué Université Paris VII Denis Diderot TD : Vincent Beck Année 2005 2006 Base : une axiomatique a) D après (i), on

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

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

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

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