# Continuous Function on Compact Space is Bounded

Jump to navigation
Jump to search

This article needs to be linked to other articles.You can help $\mathsf{Pr} \infty \mathsf{fWiki}$ by adding these links.To discuss this page in more detail, feel free to use the talk page.When this work has been completed, you may remove this instance of `{{MissingLinks}}` from the code. |

## Theorem

Let $\struct {X, \tau}$ be a compact topological space.

Let $\struct {Y, \norm {\, \cdot \, } }$ be a normed vector space.

Let $f: X \to Y$ be continuous.

Then $f$ is bounded.

## Proof

Aiming for a contradiction, suppose $f$ is not bounded.

Let $A_n = \set {x \in X: \norm {\map f x} < n}$ for every $n \in \N$.

Then each $A_n$ is open, since $A_n = \map {\norm f^{-1} } {-n, n}$, i.e., the preimage of $(-n,n)$ under $x\mapsto\norm{f(x)}$.

Moreover, $X = \bigcup A_n$.

Since $X$ is compact, there are $n_1, n_2, \dots, n_m \in \N$ such that $X = \bigcup A_{n_k}$.

However, since $f$ is not bounded, there exists $x \in X$ such that $\norm {\map f X} \ge \max \set {n_1, n_2, \dots, n_m}$, which is a contradiction.

$\blacksquare$