Surjection from compact to Hausdorff implies quotient

Statement

Any surjective continuous map from a compact space to a Hausdorff space is a quotient map.

Proof

This follows from two facts:

• Any continuous map from a compact space to a Hausdorff space is closed
• Any surjective closed map is a quotient map