We work in the usual real-valued setting of the Chebyshev alternation theorem. For and an algebraic polynomial of degree at most , the theorem says that is a best uniform approximation if and only if its error has ordered points with alternating maximal values:If , the zero-error case is included directly.
Existence follows, for example, by taking a minimizing sequence: its supremum norms are bounded, all norms on the finite-dimensional polynomial space are equivalent, and a convergent coefficient subsequence attains the infimum. To prove uniqueness of best uniform polynomial approximation, let both attain the minimum error . Their average has error at most by the triangle inequality and therefore exactly by minimality.
If , both polynomials equal and are equal. Otherwise apply the Chebyshev alternation theorem to . At every alternating extremal point, is either or . But it is the average of and , each lying in . An average attains an endpoint of this interval only when both entries equal that endpoint. Hence at all points. The difference is a degree-at-most- polynomial with more than distinct zeros, so it is identically zero. The best approximating polynomial is unique.
Articles by others on the same topic
There are currently no matching articles.