1. Not finding help here? Sign up for a free 30min 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!

Tough proving question

  1. Oct 4, 2005 #1
    Any help will be very gracious.

    If [tex]\text C_{1} , C_{2} , C_{3}[/tex] are all non empty compact sets in [tex]\text R^n[/tex] such that [tex]\text C_{k+1} \subset C_{k} [/tex] for all k=1,2,3,......., then the set [tex]\text C = I_{k=1}^{\infty}C_{k} [/tex] is also non-empty.
     
  2. jcsd
  3. Oct 5, 2005 #2

    CarlB

    User Avatar
    Science Advisor
    Homework Helper

    The basic problem is that there are an infinite number of [itex]C_n[/itex] involved. You should already know how to deal with unions of infinite numbers of open sets. So try looking at the complements of [itex]C_n[/itex].

    Carl
     
    Last edited: Oct 5, 2005
  4. Oct 5, 2005 #3

    HallsofIvy

    User Avatar
    Staff Emeritus
    Science Advisor

    The complement of a closed set is open and of course all compact sets are closed. But it is crucial that these sets be compact and don't see how looking at their complements will include that.

    If you were allowed to use the "Finite Intersection Propery"- If the intersection of any finite subset of a collection of compact sets is non-empty, then the intersection of all of them is non-empty- this would be trivial. However, I suspect that the whole point of this is to prove a relatively simple version of that.

    Try this: Let {Uα} be an open cover for C1. Then, since every Cn is a subset of C1, it is also an open cover for Cn. Since each Cn is a compact, there exist a finite sub-cover.
    ....
     
Know someone interested in this topic? Share this thread via Reddit, Google+, Twitter, or Facebook

Have something to add?



Similar Discussions: Tough proving question
  1. Prove question (Replies: 9)

Loading...