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: Real Analysis: Compact sets

  1. Sep 2, 2010 #1
    1. The problem statement, all variables and given/known data

    Show that if K is compact and F is closed, then K n F is compact.

    2. Relevant equations
    A subset K of R is compact if every sequence in K has a subsequence that converges to a limit that is also in K.

    3. The attempt at a solution
    I know that closed sets can be characterized in terms of convergent sequences. Am I suppose to use that to prove the question?I really have no idea how to do this question.
     
  2. jcsd
  3. Sep 2, 2010 #2
    Yes. Think of a sequence in [tex]K \cap F[/tex]; then think about what it means that the sequence is both in [tex]K[/tex] and in [tex]F[/tex].
     
  4. Sep 2, 2010 #3
    Sorry I didn't quite understand that, would you please be able to explain it a bit more?
     
  5. Sep 2, 2010 #4

    Office_Shredder

    User Avatar
    Staff Emeritus
    Science Advisor
    Gold Member

    You want to determine if [tex]K\cap F[/tex] is compact using a statement about sequences. So if you have a general sequence in [tex]K\cap F[/tex], you can learn one thing about it by knowing the sequence is in K, and another thing about it by knowing the sequence is in F. Combine those two things and see if you get what you need to show that [tex]K\cap F[/tex] is compact
     
  6. Sep 2, 2010 #5
    Ok, this is what I have got:

    Let xn be in KnF.
    => xn is in K. =>We know that K is compact, so every sequence in K has a subsequence that converges to a limit that is also in K.
    => xn is in F. => By definition, if xn -> c , then c is in F. By B-W theorem, it must have a convergent subsequence which converges to the same limit c.
    So xn is compact.

    Am I getting closer?
     
  7. Sep 3, 2010 #6
    You have the right set of ideas, but they're put together in a sequence that doesn't make sense.

    The start is right. Let [tex](x_n)[/tex] be a sequence in [tex]K \cap F[/tex]. Since [tex]K[/tex] is compact, you can find a subsequence [tex](x_{n_k})[/tex] of [tex](x_n)[/tex] which converges to some point [tex]\overline{x} \in K[/tex].

    Now the next sentence needs to begin "Since [tex]F[/tex] is closed and the subsequence [tex](x_{n_k})[/tex] is a sequence in [tex]F[/tex]..."

    And the third sentence should end "therefore [tex]K \cap F[/tex] is compact."

    Try filling that in.
     
Share this great discussion with others via Reddit, Google+, Twitter, or Facebook