| G/H là không gian chuẩn tắc
Có bài này trong sách Topology của Munkres mà mình nghĩ lâu rồi nhưng vẫn không ra: Cho G là một nhóm topo, H là một nhóm con của G. Cho topo thương trên G/H. Chứng minh rằng nếu H đóng trong G thì G/H là không gian chuẩn tắc (với mọi tập đóng A và điểm x không thuộc A, tồn tại các lân cận không giao nhau của A và x).
[RIGHT][I][B]Nguồn: MathScope.ORG[/B][/I][/RIGHT] |