Bourbaki

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 q≤pq \leq p, then q is continuous in E.

When p is an ultra-semi-norm on E, then the sets W(p, α\alpha) and V(p, α\alpha) are both open and closed. For, we have seen that W(p, α\alpha) is open; on the other hand if z is a cluster point of W(p, α\alpha), then there exists y∈W(p,α)y \in W(p, \alpha) such that p(y−z)<αp(y - z) < \alpha, and from (SNII′_{II}') we have p(z)<αp(z) < \alpha, thus W(p, α\alpha) is closed. Also, V(p, α\alpha) is closed since p is continuous; further if p(x)≤αp(x) \leq \alpha and p(y)≤αp(y) \leq \alpha, then p(x+y)≤αp(x + y) \leq \alpha by (SNII′_{II}'), and this shows that V(p, α\alpha) 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.

Transcribed from the printed volume. Not translated.