Let , , and . The Kolmogorov criterion for uniform approximation says
If , is already best and the criterion holds. Suppose . If were strictly better, then on , which forces there. Conversely, if a direction has everywhere on , compactness gives a positive lower bound on this product. On a sufficiently small neighborhood of , and therefore have matching signs with bounded away from zero and bounded away from zero. On its compact complement, for some . Choose so small that and that subtracting does not cross zero on that neighborhood. Then , so is not a best uniform approximation. This proves both directions.
The Chebyshev alternation theorem states that is a best uniform approximation to real precisely when there are increasingly ordered points with
For sufficiency, an improving polynomial direction would have to share these alternating signs, by the Kolmogorov criterion for uniform approximation. The intermediate value theorem would give at least distinct roots of a polynomial between consecutive points. A nonzero polynomial of degree at most cannot do that. If , no improvement is possible anyway.
For necessity, suppose and the active set has no alternating sequence of length . Its positive-error and negative-error subsets are disjoint compact sets, hence separated by a positive distance. Reading them from left to right splits into finitely many consecutive sign blocks. If there are blocks, choosing one point per block gives an alternating sequence, so . Choose in the gap between each consecutive pair of blocks. The polynomial has degree at most ; choose the sign of to match the error on the first block. Its sign then matches the error on every block, and it is nonzero throughout . Thus on , contradicting the Kolmogorov criterion for uniform approximation. There must therefore be alternating extrema.
Choose a best uniform approximation . It exists because this vector subspace is a finite-dimensional vector space and a minimizing sequence is bounded: . Finite-dimensional equivalence of norms then supplies a convergent subsequence of coefficients. If , the Chebyshev alternation theorem gives alternating error extrema. The intermediate value theorem supplies a zero of in each of the intervening open intervals. These interpolation nodes are distinct, and uniqueness of polynomial interpolation gives
The convergence follows from the Weierstrass approximation theorem. If , choose any distinct nodes: the polynomial interpolant is still . This constructs interpolation nodes from best uniform approximation; the nodes depend on , and no universal node system for all continuous functions is asserted.

Articles by others on the same topic (0)

There are currently no matching articles.