Example
Tag 07EK, permanent. Cite it as [Bourbaki, Tag 07EK].
Topological Vector Spaces, chapter II, § 4. Locally convex spaces
— Let be a basis of the vector space and consider the canonical topology (I, p. 2, Example 5) on each line ; the direct sum of these topologies is the finest locally convex topology on (II, p. 26); in fact, if is an absorbent, symmetric, convex set in , then is a neighbourhood of 0 in and clearly contains the convex envelope .
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.