|
|
|
|
continuous image of a compact set is compact
|
(Theorem)
|
|
Proof. Let $X$ and $Y$ be topological spaces, $f \colon X \to Y$ be continuous, $A$ be a compact subset of $X$ $I$ be an indexing set, and $\{V_\alpha\}_{\alpha\in I}$ be an open cover of $f(A)$ Thus, $\displaystyle f(A)\sub \bigcup_{\alpha\in I} V_\alpha$ Therefore, $\displaystyle A\sub f^{-1}\bigg( f(A) \bigg) \sub f^{-1} \left(
\bigcup_{\alpha\in I} V_{\alpha} \right)=\bigcup_{\alpha\in I} f^{-1} (V_\alpha)$
Since $f$ is continuous, each $f^{-1}(V_\alpha)$ is an open subset of $X$ Since $\displaystyle A\sub \bigcup_{\alpha\in I} f^{-1} (V_\alpha)$ and $A$ is compact, there exists $n \in \mathbb{N}$ with $\displaystyle A\sub\bigcup_{j=1}^n f^{-1} \left( V_{\alpha_j} \right)$ for some $\alpha_1, \dots , \alpha_n \in I$ Hence, $\displaystyle f(A)\sub f \left( \bigcup_{j=1}^n f^{-1} (V_{\alpha_j}) \right)=f\left( f^{-1} \left( \bigcup_{j=1}^n V_{\alpha_j} \right) \right) \sub \bigcup_{j=1}^n V_{\alpha_j}$ It follows that $f(A)$ is compact. 
|
"continuous image of a compact set is compact" is owned by Wkbj79. [ full author list (2) | owner history (1) ]
|
|
(view preamble | get metadata)
Cross-references: open subset, open cover, indexing set, compact subset, topological spaces, compact, compact set, image, continuous
There are 2 references to this entry.
This is version 13 of continuous image of a compact set is compact, born on 2006-04-30, modified 2007-05-31.
Object id is 7888, canonical name is ContinuousImageOfACompactSetIsCompact.
Accessed 3427 times total.
Classification:
| AMS MSC: | 54D30 (General topology :: Fairly general properties :: Compactness) |
|
|
|
|
|
|
Pending Errata and Addenda
|
|
|
|
|
|
|
|
|
|
|