Tag
#证明方法
商集证明的小技巧
从可达关系与开等价类出发，用连通性和紧性控制类别，再推广到映射下降、模掉核、几乎处处相等及 Vitali 代表元构造。
从商集出发证余集是开集
从开子群的陪集分解出发证明补集开，解释商空间的离散性与连通性，并保留用数学归纳法证明邻域有限乘积开集的路线。
利用不等式成立条件的技巧
从首尾相等锁死不等式链出发，系统讲清怎样识别极值等号、追踪取等条件或制造严格不等式，并以全变差等于端点净位移推出单调递增为典型例题。
Tag
从可达关系与开等价类出发，用连通性和紧性控制类别，再推广到映射下降、模掉核、几乎处处相等及 Vitali 代表元构造。
从开子群的陪集分解出发证明补集开，解释商空间的离散性与连通性，并保留用数学归纳法证明邻域有限乘积开集的路线。
从首尾相等锁死不等式链出发，系统讲清怎样识别极值等号、追踪取等条件或制造严格不等式，并以全变差等于端点净位移推出单调递增为典型例题。