Compact Korovkin test space
ID: compact-korovkin-test-space
Let be a compact Hausdorff space. A test subspace containing a strictly positive function is sufficient for uniform convergence of positive linear operators on continuous functions if, for each , the only positive linear functional agreeing with point evaluation on is that evaluation itself. By the Riesz-Markov-Kakutani representation theorem, this is uniqueness of the positive measure with the prescribed moments. Boundedness from the positive test function and the Banach-Alaoglu theorem prove the assertion by compactness. When , nonnegative tests with a unique zero at each prescribed give a convenient sufficient condition.
New to topics? Read the docs here!