Etude d'une équation parabolique

1.3.2 Continuité, complétude, compacité

Définition 1.3.14 Soient (X, d) , (Y, D) deux espaces métriques. Une application

f : X --- Y

est continue au point a E X, si pour tout € > 0, il existe 8 > 0 tel que

D (f (x),f (y)) < (1.11)

des que

d (x,y) < 8 (1.12)

On dit aussi que a est un point de continuité de f.

f est continue si f est continue en tout point de X.

L'ensemble des fonctions continues de (X, d) vers (Y, D) est noté C ((X, d) , (Y, D)) ofi tout simplement C (X, Y ).

Proposition 1.3.3 Soient (X, d) , (Y, D) deux espaces métriques et

f : (X,d) --- (Y, D).

Une application alors f est continue en point a E X si et seulement si pour toute suite (U_n) converge vers a donc la suite f (U_n) converge vers f (a).

Théorème 1.3.1 Soient (X, d) , (Y, D) deux espaces métriques et

f : (X,d) -- (Y, D).

Une application, alors les assertions suivantes sont équivalentes :

i) f est continue sur X

ii) L'image réciproque par f de tout ouvert de Y est ouverte dans X.

iii) L'image réciproque par f de tout fermé de Y est fermée dans X.

Proposition 1.3.4 Soient (X,k:k_X) , (Y,k:k_Y ) deux espaces normés, et f application linéaire

f : (X,k:k_X) ~! (Y , k:k_Y )

Les propriétés suivantes sont équivalentes : a) f est continue.

b) f est continue en 0.

c) il existe c > 0, tel que

kf (x)k, cMxM_x ,Vx 2 X,

si de plus est de dimension finie, alors toute application linéaire

( )

f : (x, kk_x) ~! x, kk_y

est continue.

Definition 1.3.15 Soit (X, d) un espace métrique, une suite (x_n) 2 X est de Cauchy si et seulement si pour tout € > 0, il existe m0 > 0, tel que d (x_n, X_m) < des que ii, m ~ m0.

Proposition 1.3.5 On a

a) Si (x_n) est une suite convergente alors (x_n) est une suite de Cauchy .

b) Une suite de Cauchy a au plus une valeur d'adhérence.

c) Une suite de Cauchy converge si et seulement si elle a une valeur d'adhérence.

Definition 1.3.16 Soit (X, d) est un espace métrique.

* Une partie A de X est bornée s'il existe a 2 X et r > 0 tels que

d (a,x) _< r, Vx 2 A.

* Une suite (x_n) C X est bornée s'il existe a 2 X et r > 0 tels que

d (a,x_n) < r, Vm 2 N.

Proposition 1.3.6 Une suite de cauchy est bornée.

Definition 1.3.17 Un espace (X, d) est complet si et seulement si toute suite de Cauchy (x_n) 2 X est convergente.

Soient (X, d) un espace métrique et A C X.

Proposition 1.3.7 On a

a) Si (A, d) un espace complet, alors A est un fermé de X .

b) Si (X, d) un espace complet et A est un fermé de X, alors (A, d) est complet.

Corollaire 1.3.1 Dans un espace métrique A, A complet () A est fermé. Definition 1.3.18 Soient (X, d) , (Y, D) deux espaces métriques et

f : X ~- Y

est bornée si son image f (x) est bornée.

Cb (X, Y ) = {f : (X, d) - (Y, D) , f est continue et bornée} Proposition 1.3.8 Si (Y, D) un espace complet, alors Cb (X, Y ) est un espace complet.

Definition 1.3.19 Un espace (X, d) est compact si et seulement si pour tout recouvrement ouvert (Ui)i 2I de X,

(i.e.Uiouvert et X = Ui _2iUi ), on peut extraire un sous recouvrement finie c'est-à-dire il existe une famille J c I tel que

UX = Uj.

j EJ

Corollaire 1.3.2 Un espace (X, d) est compact si et seulement si pour tout famille fermé (F j)j 2I de X, telle que

n i El

Fi = ?,

il existe une famille finie J c I , telle que

flj EJFj = ø.

Definition 1.3.20 Un espace métrique (X, d) est compact si et seulement si toute suite (x_n) c X admet une sous suite convergente.

Proposition 1.3.9 Soit (X, d) un espace compact, et A c X, alors A est compact si et seulement si A fermé dans X.

Proposition 1.3.10 Soient (X, d) , (Y, D) deux espaces métrique, f est une application continue de X dans Y . Si X est compact, alors f (X) est un compact.

Proposition 1.3.11 Un espace compact est bornée et complet.

Definition 1.3.21 Soit (X, d) un espace métrique, une partie A de X est relativement compact si et seulement si toute suite de A admet une valeur d'adhérence dans X.