´
Ecole Normale Sup´erieure Topologie, analyse et calcul diff´erentiel
27 septembre 2016
Feuille d’exercices no1
Exercice 1 : distance de Hausdorff sur l’ensemble des compacts de Rn
Soit nun entier 1. On note dla distance euclidienne usuelle sur Rn. On note Kl’ensemble des
parties compactes non vides de Rn.´
Etant donn´e un compact K∈ K, on note φK:Rn[0,+[
la fonction distance `a Kd´efinie par :
φK(y) = inf
xKd(x, y).
´
Etant donn´es deux ´el´ements K1, K2de K, on note :
δ(K1, K2) = kφK1φK2k.
1. Montrer que δd´efinit une distance sur K. C’est la distance de Hausdorff.
Est-il vrai que δd´efinit ´egalement une distance sur l’ensemble des parties born´ees non-vides de
Rn?
2. Pour tout compact K∈ K et tout r´eel  > 0, on note
V(K) = [
xK
B(x, ).
Montrer que, ´etant donn´es deux compacts K1, K2∈ K, on a δ(K1, K2)si et seulement si
K1V(K2) et K2V(K1).
3. Soit K0le sous-ensemble de Kconstitu´e des parties finies de Rn. Montrer que K0est dense
dans (K, δ).
Exercice 2 : topologie cofinie
Soit Xun ensemble infini. On note C0l’ensemble des parties de Xde compl´ementaire fini :
C∈ C0si et seulement si XCest fini. Soit Cla r´eunion de C0et de l’ensemble vide.
1. a) Montrer que Cest une topologie sur X.
b) Cette topologie est-elle s´epar´ee ?
2. Soit (xn)nNune suite d’´el´ements de Xtelle que, pour tout yX,{ntq xn=y}est fini.
Montrer que, pour tout zX,xnz.
3. Soit Yun espace m´etrique. D´ecrire l’ensemble des fonctions continues f:XY.
Exercice 3 : topologie de Zariski
Soit kun corps et nun entier 1. Si Iest un ensemble d’indices et si (Pi)iIest une famille
de polynˆomes dans k[x1, . . . , xn], on note
V((Pi)iI) := {xkn| ∀iI, Pi(x) = 0}.
1
1. Montrer que les ensembles V((Pi)iI) sont les ferm´es d’une topologie (appel´ee topologie de
Zariski) sur kn.
2. Identifier cette topologie pour n= 1.
3. Comparer la topologie de Zariski et la topologie produit sur k2=k×k,k´etant muni de la
topologie de Zariski.
4. On suppose kinfini. Montrer que tout ouvert non vide de knest dense.
Exercice 4 : th´eor`eme de plongement d’Arens-Fells
Soit (X, d) un espace m´etrique.
On va montrer qu’il existe (V, N) un R-espace vectoriel norm´e et FVun ferm´e de Vtel que
(X, d) et (F, N) sont isom´etriques.
1. On note Fl’ensemble des parties finies non vides de Xet B(F) l’espace vectoriel des fonctions
born´ees de Fdans R, muni de la norme uniforme. On fixe un point aX, et, pour chaque
xX, on d´efinit :
fx:A∈ F 7→ d(x, A)d(a, A).
a) Montrer que, pour tout x,fx∈ B(F).
b) Montrer que l’application xfxest une isom´etrie.
c) En d´eduire le r´esultat voulu.
2. Montrer qu’en revanche, il existe des espaces m´etriques qui ne sont isom´etriques `a aucun
sous-ensemble d’un espace pr´ehilbertien (c’est-`a-dire un espace vectoriel norm´e dont la norme
provient d’un produit scalaire).
2
Exercice 5 : ** Questions diverses
1. Soient Xun ensemble fini et Tune topologie s´epar´ee sur X. Que peut-on dire de T?
2. Soient Aet Bdeux parties d’un espace topologique X. D´eterminez si les affirmations suivantes
sont vraies ou fausses en g´en´eral. Lorsqu’elles d´ecrivent une ´egalit´e fausse, indiquez si au moins
l’une des inclusions est vraie.
a) ˚
˚
AB=˚
A˚
Bb) AB=ABc) (AB) = A B.
3. Soient Xet Ydeux espaces topologiques. Montrer qu’une fonction f:XYest continue
si et seulement si, pour tout ensemble AX,f(A)f(A).
4. Soient Xun ensemble, Aet Bdeux parties disjointes de X. On munit Aet Bde distances
dAet dB. Construire une distance sur ABqui prolonge les distances dAet dB.
Exercice 6 : ** topologie de la convergence simple
Soit E= [0; 1][0;1] (c’est-`a-dire l’ensemble des fonctions f: [0; 1] [0; 1]). On munit cet espace
de la topologie produit.
1. Montrer qu’une suite (fn)nNd’´el´ements de Econverge pour la topologie produit si et
seulement si elle converge simplement (au sens de la convergence simple usuelle des fonctions).
2. On note Fle sous-ensemble de Econstitu´e des fonctions continues par morceaux et muni de
la topologie induite par celle de E.
Soit I:FRl’application suivante :
I(f) = Z1
0
f(t)dt
a) Montrer que, si (fn)nNconverge dans Fvers une fonction f, alors I(fn)I(f).
b) Montrer que In’est pas continue en la fonction nulle.
3. Montrer que En’est pas m´etrisable.
3
1 / 3 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 !