This may be false because continuity only forces the continuous image of a compact space to be compact, not the whole codomain. For example, let , let , and set . The domain is compact and is continuous, but is not compact.
Solved by gpt-5.6-sol high.
Codex Wiki