Dismiss Notice
Join Physics Forums Today!
The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

How to show induced topological space

  1. May 30, 2011 #1
    I am beginning to read about the topology,
    I met a problem puzzled me for a while.

    If [tex]Y[/tex] is a topological space, and [tex]X\subset Y[/tex], we can make the set [tex]X[/tex] to be a topological space by defining the open set for it as [tex]U\cap X[/tex], where [tex]U[/tex] is an open set of [tex]Y[/tex].

    I would like to show that this indeed defines a topological space. But I failed to prove that there is the open set [tex]X[/tex] among those open sets defined above, i.e. [tex]U\cap X[/tex]. Anybody helps me?

    Otherwise, we can easily see that
    [tex] (U_1\cap X) \cap (U_2 \cap X) = (U_1\cap U_2)\cap X [/tex]
    [tex] (U_1\cap X) \cup (U_2\cap X) = (U_1\cup U_2) \cap X [/tex]
    [tex] \phi = \phi \cap X [/tex]
    And I lack the final piece that the [tex]X[/tex] is contained in the collection of open sets of [tex]X[/tex] defined above.

  2. jcsd
  3. May 31, 2011 #2

    George Jones

    User Avatar
    Staff Emeritus
    Science Advisor
    Gold Member

    Let U be Y.
  4. May 31, 2011 #3
    aha! How stupid I was!
    Just let [tex] U[/tex] be [tex] Y [/tex].
    Thank you a lot. :shy:
  5. May 31, 2011 #4


    User Avatar
    Staff Emeritus
    Science Advisor
    Education Advisor
    2016 Award

    Also, you might want to use [ itex] instead of [ tex ] if you don't want to start a new line every time...
Know someone interested in this topic? Share this thread via Reddit, Google+, Twitter, or Facebook

Similar Discussions: How to show induced topological space