Convolution preserves probability measures: its defining pushforward is nonnegative and its total mass is the product of the two unit masses. For every fixed integer the previous coefficient identity gives
The probability version of the Fourier coefficient criterion therefore proves
The fixed compact underlying group and the uniform probability masses supply precisely the bounds needed in the dense-test argument.

Articles by others on the same topic (0)

There are currently no matching articles.