Interpret convergence in as uniform convergence, and work first with real continuous functions. Set , for , and put . The given barriers have one independent of both and . A positive linear operator on continuous functions preserves non-strict inequalities, so application of and evaluation at giveStrict pointwise inequalities need not remain strict under a positive operator; non-strict ones suffice. Linearity and the cancellation of the exact moments yieldSubtracting rather than therefore gives the quadratic barrier estimate for positive approximation operators:For fixed , all three moment errors tend uniformly to zero. Thus . Since was arbitrary,This completes the Korovkin theorem proof. Complex-valued functions follow by applying the real result to real and imaginary parts. Uniform convergence of the three test functions is essential to this uniform conclusion; purely pointwise test convergence should not be silently substituted.
Articles by others on the same topic
There are currently no matching articles.