Compact space

The continuous image of a compact space is compact

Let and . If is compact, so is . #m/thm/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.

#state/tidy | #lang/en | #SemBr