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.