Tag
#商空间
商集证明的小技巧
从可达关系与开等价类出发，用连通性和紧性控制类别，再推广到映射下降、模掉核、几乎处处相等及 Vitali 代表元构造。
从商集出发证余集是开集
从开子群的陪集分解出发证明补集开，解释商空间的离散性与连通性，并保留用数学归纳法证明邻域有限乘积开集的路线。
Tag
从可达关系与开等价类出发，用连通性和紧性控制类别，再推广到映射下降、模掉核、几乎处处相等及 Vitali 代表元构造。
从开子群的陪集分解出发证明补集开，解释商空间的离散性与连通性，并保留用数学归纳法证明邻域有限乘积开集的路线。