Remark
Tag 07EU, permanent. Cite it as [Bourbaki, Tag 07EU].
Topological Vector Spaces, chapter II, § 4. Locally convex spaces
— 1) Suppose that is the union of an increasing directed, non-enumerable family of subspaces , each having a locally convex topology , such that, for , the topology induced on by is identical with . It may be the case that the topology induced on each by the topology is equal to and that the are Hausdorff and complete, but that is not complete for (INT, III, 2nd ed., § 1, exerc. 2).
2) Let be a locally convex space, which is the union of an increasing sequence of vector subspaces , and for each index , let be the topology induced on by the topology of . One should beware that in general is not the inductive limit of the .
3) Suppose that is the strict inductive limit of the sequence ; if is a closed (in ) vector subspace of , it may be the case that the strict inductive limit of the topologies induced by the on is strictly finer than the topology induced by (IV, p. 63, exerc. 10).
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.