A theory of integration for Ces\`aro limits

The Ces`aro 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`aro limits have not previously been studied. This paper introduces spaces of such sequences, denoted $K_p(\mathcal{A})$, with the Ces`aro limit acting as a kind of integral. The space $\mathcal{F}$ comprised of all binary sequences with a Ces`aro limit is studied first, along with the associated functional $\nu: $\mathcal{F}$ \rightarrow [0,1]$ mapping each such sequence to its Ces`aro 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`aro 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.