Exercise · ZW-CONTINUOUS-IMAGE-OF-A-COMPACT-SPACE-008 · ★★☆ Intermediate
Let \(f:X\to Y\) be continuous and surjective with \(X\) compact. What follows?
Choose one option.
Show answer
← Back to the question
Explanation
Surjective means \(f(X)=Y\), and \(f(X)\) is compact by the theorem. Nothing else follows: \(Y\) may be infinite and \(f\) not injective.
If \(f:X\to Y\) is continuous and the space \(X\) is compact, then the image \(f(X)\) is a compact subspace of \(Y\).
\[f(X)\ \text{compact}\]
More practice problems: continuous image of a compact space
- ZW-CONTINUOUS-IMAGE-OF-A-COMPACT-SPACE-001 Let f:[0,1]→ℝ, f(x)=x^2+1. What is f([0,1])?
- ZW-CONTINUOUS-IMAGE-OF-A-COMPACT-SPACE-002 If f:[0,1]→ℝ is continuous, which of these cannot be f([0,1])?
- ZW-CONTINUOUS-IMAGE-OF-A-COMPACT-SPACE-003 What is the image of [0,2π] under f(x)=sin x?
- ZW-CONTINUOUS-IMAGE-OF-A-COMPACT-SPACE-004 The continuous function f(x)=1/x on (0,1] has image [1,∞), which is not compact. Why is this no con…
- ZW-CONTINUOUS-IMAGE-OF-A-COMPACT-SPACE-005 Let ℕ have the discrete topology and f(n)=1/n, which is continuous. Is f(ℕ)=\1/n:n≥1\ compact in ℝ?
- ZW-CONTINUOUS-IMAGE-OF-A-COMPACT-SPACE-006 What is the maximum of f(x)=x(3-x) on [0,3]?
- ZW-CONTINUOUS-IMAGE-OF-A-COMPACT-SPACE-007 What is the minimum of f(x)=x^3-3x on [0,3]?
- ZW-CONTINUOUS-IMAGE-OF-A-COMPACT-SPACE-009 Let X be compact and f:X→ℝ continuous with f(x)>0 for all x. Is there c>0 with f(x)≥ c on all of X?