1. Not finding help here? Sign up for a free 30min tutor trial with Chegg Tutors
    Dismiss Notice
Dismiss Notice
Join Physics Forums Today!
The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

Help with Topology: Density and Customly Defined Similarity

  1. May 1, 2012 #1
    1. The problem statement, all variables and given/known data
    The problem is as follows:
    2. Relevant equations
    We are using the definition that D is dense if its closure is the whole space. Proofs using this definitions would be best as we were not taught any equivalent ones.
    Not sure if relevant but just in case:
    ~ is an equivalence relation; ~ topologies share dense sets; ~ topologies share sets with the empty interior

    3. The attempt at a solution
    I started (a) by saying T1 and T2 share dense sets and assuming they aren't ~ but I have yet to see anyway to reach a contradiction. I also thought about trying a contra-position but I'm not sure it would pay off either. I'm pretty clueless about how to approach (b) altogether. I would appreciate any help you can offer even if it just get me started. These are actual the last questions in a set of questions and I already managed to get the earlier ones these I just can't see. Thanks for any help.
     
  2. jcsd
  3. May 1, 2012 #2

    micromass

    User Avatar
    Staff Emeritus
    Science Advisor
    Education Advisor
    2016 Award

    For (a), look at [itex]X\setminus cl_2(V_1)[/itex], that is the complement of the closure of V1 in the topology [itex]\mathcal{T}_2[/itex].
     
  4. May 1, 2012 #3
    Okay so now I would have, [itex]X\setminus cl_2(V_1)[/itex] which is an open set in [itex]\tau_2[/itex] is either contained in or contains [itex]X\setminus cl_1(V_1)[/itex] which is an open set in [itex]\tau_1[/itex]? This seems right because either the closure in T1 has to be bigger or the closure in T2 has to be but where does denseness come into play? I feel like I didn't go in the right direction here.
     
  5. May 1, 2012 #4

    micromass

    User Avatar
    Staff Emeritus
    Science Advisor
    Education Advisor
    2016 Award

    OK, I'm sorry. I meant [itex]X\setminus cl_2(X\setminus V_1)[/itex].
    You need to prove that this is a subset of [itex]V_1[/itex] and that it is nonempty.
     
  6. May 1, 2012 #5
    Okay, so [itex]V_1[/itex] is open in T1 implying that [itex]X\setminus V_1[/itex] is closed in T1. [itex]X\setminus V_1 \subset cl_2(X\setminus V_1)[/itex] and hence the closure in T2 must share some elements with V1. Thus [itex]X\setminus cl_2(X\setminus V_1) \subset V_1[/itex] and [itex]X\setminus cl_2(X\setminus V_1)[/itex] is open in T2. This seems solid but I don't see where to use the fact the space share the same dense sets and that seems like a really important part to not use. Also sorry about all the follow up questions I just want to make sure I get it.
     
  7. May 1, 2012 #6

    micromass

    User Avatar
    Staff Emeritus
    Science Advisor
    Education Advisor
    2016 Award

    Yes. So your candidate for [itex]V_2[/itex] is [itex]X\setminus cl_2(X\setminus V_1[/itex]. But why is this set not empty??
     
  8. May 1, 2012 #7
    I suppose you would assume that [itex]X\setminus V_1[/itex] is not dense hence the compliment of its closure can't be the empty set?
     
  9. May 1, 2012 #8
    Since [itex]X\setminus V_1[/itex] is closed in T1 it would be it's own closure. Hence it isn't dense in T1 so it can't be dense in T2.
     
  10. May 2, 2012 #9

    micromass

    User Avatar
    Staff Emeritus
    Science Advisor
    Education Advisor
    2016 Award

    That is correct!!
     
  11. May 2, 2012 #10

    micromass

    User Avatar
    Staff Emeritus
    Science Advisor
    Education Advisor
    2016 Award

    For (b), start with proving the easy

    [tex]cl_1(int_2(V))\subseteq cl_1(V)[/tex]
     
Know someone interested in this topic? Share this thread via Reddit, Google+, Twitter, or Facebook




Similar Discussions: Help with Topology: Density and Customly Defined Similarity
  1. Similar matrices help (Replies: 5)

  2. Help with Topology (Replies: 3)

Loading...