Demostración:

Sea $\epsilon > 0.$

Como $f$ es continua, para cada $x \in \mathcal{K}$ existe $\delta_x > 0$ tal que si $ \| x-y \| < \delta_x $ entonces $\big\|f(x) – f(y) \big\| < \frac{\epsilon}{2}$

Como $\mathcal{K}$ es compacto, $\mathcal{K} \subseteq \bigcup\limits_{x \in \mathcal{K}} B_{\frac{\delta_x}{2}}(x)$ es una cubierta abierta de $\mathcal{K}.$

Entonces, existe una subcubierta finita $B_{\frac{\delta_1}{2}}(x_1), \dots , B_{\frac{\delta_l}{2}}(x_l).$

Tomemos $ \delta = mín \big\{ \frac{\delta_1}{2} , \dots , \frac{\delta_l}{2} \big\}.$

Si $\big\| x \, – \, y \big\| < \delta $ entonces $ y \in B_{\delta}(x)$ pero $ x \in B_{\frac{\delta_j}{2}}(x_j) $ para alguna $j$

$$\big\| x \, – \, x_j \big\| < \frac{\delta_j}{2} \Rightarrow x_j \in B_{\frac{\delta_j}{2}}(x)$$

$$\big\| f(x) \, – \, f(x_j) \big\| < \frac{\epsilon}{2} $$

Luego, si $\big\| y \, – \, x_j \big\| = \big\| y \, – \, x \, + \, x \, – \, x_j \big\| \leq \big\| y \, – \, x \big\| + \big\|x \, – \, x_j \big\| < \delta + \frac{\delta_j}{2} \leq \frac{\delta_j}{2} + \frac{\delta_j}{2} = \delta $

$y \in B_{\delta_j}(x_j) \Rightarrow \big\| f(y) \, – \, f(x_j) \big\| < \frac{\epsilon}{2}$

En consecuencia,

$$\big\| f(x) \, – \, f(y) \big\| \leq \big\| f(x) \, – \, f(x_j) \big\| + \big\| f(x_j) \, – \, f(y) \big\| < \frac{\epsilon}{2} + \frac{\epsilon}{2} = \epsilon \; _{\blacksquare}$$