Si Best une base du filtre Fon dit que le filtre Fest engendr´e par B.
Dans un espace m´etrique, le filtre des voisinages d’un point est engendr´e par l’ensemble des
boules ouvertes centr´ees en ce point :
x
x0
B(x0, r)
V
Dans un ensemble Emuni d’une distance d, on appelle boule
ouverte de centre x0et de rayon rnon nul l’ensemble
B(x0, r) = {x∈E d(x0, x)< r}.
On appelle boule ferm´ee de centre x0et de rayon rnon
nul l’ensemble B(x0, r) = {x∈E d(x0, x)≤r}.
On d´emontre que cette notation est coh´erente car B(x0, r)
est effectivement l’adh´erence de B(x0, r).
Un ensemble Vest un voisinage de x0si et seulement si il
contient une boule ouverte de centre x0.
Une ´etude plus pouss´ee des espaces m´etriques utilise l’in´egalit´e du triangle pour ´etablir que
les boules ouvertes sont des ouverts.
VI. La notion de limite d’une application.
L’ensemble d’arriv´ee, F, est muni d’une structure d’espace topologique, chaque point xde F
a donc un filtre de voisinages V(x).
On sera amen´e `a utiliser divers filtres Fdans l’ensemble de d´epart E.
On dit qu’une application fde Edans Fadmet la limite lsuivant le filtre Fde Esi et
seulement on v´erifie l’une des propositions suivantes :
(L1)∀ V ∈ V(l)∃ U ∈ F f(U)⊆ V.
(L2)∀ V ∈ V(l)f−1(V)∈ F.
Remarques :
1/ Si on connaˆıt une base Bde Fon peut remplacer la proposition (L1) par une proposition
(L0
1) plus pratique :
(L0
1)∀ V ∈ V(l)∃ U ∈ B f(U)⊆ V.
2/ Si le filtre Fest le filtre des voisinages d’un point x0on retrouve la d´efinition de la
continuit´e de la fonction fen x0.
3/ Si le filtre Fest le filtre de Fr´echet, on retrouve la d´efinition de la limite d’une suite.
4/ Dans les d´efinitions pr´ec´edentes rien ne dit que la limite, si elle existe, est unique !
Propri´et´e de Hausdorff. (Trennung )
On dit qu’un espace topologique Eest s´epar´e si et seulement si on v´erifie la proposition :
(T)∀(a, b)∈ E2a6=b=⇒ ∃ (V,W)∈ V(a)× V(b)V ∩ W =∅
Th´eor`eme :
Dans un espace s´epar´e la limite, si elle existe, est unique.
Remarquons que les espaces m´etriques munis de la topologie associ´ee `a la distance sont
toujours s´epar´es ce qui fait que la propri´et´e de Hausdorff est en g´en´eral implicite dans les
expos´es les plus classiques.
a ε b
Si on pose ε=1
3d(a, b), les deux boules B(a, ε) et
B(b, ε) sont largement disjointes.
Topologie, page 3/8 - 25 septembre 2007