Prove that (-1,1) is homeomorphic to R (real numbers)

  • Thread starter madness
  • Start date
  • #1
801
70

Homework Statement


Prove that (-1,1) is homeomorphic to R (real numbers), with the topology given by the usual metric.


Homework Equations



None.


The Attempt at a Solution



I constructed the function f(x) = [1/(1-x) - 1/(1+x)]/2 = x/[(1+x)(1-x)] which is continuous and maps (-1,1) to R. Next I need to show that f has a continuous inverse. I'm stuck here.
 

Answers and Replies

  • #2
LCKurtz
Science Advisor
Homework Helper
Insights Author
Gold Member
9,559
770


Can you use theorems such as the formula for the derivative if the inverse of an increasing function?

Or if not that, there is a similar looking trig function that might be easier to work with.
 
  • #3
HallsofIvy
Science Advisor
Homework Helper
41,833
964


It's not all that difficult to explicitely find the inverse function using the quadratic formula.
Then the only "technical difficulty" is if y= 0.
 
  • #4
801
70


I'm still not sure. This is a topology course so no difficult analysis type theorems should be involved I think. To prove that the function (not its inverse) is continuous is it sufficient to say that it is a rational function who's denominator is non-zero on the interval?
I can't think of any simpler trig function to use either.
 
  • #5
LCKurtz
Science Advisor
Homework Helper
Insights Author
Gold Member
9,559
770


I'm still not sure. This is a topology course so no difficult analysis type theorems should be involved I think. To prove that the function (not its inverse) is continuous is it sufficient to say that it is a rational function who's denominator is non-zero on the interval?
I can't think of any simpler trig function to use either.

That is "whose", not "who's". Think about tan(x) appropriately modified. Hard for us to know what theorems your instructor expects you to know and use. At some level, your statement about rational function would be sufficient to claim continuity.
 
  • #6
801
70


Hehe thanks for the spelling tip. Is it really so simple as f(x) = tan(pi*x/2) and
x = (2/pi)arctan(y)?
And hopefully since these are well known functions I don't have to prove that they're continuous right?
 
  • #7
LCKurtz
Science Advisor
Homework Helper
Insights Author
Gold Member
9,559
770


Hopefully :tongue2:
 
  • #8
25
0


Hi,I am doing a question very similar to this, but still don't understand... can you possibly explain further?
 
  • #9
1,013
70


Hi,I am doing a question very similar to this, but still don't understand... can you possibly explain further?

What don't you understand?
 
  • #10
25
0


sorry, I think I get it now, but is it just enough to say that since f(x) as above is continuous and bijective, and x is continuous, therefore (-1,1) homeomorphic to the reals?
 
  • #11
Hurkyl
Staff Emeritus
Science Advisor
Gold Member
14,916
19


The inverse* of a continuous bijection need not be continuous.

*: as defined when viewing it as a function on the underlying sets
 
  • #12
25
0


oh ok, it's just a definition that I have written down says a homeomorphic function must be continuous and invertible and the inverse function must also be continuous? Is that not necessarily true?

so for madness' question above for example, would it suffice to say:

Take f(x) as tan(pi*x/2) and f^-1(x) as (2/pi)arctan(y)

this shows that (-1,1) is homeomorphic to the reals?
That seems too easy? Does anything else need to be proved?
 
  • #13
Hurkyl
Staff Emeritus
Science Advisor
Gold Member
14,916
19


oh ok, it's just a definition that I have written down says a homeomorphic function must be continuous and invertible and the inverse function must also be continuous? Is that not necessarily true?
No, what you said here is true.

It is also true that there exist continuous bijections whose inverse is not continuous.

So when taken together, what do these imply?
 
  • #14
25
0


the inverse of a continuous bijection need not be continuous, but the inverse of a homeomorphic function must be continuous? ...hence the idea of a homeomorphism?
 

Related Threads on Prove that (-1,1) is homeomorphic to R (real numbers)

Replies
1
Views
2K
  • Last Post
Replies
3
Views
798
Replies
10
Views
12K
  • Last Post
2
Replies
47
Views
2K
  • Last Post
Replies
2
Views
2K
Replies
10
Views
3K
Replies
4
Views
5K
Top