Tag
通过收敛点集的 Fσδ 表示与介值函数的连续性判别,练习把量词、极限和函数性质翻译成可数并交、原像与开闭集。
从最大开区间的构造出发,严格证明实数轴上的任意开集都能唯一分解为至多可数个两两不交的开区间。