Abstract. A number of theorems are established about positive definite functions and representations of certain topological semigroups. In particular we establish theorems which show that measurable positive definite functions and measurable representations can each be decomposed into the sum of two parts one of which is continuous and the other of which is "small".1. Introduction. In this paper we aim to prove some theorems about positive definite functions, and about the closely related concept of representations, on locally compact topological semigroups; we shall also answer problems raised in [8] and [9] by improving previous theorems on these topics. Theorems about these concepts must, of necessity, apply to the special case of a topological group, and therefore will normally be a "generalization" of a known result for locally compact groups. The theorems we shall establish are true for groups, as a result of the existence of the group algebra, and so our results will often only apply to semigroups in which there is an analogue of the group algebra. Such semigroups are the so-called foundation semigroups; these semigroups form a large family but do not include all commonly met semigroups; the family includes all topological groups and all discrete semigroups, and is closed under products and subsemigroups and (under some restrictions) quotients.Throughout this paper, we shall be concerned with a semigroup S with a weight function w, and with functions and representations that are w-bounded. The original research which led to this paper was an attempt to prove the two main theorems of Section 4, which concern the representations of positive definite functions and representations, respectively, as the sum of two of them, one being continuous and the other being "small", (4.6 and 4.9). In Section 3 we introduce a lemma of Stone-Weierstrass type that is an essential tool for the results of Section 4, and is also used in Section 6. Firstly, Theorem 4.2 provides a "Bochner theorem" for w-bounded, positive definite functions. We also establish Theorems 5.2 and 6.2 which establish necessary and sufficient conditions for the semi-simplicity of the algebra M(S, w) and for the *-semi-simplicity of M(S, w) if S has an involution, respectively.
As is known, on a locally compact group G, the mere assumption of pointwise convergence of a sequence (n) of continuous positive definite functions implies uniform convergence of (n) to on compact subsets of G. This result was first proved in 1947 by Raikov8 (and independently by Yoshizawa9). An interesting discussion of the relationship between such theorems and various Cramr-Lvy theorems of the 1920s and 1930s, concerning the Central Limit Problem of probability, is given by McKennon(7, p. 62).
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.