Remarque 2

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

Topological Vector Spaces, chapter II, § 1. Semi-normes

Soit $(\mathscr{T}_\iota)_{\iota \in I}$ une famille de topologies sur un espace vectoriel $E$ sur $K$ , dont chacune est définie par un ensemble $\Gamma_\iota$ de semi-normes. Alors la topologie définie par l’ensemble de semi-normes $\Gamma = \bigcup_{\iota \in I} \Gamma_\iota$ est la borne supérieure des topologies $\mathscr{T}_\iota$ .

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.