Exercice 1.1. Dans un espace topologique, une suite peut-elle poss´eder plu-
sieurs limites diff´erentes ?
D´efinition 1.5. On dit qu’un espace topologique (Ω,T) est s´epar´e si quels que
soient x1=x2Ω,il existe O1,O2Tdisjoints tels que x1O1et x2O2.
Exercice 1.2. Reprendre l’exercice pr´ec´edent dans le cadre d’un espace topo-
logique s´epar´e.
La connaissance de la topologie induit donc la connaissance des suites conver-
gentes. La r´eciproque n’est pas vraie en g´en´eral, et Fr´echet a introduit la notion
de filtre, qui g´en´eralise celle de suite, et qui permet de rem´edier `a ce fait. Nous
n’en ferons pas usage ici. Il en va diff´eremment pour les espaces m´etriques, qui
sont des cas particuliers d’espaces topologiques, et que nous abordons mainte-
nant.
1.2 Espaces m´etriques
D´efinition 1.6. Etant donn´e un ensemble Ωet une application d:Ω×ΩR+,
on dit que dd´efinit une distance sur Ωsi
(i) x, y Ω, d(x, y) = 0 ssi x=y
(ii) x, y Ω, d(x, y) = d(y, x)
(iii) x, y, z Ω, d(x, z)d(x, y) + d(y, z).
Le couple (Ω, d) est appel´e un espace m´etrique.
Etant donn´e xΩet r > 0,on note
B(x, r):={yΩt.q. d(x, y)< r}
la boule ouverte de centre xet de rayon r.
De mˆeme,
B[x, r]:={yΩt.q. d(x, y)r}
d´esigne la boule ferm´ee de centre xet de rayon r.
D´efinition 1.7. Etant donn´e un espace m´etrique (Ω, d), ont dit qu’un sous-
ensemble Ode Ωest ouvert si et seulement si
xO,r > 0 t.q. B(x, r)O.
Exercice 1.3. Montrer que l’ensemble des ouverts ainsi d´efinis constitue une
topologie (au sens de la section pr´ec´edente) sur Ω.L’espace topologique ainsi
obtenu est-il n´ecessairement s´epar´e ?
Exercice 1.4. Est-il vrai que dans un espace m´etrique, la boule ferm´ee B[x, r]
est ´egale `a l’adh´erence de la boule ouverte B(x, r) ? D´emontrer ou exhiber un
contre-exemple.
D´efinition 1.8. Un sous-ensemble de Ωest dit born´e s’il est contenu dans au
moins une boule ouverte.
2