Convergent Sequences in Vector Spaces with Equivalent Norms Coincide

Theorem
Let $M_a = \struct {X, \norm {\, \cdot \, }_a}$ and $M_b = \struct {X, \norm {\, \cdot \,}_b}$ be normed vector spaces.

Let $\sequence {x_n}_{n \mathop \in \N}$ be an convergent sequence in $M_a$.

Suppose, $\norm {\, \cdot \, }_a$ and $\norm {\, \cdot \,}_b$ are equivalent norms, i.e. $\norm {\, \cdot \, }_a \sim \norm {\, \cdot \,}_b$.

Then $\sequence {x_n}_{n \mathop \in \N}$ is also convergent in $M_b$.

Proof
Let $L \in X$.

Then:


 * $\forall \epsilon_a \in \R_{> 0} : \exists N \in \N : \forall n \in \N : n > N \implies \norm {x_n - L}_a < \epsilon_a$

By equivalence of norms:


 * $\exists M \in \R_{> 0} : \norm {x_n - L}_b \le M \norm {x_n - L}_a < M \epsilon_a$

Let $\epsilon_b := M \epsilon_a$

Then:


 * $\forall \epsilon_b \in \R_{> 0}: \exists N \in \N : \forall n \in \N : n > N \implies \norm {x_n - L}_b < \epsilon_b$

Therefore, $\sequence{x_n}_{n \mathop \in \N}$ converges to $L$ also in $M_b$.