Exercice 10, § 4

Soit $(E_n)$ une suite infinie d’espaces localement convexes, et soit E l’espace somme directe topologique de la famille $(E_n)$. Montrer que la topologie de E est identique à la topologie $\mathscr{T}_0$ définie dans l’exerc. 14 de I, p. 24.