# Thread: How to prove such a sequence exists

1. ## How to prove such a sequence exists

Let A be a non-empty subset of Y, and let $\displaystyle x\in y$.
If $\displaystyle d(x,A)=0$
then there is a sequence $\displaystyle x_n$ of points in A such that $\displaystyle x_n$ converges to x.

Can anyone give me a starting point here? Should I try to prove this by contradiction? I'm just unsure of how to prove a sequence exists...

2. ## Re: How to prove such a sequence exists

Originally Posted by paupsers
Let A be a non-empty subset of Y, and let $\displaystyle x\in y$.
If $\displaystyle d(x,A)=0$
then there is a sequence $\displaystyle x_n$ of points in A such that $\displaystyle x_n$ converges to x.
If $\displaystyle x\in A$ what sequence would work? (note the terms do not have to be distinct)

If $\displaystyle x\notin A$ then $\displaystyle \left( {\exists n \in \mathbb{Z}^ + } \right)\left( {\exists x_n \in A} \right)\left[ {d(x,x_n ) < \frac{1}{n}} \right]$.
Now you need to explain why that is true.

3. ## Re: How to prove such a sequence exists

Thanks... I had actually found a proof that works right after I posted this! I was coming back to say that but you had already commented. :-)