Remark 1

Tag 07QU, permanent. Cite it as [Bourbaki, Tag 07QU].

Topological Vector Spaces, chapter IV, § 1. Duality

For a family $(x_i)_{i \in I}$ of elements of E to be total (resp. topologically independent) for the initial topology, it is necessary and sufficient that it is so for the weakened topology; this follows from prop. 2. Hence we can apply the criteria of II, p. 43.

Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.

Cited by

Nothing.

Cites

II, p. 43