Tag

#开区间

R上的开集结构定理

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