Let $(X, ||\cdot||)$ be a normed space. Let $\{x_n\}$ and $\{y_n\}$ be two Cauchy sequences in X. Show that the seqience Show that the sequence $λ_n = ||x_n − y_n|| $ converges.
Answer
Let $\epsilon>0$, and choose $N_0$ large enough so that for all $n,m\geq N_0$
\[||x_n-x_m||< \epsilon, ||y_n-y_m||<\epsilon/2.\]
By the reverse triangle inequality we have
\[|\lambda_n-\lambda_m|=| ||x_n-y_n|| - ||x_m-y_m||| \leq ||x_n-y_n - (x_m-y_m)|| \]
\[=||x_n-x_m - (y_n-y_m)|| \leq ||x_n-x_m||+ || y_n-y_m|| \]
\[<\epsilon/2+\epsilon/2=\epsilon.\]
Hence for all $n,m \geq N_0$ we have
\[|\lambda_n-\lambda_m| < \epsilon,\]
i.e. the sequene $\{\lambda_n\}$ is Cauchy, and thus it is a convergent series.

4.8K
The answer is accepted.
Join Matchmaticians Affiliate Marketing
Program to earn up to a 50% commission on every question that your affiliated users ask or answer.
- answered
- 1446 views
- $15.00
Related Questions
- Rouche’s Theorem applied to the complex valued function $f(z) = z^6 + \cos z$
- Convergence and Integrability of Function Series in Measure Spaces and Applications to Series Expansion Integrals
- Is it true almost all Lebesgue measurable functions are non-integrable?
- Prove that $A - B=A\cap B^c$
- How to derive the term acting like a first derivative with respect to A that I found by accident?
- Prove that a closed subset of a compact set is compact.
- Banach fixed-point theorem and the map $Tf(x)=\int_0^x f(s)ds $ on $C[0,1]$
- Prove that $S \subseteq X$ is nowhere dense iff $X-\overline{S}$ is dense.