Results 1 to 5 of 5

Math Help - Cauchy sequence convergence in a general metric space

  1. #1
    Member
    Joined
    Oct 2009
    Posts
    128

    Cauchy sequence convergence in a general metric space

    Hello!

    My question is one from Baby Rudin... Chapter 3, Question 23.

    The question is, given two Cauchy sequences \{p_n\} and \{q_n\}, in a metric space X (with a metric "d"), we want to show that
    \{d(p_n, q_n)\} converges.

    What I've got so far:

    We are given \{p_n\} and \{q_n\} are Cauchy, so, by definition, given \epsilon > 0, \exists N such that d(p_n, p_m) < \epsilon and d(q_n, q_m) < \epsilon whenever n, m > N.

    So, by the triangle inequality we have

    d(p_n, q_n) \leq d(p_n, p_m) + d(p_m, q_m) + d(q_m, q_n)

    then it follows thats:

    |d(p_n, q_n) - d(p_m, q_m)| \leq d(p_n, p_m) + d(q_m, q_n)

    but, d(p_n, p_m) < \epsilon
    and d(q_m, q_n) < \epsilon

    so

    d(p_n, p_m) + d(q_m, q_n) < 2\epsilon

    so |d(p_n, q_n) - d(p_m, q_m)| < 2\epsilon when n > N

    that fulfils the definition of Cauchy, so
    \{d(p_n, q_n)\} is Cauchy.

    but... we don't neccecarily know it converges, right?

    because X is a general metric space... we don't know if Cauchy sequences converge in a general metric space... they only converge in complete metric spaces.

    Any help much appriciated!! Thank you.
    Follow Math Help Forum on Facebook and Google+

  2. #2
    MHF Contributor Drexel28's Avatar
    Joined
    Nov 2009
    From
    Berkeley, California
    Posts
    4,563
    Thanks
    21
    Quote Originally Posted by matt.qmar View Post

    because X is a general metric space... we don't know if Cauchy sequences converge in a general metric space... they only converge in complete metric spaces.

    Any help much appriciated!! Thank you.
    Great job on seeing 'the trick' to show it's Cauchy! One thing...what is the codomain of d? Once you've answered this your question will be answered.
    Follow Math Help Forum on Facebook and Google+

  3. #3
    Member
    Joined
    Oct 2009
    Posts
    128
    The codomain of d? well, all metrics are functions which map to the non-negative reals...

    Yikes! Seems like you're giving me a hint.... but I still can't see it!
    Follow Math Help Forum on Facebook and Google+

  4. #4
    MHF Contributor Drexel28's Avatar
    Joined
    Nov 2009
    From
    Berkeley, California
    Posts
    4,563
    Thanks
    21
    Quote Originally Posted by matt.qmar View Post
    The codomain of d? well, all metrics are functions which map to the non-negative reals...

    Yikes! Seems like you're giving me a hint.... but I still can't see it!
    So, in fact, \left\{d(x_n,y_n)\right\}_{n\in\mathbb{N}} is a sequence of real numbers, right?
    Follow Math Help Forum on Facebook and Google+

  5. #5
    Member
    Joined
    Oct 2009
    Posts
    128
    aha!

    the medium is the message... or some equivalent metaphorical saying.

    the sequence is made up of reals!

    thanks!!
    Follow Math Help Forum on Facebook and Google+

Similar Math Help Forum Discussions

  1. Cauchy Sequence in Metric Space
    Posted in the Differential Geometry Forum
    Replies: 1
    Last Post: October 8th 2011, 09:29 AM
  2. All Cauchy Sequences are bounded in a metric space
    Posted in the Differential Geometry Forum
    Replies: 1
    Last Post: February 1st 2011, 03:18 PM
  3. Cauchy Sequence in a Metric Space
    Posted in the Differential Geometry Forum
    Replies: 3
    Last Post: March 8th 2010, 03:05 AM
  4. metric space: convergent sequence
    Posted in the Calculus Forum
    Replies: 1
    Last Post: February 11th 2009, 11:40 AM
  5. Cauchy Sequence in metric space problem
    Posted in the Calculus Forum
    Replies: 5
    Last Post: September 17th 2007, 10:40 AM

Search Tags


/mathhelpforum @mathhelpforum