Tag

#开闭集

实分析2026年10月18日进阶

从商集出发证余集是开集

从开子群的陪集分解出发证明补集开，解释商空间的离散性与连通性，并保留用数学归纳法证明邻域有限乘积开集的路线。