Initial Topology on Normed Vector Space is Weak Topology
Jump to navigation
Jump to search
Theorem
Let $\GF \in \set {\R, \C}$.
Let $\struct {X, \norm {\, \cdot \,} }$ be a normed vector space over $\GF$.
Let $X^\ast$ be the normed dual space of $X$.
Let $w$ be the initial topology on $X$ with respect to $X^\ast$.
Then $w$ is the weak topology on $X$.
Proof
From Normed Dual Space Separates Points, if $x \ne y$ then there exists $f \in X^\ast$ such that $\map f x \ne \map f y$.
That is, if $x \ne \mathbf 0_X$, there exists $f \in X^\ast$ such that $\map f x \ne 0$.
$\blacksquare$