Uniqueness theorem for characteristic functions (source code)

= Uniqueness theorem for characteristic functions

Two finite Borel measures on $\mathbb R$ with the same characteristic function are equal. One proof convolves both measures with centered Gaussians, applies Fourier inversion to the smooth densities, and then lets the Gaussian variance tend to zero.