4CHAPITRE 1. QUELQUES NOTIONS DE TOPOLOGIE
1.2 Exemples fondamentaux
1.2.1 R
On munit la droite r´eelle Rde la topologie d´efinie par :
Oest ouvert ssi O=∅ou (∀x∈O, ∃δ > 0,]x−δ, x +δ[⊂O).
1.2.2 Espaces m´etriques
D´efinition : Soit Eun espace vectoriel sur un corps K(K=Rou
C) et dune application de E×Edans R+. On dit que dest une
distance si dv´erifie les trois propri´et´es suivantes
1. ∀(x, y)∈E2, d(x, y) = 0 =⇒x=y
2. ∀(x, y)∈E2, d(x, y) = d(y, x)
3. ∀(x, y, z)∈E3, d(x, z)≤d(x, y) + d(y, z).
Le couple (E, d) est alors appel´e espace m´etrique.
Pour x∈Eet ρ > 0, on d´efinit les ensembles suivants :
– Boule ouverte de centre xet de rayon ρ:
B(x, ρ) = {y∈E, d(x, y)< ρ},
– Boule ferm´ee de centre xet de rayon ρ:
B(x, ρ) = {y∈E, d(x, y)≤ρ},
– Sph`ere de centre xet de rayon ρ:
S(x, ρ) = {y∈E, d(x, y) = ρ}.
Th´eor`eme : Si (E, d) est un espace m´etrique, (E, d) est un espace
topologique pour la topologie d´efinie par :
Oest ouvert ssi O=∅ou (∀x∈O, ∃ρ > 0, B(x, ρ)⊂O.
Preuve : On v´erifie que ∅et Esont des ouverts. Soit maintenant une
famille (Oi)i∈Id’ensemble tels que pour tout i∈I, il existe ρi>0 tel
que B(x, ρi)⊂Oi. Alors, si x∈ ∪Oi, il existe j∈Itel que x∈Oj
et on a B(x, ρj)⊂ ∪Oi. Donc ∪Oia la mˆeme propri´et´e. Il reste
maintenant `a regarder l’intersection ; supposons Ifini et notons k
l’entier tel que ρkest le minimum des (ρi)i∈I, alors si x∈ ∩Oi,
∀i∈I, B(x, ρk)⊂B(x, ρi)⊂Oi.
On en d´eduit que B(x, ρk)⊂ ∩B(x, ρi), d’o`u le r´esultat.♦