Let $K$ be a compact [Hausdorff space](/page/Hausdorff%20Space), let $C(K)$ denote the real [Banach space](/page/Banach%20Space) of continuous functions $K \to \mathbb{R}$ with the uniform norm $\|\cdot\|_\infty$, let $X \subset C(K)$ be a finite-dimensional linear subspace, let $f \in C(K)$, and let $p \in X$. Define $e := f - p$ and $E := \|e\|_\infty$.
paragraph
admin
If $E = 0$, then $p$ is a best uniform approximation to $f$ from $X$.
paragraph
admin
If $E > 0$, define the active set
paragraph
admin
\begin{align*}
A := \{t \in K : |e(t)| = E\}.
\end{align*}
latex_env
admin
Then $p$ is a best uniform approximation to $f$ from $X$ if and only if