Corollary
Tag 07AU, permanent. Cite it as [Bourbaki, Tag 07AU].
Topological Vector Spaces, chapter II, § 1. Semi-norms
If p is a continuous semi-norm on E and q is a semi-norm such that , then q is continuous in E.
When p is an ultra-semi-norm on E, then the sets W(p, ) and V(p, ) are both open and closed. For, we have seen that W(p, ) is open; on the other hand if z is a cluster point of W(p, ), then there exists such that , and from (SN) we have , thus W(p, ) is closed. Also, V(p, ) is closed since p is continuous; further if and , then by (SN), and this shows that V(p, ) is open.
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.
Cites
Nothing.