1. Limited time only! Sign up for a free 30min personal 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!

Homework Help: 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
    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
    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
    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
    That is correct!!
  11. May 2, 2012 #10
    For (b), start with proving the easy

    [tex]cl_1(int_2(V))\subseteq cl_1(V)[/tex]
Share this great discussion with others via Reddit, Google+, Twitter, or Facebook