Let a flow TtTt preserve an ergodic probability measure μμ, ∫f dμ=0∫fdμ=0, and μ(A)>0μ(A)>0. Then for almost all x∈Ax∈A, for which f(x)≠0f(x)=0, there is a sequence tk→∞tk→∞ such that Ttkx∈ATtkx∈A and ∫0tkf(Tsx)ds=0∫0tkf(Tsx)ds=0.
生成讲解博客的中文版本
生成AI智能校验的中文版本