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:
Soit tel que et tel que . Alors, .
Or non 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.
-----