Topologie dans les espaces métriques

1)
Espaces Métriques E : ensemble

Def : d :-[ ✗ E > [ 0; + [ distance si :

i) d( ) O Ssi
séparation
my = x =
y
ü ) dire y ) ,
=
dly.se ) symétrie
iii ) ( IT )
tn ya , c- E d'ix. ) E
y dlnizltdlziy ) inégalité triangulaire
( E. d)
Espace métrique

Ex : 1 .
t' = IR dln ,
g) = In -

y
/
"
)
"

2. t' IR d( [ Ini yi) distance euclidienne

my
-

= =

dln ) distance discrète

Eqcq
{
3. 0 six
y y
-

=
, _

1 sinon
"

4. t' = { 0,1 } dln y ) ,

=
Ê .
Daisy -

,
distance de Hamming
Exo : vérifier IT
pour
3 et 4

Soit E un lk-ev.lk = IR ou ¢
 [0 ; [
Def : II. Il E →
tu est une norme si :

i ) Hn , Nn Il = O ssi x =
0

iil V-nc-E.V-xelk.lt ✗ xll = 1×111×11 homogénéité

iii ) tn c- E Un +
yll E llnlltllyll IT
,
y ,

EV normé ( EVN ) : (E, II. Il )

Prop : d/
my
) = Un -

yll définit une distance

dem : en exercice

Ë
"

Ex : 1 .
t' = 1K Hull ,
=

,
lui /
Un / la Elnil
"
Exo : vérifier IT 1 et
=
pour 3

Un / ↳ = max lait
1f i En

2. E = CLEO ;^) .lk ) 11f11 ,

=
[ / fini / du

11f11 ,
=
[ lfinlldà
11f11 Html
manne [
=

o; , ]

Def : boule ouverte Bcn E) ,

= { y c- Eldlx ,
g) LE }
boule fermée B- ( , E) n = { y
c- Eldin ,y ) EE }

'
Ex : t' = IR 1310,1 )
n -

j
" "

> ) .
2) Limites & Suites de Cauchy

Def : ( nn ) suite dans E ,

x
*
E E

d
*
)
*
( nn
On
ssi →
xn →
a ,
✗
→ x

n
Ssi te >0 ,
7- N Vn > N
-

,
d ( nn , n
*
)E E

/
,

+
+
+

n' t.tt#-+-++-
*

Ê!
+ I
I :
i
I )

Def / Prop : Toute suite

convergente est de
Cauchy :

HE > 0 ,
-7N ,
Hm , n 7N , dlnn , nm ) E E

dem Soit tn 7N dlnn ) E

Ê
*
: ce > 0 7- N , , ,
se

dlxn , xm ) E dlxn , x
*
) + d( x
*
, nm ) E E

Def : ACE est bornée s'il existe M > 0

tq tu y c- A dix ) E M
,
, , ,
y

Eo : E EVN
ACE est bornée ssi 7- 1770 , ACBCO , M )

Prop : toute suite de Cauchy est bornée

3) Limite inférieure &

supérieure ( dans E = R)

( majorée
1- est
si
)
{ plus petit majorant de A
le
Notation :
partie ACR ,
on note
sup A =

+ x

minorant de A
Plus grand
in FA =

Def : Soit Cnn ) suite réelle

limsupn →•
un = Lim (sup pisnxk ) c- À (R avec + ✗ et -

x )
n →a

liminfn → • nn =
linn → •
Linth > nxk ) c- À

dem : en exercice
 ssiliminfxn-limsupxn-4.mx
*
Théorème : un → se
n
) = se
*

C- À

dem : en exercice

Ex ( nn ) him int him limite

sup
:

Sin (
n'
74) -

l l n'existe
pas
O O
Yn O

n2 to to to

"
ti ) x + ✗
n'existe pas
-

. n

4) Ouverts & Fermés

Def : ACE , se c- E

i) A est de x si -7s B ( ne ) C A
un
voisinage > O ,

ï) A est ouvert A est de tout A

si un
voisinage xe

iii ) est intérieur de A A est de

n un
point si un
voisinage x

iv ) intérieur de A = ensemble de ses

points intérieurs notation :
 ou int ( A )

Iem : A ouvert , = ,
A = À
v ) A est fermé si EIA est ouvert o

ui ) adhérence de A ,
noté A- ou d (A ) ,
A- =
Et ( EIA )

Prop : i) Toute boule ouverte est ouverte

ii ) Toute boule fermée est
fermée

Corollaire :
•
int (A ) est ouvert dem : en exercice
•
A- est fermé

Prop :
) E et X sont ouverts
i

ii ) t ( Ailier Ai ouverts , ,
Vitti est ouvert
iü ) tn , V-A , ,
. . .

.
An CE ,
Ai ouverts ,
ni Ai est ouvert
dem : en exercice

Ex : An = ] -

x
; ! [
An > ^ An = ] -
x
;
O )
 > les suites
par
Théorème :( caractérisations séquentielles ) :

*
i) A est fermé ssi ( nn → n
*
et un c-
A tn ) x CA

ii ) x e À ssi 7- ( nn ) ,
tn nn c- A et un → x

iii ) A est ouvert ssi ( an → * et * CA ) un c- A àpcr (à partir d' certain )

rang
a ✗ un
= ,

iv ) x e int (A) ssi (nn → x ) un C- A àpcr

5) Compacité
valeurs dans A , il existe
Def : A CE compact si
, pour
toute suite ( nn ) à

une sous - suite

qui converge dans A ( Bolzano - Weierstrass )

Théorème ( Heine Borel ) -

:

E est un evn de clim finie ,

A compact ⇐ > A fermé et borné
dem : en exercice , ⇐ admis

6)
Complétude
Prop : Si (nn ) est suite de Cauchy et admet une sous -
suite
convergente
alors ( nn )
converge
dem : en exercice

De § On dit E est complet si ( nn ) Cv ⇐> (nn ) de Cauchy

que
:

LE evn
complet de Banach )
espace
:

Théorème : tout evn de clim finie est complet

dem : Soit ( nn ) de Cauchy ,
( nn ) bornée 1- M >0 ,
{ un } c B- ( o ,
M)

Th . HB : B- (O ,
M) est compact
compact 7- sous -
suite
convergente
( nn ) ( cf.
prop
)
converge