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] |