![](//s1.studylibfr.com/store/data-gzf/186cca070db80aa06b9e372b608439c6/1/000417464.htmlex.zip/bg4.jpg)
Sciences.ch Topologie
Serveur d'exercices 4/22
EXERCICE 3.
Niveau : Deuxième Cycle
Mots Clés : Topologie compacte-ouverte
Énoncé :
Soit ,
Y deux espaces topologiques. Nous définissons comme étant l'ensemble
des applications continues de (,)CO X Y
YK
[,K:
. Si est un compact de X et un ouvert de Y on note
l'ensemble des applications continues ]
X)
(, )CO X Y
(,):CO X g CO CO
Y
, ]K
telles que . Nous
munissons de la topologie engendrée par les [ appelée "compacte-ouverte".
(fK
1. Vérifier que si : est une application continue alors
(,)X Z définie par g
gY Z
(,)X Y
est continue.
2. Démontrer que si X est compact et Y un espace métrique alors la topologie de
(,)X Y est la topologie de la convergence uniforme. CO
CO CO
Solution :
1. Pour montrer que ( , ) est continue, il suffit de prouver que l'image réciproque
d'un ouvert du type [ , ]K de ( , )X Z est un ouvert de ( , )X Y . Or
CO X g
1(,) [ [,] )| [(),]CO X g K K g K
1
[, ()]Kg
,] C (,)|O X Y g (,CO X Y
.
2. Nous rappelons que la topologie de la convergence uniforme est induite par la distance
définie par
, (,),(,) sup ((),())|
gCOXY fg dfxgx xX
où d est la
distance sur Y. Le fait que X soit compact nous assure que
sup ( ( ),dfx
(,),CO X Y
( ))|
gx x X
. Pour répondre à la question, il suffit de montrer que
pour tout compact K de X et pour tout ouvert de Y, [,]K est un ouvert de
et que réciproquement toute boule B ouverte de
Y(,),CO X
est
ouverte pour la topologie compacte-ouverte. Soit [,]fK
. ()
K est compact et
contenu dans . Notons ( )r
K l'ensemble des points y de Y tels que
inf ( , )|dyy ( )y fK r
. Il existe 0
tel que . En effet, étant
ouvert, pour tout ()
il existe 0
y
r tel que (où (, )
y
( )fK
yfK(, )
y
Byr
yr est la
boule ouverte de rayon y
r centrée en y). ( )
K étant compact, il existe un nombre fini
1,..., n
y de points de ()
K tels que . Posons
1..
() (, /2)
iy
i
in
fK Byr
min /
yi2| 1..rin
, si ( )
fK
alors il existe y( ) tel que yfK ( , )dy
et
il existe
1.. tel que ( , /2)
jy
j
jn yByr
, ) ( , ) /2
jjyy
jj
yy dyy r r
. Donc
(, ) (dyy d
et par suite y
car ) . ( ,
jy
j
By r