First, . For every ,
It cannot vanish: if for some , then
would imply for every positive integer , contradicting continuity at zero. Thus . Since every characteristic function has modulus at most one,
Now set . It is continuous, nonnegative, and additive:
The classification of a continuous additive function on the nonnegative real numbers gives , where . Consequently

Articles by others on the same topic (0)

There are currently no matching articles.