Bourbaki

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 B(E)\mathscr{B}(E) l’ensemble des fonctions ff définies dans un ensemble E, prenant leurs valeurs dans un corps valué non discret K, et telles que la fonction numérique x↦∣f(x)∣x \mapsto |f(x)| soit bornée dans E. Cet ensemble est évidemment un sous-espace vectoriel de l’espace vectoriel KEK^E (à droite ou à gauche) des applications de E dans K. Si on pose p(f)=sup⁡x∈E∣f(x)∣p(f) = \sup_{x \in E} |f(x)|, pp est une norme sur l’espace vectoriel B(E)\mathscr{B}(E) (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.

Transcrit du volume imprimé. Non traduit.