Published online by Cambridge University Press: 20 November 2018
One of the most basic theorems in harmonic analysis on locally compact commutative groups is Bochner's theorem (see [16, p. 19]). This theorem characterizes the positive definite functions. In 1971, R. Lindhal and P. H. Maserick proved a version of Bochner's theorem for discrete commutative semigroups with identity and with an involution * (see [13]). Later, in 1980, C. Berg and P. H. Maserick in [6] generalized this theorem for exponentially bounded positive definite functions on discrete commutative semigroups with identity and with an involution *. In this work we develop these results, and also the Hausdorff moment theorem, for an extensive class of topological semigroups, the so-called “foundation topological semigroups”. We shall give examples to show that these theorems do not extend in the obvious way to general locally compact topological semigroups.