Twierdzenie Bochnera dostarcza kryterium kiedy funkcja
jest funkcją charakterystyczną pewnego rozkładu prawdopodobieństwa.
Funkcja
jest funkcją charakterystyczną pewnego rozkładu prawdopodobieństwa wtedy i tylko wtedy, gdy jest ciągła, dodatnio określona i
.
J.Jakubowski, R.Sztencel: Wstęp do teorii prawdopodobieństwa, wydanie II, str. 192