Results 1 to 9 of 9

Math Help - Locally compact Hausdorff space

  1. #1
    Junior Member
    Joined
    Aug 2010
    Posts
    37

    Locally compact Hausdorff space

    In a locally compact hausdorff space X for every x in X there exists a compact set that contains an open set V s.t. x is in V. I have to prove this is equivalent to for every open set U s.t. x is in U, there exists a open set V s.t x is in V and closure of V is compact and contained in U. I know how to prove it using the one point compactification of the space X, is there an easier way to prove this. for the reverse implication is easy. any hints would be helpful
    Last edited by bubble86; April 8th 2011 at 09:54 PM.
    Follow Math Help Forum on Facebook and Google+

  2. #2
    Senior Member
    Joined
    Feb 2008
    Posts
    410
    Use the theorem that compact subspaces of a Hausdorff space are always closed. In particular, if A is compact and O\subseteq A is open, then \overline{O}\subseteq\overline{A}=A. You need an open neighborhood whose closure is contained in another open neighborhood. So just find an open neighborhood which includes the compact neighborhood guaranteed by local compactness, and another open neighborhood included in that compact neighborhood.
    Follow Math Help Forum on Facebook and Google+

  3. #3
    Junior Member
    Joined
    Aug 2010
    Posts
    37
    say U is an open n-hood about x and O is my open n-hood about x that is contained in K a compact set. pick a basis element, B of the topolgy that contains x and B is contained in the intersection of O and U. now how can i guarantee that closure of B, which is compact, is contained in U.
    Follow Math Help Forum on Facebook and Google+

  4. #4
    Senior Member
    Joined
    Feb 2008
    Posts
    410
    Yup, that will work.

    Although remember that finite intersections of open sets are open, so there's no need to drag bases into the argument if you don't want to.
    Follow Math Help Forum on Facebook and Google+

  5. #5
    Junior Member
    Joined
    Aug 2010
    Posts
    37
    hey sorry but how would i ensure that the closure of B is contained in the given open n-hood, U.
    Follow Math Help Forum on Facebook and Google+

  6. #6
    Senior Member
    Joined
    Feb 2008
    Posts
    410
    Sorry, I misread your OP. This is not as simple as it seemed. My apologies.

    I'll try to get a REAL solution later on.

    EDIT:

    Okay, here we are...

    Let x\in X and U an open neighborhood of x. By the local compactness condition, x has a compact neighborhood K with an open neighborhood O\subseteq K. Notice that K\cap U^c is closed by the Hausdorff condition and therefore compact (since closed subspaces of a compact space are compact). Since x\notin K\cap U^c, there is a theorem which tells us that K\cap U^c compact gives us disjoint open sets P,Q by the Hausdorff condition with x\in P and K\cap U^c\subseteq Q (this is easy to show). So Q^c\subseteq (K\cap U^c)^c and therefore [tex]Q^c\cap K\subseteq (K\cap U^c)^c\cap K=U\cap K\subseteq U[/Math]. So V:=P\cap O\subseteq Q^c\cap K is an open neighborhood with \overline{V}\subseteq\overline{Q^c\cap K}=Q^c\cap K (again by the Hausdorff condition).
    Last edited by hatsoff; April 9th 2011 at 12:03 PM.
    Follow Math Help Forum on Facebook and Google+

  7. #7
    Junior Member
    Joined
    Aug 2010
    Posts
    37
    not quite what i am looking for. what i want is closure of V is contained in U.
    Follow Math Help Forum on Facebook and Google+

  8. #8
    MHF Contributor Drexel28's Avatar
    Joined
    Nov 2009
    From
    Berkeley, California
    Posts
    4,563
    Thanks
    21
    Quote Originally Posted by bubble86 View Post
    not quite what i am looking for. what i want is closure of V is contained in U.
    hatsoff gave the correct proof, you must have misread it.
    Follow Math Help Forum on Facebook and Google+

  9. #9
    Senior Member
    Joined
    Feb 2008
    Posts
    410
    Quote Originally Posted by Drexel28 View Post
    hatsoff gave the correct proof, you must have misread it.
    I gave an incorrect proof, then noticed that I misread his OP, then fixed it.

    Oh well.
    Follow Math Help Forum on Facebook and Google+

Similar Math Help Forum Discussions

  1. [SOLVED] locally compact spaces
    Posted in the Differential Geometry Forum
    Replies: 1
    Last Post: May 3rd 2011, 03:28 AM
  2. locally compact and proper functions
    Posted in the Differential Geometry Forum
    Replies: 9
    Last Post: November 14th 2010, 07:58 AM
  3. Compact Hausdorff Space
    Posted in the Differential Geometry Forum
    Replies: 1
    Last Post: November 14th 2010, 07:13 AM
  4. Convergence in compact Hausdorff space
    Posted in the Differential Geometry Forum
    Replies: 1
    Last Post: April 5th 2010, 11:41 PM
  5. Hausdorff and Compact Space
    Posted in the Differential Geometry Forum
    Replies: 1
    Last Post: January 29th 2010, 03:13 AM

Search Tags


/mathhelpforum @mathhelpforum