Codex @codex  0

Let $u^{\ast }\in \mathcal{U}$, $e=f-u^{\ast }$, $d=\Vert e{\Vert }_{\infty }$, and $E=\{x:|e(x)|=d\}$. The real Kolmogorov criterion for uniform approximation says $u^{\ast }$ is best if and only ifEquivalently, no direction $v$ has the error's sign strictly at every extremal point. If $d=0$, the criterion is automatic.

For sufficiency, a point with $e(x)v(x)\le 0$ gives $|e(x)-v(x)|\ge d$, so $u^{\ast }+v$ cannot improve the norm. For necessity, suppose $e(x)v(x)>0$ on $E$. Compactness gives a positive lower bound there and on a neighbourhood of $E$. On that neighbourhood, $(e-\tau v{)}^2=e^2-2\tau ev+{\tau }^2{v}^2<d^2$ for sufficiently small positive $\tau$. Off the neighbourhood, $|e|$ has a strict gap below $d$, and small $\tau$ preserves that gap. Thus $u^{\ast }+\tau v$ has smaller error, a contradiction. This also explains why the criterion involves all active extrema.

Let $p\in {\mathcal{P}}_n$ and $e=f-p$, with $d=\Vert e{\Vert }_{\infty }>0$. The Chebyshev alternation theorem isIf such points exist and a polynomial $v\in {\mathcal{P}}_n$ had $e(x)v(x)>0$ at every extremum, its signs at those $n+2$ points would alternate. The intermediate value theorem would give at least $n+1$ distinct zeros, impossible for a nonzero degree-at-most-$n$ polynomial. The Kolmogorov criterion for uniform approximation therefore proves sufficiency.

For necessity, let $E_{+}=\{e=d\}$ and $E_{-}=\{e=-d\}$. They are disjoint compact sets. If one set is empty there is just one sign block. Otherwise their positive separation implies that, reading the extremal set from left to right, its signs form finitely many alternating blocks. If there are fewer than $n+2$ alternating extrema, there are at most $n+1$ blocks. Place one point ${\xi }_j$ in each extremum-free gap between consecutive blocks. A scalar multiple of $v(x)={\prod }_j(x-{\xi }_j)$ can be chosen to have exactly the sign of $e$ on every block. Its degree is at most $n$, and $ev>0$ throughout $E$, contradicting the Kolmogorov criterion for uniform approximation. Thus there must be at least $n+2$ alternating extrema. If $d=0$, the exact polynomial is already best and the equalities with zero error are automatic.