Universit´e de Lorraine – Metz Ann´ee universitaire 2012-2013
Fondements de l’analyse (L3)
Feuille de TD n02 : Espaces topologiques, comparaison de topologies
Exercice 1 (Extrait du partiel du 16 novembre 2010) Soit Xun ensemble non vide et soit
Aune partie non vide de Xfix´ee. On pose
O={U;AUX} ∪ {∅} .
(a) Montrer que Od´efinit une topologie sur X.
(b) eterminer la famille Fdes ferm´es de (X, O).
(c) Soit Bune partie de X. D´eterminer Bet Bdans (X, O).
(d) Soit xX. D´eterminer les ´el´ements du filtre des voisinages Vxde xdans (X, O).
Exercice 2 Soit Xun espace topologique et soient Aet Bdeux parties de X. Montrer les propri´et´es
suivantes :
(a) A◦◦ =Aet A=A,
(b) si AB, alors ABet AB,
(c) (AB)=AB,
(d) AB=AB,
(e) AB(AB),
(f) ABAB.
Donner des contre-exemples aux assertions r´eciproques de (e) et (f).
Exercice 3 (Extrait du partiel du 19 novembre 2009) Soit Tla famille de parties de Rd´efi-
nie par T:= {AR|R\Aest fini} ∪ {∅,R}.
(a) Montrer que Test une topologie sur R.
(b) emontrer que tout ouvert de (R,T) est un ouvert de Rmuni de sa topologie usuelle.
(c) emontrer que tout ouvert non vide de (R,T) est dense dans R(c’est `a dire l’adh´erence de
Arelativement `a la topologie Test R).
(d) En d´eduire que l’espace topologique (R,T) n’est pas s´epar´e et que (R,T) n’est pas m´etrisable.
Exercice 4 La droite achev´ee est l’ensemble, not´e R, ´egal `a R∪ {±∞} o`u +et −∞ sont deux
´el´ements distincts qui n’appartiennent pas `a R. On efinit la fonction f: [1,1] Rpar
f(1) = −∞ , f(1) = +, f(t) = t
1− |t|pour t]1,1[ .
On muni [1,1] de la topologie induite de Ret on muni Rde la topologie finale engendr´ee par la
fonction f.
(a) Montrer que la fonction fest un hom´eomorphisme par rapport `a la topologie de Rainsi
d´efinie.
(b) Montrer que Ravec la topologie usuelle est un sous-espace topologique de R.
(c) Montrer que Rest un ouvert de R.
1
On prolonge `a Rla relation d’ordre de Ren posant −∞ ≤ x+pour tout xR.
(d) Montrer que est une relation d’ordre totale sur l’ensemble R.
On ´ecrit x<ysi xyet x6=y. Pour a, b Ravec ab, on d´efinit les intervalles d’extremit´es
aet bcomme suit :
[a, b] = {xR:axb},]a, b] = {xR:a<xb},
[a, b[= {xR:ax<b},]a, b[= {xR:a<x<b}.
En particulier, on a R=] − ∞,+[, ]a, +] = {xR:ax}, etc.
(e) Soit xR. Montrer qu’une partie Ude Rest un voisinage de xdans Rsi et seulement si
l’une des conditions suivantes est ve´erifi´ee :
1) xRet il existe r > 0 tel que ]xr, x +r[U;
2) x= +et il existe aRtel que ]a, +]U;
3) x=−∞ et il existe aRtel que [−∞, a]U.
(f) eterminer une base du filtre des voisinages de xR.
(g) eterminer une base pour les ouverts de R.
(h) Montrer que Rest dense dans R.
(i) Montrer que Rest un espace topologique s´epar´e.
(j) Montrer que toute partie de Rposs`ede une borne inf´erieure et une borne sup´erieure.
Exercice 5 Soient (X, O) et (Y, T) deux espaces topologiques et fune application de (X, O) vers
(Y, T).On dit que fest une application ouverte (resp. ferm´ee) si pour tout ouvert U(resp. ferm´e
F) de X,f(U) (resp. f(F)) est un ouvert (resp. ferm´e) de Y.
1. On suppose maintenant que X=Y=Ret O=Test la topologie usuelle de R.
(a) Montrer que l’application continue f:RR,d´efinie par : f(x) := x2,xR,n’est
pas ouverte.
(b) Montrer que l’application f:RR,d´efinie par : f(x) := 0,xR,est continue,
ferm´ee et non ouverte.
2. On suppose dans cette question que X=Y=R,Oest la topologie grossi`ere et Test la
topologie discr`ete sur R.Soit f: (R,O)(R,T) l’application d´efinie par :
f(x) := 1,x]− ∞,0[; f(0) = 0; f(x) := 1,x]0,+[.
Montrer que fest ouverte, ferm´ee et non continue.
Exercice 6 Soient Xun ensemble, Rune relation d’´equivalence sur Xet π:XX/R la
projection canonique qui associe `a tout xXsa classe d’´equivalence par rapport `a R. Soit f:
XZune fonction de Xdans l’ensemble Ztelle que f(x) = f(y) pour tous x, y Xerifiant
xRy.
(a) Montrer qu’il existe une unique application
e
f:X/R Ztelle que f=
e
fπ.
(b) Montrer que
e
fest une application surjective si et seulement si fest surjective.
(c) Montrer que
e
fest injective si et seulement si la condition f(x) = f(y) entraˆıne xRy.
Supposons maintenant que Xet Zsont deux espaces topologiques. Montrer que fest continue si
et seulement si
e
fest continue par rapport `a la topologie quotient.
2
1 / 2 100%
La catégorie de ce document est-elle correcte?
Merci pour votre participation!

Faire une suggestion

Avez-vous trouvé des erreurs dans linterface ou les textes ? Ou savez-vous comment améliorer linterface utilisateur de StudyLib ? Nhésitez pas à envoyer vos suggestions. Cest très important pour nous !