Norm Topology Induced by Metric Induced by Norm

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

Let $\struct {X, \norm {\, \cdot \,} }$ be a normed vector space over $\GF$.

Let $d$ be the metric induced on $X$ by $\norm {\, \cdot \,}$.

Then the open sets of $\struct {X, d}$ as a metric space are precisely the open sets of $\struct {X, \norm {\, \cdot \,} }$ as a normed vector space.

Proof
For $\epsilon > 0$ and $x \in X$, let $\map {B_\epsilon^d} x$ be the open ball in $\struct {X, d}$ with radius $\epsilon$ and center $x$.

For $\epsilon > 0$ and $x \in X$, let $\map {B_\epsilon^{\norm {\, \cdot \,} } } x$ be the open ball in $\struct {X, \norm {\, \cdot \,} }$ with radius $\epsilon$ and center $x$.

From the definition of an open set in $\struct {X, d}$, $U \subseteq X$ is open :
 * for each $x \in U$ there exists $\epsilon > 0$ such that $\map {B_\epsilon^d} x \subseteq U$.

From the definition of an open set in $\struct {X, \norm {\, \cdot \,} }$, $U \subseteq X$ is open :
 * for each $x \in U$ there exists $\epsilon > 0$ such that $\map {B_\epsilon^{\norm {\, \cdot \,} } } x \subseteq U$.

It is therefore sufficient to show that $\map {B_\epsilon^d} x = \map {B_\epsilon^{\norm {\, \cdot \,} } } x$.

Let $y \in X$.

We have $y \in \map {B_\epsilon^d} x$ :
 * $\map d {x, y} < \epsilon$

This is equivalent to:
 * $\norm {x - y} < \epsilon$

This is then equivalent to:
 * $y \in \map {B_\epsilon^{\norm {\, \cdot \,} } } x$

Hence we have:
 * $\map {B_\epsilon^d} x = \map {B_\epsilon^{\norm {\, \cdot \,} } } x$