Theorem. [br725]

If $K$ is compact, if $f_{n} \in \mathscr{C}(K)$ for $n = 1, 2, 3, \dots$, and if $\{ f_{n} \}$ is pointwise bounded and equicontinuous on $K$, then

  1. $\{ f_{n} \}$ is uniformly bounded on $K$,
  2. $\{ f_{n} \}$ contains a uniformly convergent subsequence.