A theory of integration for Cesàro limits
The Cesàro limit - the asymptotic average of a sequence of real numbers - is an operator of fundamental importance in probability, statistics and analysis. Surprisingly, spaces of sequences with Cesàro limits have not previously been studied. This paper introduces spaces of such sequences, denoted Kp(A), with the Cesàro limit acting as a kind of integral. The space F comprised of all binary sequences with a Cesàro limit is studied first, along with the associated functional ν:F→[0,1] mapping each such sequence to its Cesàro limit. It is shown that F can be factored to produce a monotone class on which ν induces a countably additive set function. The space Kp(A) is then defined, and a quotient denoted Kp(A) is shown to be isometrically isomorphic, under certain conditions, to the function space Lp(N,A,ν), where A is a field of sets isomorphic to a subset of F, and ν is a finitely additive measure induced by the functional mentioned above. The Cesàro limit of an element of Kp(A) is shown to be equal to its integral. The complete Lp(N,A,ν) spaces (and by implication, the Kp(A) spaces isomorphic to them) are characterised, and a sufficient condition for these spaces to be separable is identified.