Académique Documents
Professionnel Documents
Culture Documents
7350 Chap01
7350 Chap01
i
mathL3 2009/5/19 13:48 page 5 #22
Chapitre 1
E SPACES TOPOLOGIQUES
e chapitre a pour but dintroduire les notions gnrales dans un cadre abstrait et de donner les premiers exemples. Il ne prsente aucune dicult, mais toutes les dnitions et
proprits doivent tre parfaitement connues. Deux cas particuliers importants despaces
topologiques seront tudis en dtail dans la suite : les espaces mtriques dans le chapitre 5 et
les espaces vectoriels norms, qui sont des espaces mtriques particuliers, dans le chapitre 7.
Aprs avoir donn les premires dnitions, nous introduisons dans ce chapitre et dans les deux
suivants les notions que lon peut dnir partir dune topologie, sans avoir besoin doutils
supplmentaires.
Exemple 1.2.
1. Sur un ensemble E, il existe toujours deux topologies extrmes : la topologie discrte
Td = P(E) et la topologie grossire Tg = , E . Un espace muni de la topologie discrte
(respectivement grossire) est dit discret (respectivement grossier).
2. Un ensemble deux lments E = a, b peut tre muni de quatre topologies direntes :
Tg = , E ,
T1
= , a, E, T = , b, E,
2
Td = , a , b , E .
3. Sur R, lensemble form de , R et des intervalles de la forme ]a, b[, nest pas une topologie,
car la proprit 3 nest pas vrie. En revanche, lensemble form de , R et des runions
quelconques dintervalles de la forme ]a, b[ est bien une topologie sur R. Sauf mention contraire,
R sera toujours muni de cette topologie Tu appele topologie usuelle. Nous verrons dans
lexemple 1.17 que cest la topologie associe la relation dordre total.
Dnition 1.3. (Ferm). Un ferm (ou une partie ferme) de (E, T ) est une partie de E dont
le complmentaire dans E est un ouvert de (E, T ).
i
i
i
mathL3 2009/5/19 13:48 page 6 #23
Partie I. Topologie
Exemple 1.4.
1. Pour la topologie grossire, les ferms sont et E. Pour la topologie discrte, toute partie
de E est la fois ouverte et ferme.
2. Avec les notations de lexemple 1.2, les ferms de T1 sont les lments de T2 et inversement.
3. Sur (R, Tu ), les ferms sont R, et les runions dintervalles [a, b]. En particulier, les singletons sont ferms.
Attention
Une erreur grossire mais malheureusement frquente est de dire quune partie est ferme
car elle nest pas ouverte, ou rciproquement. Cest faux : tous les cas sont possibles ! Toute
partie dun espace discret est la fois ouverte et ferme. Sur (R, Tu ), ]0, 1[ est ouvert et
non ferm ; [0, 1] est ferm et non ouvert et ]0, 1] nest ni ouvert, ni ferm. Dans un espace
topologique (E, T ) quelconque, E est la fois ouvert et ferm.
Remarque. Une topologie peut aussi tre dnie par lintermdiaire de ses ferms. En eet, on
vrie facilement que, pour quune partie F de P(E) soit lensemble des ferms dune topologie,
il faut et il sut quelle vrie les conditions suivantes :
1. F , E F .
2. Lintersection (nie ou innie) dune famille dlments de F est un lment de F .
3. La runion de deux lments de F est un lment de F .
La topologie, cest--dire lensemble des ouverts, est alors lensemble des complmentaires des
lments de F .
Attention
Par dnition, les ouverts sont stables par runion quelconque et par intersection nie.
Les ferms sont stables par intersection quelconque et par runion nie. Cependant, une
intersection quelconque douverts nest pas toujours ouverte et une runion quelconque de
ferms nest pas toujours ferme. Pour sen convaincre, on retiendra les deux exemples
suivants sur (R, Tu ) :
et
nN
Comme pour les structures algbriques, il est naturel de se demander si une topologie sur un
ensemble E permet de dnir sans ambigut une topologie sur une partie de E. La proposition
suivante montre que la rponse est positive pour toute partie dun espace topologique. Il est
noter que, dans le cas algbrique, ce nest pas toujours le cas : par exemple, toute partie dun
groupe nest pas ncessairement un sous-groupe.
Dnition 1.5. (Topologie induite). Soient (E, T ) un espace topologique et A une partie de
E. On vrie immdiatement que lensemble
AO T
TA = O
est une topologie sur A. On lappelle topologie induite sur A par T . Lorsque aucune prcision
nest donne, on considre toujours quune partie dun espace topologique (E, T ) est munie de
la topologie induite par T .
i
i
i
mathL3 2009/5/19 13:48 page 7 #24
Remarque. Les ouverts de la topologie induite sur A par la topologie de E sont donc les
intersections des ouverts de E avec A. Par passage au complmentaire, on vrie facilement que
les ferms de A sont aussi les intersections des ferms de E avec A.
Exemple 1.6. Lintervalle [0, 1[ est un ouvert de [0, 2] muni de la topologie induite par Tu ,
car [0, 1[=] 1, 1[ [0, 2] et ] 1, 1[ Tu . Noter que [0, 1[ est aussi un ferm de [ 1, 1[ muni de
la topologie induite par Tu car [0, 1[= [0, 4] [ 1, 1[ avec [0, 4] ferm de (R, Tu ). En revanche,
[0, 1[ nest ni ouvert ni ferm dans (R, Tu ).
Attention
Lexemple 1.6 montre que, lorsquon utilise les adjectifs ouvert et ferm, il faut toujours
prciser lespace topologique de rfrence. Toutefois, lorsquil ny a quun seul espace de
rfrence possible, et donc aucune ambigut, on se permettra de ne pas le prciser.
Dnition 1.7. (Partie discrte). Une partie A de E est dite discrte lorsque la topologie
induite sur A est la topologie discrte, cest--dire lorsque TA = P(A).
Il est naturel de comparer deux topologies donnes sur un mme ensemble.
Dnition 1.8. (Topologie plus ou moins ne). Soient E un ensemble, T et T deux
topologies sur E. La topologie T est dite plus ne que T lorsque T T et moins ne que T
lorsque T
T .
Preuve. La preuve est immdiate grce aux proprits de stabilit de la runion et de lintern
section par image inverse.
Test 1.1.
Test 1.2.
Limage directe dune topologie par une application est-elle une topologie ?
i
i
i
mathL3 2009/5/19 13:48 page 8 #25
Partie I. Topologie
Preuve. Soit T lintersection des lments de T . Comme et E sont dans chaque lment
de T , ils sont aussi dans T . Si (Oi )iI est une famille dlments de T , chacun des Oi est
dans chaque topologie de T , donc la runion O = iI Oi est aussi dans chaque topologie de T ,
donc O T . Si O1 et O2 sont des lments de T , ils appartiennent chaque topologie de T ,
donc leur intersection appartient aussi chaque topologie de T , donc T . Les proprits de
la dnition 1.1 sont donc vries, T est une topologie sur E. Lensemble T (A ) est non vide,
puisquil contient la topologie discrte P(E). Lintersection T des lments de T (A ) est donc
T (A ). Il est clair que T est le plus petit
une topologie sur E et elle contient A , donc T
n
lment de T (A ).
Proposition 1.14. Soient E un ensemble, O une partie de E, B une base de topologie sur
E et T la topologie engendre par B. Les assertions suivantes sont quivalentes :
1. O T .
2. Il existe une famille (Oi )iI dlments de B telle que O = iI Oi .
3. Pour tout x O, il existe A B tel que x A O.
Preuve.
Montrons que lassertion 2 entrane la 3 : comme O = iI Oi , pour tout x O, il existe i I tel
que x Oi O.
O, il existe Ox
B telle que x
Ox
O, on a
Rciproquement, comme pour tout x
O
xO Ox . Linclusion rciproque tant vidente, on a bien O =
xO Ox .
i
i
i
mathL3 2009/5/19 13:48 page 9 #26
Toute topologie T sur E possde au moins une base, la partie T elle-mme. La notion nest bien
sr intressante que lorsque B est plus petite que T : comme on le verra, dans de nombreux
cas, il est possible de se limiter des raisonnements sur les lments dune base de topologie, au
lieu de manipuler la totalit des ouverts. On notera aussi quen gnral il ny a pas unicit de
la base de topologie engendrant une topologie donne.
]x, ) = y E x y,
(, x[ = y E y x,
o x y signie x y et x y. La runion B des ensembles B = (, x[, x E ,
B = ]x, ), x E et B = ]x, y[ , (x, y) E , x y est une base de topologie
sur E. Pour le montrer, on xe x E. Si x possde un majorant strict b, x (, b[ , sinon
x possde un minorant strict a (car E a au moins deux lments) et dans ce cas x ]a, ).
Exemple 1.16.(Topologie de lordre). Soit (E, ) un ensemble totalement ordonn ayant
au moins deux lments. Pour x E, on note
i
i
i
mathL3 2009/5/19 13:48 page 10 #27
10
base pour T et A
E. Montrer que BA =
O A O B est une base de topologie sur
A. Quelle est la topologie engendre par BA ?
Partie I. Topologie
Test 1.3.
Dnition 1.18. (Espace mtrique, distance). Soit E un ensemble non vide. Une distance
sur E est une application d de E E dans R+ qui vrie, pour tout (x, y, z) E3 ,
1. d(x, y) = 0 si et seulement si x = y ;
2. d(x, y) = d(y, x) ;
3. d(x, z) d(x, y) + d(y, z).
Si d est une distance sur E, le couple (E, d) est appel espace mtrique . La proprit 3 est
lingalit triangulaire . Elle entrane lingalit suivante, appele deuxime ingalit triangulaire ,
d(x, y) d(y, z)
d(x, z).
Exemple 1.19.
1. Soit E un ensemble. Lapplication d de E E dans R+ dnie par d(x, x) = 0 et d(x, y) = 1
si x y est une distance sur E, dite distance discrte.
2. Sur R, la distance usuelle entre deux rels x et y est donne par d. (x, y) = x y . Les
proprits 1, 2, 3 sont des consquences directes de la dnition de la valeur absolue. On note
souvent (R, . ) lespace mtrique (R, d. ).
Sur C, la distance usuelle se dnit de manire analogue au moyen du module not aussi . .
3. Sur R et C, on peut dnir beaucoup dautres distances. Par exemple, les applications de la
f(x) f(y) , o f est injective, sont des distances.
forme (x, y)
4. Sur Rn , lapplication d dnie pour tout x = (x1 , ..., xn ) et y = (y1 , .., yn ) par d (x, y) =
maxi=1..n xi yi est une distance. Nous verrons dans la suite dautres exemples de distances
sur Rn .
Sur un espace mtrique, la donne dune distance permet de dnir naturellement une topologie
qui est engendre par des parties particulires de lespace : les boules.
Exemple 1.21. Sur (R, .), la boule ouverte de centre a R et de rayon r 0 est lintervalle
]a r, a + r[.
Pour plus de dtails et de proprits sur les boules et les sphres, on renvoie au chapitre 5. La
proposition suivante est la base de toutes les constructions.
Proposition 1.22. Sur un espace mtrique (E, d), lensemble BO des boules ouvertes est
une base de topologie sur E.
i
i
i
mathL3 2009/5/19 13:48 page 11 #28
Preuve. Tout point x de E est dans une boule ouverte (par exemple B(x, 1)), donc la runion
des lments de BO est bien gale E. Si B1 = B(a1 , r1 ) et B2 = B(a2 , r2 ) sont deux boules
ouvertes dintersection non vide, alors, pour tout x B1 B2 , lingalit triangulaire montre
que si = min(r1 d(a1 , x), r2 d(a2 , x)), alors la boule B(x, ) est contenue dans lintersection
B1 B2 et x B(x, ) car = 0. Cette intersection est donc la runion de boules ouvertes, ce qui
n
termine la preuve.
Dnition 1.23. (Topologie naturelle dun espace mtrique). Soit (E, d) un espace mtrique. La topologie associe la distance est la topologie engendre par la base BO . Les ouverts
dun espace mtrique (E, d) sont donc les runions de boules ouvertes. Un espace mtrique sera,
sauf mention contraire, suppos muni de la topologie associe la distance.
11
Rappelons que, par la proposition 1.14, ceci signie notamment que tout ouvert de cette topologie
contient une boule ouverte et mme que tout ouvert contenant x contient une boule ouverte
centre en x. En particulier, les boules ouvertes sont des ouverts de E et on vrie facilement
que les boules fermes sont des ferms de E. Nous verrons au chapitre 5 que les topologies
associes des distances ont des proprits particulires (de sparation et de dnombrabilit
notamment).
Exemple 1.24. Soit E un ensemble. La topologie associe la distance discrte dnie dans
lexemple 1.19 est la topologie discrte sur E.
Synthse
Sur (R, . ), comme les boules ouvertes sont les intervalles ouverts, les ouverts de la topologie associe la distance d. sont les runions quelconques dintervalles ouverts. Cest
exactement la topologie usuelle Tu dnie dans lexemple 1.19 et aussi la topologie associe
la relation dordre de lexemple 1.17.
i
i
i
mathL3 2009/5/19 13:48 page 12 #29
12
Partie I. Topologie
Int A = A
A ouvert de E
et
A ferm de E
Adh A = A.
E
Exemple 1.26. Si E = R est muni de la topologie de lordre et si A = [0, 1[, on vrie que
IntA = ]0, 1[, AdhA = [0, 1] et Fr(A) = 0, 1 .
Dans R, IntZ = , AdhZ = Z, Fr(Z) = Z.
, + , Fr(Z) = Z, Adh(R) = R.
Dans R, IntZ = , AdhZ = Z
Dans R, IntQ = , AdhQ = R et FrQ = Int(FrQ) = R.
Test 1.4.
Test 1.6.
Test 1.5.
Si T1 est une topologie plus ne que T2 , comparer les adhrences, intrieurs et frontires dune
mme partie, relativement ces deux topologies.
Preuve.
C (A). Len
E
semble C
E (A) est un ouvert contenu dans CE (A), donc son complmentaire B est un ferm
B, donc CE (B)
CE (A), soit C
CE (A). La deuxime galit se
contenant A, donc A
E (A)
n
montre de manire analogue. La troisime se dduit des deux premires.
La proposition suivante est trs utile en pratique.
Preuve. La premire assertion dcoule directement du fait que lintrieur de A est la runion
de tous les ouverts contenus dans A. La deuxime se dduit de la premire par passage au
n
complmentaire et la troisime est alors une consquence directe des deux premires.
Dans le cas particulier des espaces mtriques, comme les boules ouvertes sont une base pour la
topologie de E, les notions dintrieur et dadhrence ont une traduction assez maniable.
i
i
i
mathL3 2009/5/19 13:48 page 13 #30
A.
.
iI Ai
iI Ai ,
iI Ai
iI Ai
iI Ai
iI Ai ,
iI Ai
iI Ai
Preuve.
iI Ai
et
iI
iI Ai .
Ai =
13
iI Ai .
tape 1.
iI Ai est un ouvert contenu dans
iI Ai , il est donc contenu dans chacun des Ai ,
, donc dans lintersection
.
donc dans A
A
i
iI i
est un ouvert inclus dans A , donc
tape 2. Pour tout i I, A
i
i
iI Ai est un ouvert contenu
il est contenu dans iI Ai . Comme on a dj montr que iI Ai
iI Ai , on en dduit lgalit
iI Ai =
iI Ai .
tape 6. Lorsque I est ni, jI Aj est un ferm, qui contient (toujours) jI Aj , donc il contient
jI Aj . Comme on a dj montr que
jI Aj
jI Aj , on en dduit lgalit
jI Aj =
jI Aj .
n
.
Attention
et
A. On a
(B) = Adh (B) A et
A Int
A (B),
AdhA
FrA (B)
Fr (B) A.
E
i
i
i
mathL3 2009/5/19 13:48 page 14 #31
Partie I. Topologie
14
Preuve. Par dnition de la topologie induite, IntE (B) A est un ouvert de A contenu dans
IntA (B). Lensemble AdhE (B) A est un ferm de A qui contient B,
B, donc IntE (B) A
donc il contient AdhA (B). Rciproquement, AdhA (B) est un ferm de A, donc il existe un ferm
F de E tel que AdhA (B) = F A et F contient B car AdhA (B) contient B. Donc AdhE (B) F,
donc
AdhE (B) A F A = AdhA (B),
ce qui prouve lgalit pour ladhrence. Lassertion sur la frontire se dduit directement des
n
deux autres.
Test 1.8.
B = . Montrer que A B
= (A
B)
Test 1.10.
Test 1.9.
Soient A
E et B
E vriant A
B = et
I.5. Voisinages
La donne dune topologie sur E conduit une nouvelle relation binaire sur P(E), qui rane
linclusion usuelle.
Dnition 1.32. (Voisinage). Soient A et B des parties de E. On dit que B est un voisinage
O
B, ou, ce qui est quivalent, lorsque
de A lorsquil existe un ouvert O de E tel que A
A IntE B. Si A = x , on dit simplement que B est un voisinage de x. On note V (x) lensemble
des voisinages de x.
i
i
i
mathL3 2009/5/19 13:48 page 15 #32
15
Test 1.13.
Test 1.12.
Un point daccumulation de A est-il ncessairement dans A ?
Proposition 1.35. Soit A une partie de E. On note Ac(A) lensemble des points daccumulation de A et Is(A) lensemble des points isols de A. Alors,
Test 1.11.
Preuve. On peut dabord crire IntA (C) = O A, o O est un ouvert de E. On voit ensuite
que C = A (O C) ; on peut donc choisir C = O C, voisinage de B dans E.
Rciproquement, B IntE (C ), donc B A IntE (C ) IntA (C), donc C est un voisinage de
n
B dans A.
Comme pour les bases de topologie, le rle des systmes fondamentaux de voisinages est de
simplier les dmonstrations. Par exemple, si A est une partie de E, pour montrer quun point
x est adhrent A, il sut de vrier que, pour tout lment U dun systme fondamental de
voisinages de x donn, lintersection U A est non vide.
i
i
i
mathL3 2009/5/19 13:48 page 16 #33
16
Partie I. Topologie
Dnition 1.39. (Densit). Soient A et B des parties de E. On dit que A est dense dans B
lorsque B AdhE A, ou, ce qui est quivalent, lorsque tout ouvert de E contenant un point de B
rencontre A.
Remarque. La dnition de la densit de A dans B nexige pas que la partie A soit contenue
dans la partie B. Par exemple, ]0, 1[ 2 est dense dans [0, 1]. La densit de A dans B signie
que tout lment de B peut tre approch daussi prs que lon veut par un lment de A.
La proposition suivante, de dmonstration immdiate, donne un premier exemple dutilisation
pratique de la notion de base de topologie.
Proposition 1.40. Soit B une base pour la topologie de E. Pour que A soit dense dans B,
il faut et il sut que tout lment de B contenant un point de B rencontre A. En particulier,
pour que A soit dense dans E, il sut que tout lment de B contienne un point de A.
Exemple 1.41. Les ensembles Q et R Q sont des parties denses dans R, muni de la topologie
de lordre. En eet, on sait que tout intervalle rel de longueur non nulle contient un rationnel et
un irrationnel. La proposition prcdente permet de conclure puisque lensemble des intervalles
ouverts est une base pour la topologie de lordre.
Test 1.14.
Test 1.15.
Que dire dun espace E discret qui possde une
partie dense A ?
Pour illustrer la notion de densit, on donne maintenant quelques proprits topologiques des
sous-groupes additifs de R.
Proposition 1.42. Un sous-groupe additif de R est soit discret (et de la forme Z pour un
rel R+ ), soit dense dans R. En particulier, un sous-groupe ferm de R est soit R, soit
de la forme Z avec R+ .
i
i
i
mathL3 2009/5/19 13:48 page 17 #34
tape 2. Supposons = 0. Soit I un intervalle ouvert non vide de R, notons x son centre et
. On remarque
R+ son rayon. Comme = 0, il existe un lment u G+ tel que u
u
et I est de longueur 2). Or u G+ , donc uZ
G, donc
que uZ I = (car 0
G I = . Ainsi G rencontre tout intervalle ouvert non vide de R, donc G est dense dans R,
n
puisque lensemble des intervalles ouverts est une base pour la topologie de R.
17
Exemple 1.44.
1. Un espace discret est toujours spar, un espace grossier au moins deux lments nest
jamais spar.
2. Sur E = 0, 1 , la topologie , 0 , E est non spare puisque le seul ouvert contenant 1
est E et que 0 E.
3. (R, Tu ) est spare ainsi que R muni de la topologie la plus ne engendre par [a, b[, a b .
Plus gnralement, si (E, T ) est spar, alors toute topologie sur E plus ne que T est aussi
spare.
4. Tout espace mtrique est spar.
Test 1.16.
Test 1.18.
Test 1.17.
Montrer quun espace topologique spar ni est
discret.
Dans un espace spar, on peut isoler deux singletons au sens o il existe deux ouverts disjoints
contenant chacun un des singletons. Dans la suite, nous verrons des exemples despaces o on
peut isoler un singleton x et un ferm F si x F (espaces rguliers) et deux ferms disjoints
(espaces normaux).
i
i
i
mathL3 2009/5/19 13:48 page 18 #35
Partie I. Topologie
18
Exemple 1.46.
1. Si E est un espace discret, toute application de E dans un espace topologique est continue.
Si F est un espace grossier, toute application dun espace topologique dans F est continue.
2. Toute application constante dun espace topologique (E, T ) dans un autre est continue :
limage rciproque dune partie quelconque (en particulier ouverte) est ou E.
R, lapplication ta de (R, Tu ) dans (R, Tu ) dnie pour tout x
R par
3. Pour tout a
ta (x) = x + a est continue. En eet, tout ouvert O Tu scrit sous la forme O = iI ]i , i [,
o, pour tout i I, i R, i R et i i . On a donc
1
t
a
(
iI ]i , i [)
1
iI ta
(]i , i [) =
iI ]i
a, a[.
i
1
Tu et ta est continue. De la mme manire, on montre que les applications
Ainsi, t
a (O)
x o R ; x
xn o
suivantes (et beaucoup dautres) de R dans R sont continues : x
exp(x).
n N et x
4. On rappelle que la fonction caractristique dune partie A de E est note 1A et que cest la
fonction dnie sur E qui vaut 1 sur A et 0 sur CE A. La fonction caractristique 1R+ nest pas
continue : limage rciproque de louvert ]1/2, 3/2[ est R+ , ce nest pas un ouvert de R.
Proposition 1.47. Soient (E, TE ) et (F, TF ) deux espaces topologiques et f une application
de E dans F. Alors, les assertions suivantes sont quivalentes :
1. f est continue.
2. Limage rciproque par f de tout ferm de F est un ferm de E.
3. Pour toute partie A de E, f(A) f(A).
Test 1.19.
Soient T1 et T2 deux topologies sur E. quelle
condition lapplication identit de (E, T1 ) dans
(E, T2 ) est-elle continue ?
Test 1.20.
Montrer que f : (E, TE )
Proposition 1.48. Soient (E, TE ) et (F, TF ) deux espaces topologiques et BF une base pour
la topologie TF . Une application f de E dans F est continue si et seulement si, pour tout
lment O de BF , f1 (O) est un ouvert de E.
i
i
i
mathL3 2009/5/19 13:48 page 19 #36
Dnition 1.49. (Continuit en un point). Soient (E, TE ) et (F, TF ) deux espaces topologiques, f une application de E dans F et x un point de E. On dit que f est continue au point x
V. De manire
si, pour tout voisinage V de f(x), il existe un voisinage U de x tel que f(U)
quivalente, f est continue au point x si, pour tout voisinage V de f(x), f1 (V) est un voisinage
de x.
Exemple 1.50.
La fonction 1R+ est continue en tout point x
19
Exemple 1.53.
1. La fonction caractristique 1Q de Q dans R nest continue en aucun point de R.
2. La fonction f de R dans R dnie par f(x) = x 1Q (x) est continue au point 0 et non continue
en tout autre point.
Remarque. Nous verrons dans le chapitre 5 que la donne dune distance permet de dnir
la continuit uniforme qui ane la notion de continuit que lon vient de dnir.
La proposition suivante tablit le lien attendu entre local et global.
Proposition 1.54. Soient (E, TE ) et (F, TF ) deux espaces topologiques et f une application
de E dans F. Alors, f est continue sur E si et seulement si elle est continue en tout point de
E.
i
i
i
mathL3 2009/5/19 13:48 page 20 #37
20
Partie I. Topologie
Attention
En gnral, limage directe dun ouvert (respectivement ferm) par une application continue
nest pas ouverte (respectivement ferme). Par exemple, dans (R, Tu ), limage de louvert
]0, 1[ par lapplication constante gale 0 est le singleton 0 , donc elle nest pas ouverte ;
et limage du ferm R par lapplication exponentielle est R+ , donc elle nest pas ferme.
Test 1.22.
Soit f : E
A
A
E, f(A)
E, f(A)
Preuve. tape 1. Si O est un ouvert de G, (g f)1 (O) = f1 (g1 (O)) est un ouvert de E,
par continuit de f et g.
tape 2. Soit V un voisinage de g f(x). Par continuit de f au point x, (g f)1 (V) = f1 (g1 (V))
est un voisinage de x, puisque g1 (V) est un voisinage de f(x), par continuit de g au point f(x).
n
.
i
i
i
mathL3 2009/5/19 13:48 page 21 #38
21
Proposition 1.59. Soient (E, TE ) et (F, TF ) deux espaces topologiques, f une application
continue de E dans F.
1. Si on restreint lespace de dpart de f une partie A de E munie de la topologie induite,
F est continue.
alors la restriction note f A : A
2. Si on restreint lespace darrive de f une partie B de F munie de la topologie induite,
B de f est continue.
telle que f(E) B, alors la restriction note f B : E
Preuve.
Remarque. Notons une dicult lie la terminologie. Avec les notations prcdentes, dire
que f est continue en tout point de A nest pas quivalent dire que la restriction f A est
continue. Par exemple, si E = R, A = Q et f = 1Q , la fonction f nest continue en aucun point,
alors que sa restriction Q est constante, donc continue. Cependant, si f est continue en tout
point de A, cela implique que f A est continue.
Alors, comme
i
i
i
mathL3 2009/5/19 13:48 page 22 #39
22
Partie I. Topologie
Preuve. Commenons par remarquer que lespace darrive nest pas forcment un espace
vectoriel ; on ne peut pas utiliser la fonction f g et crire E = (f g)1 0 ! Il faut donc
traduire en termes ensemblistes la relation dgalit des deux applications. On introduit pour
cela la diagonale = (x, x), x F de F F. On a vu que est un ferm de F F, puisque
F est spar. Lapplication c de E dans F F dnie par c(x) = (f(x), g(x)) est continue, donc
n
lensemble c1 () = E est un ferm de E. La dernire assertion est claire.
Exemple 1.64. Soit f une application continue de R dans R telle que f(nx) = n f(x) pour
tout n Z et tout x R. Montrons que f est une homothtie de R. En posant x = 1 dans la
relation que vrie f, on obtient que, pour tout n Z, f(n) = f(1)n. Puis, pour tout n Z ,
en posant x = 1/n, on obtient f(1/n) = f(1)
. Enn, en posant x = 1/q, q Z , on a, pour tout
n
n
)
=
nf(1/q)
=
f(1)
.
Ainsi
les
fonctions
x
f(x) et x
f(1)x sont gales sur Q,
n Z, f( n
q
q
qui est dense dans R. Comme elles sont continues, on en dduit quelles sont gales sur R et
donc que f est une homothtie de rapport f(1).
II.4. Homomorphismes
Les homomorphismes sont les isomorphismes de la structure topologique, ils permettent didentier deux espaces topologiques a priori distincts.
Dnition 1.65. (Homomorphisme). Soient (E, TE ) et (F, TF ) deux espaces topologiques.
Un homomorphisme de E dans F est une application bijective, continue et dont la rciproque
est continue. On dit que deux espaces sont homomorphes sil existe un homomorphisme entre
eux.
Exemple 1.66.
1. Une bijection continue nest pas toujours dinverse continue. Par exemple, lapplication
[0, 1], dnie par f [0,1[ = Id[0,1[ et f(2) = 1, est continue bijective mais son
f : [0, 1[ 2
inverse nest pas continue en 1.
2. Une translation sur R est continue, son inverse est une translation, donc est aussi continue et
donc cest un homomorphisme. De mme, les homothties de R sont des homomorphismes.
On en dduit que deux intervalles ouverts de R sont homomorphes. On verra plus loin que
tout intervalle ouvert de R est aussi homomorphe R.
i
i
i
mathL3 2009/5/19 13:48 page 23 #40
3. Lapplication identit dun espace (E, T ) dans lespace (E, T ) est un homomorphisme si
et seulement si T = T .
4. Une bijection est un homomorphisme si et seulement si elle est continue et ouverte, ou
encore continue et ferme.
Une proprit trs importante des homomorphismes est quils prservent les notions dnies
grce des ouverts. Pour formaliser cette ide, on introduit le vocabulaire suivant.
Dnition 1.67. (Notion topologique). Soit un ensemble A vriant une proprit P. On
dit que cette proprit est une notion topologique si limage de A par un homomorphisme quelconque vrie encore cette proprit P.
23
Proposition 1.68. Les proprits suivantes sont des notions topologiques : tre ouvert, ferm
ou voisinage dun point ; tre spar ; tre ladhrence, lintrieur ou la frontire dun ensemble.
Remarque. Nous verrons dans la suite dautres exemples de notions topologiques, en particulier la compacit et la connexit.
Avec les notations de la dnition, il faut bien noter que le point a considr nappartient pas
ncessairement lensemble de dpart A de f. Dautre part, on vrie facilement que f a pour
limite l F lorsque x tend vers a si et seulement si, pour tout lment V dun systme fondamental
de voisinages donn de l dans F, il existe un voisinage U de a dans E tel que f(A U) V. Or,
dans un espace mtrique, les boules centres en un point forment un systme fondamental de
voisinages de ce point. En consquence, on obtient la caractrisation (bien connue) de la limite
dans les espaces mtriques.
E, f : A
F, a
0, 0, x A, d (x, a) = d (f(x), l) .
E
Exemple 1.71.
R est dnie par f(x) = 1/x, f na pas de limite au point 0. Si on considre f
1. Si f : R+
comme fonction valeurs dans R, alors limx0 f(x) = +.
R est dnie par f(x) = sin 1/x, f na pas de limite au point 0.
2. Si f : R+
f(A).
i
i
i
mathL3 2009/5/19 13:48 page 24 #41
Partie I. Topologie
24
Attention
Unicit de la limite ?
Si lespace darrive F nest pas spar, une fonction peut avoir plusieurs limites en un mme
point. Par exemple, si F est un espace grossier, tout point de F est limite de f au point a.
La proposition suivante montre que si lespace darrive est spar, alors, si la limite existe, elle
est unique. Cest une application importante de la notion de sparation.
Proposition 1.73. Soient (E, TE ) et (F, TF ) deux espaces topologiques. On suppose F spar.
Alors, si une fonction f dune partie A de E dans F possde une limite en un point a A,
cette limite est unique.
Exemple 1.74. Soient f une application dun ensemble E dans un ensemble F spar et A
une partie de E munie de la topologie induite. Si a A, alors f est continue au point a si et
seulement si limxa f(x) = f(a).
Exemple 1.76. (Prolongement par continuit). Soient (E, TE ) et (F, TF ) deux espaces
topologiques, A une partie de E, f une application continue de A dans F et a A. Un prolona est une application continue g de A
a dans F, gale
gement par continuit de f A
f dans A. Un tel prolongement existe si et seulement si f possde une limite au point a. On
pose alors g(a) = limxa f(x). Par exemple, la fonction dnie par f(x) = sin(1/x) ne possde
pas de prolongement par continuit R+ . En revanche, la fonction de R+ dans R dnie par
h(x) = x sin(1/x) se prolonge par continuit R+ (et son prolongement est nul en 0).
i
i
i
mathL3 2009/5/19 13:48 page 25 #42
25
Problme de la topologie initiale : soient E un ensemble, (Fi , Ti )iI une famille despaces topologiques et (fi )iI une famille dapplications, avec, pour tout i I, fi de E dans Fi . On sintresse
aux topologies T sur E telles que chaque fi soit continue de (E, T ) dans (Fi , Ti ) ; on notera A
lensemble de ces topologies. Il est clair que la topologie discrte sur E est dans A et cest la
topologie la plus ne ayant cette proprit. On voit aussi que, si T est dans A , toute topologie
T sur E plus ne que T est aussi dans A . Il est donc naturel de sintresser la topologie la
moins ne appartenant A . On a vu que lintersection dune famille quelconque de topologies
sur E est une topologie sur E. Lintersection des lments de A est donc prcisment la topologie la moins ne cherche. Cette topologie est dite topologie initiale sur E pour les donnes
(Fi , Ti )iI et (fi )iI .
Soient (Ei )iI une famille densembles non vides et E = iI Ei son produit. Il existe alors
canoniques de E sur les Ei : les projections
naturellement une famille (pi )iI de surjections
canoniques. La projection canonique pi de E = jI Ej dans Ei est lapplication qui x E
associe xi Ei , o xi est la i-ime composante de x. Ceci conduit, lorsque les Ei sont des espaces
topologiques, la dnition suivante.
Dnition
1.77. (Topologie produit). Soient (Ei , Ti ) une famille despaces topologiques,
E = iI Ei leur ensemble produit et, pour tout i I, pi la projection canonique de E sur Ei . La
topologie produit sur E est la topologie initiale sur E pour les donnes (Ei , Ti )iI et (pi )iI . Cest
donc la topologie la moins ne de E pour laquelle toutes les projections pi sont continues. On
notera iI Ti la topologie produit des topologies Ti .
iI
Oi ,
avec Oi = Ei sauf pour un nombre ni dindices i I. Cette dernire description est plus maniable en pratique et justie dailleurs la dnomination rectangle ; la description de la dnition
prcdente est utile dans les dmonstrations thoriques.
La proposition suivante explique en particulier pourquoi, dans la dnition des rectangles, on se
limite des parties J nies.
Proposition 1.79. Lensemble R des rectangles lmentaires de E est une base de topologie
sur E. La topologie engendre par R est la topologie produit. Un ouvert pour la topologie
produit est donc une runion de rectangles lmentaires.
Preuve. Il est clair que E est un rectangle lmentaire, donc la runion des lments de R
est bien gale E. On voit immdiatement, daprs la dnition, que lintersection de deux
rectangles lmentaires est encore un rectangle lmentaire. La partie R est donc bien une base
de topologie.
i
i
i
mathL3 2009/5/19 13:48 page 26 #43
Partie I. Topologie
26
Exemple 1.80.
i
i
[[1, n]]
Sur Rn , un rectangle lmentaire est de la forme n
kK ]ak , bk [, o, pour tout i
i=1
bik . Un ouvert pour cette topologie est une runion
et tout k K, aik R, bik R et aik
quelconque de ces rectangles lmentaires.
Remarque. Nous verrons plus loin des exemples de topologies produits sur des produits innis ;
ils interviennent de manire naturelle dans les problmes de convergence simple de suites de
fonctions.
La proposition suivante est un critre important de continuit des fonctions valeurs dans un
espace topologique produit.
Proposition 1.81. Soit f une application dun espace topologique (F, TF ) dans un espace
topologique produit ( iI E, iI Ti ). Alors, f est continue si et seulement si, pour tout i I,
fi = pi f est continue.
Preuve. Les projections sont continues, donc toutes les composantes dune application continue sont continues par composition. Rciproquement, supposons que toutes les composantes fi
de f sont continues. Il sut de montrer que limage rciproque par f dun rectangle lmentaire
1
1
1 (R) =
R = jJ p
jJ fj (Oj ) est un ouvert de F, puisque J
j (Oj ) est ouverte dans F. Mais f
n
est nie.
Attention
Il nexiste pas de rsultat analogue pour les applications dnies sur un espace produit :
la fonction de R2 dans R dnie par g(x, y) = xy/(x2 + y2 ) si (x, y) (0, 0) et g(0, 0) = 0,
g(x, 0) et y
g(0, y) sont
nest pas continue en (0, 0) ; mais ses applications partielles x
nulles, donc en particulier continues en 0.
On sintresse maintenant aux liens qui existent entre topologie produit et sparation.
Proposition 1.82. Soient I un ensemble
quelconque et (Ei )iI une famille despaces topolo
giques spars. Alors, lespace E = iI Ei muni de la topologie produit est spar.
Preuve. Soient = (xi )iI et = (yi )iI deux lments distincts de E. Alors, il existe un
indice i0 tel que xi0 yi0 . Comme Ei0 est spar, il existe deux voisinages ouverts disjoints A et
1
1
B de xi0 et yi0 respectivement. Les ensembles p
i0 (A) et pi0 (B) sont des rectangles lmentaires
disjoints de E, ils contiennent et respectivement et ils sont ouverts. Le produit E est donc
n
spar.
i
i
i
mathL3 2009/5/19 13:48 page 27 #44
Proposition 1.83. Soit (E, T ) un espace topologique. Alors, (E, T ) est spar si et seulement si la diagonale = (x, x) x E est un ferm de lespace produit E E.
Preuve. Soient x et y deux points distincts de E. Le couple (x, y) est donc dans E
E .
Lensemble E E est un ouvert contenant (x, y) si et seulement sil existe deux ouverts Ox
et Oy , voisinages de x et y respectivement, tels que Ox Oy soit contenu dans E E , ou, de
n
manire quivalente, si et seulement si Ox Oy = .
27
P(F) f
1 (O)
Preuve. On vrie immdiatement que Tf est une topologie sur F et clairement f est continue
si F est muni de cette topologie. Si T est une topologie sur F rendant f continue, tout lment
Tf . Il en rsulte que Tf est le plus
O de T vrie f1 (O) T , donc O Tf et donc T
n
grand lment de A .
La topologie Tf est appele topologie nale associe aux donnes (E, TE ) et f. Lexemple le plus
important de topologie nale est celui de la topologie quotient, que nous dnissons maintenant.
Dnition 1.85. (Topologie quotient). Soient (E, T ) un espace topologique, R une relation
dquivalence sur E et q la surjection canonique de E sur E/R, qui un lment x de E associe
sa classe modulo R. La topologie quotient Tq sur E/R est par dnition la topologie nale sur
E/R pour les donnes (E, T ) et q ; cest donc la topologie la plus ne sur E/R rendant continue
la surjection canonique q. Elle est dnie par
P(F) q
1
Tq = O
(O)
T .
Exemple 1.86. Les espaces quotients sintroduisent naturellement lors de ltude de fonctions prsentant des symtries. Par exemple, considrons une fonction T -priodique f de R dans
R/G est la projection canonique,
R et notons G = T Z son groupe de priodes. Alors, si q : R
on voit quil existe une unique application f de R/G dans R qui vrie f = f q. Pour traduire
cette dernire relation, on dit que le diagramme suivant est donc commutatif
/R
=
||
|
|
q
||
||
R
R/G
i
i
i
mathL3 2009/5/19 13:48 page 28 #45
28
Partie I. Topologie
Bien que lespace R/G soit plus petit que lespace de dpart R, la donne de f : R/G
permet de reconstruire f ; cest lun des intrts de la notion.
(x, y) E ,
f(x) = f(y).
xRy =
Il existe alors une unique application f de E/R dans F telle que f = f q. On dit alors que le
diagramme suivant est commutatif
/F
|>
|
f ||
q
||
|
|
f
E/R
o q est la projection. On dit que f est lapplication quotient de f.
Dans le cas o les espaces sont topologiques et lapplication f continue, on peut poser le problme
lorsque E/R est muni de la topologie quotient.
de la continuit de f,
Attention
La surjection canonique q : E
Dans lexemple 1.86, q nest pas injective car q(x) = q(x+T ). Lgalit f = f q ne peut donc
pas se rcrire f = f q1 puisque lapplication rciproque q1 nexiste pas ! En revanche,
dans la preuve suivante, q1 dsigne lapplication image rciproque ; elle est dnie sur
lensemble des parties de E/R et elle existe toujours.
Proposition 1.88. Soient (E, TE ) et (F, TF ) deux espaces topologiques, f une application
continue de E dans F et R une relation dquivalence sur E. On munit E/R de la topologie
quotient. Si f passe au quotient sur E/R, alors son application quotient est continue.
Preuve. Notons q la surjection canonique de E dans E/R et f lapplication quotient de f. Soit
Attention
Une des dicults des espaces quotients est quils ne sont en gnral pas spars, mme si
lespace de dpart lest. Lorsquon travaille sur des espaces quotients, il faut donc systmatiquement se poser la question de la sparation ou non de lespace.
i
i
i
mathL3 2009/5/19 13:48 page 29 #46
29
(x, y) R ,
2
xRy
x = y = 0 ou xy = 0.
R est spar et on va montrer que R/R muni de la topologie quotient nest pas spar. Dcrivons
tout dabord R/R. Deux rels non nuls sont en relation et 0 nest en relation quavec lui-mme.
R a donc deux classes dquivalence notes 0 = q(0) = 0 et 1 = q(1) = R . Lespace quotient
contient deux lments : R/R = 0, 1 = 0 , R . On munit R/R de la toplogie quotient
Tq : une partie A de R/R est donc ouverte si et seulement si q1 (A) est un ouvert de R. Or,
q1 (0) = 0 nest pas un ouvert de R et q1 (1) = R est ouvert dans R, donc
Tq = R/R, , 1 .
On a vu dans lexemple 1.44 que cette topologie trois ouverts sur un espace deux lments
nest pas spare.
G = (x, y)
E E q(x) = q(y)
le graphe de la relation R. Alors lespace quotient E/R, muni de la topologie quotient, est
spar si et seulement si G est ferm dans E E muni de la topologie produit.
Preuve. Si lespace quotient est spar, daprs la proposition 1.83, la diagonale E/R est
ferme dans (E/R)2 et donc G = (q q)1 (E/R ) est ferm dans E E puisque lapplication
q q est continue.
q1 ( a ) et
Rciproquement, soient a et a deux lments distincts de E/R. Alors, si x
1
x q ( a ), le couple (x, x ) est dans le complmentaire de G dans E E. Il existe donc deux
ouverts O et O de E, contenant x et x , tels que le rectangle lmentaire O O ne rencontre
pas G. Il en rsulte que q(O) et q(O ) sont deux ouverts disjoints, contenant a et a , ce qui
n
montre que E/R est spar.
IV. Exercices
1.1.
P(E); F est ni .
1. Montrer que Tc est une topologie.
2. Montrer que (E, Tc ) est spare si et seulement si E est ni.
3. Si E = R, montrer que la topologie des conis est strictement moins ne que la topologie
usuelle Tu .
1.4.
F
Soient E un ensemble et Tc = E,
OO
i
i
i
mathL3 2009/5/19 13:48 page 30 #47
30
Partie I. Topologie
1.6.
1.8.
1.9.
n
Ai =
i=1
Ai =
et
Ai
i=1
i=1
Ai .
i=1
2. Montrer quun produit est ferm si et seulement si chacun de ses facteurs est ferm.
3. Montrer que E est spar si et seulement si
chaque Ei est spar.
1.10.
OO
1.11.
OO
Soit
la relation dquivalence sur R dnie
y ssi x y Z. On note R/Z lenpar : x
semble des classes dquivalence muni de la topologie quotient et q : R
R/Z la projection
canonique.
1. q est-elle injective ?
2. Montrer que q est ouverte.
3. R/Z muni de la topologie quotient est-il spar ?
OOO
1.12.
Soit f une application de R dans un ensemble
E. Une priode de f est un rel p tel que
f(x + p) = f(x) pour tout x R.
1. Montrer que lensemble P(f) des priodes de
f est soit discret, soit dense dans R.
2. Donner un exemple de fonction qui admet un
groupe de priodes discret, puis un exemple de
groupe de priodes dense.
3. Donner un exemple de fonction non constante
pour laquelle P(f) est dense dans R.
OO
i
i