Let 
be a positive definite, measurable function on the interval 
.
Then there exists a monotone increasing, real-valued bounded function 
such that
 |
for "almost all" 
. If 
is nondecreasing and bounded and 
is defined as above, then 
is called the Fourier-Stieltjes transform of 
, and is both continuous and positive definite.
