Continuous image of a compact space
ID: 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.
New to topics? Read the docs here!