Past exam of the mathematics course of the University of Cambridge / 2018 / ii / Paper 1 / 27J / d

Set $Z=e^{iuX}$. Then $|Z|=1$ almost surely andThus $Z=\mathbb{E}Z$ almost surely. Its constant value has modulus one, so it equals $e^{i\theta }$ for some $\theta \in \mathbb{R}$. Consequently the unit modulus of a characteristic function criterion gives

Let $X^{\prime }$ be an independent copy of $X$. Part (i), applied simultaneously to $X$ and $X^{\prime }$, givesalmost surely. Since $u/v$ is irrational, the lattices $(2\pi /u)\mathbb{Z}$ and $(2\pi /v)\mathbb{Z}$ intersect only at zero. Hence $X=X^{\prime }$ almost surely.

If two independent variables with the same law agree almost surely, that law is a point mass: for every Borel set $A$, independence givesso every such probability is zero or one. Applying this to half-lines identifies a constant $c$ with $X=c$ almost surely. Therefore the irrational unit-modulus frequencies force a point mass result is