Complete spaces and Cauchy sequences

Click For Summary

Discussion Overview

The discussion revolves around the concept of completeness in metric spaces, specifically focusing on examples of metric spaces that are not complete. Participants explore various examples of Cauchy sequences and their convergence properties within different metric spaces.

Discussion Character

  • Exploratory
  • Technical explanation
  • Debate/contested

Main Points Raised

  • One participant states that a metric space is complete if every Cauchy sequence converges, and seeks examples of non-complete metric spaces.
  • Another participant provides an example using the set of continuous functions on [0,1] with a specific metric, demonstrating that the sequence defined by \( f_n(x) = x^n \) is Cauchy but does not converge to a continuous function.
  • They further illustrate that the sequence \( P_n = \sum_{k=0}^{n} \frac{1}{k!} \) is Cauchy in the metric on the rational numbers but converges to \( e \), which is not a rational number.
  • A different participant mentions the interval \( (0,1) \) as another example, where the sequence \( 1/n \) is Cauchy but does not converge within that interval.
  • Another example is presented involving the vector space of complex sequences with finitely many non-zero terms, which is described as not being complete under the given inner product metric.

Areas of Agreement / Disagreement

Participants present multiple examples of non-complete metric spaces and Cauchy sequences, but there is no consensus on a singular definition or characterization of completeness beyond the initial premise. The discussion remains open with various perspectives and examples provided.

Contextual Notes

Some examples rely on specific properties of functions or sequences, and the completeness of the metric spaces discussed may depend on the definitions used or the context of the examples. The convergence of sequences is shown to be conditional on the space in which they are considered.

alyafey22
Gold Member
MHB
Messages
1,556
Reaction score
2
I know that a metric space is complete if every Cauchy sequence converges that will surely designate compact metric spaces as complete spaces . I need to see examples of metric spaces which are not complete.

Thanks in advance !
 
Physics news on Phys.org
Take the set of all continuous functions at [0,1]
with
d(f(x),g(x)) = \int_{0}^{1} \mid f(x) - g(x) \mid dx
Let
f_n(x) = x^n , I want to show f_n is Cauchy
Given \epsilon > 0
if x= 1 ,
f_n (x) = 1 which is Cauchy
if x<1

x^n \rightarrow 0
There exist n_0 such that
\mid x^n \mid &lt; \frac{\epsilon}{2} for all n &gt; n_0
for m,n &gt; n_0
\mid x^n - x^m \mid &lt; \mid x^n\mid + \mid x^m \mid &lt; \frac{\epsilon}{2} + \frac{\epsilon}{2}= \epsilon

d(f_n(x) , f_m(x) ) = \int_{0}^{1} \mid f_n(x) - f_m(x) \mid dx &lt; \int_{0}^{1} \epsilon\;\; dx = \epsilon
Using the fact for f,g continuous functions with f<= g
\int_{a}^{b} f(x) \leq \int_{a}^{b} g(x)

so it is Cauchy but
f_n(x)
converges to
f(x) = \left\{ \begin{array}{11} 1 &amp; : x=1 \\ 0 &amp; : x\in [0,1) \end{array} \right.
f not continuous so it is not in the Metric
so f_n(x) is not converge in our metric
but it is Cauchy

Another Example
The metric on the Rational number set Q
with \mid x - y \mid
Let
P_n = \sum_{k=0}^{n} \frac{1}{k!}
this sequence is Cauchy but it is converge to e [\tex] which is not rational number <br /> Another sequence in the same metric is <br /> P_n = \left( 1 + \frac{1}{n} \right)^n which converge to e
 
Last edited:
Amer said:
Take the set of all continuous functions at [0,1]
with
d(f(x),g(x)) = \int_{0}^{1} \mid f(x) - g(x) \mid dx
Let
f_n(x) = x^n , I want to show f_n is Cauchy
Given \epsilon &gt; 0
if x= 1 ,
f_n (x) = 1 which is Cauchy
if x<1

x^n \rightarrow 0
There exist n_0 such that
\mid x^n \mid &lt; \frac{\epsilon}{2} for all n &gt; n_0
for m,n &gt; n_0
\mid x^n - x^m \mid &lt; \mid x^n\mid + \mid x^m \mid &lt; \frac{\epsilon}{2} + \frac{\epsilon}{2}= \epsilon

d(f_n(x) , f_m(x) ) = \int_{0}^{1} \mid f_n(x) - f_m(x) \mid dx &lt; \int_{0}^{1} \epsilon\;\; dx = \epsilon
Using the fact for f,g continuous functions with f<= g
\int_{a}^{b} f(x) \leq \int_{a}^{b} g(x)

so it is Cauchy but
f_n(x)
converges to
f(x) = \left\{ \begin{array}{11} 1 &amp; : x=1 \\ 0 &amp; : x\in [0,1) \end{array} \right.
f not continuous so it is not in the Metric
so f_n(x) is not converge in our metric
but it is Cauchy

Another Example
The metric on the Rational number set Q
with \mid x - y \mid
Let
P_n = \sum_{k=0}^{n} \frac{1}{k!}
this sequence is Cauchy but it is converge to e [\tex] which is not rational number <br /> Another sequence in the same metric is <br /> P_n = \left( 1 + \frac{1}{n} \right)^n which converge to e
<br /> <br /> Wow very nice , thanks for the examples :)
 
There is always the simple ones: consider the interval $(0,1)$. The sequence $1/n$ is a Cauchy sequence but does not converge in $(0,1)$. :)
 
Another classical example is the vector space $V$ of the complex sequences $x=(x_n)$ with finitely many non zero terms. The map $V\times V\to \mathbb{C},$ $\langle x,y\rangle=\sum x_n\overline{y_n}$ is an inner product, and the corresponding metric space is not complete.
 

Similar threads

  • · Replies 4 ·
Replies
4
Views
2K
Replies
2
Views
2K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 4 ·
Replies
4
Views
2K
  • · Replies 1 ·
Replies
1
Views
2K
Replies
6
Views
2K
  • · Replies 6 ·
Replies
6
Views
3K
  • · Replies 10 ·
Replies
10
Views
4K
  • · Replies 17 ·
Replies
17
Views
2K
  • · Replies 5 ·
Replies
5
Views
2K