espaces vectoriels normés II
1. (a) Donner la forme de la boule unité pour les normes || ||∞et || ||2dans le plan. En déduire
un homéomorphisme d’un carré plein fermé sur un disque fermé du plan.
(b) Vérifier que l’application
z→i(1 + z)
1−z
est un homémorphisme de Do(0,1) sur le demi-plan Hdes complexes de partie imaginaire
strictement positive.
(c) Donner un homéomorphisme de l’ensemble des complexes ztels que 1<|z|<2sur
C− {0}.
(d) Deux parties homéomorphes de Cont-elles des complémentaires homéomorphes ?
2. Soit Eun evn, Aune partie fermée de Eet Bune partie compacte de E.
(a) Montrer que A+B={a+b, a ∈Aet b∈B}est fermé.
(b) Montrer que le résultat n’est plus valable si l’on suppose seulement Bfermée.
Se placer dans le plan.
3. (a) Montrer que O(n)est compact.
(b) Montrer que GLn(C)est connexe par arcs.
(c) Montrer que SO(n)est connexe par arcs.
On admet le résultat suivant : si M∈SO(n), il existe P∈O(n)telle que P−1MP est
diagonale par blocs, chaque bloc étant soit un bloc de taille 1de la forme (1), soit une
matrice de SO(2).
4. Soit E=R[X]. Pour P=Pn∈NanXnon pose ||P|| =P+∞
n=0 |an|.
(a) Montrer que || || est une norme sur E.
(b) Montrer que En’est pas complet en considérant la suite Pn=Pn
k=1 Xk/k2.
(c) Montrer que pour tout entier n0, l’application P→an0est linéaire continue. Déterminer
sa norme.
(d) Montrer que l’application P→P0n’est pas continue pour la norme || ||.
(e) On définit la relation P=Pn∈NanXn≤Q=Pn∈NbnXnssi pour tout entier n,an≤bn.
Montrer que l’on définit ainsi une relation d’ordre. Montrer que le segment [P, Q]est un
compact de E.
5. Soit E=C0([0,1],R)muni de la norme 1.
(a) Pour f∈Eon pose u(f)(x) = Rx
0f(t)dt. Montrer que uest un endomorphisme continu
de Eet calculer sa norme µ.
(b) Montrer qu’il n’existe pas de fonction f∈Enon nulle telle que ||u(f)||1=µ||f||1.
(c) Soit la suite (fn)de fonctions affines par morceaux de E, définies par fn(0) = fn(1/2) = 0
et fn(1/2+1/n) = fn(1) = 1.
i. Montrer que la suite (fn)est de Cauchy.
ii. Montrer que si (fn)converge en norme 1vers une fonction fde Ealors fest nulle
sur [0,1/2[ et égale à 1sur ]1/2,1].
1/3