Corollary 3
Tag 079I, permanent. Cite it as [Bourbaki, Tag 079I].
Topological Vector Spaces, I, p. 14, § 2. Linear varieties in a topological vector space
In a Hausdorff topological vector space , over a complete non-discrete valued division ring, every finite independent set is topologically independent.
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.
Cites
Nothing.