Consider a sequence $\{x_n\}$ in $S$. Where $S$ is a metric subspace. Given that every convergent subsequence of $\{x_{k(n)}\}$ converges to the same point say $x$. Prove that if S is compact, show that $\{x_n\}$ converges to $x$. Is my answer correct?
Proving the sequence is convergent
4
$\begingroup$
sequences-and-series
convergence
-
3Compactness seems irrelevant here. Try the contrapositive: Assume that $\{x_n\}$ does *not* converge to $x$, and see where that leads. – 2012-11-04
-
1definitely relevant. Consider what happens if S is not compact – 2012-11-04
-
0Compactness gives that each subsequence has a convergent subsequence. Now proceed as @Harald suggested. – 2012-11-04
-
1@HaraldHanche-Olsen Try $x_n=n$ in $S=\mathbb R$. There is no convergent subsequence hence the hypothesis holds. – 2012-11-04
-
0What does "every convergent subsequence of $x_{k(n)}$" mean? What is $k(n)$? – 2012-11-04
-
0$k(n): \mathbb{N}\rightarrow \mathbb{N}$ – 2012-11-04
-
0@Mathematics: No, did you mean "every convergent subsequence $x_{k(n)}$" or is $k(n)$ fixed? – 2012-11-04
-
0Ooops, I had missed the word “convergent” in the problem statement. – 2012-11-04
-
0the former one, $k(n)$ is not fixed – 2012-11-04
-
1@Mathematics: I think you should edit your question, because it is otherwise misleading in my opinion. – 2012-11-04
2 Answers
4
I'll assume we're in a metric space with metric $d$.
Suppose $\{x_n\}$ does not converge to $x$. Then $\exists \, \epsilon > 0$ and a sequence of positive integers $m_1,m_2,\ldots$ such that $d(x, x_{m_i})\geq \epsilon$ for all positive integers $i$. The sequence $\{ x_{m_i}\}$ has a convergent subsequence because $S$ is compact. This subsequence converges to $x$, but that's a contradiction because no term in this subsequence is within $\epsilon$ of $x$.
-
0I think it should be a metric space – 2012-11-04
1
Every subsequent converges to the same point if S is compact and hence every subsequence are converges and converge to the same points and hence the sequence also convergent to x. Is the proof valid?
-
1I’m afraid not; I’m not sure that it even makes sense. Compactness of $S$ is needed to ensure that $\langle x_k:k\in\Bbb N\rangle$ has any convergent subsequences at all. The hypothesis then says that all of these convergent subsequences have the same limit, $x$. Finally, one argues as @littleO did: if the sequence doesn’t converge to $x$, it has a subsequence bounded away from $x$, and compactness of $S$ implies that this subsequence has a convergent limit. This limit must be different from $x$, and we get a contradiction. – 2012-11-04
-
0Compactness ensures that the subsequence of $\{x_n\}$ is convergent and from the question mentioned, every convergent subsequence converge to the same point. That's why every convergent subsequence converge to the same point and hence the sequence$\{x_n\}_n$ – 2012-11-05
-
0You’re still trying to make it simpler than it actually is. Compactness only ensures that $\langle x_n:n\in\Bbb N\rangle$ has at least one convergent subsequence. Then the hypotheses of the problem tell you that all of its convergent subsequences converge to $x$. But it still takes some work to prove that $\langle x_n:n\in\Bbb N\rangle$ itself is convergent. You really do need littleO’s argument or something equivalent to it; you can’t just declare that $\langle x_n:n\in\Bbb N\rangle$ converges. – 2012-11-05
-
0What about if i use the theorem that any compact subset is complete, is it work in this way? – 2012-11-05
-
0No. You really do need to use the argument that littleO gave and I repeated in an earlier comment. – 2012-11-05