A ratio ergodic theorem in archimedean Riesz spaces (Q1209511)

This paper can be thought of as a continuation of the previous article [ibid. 169, No. 2, 453-475 (1992; review above)]. The Ornstein ratio ergodic theorem is extended to a class of archimedean Riesz spaces. Let \(E\) be an Archimedean Riesz space, let \(\widetilde{E}\) be the Dedekind completion of \(E\) considered as a Riesz subspace of \(\widetilde{E}\), and let \(T: E\to E\) be a positive linear operator. Let \(u\in E\), \(u\neq 0\), let \(I(T,u)\) be the ideal in \(\widetilde{E}\) generated by the set \(\{T^ n u\mid n\in\mathbb{N}\cup \{0\}\}\), and let \(I^*_{00}(T,u)\) be the Riesz space of all order continuous linear functionals on \(I(T,u)\). \(u\) is said to have property \({\mathcal P}\) if \(I^*_{00} (T,u)\) separates the points of \(I(T,u)\). Now let \(f,g\in E\), \(f\geq 0\), \(g \geq 0\), and set \(u_ n= \sum^ n_{i=0} T^ i f\), \(v_ n= \sum^ n_{i=0} T^ i g\) for every \(n\in \mathbb{N}\cup \{0\}\). Let \(B\) be the projection band in \(\widetilde{E}\) generated by the set \(\{T^ ng\mid n\in\mathbb{N}\cup \{0\}\}\), let \(B_ d(B)\) be the band of total ratio individual divergence of the sequence \(((u_ n, v_ n))_{n\in \mathbb{N}\cup \{0\}}\) with respect to \(B\), and assume that \(g\) has property \({\mathcal P}\). The main result of the paper is that if the sequence \(((u_ n,v_ n))_{n\in \mathbb{N}\cup\{0\}}\) does not ratio converge individually on \(B\), then for every \(u\in B_ d(B)\), \(u\neq 0\), there exist \(v\in B(u)\), \(v\neq 0\), and a sequence of modifications \((\omega_ n)_{n\in \mathbb{N}}\) of \(f+g\) such that \((\omega_ n)_{n\in \mathbb{N}}\) diverges individually to \(\infty\) on \(B(v)\) (where \(B(u)\) and \(B(v)\) are the bands in \(\widetilde{E}\) generated by the singletons \(\{u\}\) and \(\{v\}\), respectively).