Re: Uncountable many reals without Cantor

From: Daryl McCullough (daryl_at_atc-nycorp.com)
Date: 11/30/04 

Date: 30 Nov 2004 10:27:24 -0800

Dave Seaman says...

>>>(*) sum length(I_n) >= 1.
>>>
>>>How do you _prove_ that?
>
>> Assume the opposite, put the intervals end to end etc. This kind of
>> thing is proven in the beginning of any Real Variables text, e.g.
>> Royden. Where do you see a problem?
>
>Sounds like you want to use induction on the number of intervals.
>Problem is, induction works only if the number of intervals is finite.
>
>Hint: that's where compactness comes in.

Just for clarification of this comment.

Compactness for a topological space means the following: X is compact
if for any collection of open sets U_i whose union is X, there is a
finite subcollection whose union is also X. So a closed interval of
finite length is compact, but an open interval is not.

I was confused at first because I was misremembering the definition
of compactness. I remembered a definition along the lines of "X is
compact if every Cauchy sequence converges". That doesn't directly
help much. 

--
Daryl McCullough
Ithaca, NY

Relevant Pages

  • Re: analysis proof check:
    ... > K1 is contained in the union of finite open sets--call it G. ... space must have a finite subcover that still covers the space. ... being a union of finitely many open sets is a much weaker condition! ... You haven't shown compactness. ...
    (sci.math)
  • Re: Uncountable many reals without Cantor
    ... induction works only if the number of intervals is finite. ... Compactness for a topological space means the following: ... if for any collection of open sets U_i whose union is X, ...
    (sci.logic)
  • Re: Question about compact sets
    ... it's true for any topological space. ... >>there exists a finite collection of subsets of X whose union covers ... >>definition might simplify some proofs. ... it's not equivalent to compactness. ...
    (sci.math)
  • Re: Uncountable many reals without Cantor
    ... >> Assume the opposite, put the intervals end to end etc. ... >> thing is proven in the beginning of any Real Variables text, ... induction works only if the number of intervals is finite. ... that's where compactness comes in. ...
    (sci.math)
  • Re: Uncountable many reals without Cantor
    ... >> Assume the opposite, put the intervals end to end etc. ... >> thing is proven in the beginning of any Real Variables text, ... induction works only if the number of intervals is finite. ... that's where compactness comes in. ...
    (sci.logic)