Results 1 to 6 of 6

Math Help - Prove homeomorphism

  1. #1
    Newbie
    Joined
    Mar 2011
    Posts
    6

    Prove homeomorphism

    Let M, N be metric spaces and assume M is compact. Show that if f:M \rightarrow N is a bijective and continious function, then f is a homeomorphism.
    And does this hold even if we dont assume that M is compact?
    Follow Math Help Forum on Facebook and Google+

  2. #2
    Behold, the power of SARDINES!
    TheEmptySet's Avatar
    Joined
    Feb 2008
    From
    Yuma, AZ, USA
    Posts
    3,764
    Thanks
    78
    Quote Originally Posted by BenH View Post
    Let M, N be metric spaces and assume M is compact. Show that if f:M \rightarrow N is a bijective and continious function, then f is a homeomorphism.
    And does this hold even if we dont assume that M is compact?
    Hint:

    The only thing you need to prove is that f^{-1}:N \to M is continuous. or equivalently that f is an open map or again if and only if it is a closed map. In my option the last will be the easiest to show.
    Follow Math Help Forum on Facebook and Google+

  3. #3
    Newbie
    Joined
    Mar 2011
    Posts
    6
    Quote Originally Posted by TheEmptySet View Post
    The only thing you need to prove is that f^{-1}:N \to M is continuous.
    Yes, I knew that. Through the definition that means I have to prove that for every a\in N the following most hold:
    For every \epsilon > 0 there exists \delta > 0 such that
    f^{-1}(B_{\delta}(a))\subset B_{\epsilon}(f^{-1}(a)),
    i.e.
    d_M(f^{-1}(x),f^{-1}(a)) < \epsilon if d_N(x,a)<\delta.
    But how do I prove that?
    Follow Math Help Forum on Facebook and Google+

  4. #4
    Behold, the power of SARDINES!
    TheEmptySet's Avatar
    Joined
    Feb 2008
    From
    Yuma, AZ, USA
    Posts
    3,764
    Thanks
    78
    Quote Originally Posted by BenH View Post
    Yes, I knew that. Through the definition that means I have to prove that for every a\in N the following most hold:
    For every \epsilon > 0 there exists \delta > 0 such that
    f^{-1}(B_{\delta}(a))\subset B_{\epsilon}(f^{-1}(a)),
    i.e.
    d_M(f^{-1}(x),f^{-1}(a)) < \epsilon if d_N(x,a)<\delta.
    But how do I prove that?
    Yes the point I was trying to make is that f^{-1} being continuous is the same as being an open map or a closed map.

    Open and closed maps - Wikipedia, the free encyclopedia

    Since this is the cases we just need a few facts.

    A map is closed if it maps closed sets to closed sets.

    Let A \subset M be closed. Since M is a compact space and A is a closed subset of M A is compact.

    Now since f is continuous by hypothesis f(A) is a compact set because the continuous image of a compact set is always compact.
    Since compact sets are closed f must be a closed map.
    Follow Math Help Forum on Facebook and Google+

  5. #5
    Newbie
    Joined
    Mar 2011
    Posts
    6
    I wasn't too familiar with open and closed maps, thats why i didn't get your point. But now it makes sense. thank you!
    How about if you drop the assumption that M is compact. Could you prove that a continuous bijection not necessarily has a continuous inverse? Any examples?
    Follow Math Help Forum on Facebook and Google+

  6. #6
    MHF Contributor
    Opalg's Avatar
    Joined
    Aug 2007
    From
    Leeds, UK
    Posts
    4,041
    Thanks
    7
    Quote Originally Posted by BenH View Post
    How about if you drop the assumption that M is compact. Could you prove that a continuous bijection not necessarily has a continuous inverse? Any examples?
    Let M be the unit interval [0,1] with the discrete metric, and let N be the same set with the usual metric. The identity map is then a continuous bijection, but the inverse is not continuous.

    The discrete metric is given by d(x,y) = 1 whenever y\ne x. In this metric, every set is open. So every mapping from a space with the discrete metric is continuous.
    Follow Math Help Forum on Facebook and Google+

Similar Math Help Forum Discussions

  1. Homeomorphism
    Posted in the Differential Geometry Forum
    Replies: 2
    Last Post: June 11th 2011, 12:00 PM
  2. Homeomorphism
    Posted in the Differential Geometry Forum
    Replies: 2
    Last Post: March 23rd 2011, 12:49 PM
  3. Homeomorphism....
    Posted in the Differential Geometry Forum
    Replies: 0
    Last Post: October 25th 2009, 12:43 PM
  4. Homeomorphism
    Posted in the Differential Geometry Forum
    Replies: 3
    Last Post: May 25th 2009, 06:27 AM
  5. Homeomorphism
    Posted in the Calculus Forum
    Replies: 7
    Last Post: March 3rd 2008, 02:57 AM

/mathhelpforum @mathhelpforum