Exemple 4

Étiquette 0EBW, permanente. À citer comme [Bourbaki, Tag 0EBW].

General Topology, chapter IX, § 3. Groupes métrisables ; corps valués ; espaces et algèbres normés

Sur l’espace vectoriel $\mathscr{C}(I)$ des fonctions continues numériques (finies) définies dans l’intervalle $I = [0, 1]$ , la fonction $p(x) = \int_0^1 |x(t)|\ dt$ est une norme.*

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.