Espaces métriques et topologiques : définitions clés
Espaces métriques et topologiques : définitions clés
Définition
On considère un ensemble E.
(a) Une distance sur E est une application d : E ⇥ E ! R+ vérifiant :
(i) 8x, y 2 E d(x, y) = 0 () x = y ;
(ii) 8x, y 2 E d(x, y) = d(y, x) ;
(iii) 8x, y, z 2 E d(x, z) d(x, y) + d(y, z) (« inégalité triangulaire »).
(b) On suppose que d est une distance sur E (on dira que (E, d) est un espace métrique).
Les boules ouverte et fermée de centre x0 2 E et de rayon r > 0 sont :
e 0 , r) := {x 2 E | d(x, x0 ) r} .
B(x0 , r) := {x 2 E | d(x, x0 ) < r} et B(x
Le diamètre d’une partie non vide A de E est : diam A := sup d(x, y) +1.
x,y2A
Par convention : diam(;) = 0. On dit qu’une partie A de E est bornée si diam A < +1.
Exemple
Soient A un ensemble et (E, d) un espace métrique.
On pose : du (f, g) := min sup d(f (x), g(x)), 1 pour f, g : A ! E.
x2A
L’application du est une distance sur E A , appelée distance de la convergence uniforme.
Définition-Proposition
(a) Soient (E, d) un espace métrique et F une partie de E.
La distance induite sur F par celle de E est la distance (x, y) 2 F ⇥ F 7! d(x, y) sur F .
La boule ouverte de centre x0 2 F et de rayon r > 0 dans F est l’intersection avec F de celle de E.
(b) Soient (E1 , d1 ) et (En , dn ) des espaces métriques.
La distance produit sur E1 ⇥ ... ⇥ En est la distance 1 sur E1 ⇥ ... ⇥ En définie Qpar : (⇤)
1 (x, y) = max di (xi , yi ) quand x = (xi )1in et y = (yi )1in sont dans Ei .
1in 1in
La boule ouverte de centre (x1 , ..., xn ) et de rayon r > 0 dans E1 ⇥...⇥En est B(x1 , r)⇥...⇥B(xn , r).
(c) Soit (En , dn ) n2N une
Q suite d’espaces métriques. Q
La distance produit sur En est la distance 1 sur En définie par :
n2N n2N Q
1
1 (x, y) = sup min dn (xn , yn ), 2n quand x = (xn )n2N et y = (yn )n2N sont dans En .
n2N n2N
Définition
{
(a) Un espace topologique est un ensemble X muni d’un ensemble T de parties de X, tels que :
(i) ; 2 T et X 2 T ;
(ii) l’intersection de deux éléments quelconques de T appartient à T ;
(iii) la réunion d’une famille quelconque d’éléments de T appartient à T .
hors programme
On dit qu’une partie U de X est ouverte (ou que U est un ouvert de X) si U appartient à T .
On dit qu’une partie F de X est fermée (ou que F est un fermé de X) si {X F est ouverte.
On dit qu’une partie V de X est un voisinage de a si V contient un ouvert U contenant a.
On note V(a) l’ensemble des voisinages de a.
(c) On dit qu’un espace topologique (X, T ) est séparé (ou que sa topologie est séparée) si pour
tous a, b 2 X distincts, il existe U 2 V(a) et V 2 V(b) tels que U \ V = ;.
z
P P 1
(⇤) Les distances 1: (x, y) 7! di (xi , yi ) et 2: (x, y) 7! di (xi , yi )2 2
sur E1 ⇥ ... ⇥ En se comparent à
1in 1in
p
1 au moyen des inégalités suivantes, qui sont « immédiates » : 1 2 1 n 2 n 1.
Proposition
Soit (E, d) un espace métrique. On va construire à partir de d une topologie sur E.
(a) Les réunions de familles quelconques de boules ouvertes de E forment une topologie sur E.
Cette topologie est séparée. Toute boule ouverte (resp. boule fermée) est ouverte (resp. fermée).
(b) Une partie U de E est ouverte si et seulement :
8x0 2 U 9r > 0 B(x0 , r) ✓ U .
Un voisinage d’un point a de E est une partie de E qui contient une boule ouverte centrée en a.
Définition-Proposition
{
(?) Cette caractérisation, très utile, est fausse dans le cas d’un espace topologique quelconque.
Suites et applications continues : rappels (J-Y D)
Définition
(a) On dit qu’une application f : E →! F est continue en a ∈ E si : "
∀ε > 0 ∃α > 0 ∀x ∈ E dE (x, a) < α =⇒ dF (f (x), f (a)) < ε .
On dit qu’une telle application f : E → F est continue si elle est continue en tout point de E.
! "
(b) On dit qu’une suite un n≥0 d’éléments de E a pour limite l ∈ E quand n → +∞ si :
! "
∀ε > 0 ∃N ∈ N ∀n ∈ N n ≥ N =⇒ dE (un , l) < ε .
# $% &
signifie que dE (un , l) −→ 0
n→+∞
! "
On notera comme d’habitude « un −→ l » pour exprimer que un n≥0 a pour limite l.
n→+∞
! "
(c) On dit qu’une suite un n≥0 d’éléments de E a pour valeur d’adhérence λ ∈ E si :
! "
∀ε > 0 ∀N ∈ N ∃n ∈ N n ≥ N et dE (un , λ) < ε .
Remarque
On suppose que les espaces métriques produits usuels Rp et Rq sont munis de bases B et C .
'x 'f (x ,...,x ) 'a
' .1 ' 1 1. p ' 1
q
(a) Si f : A p−→ R envoie tout v ' .. ∈ A sur f (v) '
' ' .. ∈ R et a '' ... ∈ A , on a :
q
partie de R /B xp fq (x1 ,...,xp ) /B ap /C
f est continue en a si et seulement si f1 et ... et fq sont continues en (a1 , ..., ap ).
'x 'l
! " ' 1,n '1
(b) Si une suite un n≥0 d’éléments de Rp s’écrit un '' .. pour n ∈ N et l '' ... ∈ Rp , on a :
.
/B xp,n /B lp
un −→ l si et seulement si x1,n −→ l1 et ... et xp,n −→ lp .
n→+∞ n→+∞ n→+∞
Définition-Proposition
Les deux définitions suivantes (dont découle la dernière) généralisent la définition ci-dessus.
(a) On dit qu’une application f : X → Y est continue en a ∈ X si :
∀V ∈ V(f (a)) ∃U ∈ V(a) f (U) ⊆ V .
# $% &
signifie que f −1 (V ) est un voisinage de a
On dit qu’une application f : X → Y est continue si elle est continue en tout point de X.
(b) On se donne A ⊆ X et a ∈ A (par exemple A = X et a ∈ X), et l ∈ Y .
On dit qu’une application f : A → Y a pour limite l quand x → a avec x ∈ A si :
∀V ∈ V(l) ∃U ∈ V(a) f (U ∩ A) ⊆ V . ←−[voisinages dans Y et dans X]
On notera « f (x) −→ l » pour exprimer que f a pour limite l quand x → a avec x ∈ A. (!)
x→a, x∈A
Dans ce cas et lorsque Y est séparé, cet élément l de Y est unique et noté lim f (x).
x→a, x∈A
! "
(c) On dit qu’une suite un n≥0 d’éléments de Y a pour limite l ∈ Y quand n → +∞ si :
! "
∀V ∈ V(l) ∃N ∈ N ∀n ∈ N n > N =⇒ un ∈ V .
Il s’agit du cas particulier du (b) avec X = N ∪ {+∞} (donc X ⊆ R ∪ {−∞, +∞}) et A = N.
# $% &
on prolonge u· avec une valeur de u+∞ arbitraire
Proposition
(a) Une application f : X → Y est continue si et seulement si :
∀ V ouvert de Y f −1 (V ) est un ouvert de X.
On a une caractérisation analogue en remplaçant « ouvert » par « fermé ».
(b) Si f : X → Y est continue en a ∈ X et g : Y → Z est continue en f (a),
alors l’application g ◦ f : X → Z est continue en a.
! "
(c) Si un n≥0 a pour limite b dans Y et g : Y → Z est continue en b, alors g(un ) −→ g(b).
généralise (b) et (c)
n→+∞
$
(d) On se donne A ⊆ X et a ∈ A, B ⊆ Y et b ∈ B, l ∈ Z.
Si f : A → Y vérifie f (A) ⊆ B et f (x) −→ b, alors (g ◦ f )(x) −→ l.
&#
y→b, y∈B
Corollaire
Toute
( réunion finie de parties de X de la forme )
! x (∈ X | α 1 (x) < a 1 , ..., α p (x) < ap , β1 (x) > b1 , ..., βq (x) > bq , γ 1 (x) =
0 c 1 , ..., γ r (x) =
0 c r )"
resp. x ∈ X | α1 (x) ≤ a1 , ..., αp (x) ≤ ap , β1 (x) ≥ b1 , ..., βq (x) ≥ bq , γ1 (x) = c1 , ..., γr (x) = cr
avec α1 , ..., αp , β1 , ..., βq , γ1 , ..., γr : X → R continues et a1 , ..., ap , b1 , ..., bq , c1 , ..., cr ∈ R
est ouverte (resp. fermée).
Définition-Proposition
(a) On dit qu’une application f : X → Y est un homéomorphisme si :
f est bijective, et les applications f et f −1 sont continues.
(b) On dit qu’une application f : E → !F est uniformément continue si : "
∀ε > 0 ∃α > 0 ∀x, y ∈ E dE (x, y) < α =⇒ dF (f (x), f (y)) < ε .
Dans ce cas, f est continue.
(c) Soit k ≥ 0. On dit qu’une application f : E → F est k-lipschitzienne si :
∀x, y ∈ E dF (f (x), f (y)) ≤ k dE (x, y).
Dans ce cas, f est uniformément continue.
Définition
Soit E un ensemble muni de deux distances d1 et d2 . On note idE : E → E l’application x .→ x.
(a) On dit que d1 et d2 sont topologiquement équivalentes si :
idE est continue de (E, d1 ) dans (E, d2 ) et de (E, d2 ) dans (E, d1).
(Cela signifie que d1 et d2 définissent la même topologie sur E.)
(b) On dit que d1 et d2 sont uniformément équivalentes si :
idE est uniformément continue de (E, d1 ) dans (E, d2 ) et de (E, d2 ) dans (E, d1).
(c) On dit que d1 et d2 sont Lipschitz-équivalentes si :
idE est lipschitzienne de (E, d1 ) dans (E, d2) et de (E, d2 ) dans (E, d1 ).
Espaces métriques complets : rappels (J-Y D)
Définition
(a) On dit qu’une suite un n 0 d’éléments de E est une suite de Cauchy si :
8" > 0 9N 2 N 8p, q 2 N p N et q N =) d(up , uq ) < " .
| {z }
s’écrit en abrégé : d(up , uq ) ! 0
min(p,q)!+1
(b) On dit que l’espace métrique E est complet si toute suite de Cauchy dans E est convergente.
(c) On dit qu’une application f : E ! F est contractante si elle est k-lipschitzienne pour un
certain k 0 qui vérifie k < 1.
(d) On dit qu’une application f : E ! F est isométrique si : 8x, y 2 E d(f (x), f (y)) = d(x, y).
Proposition
(a) Toute partie complète d’un espace métrique est fermée.
Toute partie fermée d’un espace métrique complet est complète.
(b) L’image d’une suite de Cauchy par une application uniformément continue d’un espace
métrique dans un autre est une suite de Cauchy.
(c) Un produit fini ou dénombrable d’espaces métriques complets est complet.
(d) Soit n 2 N. L’espace métrique R est complet, donc l’espace métrique Rn est complet (pour
une distance associée à une norme quelconque) et ses parties complètes sont ses parties fermées.
(e) On suppose que E est complet. Pour tout ensemble A, l’ensemble E A des applications de A
dans E est complet pour la distance du de la convergence uniforme. (?)
Proposition
(a) On suppose que D est une partie dense de E et que F est complet.
Toute application uniformément continue f : D ! F a un unique prolongement continu
f˜: E ! F ; de plus f˜ est uniformément continue.
(b) Il existe un espace métrique complet E, e appelé complété de E, muni d’une application
e
isométrique d’image dense ĩ : E ! E. Pour tout autre couple (E, e ĩ) qui convient dans le rôle
e ĩ), il existe une bijection isométrique j : E
de (E, e!E e telle que ĩ = j ĩ.
Proposition
(a) Les suites de Cauchy dans E sont les suites de points de E convergentes dans E.e
En particulier toute suite de Cauchy est bornée, et toute suite convergente est de Cauchy.
(b) Tout espace métrique compact est complet (car il est fermé dans son complété).
(?) On note ici (E A )b le fermé de E A formée des applications dont l’image est bornée. Il est aussi muni de la distance
d1 définie par d1 (f, g) = sup d(f (x), g(x)). Comme d1 est uniformément équivalentes à la distance induite par du ,
x2A
l’ensemble (E A )b muni de d1 est complet quand E est complet.
(??) Quand f est k-contractante on a la majorationn
suivante de l’erreur commise en approximant l par xn :
d(xn , l) 1k k d(x0 , x1 ) pour tout n 0.
On suppose dans la suite que E et F sont des espace vectoriels normés sur K = R ou C.
Définition
(a) On appelle espace de Banach un espace vectoriel normé qui est complet pour la distance
associée à sa norme. ⇣ ⌘
P Pn
(b) On appelle série d’éléments de E une suite ( un )n 0 de la forme un , uk où (un )n 0
k=0 n 0
⇣P n ⌘
est une suite d’éléments de E. Sa convergence équivaut donc à celle de la suite uk .
k=0 n 0
P P
+1
(c) La somme d’une série convergente ( un )n 0 d’éléments de E est le vecteur un suivant :
P
+1 Pn n=0
un = lim uk .
n=0 n!+1 k=0
P P
+1
(d) On dit qu’une série ( un ) n 0 d’éléments deE est normalement convergente si kun k<+1.
n=0
Exemples
(a) Soit K un espace topologique compact. L’espace vectoriel C (K, R) des applications continues
| {z }
fermé de l’espace des applications bornées de K dans R
de K dans R, muni de la norme de la convergence uniforme, est un espace de Banach.
(b) Si F est un espace de Banach, l’espace vectoriel L (E, F ) des applications linéaires continues
| {z }
s’identifie à un fermé de l’espace des applications bornées, de la boule unité fermée de E, dans F
de E dans F , muni de la norme des applications linéaires, est un espace de Banach.
Proposition
(a) On suppose que D est un sous-espace vectoriel dense de E et que F est un espace de Banach.
Toute application f 2 L (D, F ) a un unique prolongement f˜ 2 L (E, F ) ; de plus kf˜k = kf k.
(b) Il existe un espace de Banach E, e appelé complété de E, muni d’une application linéaire
isométrique (???)
d’image dense ĩ : E ! E.e Pour tout autre couple (E,
e ĩ) qui convient dans le rôle
e ĩ ), il existe une bijection linéaire isométrique j : E
de (E, e!E e telle que ĩ = j ĩ.
Proposition
P
(a) Si une série ( un ) n 0 d’éléments de E converge, elle vérifie :
P
+1 P
+1
un ! 0 et un kun k +1.
n!+1 n=0 n=0
(b) Toute série absolument convergente d’éléments d’un espace de Banach est convergente. (????)
Définition
S
(a) On appelle recouvrement de X une famille (Ai )i2I de parties de X telle que X = Ai . Dans
i2I
ce cas, un sous-recouvrement de (Ai )i2I est un recouvrement de X de la forme (Aj )j2J avec J ✓ I.
(b) On dit que l’espace topologique X est compact si X est séparé et tout recouvrement (Ui )i2I
de X à l’aide d’ouverts Ui a un sous-recouvrement (Uj )j2J avec J fini.
(c) On appelle suite extraite d’une suite (xn )n 0 d’éléments de E une suite de la forme (xnk )k 0
où (nk )k 0 est une suite strictement croissante d’éléments de N.
Proposition
(a) Toute partie compacte d’un espace topologique séparé est fermée.
Toute partie fermée d’un espace topologique compact est compacte.
(b) L’image d’une application continue d’un espace topologique compact dans un espace topolo-
gique séparé est compacte. En particulier, une bijection continue d’un espace topologique compact
dans un espace topologique séparé est un homéomorphisme, car elle envoie un fermé sur un fermé.
(c) Un produit d’espaces topologiques compacts est compact (« théorème de Tychonoff »).
Proposition
(a) L’espace métrique E est compact si et seulement si toute suite (xn )n 0 d’éléments de E
possède une suite extraite (xnk )k 0 qui converge (« théorème de Bolzano-Weierstrass »).
(b) Toute application continue d’un espace métrique compact dans un espace métrique est
uniformément continue (« théorème de Heine »).
Proposition
Soient n 2 N et K = R ou C.
(a) Les parties compactes de Kn sont ses parties fermées et bornées pour k k1 .
(b) Une partie compacte non-vide de R a donc un plus petit élément et un plus grand élément.
En particulier, toute application continue d’un espace topologique compact non-vide dans R prend
une plus petite et une plus grande valeur. A fortiori tout espace métrique compact est borné.
(c) Toutes les normes sur Kn sont équivalentes. (?)
En particulier, on peut remplacer k k1 dans le (a) ci-dessus par n’importe quelle norme sur Kn .
P
(?) Une norme N sur Kn muni de k k1 est lipschitzienne car N (x) N (ei ) kxk1 pour x 2 Kn , où
| {z } 1in
grâce à l’inégalité |N (u) N (v)| N (u v)
(ei )1in est la base canonique, donc 1/N est majoré sur la sphère unité pour k k1 qui est compacte.
Espaces
| topologiques
{z connexes} : rappels (J-Y D)
(à connaître dans le cas des espaces métriques)
Définition
(a) On dit que l’espace topologique X est connexe si X n’est pas réunion de deux ouverts
disjoints non-vides.
(b) On appelle chemin de X d’origine a 2 X et d’extrémité b 2 X une application continue
: [0, 1] ! X telle que (0) = a et (1) = b.
0 1
Quand ⇢ est un chemin de X joignant a à b et est un chemin de X joignant b à c, leur composé
@ (2t) si 0 s 12 A
: t 7! au sens des chemins est un chemin joignant a à c.
(2t 1) si 2 < s 1
1
(c) On dit que l’espace topologique X est connexe par arcs si pour tous a, b 2 X il existe un
chemin de X qui a pour origine a et extrémité b.
Proposition
(a) L’espace topologique X est connexe si et seulement si toute application continue de X dans
{0, 1} est constante. A fortiori la réunion de connexes de X qui ont un point commun est connexe.
(b) L’image d’une application continue d’un espace topologique connexe (resp. connexe par arcs)
dans un espace topologique est connexe (resp. connexe par arcs).
(c) Un produit de deux espaces topologiques non-vides est connexe (resp. connexe par arcs) si
et seulement si chacun des deux est connexe (resp. connexe par arcs).
Proposition
(a) Les parties connexes de R sont les intervalles.
Par conséquent, une application continue d’un espace topologique connexe dans R qui prend des
valeurs ↵ et prend aussi toutes les valeurs entre ↵ et (« théorème des valeurs intermédiaires »).
(b) Tout espace topologique connexe par arcs est connexe.
Espaces vectoriels normés : rappels (J-Y D)
Définition
(a) Une norme sur E est une application N : E ! R+ vérifiant :
(i) 8v 2 E N (v) = 0 () v = 0 ;
(ii) 8v 2 E 8 2 K N ( v) = | | N (v) ;
(iii) 8v, w 2 E N (v + w) N (v) + N (w) (« inégalité triangulaire »).
(b) On dit que deux normes N1 et N2 sur E sont équivalentes si :
(?)
9↵, > 0 ↵N1 N2 N1 .
(c) La distance associée à une norme N sur E est l’application d : E ⇥ E ! R+ définie par :
(??)
8x, y 2 E d(x, y) := N (x y) .
Rappel
Soit A un ensemble. On pose : kf k1 := sup |f (x)| +1 pour toute application f : A ! K.
x2A
(a) On dit qu’une suite (fn )n 0 d’applications de A dans K converge simplement vers une
application f de A dans K si : fn (x) ! f (x) pour tout x 2 A.
n!+1
(b) On dit qu’une suite (fn )n 0 d’applications de A dans K converge uniformément vers une
application f de A dans K si : kfn f k1 ! 0. Dans ce cas (fn )n 0 converge simplement vers f .
n!+1
Définition-Proposition
On se donne des normes k kE et k kF sur E et F .
L’espace vectoriel produit E ⇥ F , formé des couplesq(v, w) avec v 2 E et w 2 F , est muni de la
norme 2 du produit k kE⇥F définie par : k(v, w)kE⇥F := k vk2E + kw k2F pour tout (v, w) 2 E⇥F . (⇤)
Définition-Proposition
On se donne une norme k kE sur E.
(a) Une suite (xn )n 0 d’éléments de E converge vers un élément a de E si et seulement si pour
tout " > 0 il existe N 2 N tel que : kxn akE < " dès que n > N .
P ⇣ Pn ⌘
(b) On dit qu’une série ( an )n 0 dans E, c’est à dire une suite de la forme (an )n 0 , ( ak )n 0
P k=0
avec an 2 E pour tout n 0, converge absolument si la série ( kan kE )n 0 converge dans R.
Proposition
On se donne des normes k kE , k kF , k kG sur E, F , G, et deux normes N1 et N2 sur E.
(a) Une application linéaire u : E ! F est continue si et seulement s’il existe k 0 tel que :
ku(x)kF k kxkE pour tout x 2 E.
Ainsi N1 et N2 sont équivalentes si et seulement si idE : (E, N1 ) ! (E, N2 ) est bicontinue.
(b) Lorsque E est de dimension finie : toute application linéaire de E dans F est continue (une
P
base (e1 , ..., en ) de E fournit une norme N : xi ei 7! max |xi | qui s’avère équivalente à k kE ).
1in 1in
(c) Une application bilinéaire ⇡ : E ⇥F ! G est continue si et seulement s’il existe k 0 tel que :
k⇡(x, y)kG k kxkE kykF pour tout (x, y) 2 E ⇥ F .
(d) La somme de E ⇥ E dans E et la multiplication par un scalaire de K ⇥ E dans E sont des
applications continues (cas particuliers respectivement de (a) et de (c)).
Définition-Proposition
On se donne des normes k kE , k kF , et k kG sur E, F , et G.
(a) On note L (E, F ) l’espace vectoriel formé des applications linéaires continues de E dans F .
On pose : E 0 = L (E, K). C’est le sous-espace vectoriel de E ⇤ formé des formes linéaires continues.
(b) On appelle norme subordonnée à k kE et k kF la norme k k sur L (E, F ) définie par :
ku(x)kF (⇤⇤)
kuk := sup kxkE
pour tout u 2 L (E, F ).
x2E
x6=0
| {z }
(ce sup dans R+ vaut par convention 0 quand E = {0})
(⇤) Comme les normes k k1 , k k2 , et k k1 sur R2 sont équivalentes, cette norme k kE⇥F est équivalente aux normes
(v, w) 7! k vkE + kw kF et (v, w) 7! max(k vkE , kw kF ) sur E ⇥ F .
(⇤⇤) Le nombre kuk est donc le plus petit réel k 0 vérifiant : ku(x)kF k kxkE pour tout x 2 E.
Suites de fonctions : rappels (J-Y D)
Proposition (curiosité)
Soient X un espace topologique X, Ω ⊆ X, fn : Ω → C pour n ∈ N, F : Ω → C, et a ∈ Ω.
On suppose que fn (x) a une limite quand x → a pour chaque n ∈ N ;
x∈Ω
(fn )n≥0 converge uniformément vers F .
Alors F (x) a une limite quand x → a et : x→a lim F (x) « interversion des limites ».
lim fn (x) −→ x→a
x∈Ω n→+∞
x∈Ω x∈Ω
On se donne maintenant un espace mesurable T muni d’une mesure positive µ, et des applica-
tions ft , t ∈ T , d’un espace métrique Ω de RN dans C. Quand T = N avec la mesure de comptage,
les propositions 1’ et 2’ donneront les proposition 1 et 2 dans le cas de la convergence normale.
(∗) En particulier : si une suite d’applications continues fn : [a, b] → C , n ∈ N converge uniformément vers f ,
#b #b
alors a fn (t) dt −→ a f (t) dt (prendre T = [a, b] et ϕn = fn − f ).
n→+∞
Proposition 1’ (« continuité d’une intégrale dépendant d’un paramètre »)
On fixe a ∈ Ω.
On suppose que (i) l’application t "→ ft (x) est mesurable pour tout x ∈ Ω ;
(ii) ft est continue en a pour µ-presque tout t ∈ T ;
(iii) il existe g ∈ LR1 (µ) tel que sup |ft (x)| ≤ g(t) µ-p. p. .
! x∈Ω
Alors l’application F : x "→ T ft (x) dµ(t) est continue en a.
" #$ %
défini
Démonstration (idée)
Pour tout (xn )n∈N ∈ ΩN vérifiant xn −→ a, le théorème de convergence dominée montre que :
! n→+∞ !
F (xn ) = T ft (xn ) dν(t) −→ F (a) = T ft (a) dν(t).
n→+∞
Démonstration (idée)
Soit a ∈ Ω. On se donne hn −→ 0 dans RN avec hn (= 0 et [a, a + hn ] ⊆ Ω pour n ≥ 0. On a :
! n→+∞
'
F (a + hn ) − F (a) − T dft (a)·hn dµ(t) ft (a + hn ) − ft (a) − dft (a)·hn
= dµ(t) −→ 0 car
'hn ' T 'hn ' n→+∞
|ft (a + hn ) − ft (a) − dft (a)·hn |
≤ sup 'dft (a + θhn ) − dft (a)' pour µ-presque tout t ∈ T .
'hn ' 0≤θ≤1
Démonstration (idée)
On rappelle qu’une application f : Ω → C est holomorphe si et seulement si elle est différen-
tiable et l’application df (z) est C-linéaire pour tout z ∈ Ω (équation de Cauchy-Riemann).
Dans ce cas, pour tout z ∈ Ω on dispose d’un unique f & (z) ∈ C tel que df (z) : h ∈ C "→ f & (z) h.
Soient a ∈ Ω et r > 0 tels que B(a, r) ⊆ Ω. Toute fonction holomorphe f : Ω → C vérifie :
& 1
! f (u)
f (z) = 2iπ C (a,r)+ (u−z)2
du pour tout z ∈ B(a, r) (cf. l’analycité des fonctions holomorphes).
( ! (
& (1 ft (u) ( 1 g(t)
D’où : sup |ft (z)| = sup ( 2π C (a,r)+ (u−z)2 du( ≤ 2iπ ×2πr × r 2 µ-presque partout.
( )
z∈B(a, r2 ) z∈B(a, r2 ) 2
&
Ainsi, la famille (ft B(a, r ) )t∈T vérifie une hypothèses analogue à (iii) qui porte sur (ft )t∈T .
2
On applique la proposition 2’ sur l’ouvert B(a, 2r ) qui contient z := a, puis fait une récurrence.
(∗) Lorsque Ω est convexe et x0 ∈ Ω, l’inégalité des accroissements finis permet de remplacer la condition (ii) par la
condition suivante : « l’application t "→ ft (x) est mesurable pour tout x ∈ Ω et t "→ ft (x0 ) appartient à LR1 (µ) ».