A theory of integration for Cesàro limits

Abstract

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 $K_p(\mathcal{A})$, with the Cesàro limit acting as a kind of integral. The space $\mathcal{F}$ comprised of all binary sequences with a Cesàro limit is studied first, along with the associated functional $\nu :\mathcal{F}\to [0,1]$ mapping each such sequence to its Cesàro limit. It is shown that $\mathcal{F}$ can be factored to produce a monotone class on which $\nu$ induces a countably additive set function. The space $K_p(\mathcal{A})$ is then defined, and a quotient denoted ${\mathcal{K}}_p(\mathcal{A})$ is shown to be isometrically isomorphic, under certain conditions, to the function space ${\mathcal{L}}_p(\mathbb{N},\mathcal{A},\nu )$, where $\mathcal{A}$ is a field of sets isomorphic to a subset of $\mathcal{F}$, and $\nu$ is a finitely additive measure induced by the functional mentioned above. The Cesàro limit of an element of $K_p(\mathcal{A})$ is shown to be equal to its integral. The complete ${\mathcal{L}}_p(\mathbb{N},\mathcal{A},\nu )$ spaces (and by implication, the ${\mathcal{K}}_p(\mathcal{A})$ spaces isomorphic to them) are characterised, and a sufficient condition for these spaces to be separable is identified.

References in corpus (1)

• Binary sequences with a Cesàro limit