一个CAT（0）值点态遍历定理
A CAT(0)-valued pointwise ergodic theorem
摘要：
本文证明了取值于可分完备CAT（0）-空间的函数的逐点遍历定理，类似于Lindenstrauss关于概率空间上实值可积函数的逐点遍历定理，该定理服从L.C.S.C.群作用，其中在CAT（0）设置中，遍历平均的作用是由CAT（0）值映射沿群作用轨道的经验分布的重心所起的.证明依赖于一个近似参数和呼吁的结果，实值映射。
英文摘要：
In this note we prove the a pointwise ergodic theorem for functions taking values in a separable complete CAT(0)-space, analogous to Lindenstrauss' pointwise ergodic theorem for real-valued integrable functions on a probability space subject to a probability-preserving action of an amenable l.c.s.c. group, where in the CAT(0) setting the role of ergodic averages is played by the barycentres of the empirical distributions of a CAT(0)-valued map along an orbit of the group action. The proof rests on an approximation argument and an appeal to that result for real-valued maps.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
