Exemples.
•Rou Cmuni de la valeur absolue ou du module (x, y)7→ | x−y|
•Rnmuni de la distance euclidienne d2, de d1, de d∞
•Un espace vectoriel norm´e (e.v.n.) est un couple (E, N) o`u Eest un
espace vectoriel sur Rou Cet o`u Nest une norme sur Ei.e. une
application N:E−→ R+v´erifiant :
(N1) ∀x∈E, N(x) = 0 ssi x= 0
(N2) ∀x∈E, ∀λ∈R, N(λx) = |λ|N(x) (homog´en´eit´e)
(N3) ∀x, y ∈E, N(x+y)≤N(x) + N(y) (in´egalit´e triangulaire)
Un e.v.n. (E, N) est en particulier un espace m´etrique muni de la
distance d(x, y) = N(x−y)
D´efinition 1.3 Pour a∈Eet r∈R∗+, on d´efinit la boule ouverte de centre
aet de rayon rpar B(a, r) = {x∈E, d(a, x)< r}.
L’ensemble Bf(a, r) = {x∈E, d(a, x)≤r}s’appelle la boule ferm´ee de
centre aet de rayon r, et S(a, r) = {x∈E, d(a, x) = r}la sph`ere de centre
aet de rayon r.
Un sous-ensemble d’un espace m´etrique est dit born´e s’il est contenu dans
une boule.
Proposition 1.4 Si (E, d)est un espace m´etrique, alors on d´efinit une topolo-
gie Tdsur Epar : Uest un ouvert de Tdsi et seulement si pour tout point x
de U, il existe une boule ouverte centr´ee en xcontenue dans U.
D´efinition 1.5 On dit que Tdest la topologie associ´ee `a la m´etrique d.
D´efinition 1.6 Soit (E, T)un espace topologique. Une partie Bde Test
une base de la topologie Tsi tout ´el´ement de Test r´eunion d’´el´ements de B.
Proposition 1.7 Dans un espace m´etrique (E, d), les boules ouvertes for-
ment une base pour la topologie Td.
D´efinition 1.8 Un espace topologique (E, T)est dit m´etrisable s’il existe
une distance dsur Etelle que T=Td.
D´efinition 1.9 Un espace topologique (E, T)est dit s´epar´e si pour tout cou-
ple de points distincts x, y de E, il existe un ouvert Oxcontenant xet un
ouvert Oycontenant ytels que Ox∩Oy=∅.
5