Exercise 10, § 4

Let $(E_n)$ be an infinite sequence of locally convex spaces and let E be the topological direct sum of the family $(E_n)$. Show that the topology of E is identical with the topology $\mathscr{T}_0$ defined in I, p. 24, exerc. 14.