Continuous image of a compact space
= Continuous image of a compact space
The continuous image of a compact space is compact: pull an open cover of the image back to the domain, take a finite subcover there, and map it forward.
= Continuous image of a compact space
The continuous image of a compact space is compact: pull an open cover of the image back to the domain, take a finite subcover there, and map it forward.