Bochner and Bernstein theorems via the nuclear integral representation theorem

We show how, using the nuclear integral representation theorem, the Bernstein–Choquet theorem and Bochner–Schwartz theorem may be derived. In the case of the Bernstein–Choquet theorem we give an example, determining the representing measure explicitly.  2004 Elsevier Inc. All rights reserved