التمرين 1
Ouverts et fermés définis par des fonctions continues ; distance discrète
Soit un espace topologique et soient et deux applications continues de dans ( étant muni de sa topologie usuelle).
1. Soit .
(a) Montrer que est un ouvert de .
(b) Montrer que est un fermé de .
(c) Montrer que est un fermé de .
2. Soit la distance discrète sur , définie pour tout par si et si .
(a) Pour tout et pour tout réel , déterminer la boule ouverte .
(b) En déduire que toute partie de l'espace métrique est à la fois ouverte et fermée.
◀الحل
1. Ouverts et fermés
(a) . Comme est un ouvert de et continue, son image réciproque est un ouvert de .
(b) , image réciproque du fermé par continue : c'est un fermé (c'est aussi le complémentaire de l'ouvert ).
(c) La fonction est continue et , image réciproque du fermé : est fermé.
2. Distance discrète
(a) . Les seules valeurs de sont et :
(b) Soit . Pour tout , , donc est ouverte. Le même argument appliqué à montre que est ouverte, donc est fermée. Toute partie de est donc à la fois ouverte et fermée.