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 $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 $ν: \mathcal{F} \rightarrow [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 $ν$ 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},ν)$, where $\mathcal{A}$ is a field of sets isomorphic to a subset of $\mathcal{F}$, and $ν$ 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},ν)$ 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.
