The pointwise ergodic theorem on finitely additive spaces

TL;DR

This paper extends the pointwise ergodic theorem to finitely additive probability spaces by introducing a new form of convergence called finite almost sure convergence, and adapting key quantitative results through an extended Calderón transference principle.

Contribution

It introduces finite almost sure convergence and proves the ergodic theorem in finitely additive spaces, extending classical results to a broader measure-theoretic context.

Findings

Finite almost sure convergence is suitable for finitely additive measures.

The pointwise ergodic theorem holds in finitely additive probability spaces.

Quantitative ergodic theorems are valid in this setting via an extended Calderón transference.

Abstract

The almost sure convergence of ergodic averages in Birkhoff's pointwise ergodic theorem is known to fail in the finitely additive setting. We introduce a natural reformulation of almost sure convergence suitable for finitely additive measures, which we call finite almost sure convergence. Unlike the classical formulation, finite almost sure convergence only involves measures of finite unions and intersections, making it well adapted to finitely additive spaces. Using this notion, we extend the pointwise ergodic theorem to finitely additive probability spaces. Our proof relies on demonstrating that several quantitative generalizations of the pointwise ergodic theorem remain valid in the finitely additive setting via an extension of the Calder\'on transference principle. The result then follows by exploiting the relationships between quantitative notions of almost sure convergence developed by the author and Powell (c.f. Trans. Amer. Math. Soc. Series B 12 (2025), 974-1019).