Date: Feb 1, 2013 10:14 PM
Author: William Elliot
Subject: closed but not complete

On Fri, 1 Feb 2013, Daniel J. Greenhoe wrote:

A long title in ignarance of what he once learned in composition class.

> Let (Y,d) be a subspace of a metric space (X,d).
> 
> If (Y,d) is complete, then Y is closed with respect to d. That is,
>   complete==>closed.
> 
> Alternatively, if (Y,d) is complete, then Y contains all its limit
> points.
 
> Would anyone happen to know of a counterexample for the converse? That
> is, does someone know of any example that demonstrates that
>    closed --> complete
> is *not* true? 

No.  Assume K is a closed subset of the complete space (S,d).
Let s be Cauchy sequence into K.  Then s is a Cauchy sequence
into S.  Hence there's some x in S with s -> x.  Since K is closed x in K.

Exercise.  Show if S any topological space, K a closed subset of S, 
and s a sequence into K that converges into x, then x is in K.

Conclusion.  K subset complete S implies (K closed iff K complete).