Question #91437

Suppose {p} is a cauchy sequence in a metric space X and some subsequence {p} converges to a point a belongs to X . Prove that the full sequence {p} converges to a .

Expert's answer

Suppose {pn}\{{p_n} \} is a cauchy sequence in a metric space X and some subsequence {pnk}\{p_{n_k}\} converges to a point aa belongs to XX.

Let ϵ>0.\epsilon > 0. There exists NN such that, for n,m≥N,d(pn,pm)<ϵn, m \geq N , d(p_n, p_m) <\epsilon ( {pn}\{{p_n} \} is a cauchy sequence ). Then, consider any n≥Nn \geq N :

for kk sufficiently large (so that nk≥N,n_k \geq N, ), d(pn,pnk)≤ϵd(p_n, p_{n_k} ) \leq \epsilon .

Taking the limit as k→∞k \rightarrow \infty, it follows that d(pn,a)≤ϵd(p_n, a)\leq \epsilon .

Or: if kk is sufficiently large then d(pnk,a)<ϵd(p_{n_k}, a) <\epsilon (by the assumption pnk→ap_{n_k }\rightarrow a ), so d(pn,a)≤d(pn,pnk)+d(pnk,a)<2ϵd(p_n, a) \leq d(p_n, p_{n_k}) + d(p_{n_k}, a) < 2 \epsilon.

In any case, we conclude that d(pn,a)d(p_n, a) becomes arbitrarily small for nn large, i.e. pn→ap_n \rightarrow a .


LATEST TUTORIALS
APPROVED BY CLIENTS