Scalar Multiple of Cauchy Sequence in Topological Vector Space is Cauchy Sequence
Theorem
Let $K$ be a topological field.
Let $X$ be a topological vector space over $K$.
Let $\sequence {x_n}_{n \in \N}$ be a Cauchy sequence in $X$.
Let $\lambda \in K$.
Then $\sequence {\lambda x_n}_{n \in \N}$ is a Cauchy sequence in $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$ as $n \to \infty$.
From Convergent Sequence in Topological Vector Space is Cauchy, $\sequence {\lambda x_n}_{n \in \N}$ is therefore Cauchy.
Now take $\lambda \ne 0$.
Let $U$ be an open neighborhood of ${\mathbf 0}_X$.
From Dilation of Open Set in Topological Vector Space is Open, $\lambda^{-1} U$ is an open neighborhood of ${\mathbf 0}_X$.
Since $\sequence {x_n}_{n \in \N}$ is Cauchy, there exists $N \in \N$ such that:
- $x_n - x_m \in \lambda^{-1} U$ for $n, m \ge N$.
We therefore have:
- $\lambda x_n - \lambda x_m \in U$ for $n, m \ge N$.
Since $U$ was an arbitrary open neighborhood of ${\mathbf 0}_X$, we have that $\sequence {\lambda x_n}_{n \in \N}$ is Cauchy.
$\blacksquare$