Given a family of approximating functions, a best uniform approximation to is an element satisfying
Cosine substitution is an isometry from continuous functions on to even continuous -periodic functions. It satisfies because cosine is Lipschitz continuous with constant one. Even degree-at-most- trigonometric polynomials correspond exactly to algebraic polynomials via . Averaging a periodic approximant with its reflection cannot increase its error against an even target, so the algebraic and periodic best errors are equal.
If a bounded linear map reproduces every element of an approximating polynomial space , then for every . The triangle inequality and infimum over prove the displayed error bound. The same argument works for any linear approximating space, and applies in particular to de la Vallée Poussin sums.
For a fixed degree bound, two best approximating polynomials have a best approximating average. At each active point of that average their errors agree, hence the two polynomials agree. There must be at least two more active points than the degree: otherwise polynomial interpolation constructs a strictly improving sign-matching perturbation. The difference has too many zeros and must vanish. Finite-dimensional coefficient compactness also gives existence.
For real , a candidate , and active set , the candidate is best precisely when every has some with . A direction with strictly matching error signs on the whole active set gives a uniformly improving small perturbation by compactness. Conversely one oppositely signed active value already prevents improvement. This criterion yields the Chebyshev alternation theorem.

Ancestors (5)

  1. Uniform approximation
  2. Analysis
  3. Area of mathematics
  4. Mathematics
  5. Home

Discussion (0)

New discussion

There are no discussions about this article yet.

Articles by others on the same topic (0)

There are currently no matching articles.