Bonjour à tous,
je suis tombé sur la démonstration d'une propriété dont un point m'échappe. La propriété dit:
Soient E et F deux espaces normés et(comprendre dans le contexte, f linéaire continue). Alors si
est non maigre dans F, alors
voisinage de zéro de E,
est un voisinage de zéro de F.
Je vous donne la démonstration car elle est assez courte et vous précise le point qui m'échappe:
Soittel que
et
tel que
. Alors,
.
Ornon maigre donc
tel que
d'intérieur non vide =>
d'intérieur non vide => 0 intérieur à
.
Le point qui m'échappe complètement est le choix de V tel que. (pourquoi cette somme) pourquoi ne pas prendre simplement
et conclure
?
Je vous remercie par avance pour les éclaircissements que vous saurez m'apporter.
-----