Uniqueness of a law from its characteristic function

Let $\mu ,\nu$ be the two laws. For every real $\xi$, F1 gives $\widehat{\mu }(\xi )={\phi }_{\mu }(-2\pi \xi )={\phi }_{\nu }(-2\pi \xi )=\widehat{\nu }(\xi )$. Each positive probability law, regarded as a complex measure, has total variation one: every measurable partition has sum of absolute masses equal to its total mass. Thus the finite-variation hypotheses of Fourier uniqueness hold.

Apply F2 in dimension one to obtain $\mu =\nu$. AC is inherited from that proof: it supplies the Hahn/Jordan and Radon–Nikodym selections used in Gaussian smoothing and covers its regularity argument. No inversion result from this page is used.

For the final equivalence, F5 with $a=-1,b=0$ and F4 give ${\phi }_{-X}(t)={\phi }_X(-t)=\overline{{\phi }_X(t)}$. If ${\phi }_X$ is real-valued, the two characteristic functions agree and step 2.1 proves symmetry of the law. Conversely, symmetry means the two laws, hence their defining integrals, agree; the displayed identity then forces ${\phi }_X(t)=\overline{{\phi }_X(t)}$, so every value is real.