Question: I understand the main principles of Cauchy sequences and metric spaces, but I have a particular question about determining whether or not a space is a complete space. *If a space has all cauchy sequences converge to a point contained within that space, then it is a complete space.* 

My question is: **How do you determine if there is a cauchy sequence that doesn't converge?**

I realize this is a rather vague question, so let me clarify a bit using an example, and you can just provide an answer to this particular example. For the space containing all real numbers $\mathbb R^1$, if our space is defined as the interval $(0,1)$ then it is not a complete space since there is a Cauchy sequence $x\_n = \frac{1}{n}$ for which the limit converges to $0$, which is not contained in the space.

* How did they come up with this sequence $x\_n = \frac{1}{n}$? Is it just from experience working in the field of complete spaces and you start recognizing things like this? Or is there a more formal way to find it?
* For that sequence, if $n \le 1 $ then $x\_n$ is not in the given space. Do we need to specify that $n \gt 1$ when defining the sequence?

Thanks! If you can answer those two bullet points I think I'd understand this a bit more thoroughly =).

Answer: 
> 
> How did they come up with this sequence $x\_n = 1/n$?
> 
> 
> 

In my experience, coming up with counterexamples is something of an art, and sometimes much more difficult than proving a theorem! As you seem to agree, when proving theorems and solving problems, there is often some vague direction as to where you need to go; however, with these counterexamples, there does not usually seem like there is a well-defined route!

But this does not mean that counterexamples come out of nowhere. Instead, counterexamples tend to arise when you begin understanding the the object at hand a lot more. A complete space, for example, is an object in which sequences that clump together must eventually arrive at some destination. But in the set $(0, 1)$, no matter how close you get to the end points, you cannot get to the endpoint! So there is no way that $(0,1)$ can be a complete space. Formalizing this into the language of sequences gives us the sequence $x\_n = 1/n$.

In short, the key is to *really* understand what you are dealing with. Also, when looking for counterexamples to certain theorems, you might want to examine the assumptions used in the proof, and exploit those weak spots when thinking up a counterexample.

> 
> For that sequence, if $n \leq 1$, then $x\_n$ is not in the given space.
> 
> 
> 

When talking about sequences, we usually only consider $n \geq 1$---in particular, the positive integers---as indices. So unless otherwise stated, you can assume that $n \in \mathbb{Z}^+$. Formally, sequences are usually defined as functions $\mathbf{x}: \mathbb{Z}^+ \to X$, where $X$ is some space. For convenience, however, we often write $\mathbf{x}(n) = x\_n$, and denote the set of all $\mathbf{x}(n)$ by $\{x\_n\}\_{n=1}^\infty$, or something alike.
In a case such as this, the intuition is often that you first identify something that is not in the space but is in its closure in a slightly bigger space: in this case $0$. Then you try to find a Cauchy sequence in the original space that converges to that point in the bigger space. There's nothing magical about $1/n$, it's just a sequence of positive numbers that converges to $0$. 

Conventionally a sequence is usually taken as starting with $n=1$. If you wanted to start at some other $n$, you would have to specify that: e.g. if you're sequence was $x\_n = \pi/2^n$, then you want $n \ge 2$ to make $x\_n \in (0,1)$.