by AuSmith » Wed Jun 30, 2010 1:01 pm
Well, this thread kind of died. If somebody wants to post another problem, that's okay. I'll go ahead and solve this one.
Given a sequence of open intervals [unparseable or potentially dangerous latex formula] with [unparseable or potentially dangerous latex formula], we can construct a sequence of numbers [unparseable or potentially dangerous latex formula] in [unparseable or potentially dangerous latex formula] in the following way:
1) [unparseable or potentially dangerous latex formula] can only intersect at most one of the halves of [unparseable or potentially dangerous latex formula], because they are separated by a distance of [unparseable or potentially dangerous latex formula] (notice that this requires that [unparseable or potentially dangerous latex formula] be open). Let [unparseable or potentially dangerous latex formula] belong to a half [unparseable or potentially dangerous latex formula] that [unparseable or potentially dangerous latex formula] does not intersect.
2) [unparseable or potentially dangerous latex formula] can only intersect at most one of the two fourths in the half that [unparseable or potentially dangerous latex formula] lies in, because they are separated by a distance of [unparseable or potentially dangerous latex formula]. Let [unparseable or potentially dangerous latex formula] belong to a fourth [unparseable or potentially dangerous latex formula] that neither [unparseable or potentially dangerous latex formula] nor [unparseable or potentially dangerous latex formula] intersect.
3) etc.
We then have a convergent sequence of real numbers [unparseable or potentially dangerous latex formula], as
[unparseable or potentially dangerous latex formula],
and the real numbers are "complete." Look it up if you don't know what it means. Also, the Cantor set [unparseable or potentially dangerous latex formula] is "closed," so you can rely on [unparseable or potentially dangerous latex formula] belonging to [unparseable or potentially dangerous latex formula].
Finally, no interval [unparseable or potentially dangerous latex formula] can contain [unparseable or potentially dangerous latex formula], because [unparseable or potentially dangerous latex formula] would be open, surrounding [unparseable or potentially dangerous latex formula] on both sides, and the sequence [unparseable or potentially dangerous latex formula] gets arbitrarily close to [unparseable or potentially dangerous latex formula]. Which means there would have to be an [unparseable or potentially dangerous latex formula] so that [unparseable or potentially dangerous latex formula]. By construction, [unparseable or potentially dangerous latex formula], so the sequence of intervals cannot cover [unparseable or potentially dangerous latex formula].
If you wanted to further the problem to closed intervals, remember that [unparseable or potentially dangerous latex formula] is uncountable and so is every branch of [unparseable or potentially dangerous latex formula] (branches of [unparseable or potentially dangerous latex formula] are scaled versions of [unparseable or potentially dangerous latex formula]). Therefore, we can use the same argument on [unparseable or potentially dangerous latex formula].