Results 1 to 4 of 4

Math Help - Compact Metric Spaces

  1. #1
    Junior Member
    Joined
    Sep 2008
    Posts
    42

    Compact Metric Spaces

    a
    Last edited by EricaMae; January 22nd 2009 at 05:18 PM.
    Follow Math Help Forum on Facebook and Google+

  2. #2
    Member
    Joined
    Dec 2008
    From
    Indiana
    Posts
    127
    Quote Originally Posted by EricaMae View Post
    I have this proof I've been working on, but I seem to be stuck. I have to show that in a compact metric space (Y,d) a closed subset A is disconnected if and only if there are open sets P and Q such that A contained in (P union Q), (P intersect A) is not empty and (Q intersect A) is also not empty and (P intersect Q) is empty. I think I'm mostly stuck on the fact that this is a compact metric space.

    I started of by saying assume the second part is true. I can see this space is Hausdorff, which means there is a p in P and q in Q such that P intersect Q is empty, but that was given. So I'm not sure if it helps. I know that to show it is disconnected there is a space other than A and other than the nulset that is relatively open and closed at the same time. I can see what this picture looks like geometrically, but I'm going in circles.

    Any hint will help.
    Hi EricaMae,

    To prove A is disconnected, you will need two proper subsets in A being relatively open and closed other than the empty set. So you have the right idea there.
    Now let P'=P \cap A and Q'=Q \cap A. See if you can prove them to be relatively open and closed in A.
    Follow Math Help Forum on Facebook and Google+

  3. #3
    Junior Member
    Joined
    Sep 2008
    Posts
    42
    Okay, I have P and Q open sets in A such that A is contained in (P intersect Q), P intersect A is not empty, Q intersect A not empty, and P intersect Q is empty. I know that P' and Q' are relatively open and closed, (because P' is A intersect P with A closed and P open?) same for Q'. which would imply that A is disconnected because more than the whole set and empty set are relatively open and closed, but does it matter that the question says in a compact metric space A is a subset?
    Follow Math Help Forum on Facebook and Google+

  4. #4
    Member
    Joined
    Dec 2008
    From
    Indiana
    Posts
    127
    Quote Originally Posted by EricaMae View Post
    Okay, I have P and Q open sets in A such that A is contained in (P intersect Q), P intersect A is not empty, Q intersect A not empty, and P intersect Q is empty. I know that P' and Q' are relatively open and closed, (because P' is A intersect P with A closed and P open?) same for Q'. which would imply that A is disconnected because more than the whole set and empty set are relatively open and closed, but does it matter that the question says in a compact metric space A is a subset?
    P' is relatively open since A is relatively open and closed in A when you considered A as a subspace of Y, So a finite intersection of open sets is open. Similarly, Q' is relatively open.
    Though you will have to showed that they are also relatively closed. (Hint: P' and Q' are complement of each other in A).

    As far as the part of A being compact, I am not so sure. I suspect that it is to make sure the set is not "too big" as you may have problems in some cases. It will have to leave it to someone who is more knowledgeable to answer. Sorry.
    Follow Math Help Forum on Facebook and Google+

Similar Math Help Forum Discussions

  1. Any metric spaces can be viewed as a subset of normed spaces
    Posted in the Differential Geometry Forum
    Replies: 5
    Last Post: December 15th 2011, 04:00 PM
  2. Non-compact metric spaces
    Posted in the Math Challenge Problems Forum
    Replies: 2
    Last Post: June 29th 2011, 09:50 PM
  3. Compact metric space
    Posted in the Differential Geometry Forum
    Replies: 1
    Last Post: February 21st 2011, 08:51 PM
  4. Metric spaces - continuity / compact
    Posted in the Differential Geometry Forum
    Replies: 5
    Last Post: June 29th 2009, 07:04 PM
  5. Compact metric
    Posted in the Calculus Forum
    Replies: 4
    Last Post: May 14th 2008, 02:05 AM

Search Tags


/mathhelpforum @mathhelpforum