Let be an open set. Suppose that the map is a and is .

Prove that .

Printable View

- August 12th 2009, 11:41 AMKat-Mhomeomorphism
Let be an open set. Suppose that the map is a and is .

Prove that . - August 12th 2009, 12:16 PMsiclar
- August 12th 2009, 12:39 PMKat-Mhomeomorphism
i thought if is homeomorphism, then is and on but not nessesarily entire and the inverse exists on . so i thought the question emphasized that . i dont know if that is right but that is what i thought.

- August 12th 2009, 12:52 PMsiclar
- August 12th 2009, 12:56 PMAmer
- August 12th 2009, 01:05 PMKat-Mhomemorphism
the question says is uniformly continuous. so if we are to prove, i think we have to use this property otherwise there should be a counter example when is just continuous.

- August 12th 2009, 01:07 PMsiclar
Not true! For example, there exists a bijection between and (and in fact a homeomorphism). Infinite subsets of infinite sets can often be put into bijective correspondance with their supersets.

The crucial piece of information here is that the function is in fact uniformly continuous. I'm still working on figuring out what that entails. - August 12th 2009, 02:28 PMsiclar
I think I have it. Suppose . Then is not closed (since only closed and open sets are the empty and whole sets). In particular there exists a such that there exists a sequence with each . Then since the sequence is convergent, it is Cauchy, and since the function is uniformly continuous the sequence of images is Cauchy. Since is complete, there exists such that . Since the function was onto, there exists u such that .

Then since is continuous, implies . But so by uniqueness of limits . Since we assumed but , we have our contradiction! - August 12th 2009, 02:43 PMKat-Mhomeomorphism
how do you know that the convergent sequence is Cauchy? i know that every Cauchy sequence converges in but does the converse holds too?

- August 12th 2009, 02:51 PMsiclar
Yes! The proof is easy too. Suppose . Let be given. Then by the definition of convergence there exists a such that for all , . Then for all , .

Convergence is a stronger condition than Cauchy since to be convergent we must identify the element the sequence converges to, whereas with cauchy we only know the sequence elements get closer together.