by dante44 on 1/10/24, 8:40 PM with 6 comments
by fiforpg on 1/11/24, 1:55 AM
by xyzzyz on 1/11/24, 4:23 AM
Say you start with the standard construction: take closed interval [0, 1], then remove open middle third, then remove two open middle thirds from two remaining segments, then remove 4 open middle thirds from 4 remaining segments, etc countably many times (more formally, intersect all of the sets you obtain in each of the step).
Intuitively, what remains should be the end points of the removed intervals, but this is not true: since at every step you removed finitely many intervals, and there were countably many steps, you removed finitecountable <= countablecountable = countably many intervals, so there are only countably many many ends of removed intervals, but the Cantor's set is uncountable. So where do the remaining points come from?
by blt on 1/10/24, 10:49 PM
This is about closedness only. ℝ is not compact but contains its limit points.