Proposition 1
Tag 07AT, permanent. Cite it as [Bourbaki, Tag 07AT].
Topological Vector Spaces, chapter II, § 1. Semi-norms
Let E be a left topological vector space over K and let p be a semi-norm on E. The following conditions are equivalent : a) p is continuous in E. b) p is continuous at the point 0. c) p is uniformly continuous. d) For each real number , the set W(p, ), of those for which , is open in E. e) There exists a real number , such that W(p, ) is a neighbourhood of 0 in E. f) For every real number , the set V(p, ), of those for which , is a neighbourhood of 0 in E.
In fact, the implications c) a) b) d) e) f) c) follow immediately from (SN) and inequality (1).
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.
Cites
Nothing.