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

Jordan-Brouwer separation theorem

  1. Mar 21, 2009 #1

    quasar987

    User Avatar
    Science Advisor
    Homework Helper
    Gold Member

    For those who have the book, in corollary 19.6 page 234 of Bredon, the Jordan-Brouwer separation theorem has just been proven and so we know that if S is homeomorphic to S^(n-1), then S^n\S has two connected components, which are open in S^n and their boundary is S.

    So we let V be one of the components of S^n\S and let x be in V. Then Bredon writes that excision implies the isomorphism

    [tex]H_{i+1}(V,V\backslash \{x\})\cong H_{i+1}(\mathbb{D}^n,\mathbb{D}^n\backslash\{0\})[/tex]

    (where D^n is the closed n-disk).

    It's like he said "V u S is homeomorphic to D^n (with x being sent to 0), so excising the boundary [tex]\partial\mathbb{D}^n\cong S[/tex] gives the above isomorphism".

    But for n>2, it is not true in general that V u S is homeomorphic to D^n as the (counter-) example of the Alexander horned disk shows...

    So what is it that he's doing in that step?


    P.S. Don't bother with Google Book, page 234 is missing from the preview. :(
     
  2. jcsd
  3. Mar 24, 2009 #2

    quasar987

    User Avatar
    Science Advisor
    Homework Helper
    Gold Member

    Re: Excision

    Ah. V is an open of S^n and thus a manifold. It suffices to embed D^n in V around x and excise V\D^n.
     
  4. Mar 24, 2009 #3
    Re: Excision

    Could you explain the Alexander horned sphere counter example? I'd like to understand it.

    This excision seems straight forward without any use of this supposed homeomorphism. The complement of any open ball contained in V that contains the point x is closed in V-{x} and is contained in the interior of V-{x}. I think this works.
     
  5. Mar 24, 2009 #4

    quasar987

    User Avatar
    Science Advisor
    Homework Helper
    Gold Member

    Re: Excision

    The way I understand it is this. The Alexander horned sphere is a subspace X of R³ homeomorphic to S². By the Jordan-Brouwer separation theorem (corollary 19.6 in Bredon) then, the Alexander horned sphere separates R³ into two connected open sets having X as their boundary, one bounded, one unbounded. Now, it can be shown that the unbounded component has nontrivial fundamental group (see Hatcher p.170-172: http://www.math.cornell.edu/~hatcher/AT/ATch2.pdf). So, passing to S³ through stereographic projection [itex]\sigma: \mathbb{R}^3\rightarrow \mathbb{S}^3 \backslash \{N\}[/itex], we get that the component of C [itex]\mathbb{S}^3\backslash \sigma(X)[/itex] corresponding to the unbounded component of R³\X is not homeomorphic to [itex]\mathbb{B}^3[/itex] (the 3-ball) since it has nontrivial fundamental group, while the 3-ball does. And so the closure of C could not be homeomorphic to D³ because otherwise C would be homeomorphic to [itex]\mathbb{B}^3[/itex].

    Does that sound right to you?

    Yup, this is essentially the same thing I said in post #2.
     
  6. Mar 24, 2009 #5
    Re: Excision

    I think that it is right that the one point compactification of the open domain is not a ball but I don't know how to prove it without thinking more about the construction of the Alexander horned sphere. But a priori just because a set is not simply connected does not mean that its 1 point compactification can not be, for instance a punctured disc
     
  7. Mar 24, 2009 #6

    quasar987

    User Avatar
    Science Advisor
    Homework Helper
    Gold Member

    Re: Excision

    I think that this is where the hypothesis n>2 comes in. Namely, [tex]\sigma(\mbox{unbounded connected component of }\mathbb{R}^3\backslash X) =C\backslash \{N\}[/tex] has nontrivial fundamental group. Now consider the stereographic projection with respect to the opposite pole, [itex]\widetilde{\sigma}:\mathbb{S}^3\backslash \{S\}\rightarrow \mathbb{R}^3[/itex], so that N is now mapped to the origin in R³. Then [itex]\widetilde{\sigma}(C\backslash \{N\})[/itex] is an open set (with nontrivial fundamental group) in R³ around 0 but not containing 0 and adding the origin to that set does not change its fundamental group (proof?).

    What do you think?
     
    Last edited: Mar 24, 2009
  8. Mar 24, 2009 #7
    Re: Excision

    I don't think you have a proof although I see your intuition about N > 2.
    What about taking a disc tangent to the z-axis and with a diameter lying on the x-axis and spinning it around the z axis to get a torus like solid centered at the origin. Then remove the origin. This has fundamental group equal to Z but compactifies to a contractible set (without the origin it deforms onto its central circle)
     
  9. Mar 24, 2009 #8

    quasar987

    User Avatar
    Science Advisor
    Homework Helper
    Gold Member

    Re: Excision

    Yes but your counter-example has little to do with [itex]\widetilde{\sigma}(C\backslash \{N\})[/itex], which has the form of an open neighborhood of 0 of which 0 has been removed.

    Or did I miss your point?
     
  10. Mar 25, 2009 #9
    Re: Excision

    All I was saying is that your argument doesn't seem right. You say that an open set in R^3 that has non-trivial fundamental group and which has the origin as a limit point must still have non-trivial fundamental group after the origin is included. I just gave a counter example to that claim.

    I still think your intuition is correct because the construction of the horned sphere shows that outside of a sufficiently large sphere the unbounded component is equal to R^3 minus a ball and is a ball after you add in the point at infinity. Since this large bounding sphere is simply connected and the ball is contractible, adding the point at infinity leaves the fundamental group unchanged.
     
  11. Mar 25, 2009 #10

    quasar987

    User Avatar
    Science Advisor
    Homework Helper
    Gold Member

    Re: Excision

    But unless I misunderstood you, the set in your counter-example is not open. More to the point, it is not of the type "an open neighborhood of 0 of which 0 has been removed".
     
  12. Mar 25, 2009 #11
    Re: Excision

    well you can make it open by leaving off the boundary and retaining the interior. It is not an open neighborhood of zero but I don't see why that matters since your argument did not directly use that. but maybe I didn't understand your argument completely.
     
  13. Mar 25, 2009 #12
    Re: Excision

    I just reread this proof and I agree that the fundamental group is unchanged but just because you brought the point at infinity to the origin doesn't change anything. You still need to show that adding this point doesn't matter and this follows because you can deformation retract the part of the unbounded component that is outside of some large sphere onto that sphere. All of the non-trivial homotopy is isolated away from infinity. Then as you rightly pointed out, for N>2, that sphere has trivial fundamental group so adding the point at infinity leaves the fundamental group unchanged.
     
  14. Mar 25, 2009 #13

    quasar987

    User Avatar
    Science Advisor
    Homework Helper
    Gold Member

    Re: Excision

    But then 0 does not belong to that set.

    On the contrary, it entirely depends on that:

    And by the way, by "(proof?)" at the end, I meant "This assertion needs a proof.", not "Do you think I have a proof?".


    I will look at your retraction argument tomorrow, but on first reading, it has the ring of truth!
     
  15. Mar 26, 2009 #14
    Re: Excision

    I think our intuition was right and leads to this retraction argument. I am interested in what you think. Let me know.

    By the way, though this isn't important, if you add the origin to that open solid torus thing then it becomes contractible.
     
  16. Mar 27, 2009 #15

    quasar987

    User Avatar
    Science Advisor
    Homework Helper
    Gold Member

    Re: Excision

    I do not see how the fact that S² has trivial fundamental group implies that adding the point at infinity leaves the fundamental group of the unbounded component of R³\X unchanged.
     
  17. Mar 27, 2009 #16
    Re: Excision

    Quasar maybe I'm wrong about this but I think it is Van Kampen's Theorem. Let's think this through together.

    We have the unbounded component with the north pole attached. Take a small open ball around the north pole. We know that its intersection with the unbounded component deformation retracts onto a sphere . Since the sphere is simply connected so is the intersection. Further the ball around the north pole is contractible and so is also simply connected.

    As I understand Van Kampen's theorem, the fundamental group of the union is the free product of the fundamental groups of the ball around the north pole and the unbounded component modulo a normal subgroup generated by identifying the homotopy classes in each of the two components of the closed paths in the intersection. (I didn't say that very well.) But the intersection is simply connected so this group is trivial. Since the ball has zero fundamental group, the fundamental group of the union is the free product of the fundamental group of the unbounded component with the trivial group.

    I think this works. what do you say?
     
  18. Mar 27, 2009 #17
    Re: Excision

    i was thinking about this argument a little more. You can see in the case off two dimensions why the argument doesn't work - as your intuition pointed out in the first place.

    Take the Mobius band and add a point at infinity. A small disc around the point at infinity intersects the Mobius band in a set that deformation reacts onto a circle, a circle that winds twice around the band's equatorial circle. This curve is has homotopy class in the Mobius band that is twice the generator of the fundamental group since it winds around the equatorial circle twice. It is not null homotopic. But in the small disc it is null homotopic because the disc is contractible. Van Kampen's theorem says then that the fundamental group of the union (which is the projective plane) is Z/2Z because this intersection curve is null homotopic in the disc.
     
  19. Mar 27, 2009 #18

    quasar987

    User Avatar
    Science Advisor
    Homework Helper
    Gold Member

    Re: Excision

    I certainly think it works!

    If we call A the unbounded component of R³\X and A' the compactified A, then Van Kampen gives as you say [tex]\pi_1(A')\cong\pi_1(A)*0\cong\pi_1(A)[/tex].

    Well, that was a pretty fun exercice!
     
Know someone interested in this topic? Share this thread via Reddit, Google+, Twitter, or Facebook