Let \((X,\tau)\) be compact Hausdorff, and let \(\tau'\) be another topology on \(X\) such that \[\tau'\subsetneq\tau.\] Show that \((X,\tau')\) is compact but not Hausdorff.
A strictly coarser topology on a compact Hausdorff space is compact but not Hausdorff
P-SQUAL2-02
- Area
- Topology
- Status
- draft