Let $X$ be a metric space, and $A\subset X$. Show that $\bar A$ is compact iff for every sequence in $A$ there exists a subsequence that converges to a point in $X$. I showed the "forward" direction, but am stuck showing the reverse.
Let $(x_n)\subset \bar A$ be a sequence. if $A$ is closed, then $A=\bar A$ and if a sequence in a closed set converges, it converges to an element of the set. But by assumption every sequence in $A$ has a convergent subsequence (to an element in $A$), and the result follows.
Thing is, what happens if $A$ is not closed? Choose a sequence in $\bar A$ such that every element of the sequence is not in $A$, i.e. $(x_n)\subset\partial A \setminus A$. What guarantees us that it has a convergent subsequence? Thanks!
To prove the reverse direction, assume we know that every sequence in $A$ has a convergent subsequence. Let's say your method for proving compactness of $\overline A$ is to start with a sequence $(x_n)$ in $\overline A$ and show that it has a convergent subsequence.
The strategy is to replace the sequence $(x_n)$ with a closely related sequence $(y_n)$ in $A$. Using that $x_n \in \overline A$, pick $y_n \in A \cap B(x_n,2^{-n})$. From the assumption, some subsequence of $(y_n)$ converges to a point $p$. Since $(y_n)$ is a sequence in $A$, it follows that $p \in \overline A$. For any $\epsilon>0$, the ball $B(p,\epsilon/2)$ contains infinitely many terms of the sequence $y_n$. In particular there exists arbitrarily large values of $n$ such that $y_n \in B(p,\epsilon/2)$ and $2^{-n} < \epsilon/2$, and so $x_n \in B(p,\epsilon)$. This shows that some subsequence of $(x_n)$ converges to $p$.