Scalar Multiple of Convergent Sequence in Topological Vector Space is Convergent

Theorem
Let $K$ be a topological field.

Let $X$ be a topological vector space over $K$.

Let $x \in X$.

Let $\sequence {x_n}_{n \in \N}$ be a convergent sequence in $X$ with:
 * $x_n \to x$

Let $\lambda \in \GF$.

Then $\sequence {\lambda x_n}_{n \in \N}$ is a convergent sequence in $X$ with:
 * $\lambda x_n \to \lambda x$.

Proof
First consider the case $\lambda = 0_K$.

Then $\lambda x_n = {\mathbf 0}_X$ for each $n \in \N$.

From Constant Sequence in Topological Space Converges, we have that $\lambda x_n \to {\mathbf 0}_X = \lambda x$ as $n \to \infty$.

So $\sequence {\lambda x_n}_{n \in \N}$ converges for $\lambda = 0$.

Now take $\lambda \ne 0$.

Let $U$ be an open neighborhood of $\lambda x$.

From Dilation of Open Set in Topological Vector Space is Open, $\lambda^{-1} U$ is an open neighborhood of $x$.

Since $\sequence {x_n}_{n \in \N}$ converges, there exists $N \in \N$ such that:
 * $x_n \in \lambda^{-1} U$ for $n \ge N$.

Then, we have:
 * $\lambda x_n \in U$ for $n \ge N$.

Since $U$ was an arbitrary open neighborhood of $\lambda x$, we have that $\sequence {\lambda x_n}_{n \in \N}$ converges to $\lambda x$ as required.