7
$\begingroup$

Not all sequences that are Cauchy are convergent. Here is what I think the example should be. Somehow the metric space is open but does not contain its limit points. Is this the right direction of thought?

  • 0
    What is the definition of a "convergent space" and a "Cauchy space"? Do you mean "sequence" instead of "space"? In that case, try constructing a space in which nothing is Cauchy?2012-10-28
  • 3
    The terms *Cauchy* and *convergent* refer to **sequences**, not **spaces**. Are you asking for a metric space in which there are Cauchy sequences that do not converge? One familiar example is $\Bbb Q$.2012-10-28
  • 0
    @akkkk: A constant sequence is Cauchy in any metric space.2012-10-28
  • 0
    yes yes, sorry! i am asking for a space that has Cauchy sequences that does not converge, so to show that there should be a subset of that space which is open and therefore doesnt contain limit points, hence does not converge.2012-10-28
  • 0
    am i right in stating the above?2012-10-28
  • 3
    @d13: You should be able to edit your question and make this correction.2012-10-28

3 Answers 3

10

Just take any sequence of rational numbers that converges to an irrational number. Then the sequence is Cauchy in $ \mathbb{Q} $, but does not converge in $ \mathbb{Q} $.

6

There can be sequences that are Cauchy but do not converge; for example, the sequence $(1,\frac{1}{2},\frac{1}{3},\ldots)$ does not converge in the metric space $(0,2)$. A metric space in which every Cauchy sequence converges is said to be complete.

2

In $\mathbb{K}[X]$.

$\forall P \in \mathbb{K}[X], P = \sum\limits_{i \in\mathbb{N}} p_i X^i, \|P\|=\max\limits_{i \in\mathbb{N}}( | p_i | )$

Let $P_n = \sum\limits_{i = 1}^n \frac{X^i}{i!}$

$P_n$ is Cauchy but doesn't converge in $\mathbb{K}[X]$.