UNSA 2016-2017 L3–Mesure et Topologie
Feuille d’exercices no1
Espaces vectoriels norm´
es et espaces m´
etriques
1) a) Dessiner les boules-unit´es ferm´ees du plan R2, muni resp. de la norme
k−k1, de la norme k−k2et de la norme k−k∞.
b) Montrer que pour deux normes N1, N2sur R2, on a l’inclusion des boules-
unit´e ferm´ees B1
f(0,1) ⊆B2
f(0,1) si et seulement si pour tout x∈R2, on a
l’in´egalit´e N2(x)≤N1(x).
c) Montrer d’abord de mani`ere alg´ebrique, puis de mani`ere g´eom´etrique (en
utilisant 1b) que kxk∞≤ kxk2≤ kxk1≤√2kxk2≤2kxk∞pour x∈R2.
2) a) Rappeler la d´efinition d’un ouvert d’un espace vectoriel norm´e.
b) Montrer (`a l’aide de 1c) que chaque boule ouverte de (R2,k−k2) contient
une boule de (R2,k−k∞) ayant le mˆeme centre, et vice versa.
c) En d´eduire que chaque ouvert de (R2,k−k2) est un ouvert de (R2,k−k∞),
et vice versa, donc que l’ensemble des ouverts de (R2,k−k2) est identique `a
l’ensemble des ouverts de (R2,k−k∞).
3) Soit (E, d) un espace m´etrique.
a) Montrer que pour deux points distincts x, y ∈E, il existe des ouverts
disjoints U, V de Etels que x∈Uet y∈V. En d´eduire que les parties
singleton de Esont ferm´ees.
b) Montrer que pour tout ouvert U, et tout point x∈U, il existe un ouvert
Vtel que x∈V⊂V⊂U.
c) Montrer que la propri´et´e pr´ec´edente est ´equivalente `a la suivante : pour
tout point x∈Eet toute partie ferm´ee Fde Ene contenant pas x, il existe
des ouverts disjoints V, V 0de Etels que x∈Vet F⊂V0.
4) Soit Aune partie d’un espace m´etrique (E, d) et soit (xn)n≥0une suite
d’´el´ements de A.
a) Rappeler la d´efinition d’un point-limite xde la suite (xn). Montrer que x
est point-limite si et seulement si toute -boule ouverte B(x, ) contient “presque
tous” les termes de la suite (xn).
b) En d´eduire que si xest point-limite de (xn) alors tout voisinage de x
rencontre A(i.e. xappartient `a l’adh´erence de A).
c) Montrer inversement que si y∈Aalors il existe une suite (yn)n≥0
d’´el´ements de Aqui converge vers y.
d) D´eduire de ce qui pr´ec`ede que Aest ferm´ee si et seulement si toute suite
convergente, form´ee d’´el´ements de A, converge vers un ´el´ement de A.