Let $K$ be a compact set of $\mathbb{R}$ and $A$ a subset of $C(K, \mathbb{R}^d)$. We seek to show the following theorem:
Theorem 1: The following two properties are equivalent:
- (P1) $A$ is relatively compact.
- (P2) $A$ is equicontinuous and for all $x \in K$, the set $A(x) = \{f(x) \mid f \in A\}$ is bounded.
Show that $(P1) \Rightarrow (P2)$.