Exemple 3
Étiquette 0EBV, permanente. À citer comme [Bourbaki, Tag 0EBV].
General Topology, chapter IX, § 3. Groupes métrisables ; corps valués ; espaces et algèbres normés
Soit l’ensemble des fonctions définies dans un ensemble E, prenant leurs valeurs dans un corps valué non discret K, et telles que la fonction numérique soit bornée dans E. Cet ensemble est évidemment un sous-espace vectoriel de l’espace vectoriel (à droite ou à gauche) des applications de E dans K. Si on pose , est une norme sur l’espace vectoriel (cf. X, p. 20).
Bourbaki place la démonstration juste après l’énoncé : ce qui précède est l’énoncé avec sa démonstration.
Cité par
Rien.
Cite
Rien.