平均遍历定理

mean ergodic theorem