Standard Topology of Locally Convex Space has Local Basis of Balanced Convex Absorbing Sets
Theorem
Let $\GF \in \set {\R, \C}$.
Let $\struct {X, \PP}$ be a locally convex space over $\GF$ with standard topology $\tau$.
Then there exists a local basis $\BB$ for ${\mathbf 0}_X$ in $\struct {X, \tau}$ such that:
Proof
For each $\epsilon > 0$ and $S$ a finite subset of $\PP$, set:
- $U_{\epsilon, S} = \set {x \in X : \map p x < \epsilon \text { for each } p \in S}$
and:
- $\BB = \set {U_{\epsilon, S} : \epsilon > 0 \text { and } S \subseteq \PP \text { finite} }$
From Open Sets in Standard Topology of Locally Convex Space, $\BB'$ is a local basis for ${\mathbf 0}_X$ in $\struct {X, \tau}$.
- for each $A \in \BB'$ there exists a balanced convex open neighborhood $V_A$ for ${\mathbf 0}_X$ such that $U_A \subseteq A$.
Then:
- $\BB = \set {V_A : A \in \BB'}$
forms a local basis for ${\mathbf 0}_X$ in $\struct {X, \tau}$, consisting of balanced convex open neighborhoods of ${\mathbf 0}_X$.
From Locally Convex Space is Topological Vector Space, $\struct {X, \tau}$ is a topological vector space.
From Convex Subset of Topological Vector Space containing Zero Vector in Interior is Absorbing Set, we therefore obtain that $V_A$ is absorbing for each $A \in \BB'$.
Hence $\BB$ is a local basis for ${\mathbf 0}_X$ in $\struct {X, \tau}$, consisting of balanced convex absorbing sets.
$\blacksquare$