Show that a metric space is complete

  • Thread starter missavvy
  • Start date
  • #1
82
0

Homework Statement



Given (R+, d), R-Real #
d= | ln(x/y) |

Show that this metric space is complete

Homework Equations





The Attempt at a Solution



Firstly, I know that to show it is complete I need to have that all Cauchy sequences in that space converge...

So I'm not 100% sure, but if I know I have to generalize so that it works for every Cauchy sequence, so can I find subsequences that converge, and then say that each sequence converges??? :S if so, how do I start this without picking specific cases, or can I pick a specific sequence in that space?
 

Answers and Replies

  • #2
1,437
2
Hello.

Trying to find a convergent subsequence of a cauchy sequence is indeed enough, but in a lot of cases you don't need to specifically focus on subsequences. I will tell you that in this problem you won't need to bother with subsequences, it'll be more direct to directly proof that a cauchy sequence has a limit.

Specific cases are a good way to get a feel for the problem. Problems where specific cases are really useful are those where the question is more open-ended: "Take this metric space ... Is it complete? Yes/no and prove this" but here you already know that it will be complete, so you can jump in:
[tex]\textrm{Take a cauchy sequence $(x_n)_n$ in the metric space $M := (\mathbb R^+,d)$ with $d(x,y) = |\ln(\frac{x}{y})|$. We will now prove that there is an $x \in M$ such that $x_n \to x$ in $M$:}[/tex]
And then it's up to you ;)

Of course, first we need to get an idea of what that limit would look like, before we can prove that it exists. As a hint, rewrite |ln(x/y)| as |ln(x) - ln(y)|. Hint #2: literally write down what it means for x_n to be a cauchy sequence, using the rewritten form of the metric in hint #1. Let this inspire you.
 
  • #3
82
0
Hm, ok.. I noticed the rewrite you mentioned, and attempted to do something with it to somehow get a lovely conclusion but I'm not sure what it is.

I have | ln(xj) - ln(xi) |, what i need is something greater than or equal to that.. i first thought of the triangle inequality but i don't know what i would use...

Maybe there is another trick I am not seeing.

Thanks for your help!
 
  • #4
19
0
When you have to prove that a metric space is complete, the only space that we know that is complete, is R, so...
 
  • #5
82
0
um, can i just say since R is complete, i can find for any sequence xn in R+, an x s/t lim xn = x... and th rest follows?
 
  • #6
1,437
2
Given a cauchy sequence x_n in M (with M defined as in my previous post),
what can you say about the sequence ln(x_n) in R+ with the normal metric?
 

Related Threads on Show that a metric space is complete

  • Last Post
Replies
1
Views
904
  • Last Post
Replies
5
Views
2K
  • Last Post
2
Replies
28
Views
5K
Replies
2
Views
780
Replies
10
Views
5K
Replies
2
Views
2K
  • Last Post
Replies
1
Views
2K
  • Last Post
Replies
5
Views
821
  • Last Post
Replies
1
Views
996
  • Last Post
Replies
3
Views
920
Top