2
$\begingroup$

Let $(X,d)$ be an arbitrary complete metric space and suppose $S\subseteq(X,d)$. Show that $S$ is closed if and only if every Cauchy sequence in $S$ converges to a point in $S$.

I did the forward direction, is it correct?

Suppose $S$ is closed. Let $x\in S$ be an Cauchy sequence, $x=(x_n)_{n \in \mathbb N}$. Then, since $S$ is closed, it contains all of its limit points. Therefore, $\lim_{n\to\infty} (x_n)$ will converge to an element in $S$. So every Cauchy sequence in $S$ converges to an element in $S$.

For the backward direction, would I just let $S\subseteq(X,d)$ and suppose that every Cauchy sequence in $S$ converges to a point in $S$. Then show that a limit point $x$ is in $S$?

Any feedback is appreciated, thanks.

2 Answers 2

1

The first direction is almost ok, but you have to argue why $(x_n)_n$ converges at all. Here you need, that $(x_n)_n$ is also a C-sequence in $(X,d)$ which is complete.

To show that S is closed, you have to show, that every in S convergent sequence has it limit value in S. But every convergent sequence is also a C-sequence...

  • 0
    @MhenniBenghorbal This comment was really not necessary. If $F$ant chose to leave this as an indication, leave it as such.2012-12-01
1

Prove the contrapositive for the other direction. Assume $S$ is not closed and find a Cauchy sequence in $S$ which does not converge in $S$ (not closed means that one limit point is not there in the set, so construct a Cauchy sequence which converge to this limit point).