Irrational unit-modulus frequencies force a point mass

ID: irrational-unit-modulus-frequencies-force-a-point-mass

If is irrational and , then is almost surely constant. For independent copies , both and lie in almost surely; irrationality makes the two corresponding lattices intersect only at zero, so almost surely. Two independent identically distributed variables can agree almost surely only when their common law is a point mass.

New to topics? Read the docs here!