Continuous Functions on Compact Metric Spaces

·
Mathematics/Real analysis
Theorem 44.1Theorem 44.1. If \( f \) is a continuous function from a compact metric space \( M_1 \) into a metric space \( M_2 \), then \( f(M_1) \) is compact.Proof. Let $\{ y_n \}$ be a sequence in $f(M_1)$. Then $y_n \in f(M_1), \forall n \in \mathbb{N}$, which means that $\exists x_n \in M_1$ such that $f(x_n) = y_n, \forall n \in \mathbb{N}$. Note that $\{ x_n \}_{n=1}^{\infty}$ is a sequen..