Read the coefficient inside the limit as ; the printed omission of its index would otherwise make that condition independent of the sequence. Weak-star convergence immediately implies convergence of every coefficient by testing . Conversely coefficient convergence gives convergence against every trigonometric polynomial. Since , the dense-test argument yields weak-star convergence to .
The limit is necessarily a probability. Testing the constant function gives . For every nonnegative continuous , . A Radon measure whose integrals against all such functions are nonnegative is positive, by the positive case of the Riesz representation theorem (or continuous approximation of Borel indicators). Thus is nonnegative and has total mass one.

Articles by others on the same topic (0)

There are currently no matching articles.