Compact space

The continuous image of a compact space is compact

Let and . If is compact, so is . topology

Proof

Without loss of generality, consider a continuous surjection . Let be an open cover of . It follows that is an open cover of with a finite subcover . Therefore is a finite subcover of .

It follows that compactness is a Topological property.

---

tidy | en | sembr