Tag

#有理数稠密性

集合论在实分析中的例题

通过收敛点集的 Fσδ 表示与介值函数的连续性判别,练习把量词、极限和函数性质翻译成可数并交、原像与开闭集。

R上的开集结构定理

从最大开区间的构造出发,严格证明实数轴上的任意开集都能唯一分解为至多可数个两两不交的开区间。