Birkhoff-Kakutani Theorem/Topological Vector Space/Corollary

Corollary
Let $\GF \in \set {\R, \C}$.

Let $\struct {X, \tau}$ be a topological vector space over $\GF$.

Then $\struct {X, \tau}$ is metrizable $\struct {X, \tau}$ is first-countable and Hausdorff.

Further, if $\struct {X, \tau}$ is metrizable then there exists an invariant metric $d$ on $X$ such that:
 * $(1): \quad$ $d$ induces $\tau$
 * $(2): \quad$ the open balls in $\struct {X, d}$ are balanced.

Necessary Condition
Suppose that $\struct {X, \tau}$ is metrizable.

From Metric Space is First-Countable, $\struct {X, \tau}$ is first-countable.

From Metric Space is Hausdorff, $\struct {X, \tau}$ is Hausdorff.

Sufficient Condition
Suppose that $\struct {X, \tau}$ is first-countable and Hausdorff.

By Birkhoff-Kakutani Theorem: Topological Vector Space, there exists an invariant pseduometric $d$ on $X$ such that:
 * $(1) \quad$ $d$ induces $\tau$
 * $(2) \quad$ the open balls in $\struct {X, d}$ are balanced.

From Topological Vector Space is Hausdorff iff T1 and T1 Space is T0 Space, we have that $\struct {X, \tau}$ is a Kolmogorov space.

Hence from Pseudometric Space is Metric Space iff Kolmogorov, $\struct {X, d}$ is a metric space.

That is, $d$ is in fact an invariant metric.

So $\struct {X, \tau}$ is metrizable and there exists an invariant metric $d$ on $X$ such that:
 * $(1): \quad$ $d$ induces $\tau$
 * $(2): \quad$ the open balls in $\struct {X, d}$ are balanced.