User:Caliburn/s/nets/Weak-* Dense Subset of Topological Dual Space Separates Points
Theorem
Let $\GF \in \set {\R, \C}$.
Let $\struct {X, \tau}$ be a topological vector space over $\GF$.
Let $X^\ast$ be the topological dual of $X$.
Suppose that $X^\ast$ separates the points of $X$.
Let $w^\ast$ be the weak-$\ast$ topology on $X$.
Let $S$ be an everywhere dense subset of $\struct {X^\ast, w^\ast}$.
Then $S$ separates points.
That is, for each $x, y \in X$ with $x \ne y$ there exists $f \in S$ with:
- $\map f x \ne \map f y$
Proof
Suppose that $x, y \in X$ have $\map f x = \map f y$ for each $f \in S$.
Let $g \in X^\ast$.
From Point is in Topological Closure iff Limit of Moore-Smith Sequence, there exists a directed set $\struct {\Lambda, \preceq}$ and a Moore-Smith sequence $\family {f_\lambda}_{\lambda \in \Lambda}$ in $S$ such that $\family {f_\lambda}_{\lambda \in \Lambda}$ converges to $g$.
We have:
- $\map {f_\lambda} x = \map {f_\lambda} y$ for each $\lambda \in \Lambda$.
From Characterization of Convergent Moore-Smith Sequences in Weak-* Topology, we have that:
- the Moore-Smith sequences $\family {\map {f_\lambda} x}_{\lambda \in \Lambda}$ converges to $\map g x$ and $\map g y$.
From Characterization of Hausdorff Spaces in terms Moore-Smith Sequences and Weak-* Topology is Hausdorff, we have that:
- $\map g x = \map g y$
for all $g \in X^\ast$.
Since $X^\ast$ separates the points of $X$, we have $x = y$.