Compacité et séparabilité Montrer que tout espace métrique

Compacit´e et s´eparabilit´e
Montrer que tout espace m´etrique compact est s´eparable.
Somme de parties
Soient Eun espace vectoriel norm´e, et Aet Bdeux parties de E. On note
A+B=a+b
aA, b B.
1. On suppose Aouvert. Montrer que A+Best ouvert.
2. On suppose Aferm´e et Bcompact. Montrer que A+Best ferm´e.
3. Est-ce encore vrai si Best seulement ferm´e ?
Th´eor`eme du point fixe, version compacte
Soient (X, d) un espace m´etrique compact et f:XXune application
telle que
(x, y)X2, x 6=y, d(f(x), f (y)) < d(x, y).
1. Montrer que fadmet un unique point fixe.
2. Proposer une m´ethode d’approximation de ce point fixe.
3. Le r´esultat de la premi`ere question subsiste-t-il si on suppose seulement
Xcomplet ? Et si Xest compact, mais fn’est qu’1-lipschitzienne ?
Th´eor`eme de Kakutani commutatif
Soient Eun espace vectoriel norm´e, Kune partie compacte convexe de E,
et (fi)iIune famille d’applications affines continues de Kdans Kcommutant
deux `a deux. D´emontrer que les fiadmettent un point fixe commun.
Compacit´e, continuit´e, injectivit´e...
Soient Eet Fdeux espaces m´etriques, et fune application de Edans F.
1. Dans cette question seulement, on suppose que Eest compact et que f
est une bijection continue. Montrer qu’alors fest un hom´eomorphisme.
2. On suppose que l’image par fde tout compact de Eest compacte. On
suppose de plus que fest injective. Montrer qu’alors fest continue.
3. Que dire si fn’est plus suppos´ee injective ?
1
L’alg`ebre des fonctions continues sur un compact
Un id´eal d’un anneau commutatif sera dit propre s’il est diff´erent de
l’anneau tout entier, et maximal s’il est maximal pour l’inclusion parmi les
id´eaux propres.
On pose K=Rou C. Soit Xun espace m´etrique compact. On note
C(X, K) la K-alg`ebre des applications continues de Xdans K.
1. Soit Iun id´eal propre de C(X, K). D´emontrer que les ´el´ements de Iont
(au moins) un z´ero commun.
2. Quels sont les id´eaux maximaux de C(X, K) ?
3. Quels sont les morphismes d’alg`ebres de C(X, K) dans K?
4. On suppose `a pr´esent que Xet X0sont deux compacts de K. Montrer
que tout morphisme d’alg`ebres de C(X, K) dans C(X0,K) s’´ecrit
f7→ fα, o`u αest une application continue de X0dans X.
5. En d´eduire qu’un tel morphisme est toujours continu pour la norme
uniforme. En d´eduire aussi une condition n´ecessaire et suffisante pour
que les alg`ebres C(X, K) et C(X0,K) soient isomorphes.
Distance de Hausdorff
Soient (X, d) un espace m´etrique, et Fl’ensemble des parties ferm´ees
born´ees non vides de X. Lorsque Aet Bsont dans F, on note
δ(A, B) = sup
aA
inf
bBd(a, b) et ∆(A, B) = max(δ(A, B), δ(B, A)).
1. Interpr´eter ∆, et montrer qu’il s’agit d’une distance sur F. On consid`ere
d´esormais Fcomme l’espace m´etrique (F,∆).
2. Lorsque nest un entier naturel non nul, on note Fnle sous-ensemble
de Fform´e des ´el´ements de cardinal sup´erieur ou ´egal `a n. Montrer
que ces Fnsont des ouverts de F.
3. On suppose dor´enavant Xcompact. Montrer que toute suite de Cauchy
d´ecroissante (Yn)nNde Fconverge vers sa borne inf´erieure
Y=\
nN
Yn. En d´eduire que Fest complet.
4. Montrer que Fest compact.
2
Compacit´e et isom´etries
Soient Xun espace m´etrique compact, et fune isom´etrie de Xdans
lui-mˆeme. Montrer que fest bijective. En d´eduire que, lorsque Xet Ysont
deux espaces m´etriques compacts, si f:XYet g:YXsont des
isom´etries, elles sont bijectives.
Recouvrement ouvert
Soit Xun espace m´etrique compact, et soit (Ωλ)λΛun recouvrement
ouvert de X. Montrer qu’il existe un r´eel αstrictement positif tel que toute
boule ouverte de rayon αde Xsoit contenue dans un des Ωλ.
Autour du th´eor`eme de Riesz
Soit Eun espace vectoriel norm´e.
1. On suppose Ede dimension infinie. Expliquer “intuitivement” pourquoi
la boule unit´e de Ene peut pas ˆetre compacte, puis d´emontrer ce fait.
2. Que dire si la sph`ere unit´e de Eest compacte ?
Distance entre deux parties
Soit (X, d) un espace m´etrique.
1. Soient F1et F2deux ferm´es disjoints de X. A-t-on n´ecessairement
d(F1, F2)6= 0 ? Et si F1est compact ?
2. Soient K1et K2deux compacts de X. Montrer que la distance de K1
`a K2est atteinte. Est-ce encore vrai si K1est seulement ferm´e ?
3. On suppose que X=Rn. Soient Kun compact et Fun ferm´e de X.
Montrer que la distance de K`a Fest atteinte.
Applications propres
1. Soient Xet Ydeux espaces m´etriques et f:XYune application
continue par laquelle l’image r´eciproque de tout compact est compacte
(on dit que fest propre). Montrer que fest ferm´ee. Existe-t-il des
applications continues non ferm´ees ?
2. Soit nun entier naturel non nul fix´e une fois pour toutes. On note
Rn[X] = PR[X]
degP n.
Montrer que l’ensemble ΓnRn[X] des polynˆomes unitaires scind´es
de degr´e nest un ferm´e de Rn[X].
3
Op´erateurs compacts F
Soit Eun espace de Banach. On note Lc(E) l’alg`ebre des endomorphismes
continus, ou op´erateurs, de E, et BEla boule unit´e ferm´ee de E. Un
op´erateur TLc(E) est dit compact si T(B)Eest compact. On note
K(E) l’ensemble des op´erateurs compacts de E, et RF (E)Lc(E) l’en-
semble des op´erateurs continus de rang fini de E.
1. Montrer qu’un op´erateur compact est continu.
2. Montrer que RF (E) est un id´eal bilat`ere de Lc(E). Est-il ferm´e ?
3. Montrer que K(E) est un id´eal bilat`ere de Lc(E). Est-il ferm´e ?
4. Montrer l’inclusion RF (E)K(E).
5. On suppose pour finir que Eest un espace de Hilbert. Montrer que
RF (E) = K(E).
Factorisation de fonction
Soient n>2 un entier, a < b deux r´eels, et f: [a, b]Rune application
de classe Cn.
On suppose que fadmet (au moins) nz´eros (xi)16i6n. Montrer que pour
tout x[a, b], il existe u[a, b] tel que
f(x) = f(n)(u)
n!
n
Y
i=1
(xxi).
Plus vite !
Un candidat `a l’X court le 100 m`etres en 10 secondes. Montrer que si ses
vitesses initiale et finale sont nulles, alors il y a un moment o`u son acc´el´eration
est sup´erieure `a 4m.s2.
4
1 / 4 100%

Compacité et séparabilité Montrer que tout espace métrique

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 !