Results 1 to 2 of 2

Math Help - irrationals, metrizable, Michael Line

  1. #1
    Newbie
    Joined
    Nov 2008
    Posts
    16

    irrationals, metrizable, Michael Line

    Prove that the irrationals have usual neighborhoods and the rationals are isolated is metrizable.


    This is the flip-flop of the Michael Line. I do not see how to prove this. I know we want to use Urysohn Metrization Theorem, but I do not see how to use it now. Thanks in advance.
    Follow Math Help Forum on Facebook and Google+

  2. #2
    MHF Contributor
    Opalg's Avatar
    Joined
    Aug 2007
    From
    Leeds, UK
    Posts
    4,041
    Thanks
    7
    Quote Originally Posted by xboxlive89128 View Post
    Prove that the irrationals have usual neighborhoods and the rationals are isolated is metrizable.


    This is the flip-flop of the Michael Line. I do not see how to prove this. I know we want to use Urysohn Metrization Theorem, but I do not see how to use it now. Thanks in advance.
    If I understand the question correctly, you only need to check two things in order to apply the Urysohn theorem to this space:
    1) The space is regular (it is easily seen to be Hausdorff);
    2) The space is second-countable.

    An open sets in the space is the union of a usual open set with a subset of the rationals. So a closed set is a usual closed set less a subset of the rationals. If F is such a set then F = F_0\cap Q^c, where F_0 is closed in the usual sense and Q\subseteq\mathbb{Q}. If x\notin F then either x\notin F_0 (in which case you can separate x from F by a usual open set), or x\in Q (in which case {x} is an open set separating x from F). That proves (1).

    For (2), you can take a countable base for the usual topology on \mathbb{R} and add to it all the singleton sets \{\{x\}:x\in\mathbb{Q}\} to get a countable base.
    Follow Math Help Forum on Facebook and Google+

Similar Math Help Forum Discussions

  1. Weakest Metrizable Topology?
    Posted in the Differential Geometry Forum
    Replies: 2
    Last Post: October 17th 2011, 06:56 AM
  2. To show metrizable
    Posted in the Differential Geometry Forum
    Replies: 3
    Last Post: November 14th 2009, 09:29 PM
  3. Michael Artin's Algebra
    Posted in the Advanced Algebra Forum
    Replies: 3
    Last Post: October 17th 2009, 10:50 AM
  4. Proving Irrationals
    Posted in the Algebra Forum
    Replies: 1
    Last Post: October 28th 2008, 06:18 PM
  5. Irrationals Dense in R
    Posted in the Discrete Math Forum
    Replies: 2
    Last Post: October 12th 2008, 04:16 AM

Search Tags


/mathhelpforum @mathhelpforum