陶哲轩博客写数学问题时，通常先把对象定义清楚，再给直觉、反例和证明轮廓。把「254A, Lecture 8: The mean ergodic theorem」改写成可阅读的中文笔记，重点是：问题在问什么、已知到哪一步、下一步最容易走偏在哪。原站广告、分享条和导航已去掉。

问题在问什么

We now begin our study of measure-preserving systems , i.e. a probability space together with a probability space isomorphism (thus is invertible, with T and both being measurable , and for all and all n). For various technical reasons it is convenient to restrict to the case when the -algebra is separable , i.e. countably generated. One reason for this is as follows:

Exercise 1. Let be a probability space with separable. Then the Banach spaces are separable (i.e. have a countable dense subset) for every ; in particular, the Hilbert space is separable. Show that the claim can fail for . (We allow the spaces to be either real or complex valued, unless otherwise specified.)

已知结果和反例

Remark 1. In practice, the requirement that be separable is not particularly onerous. For instance, if one is studying the recurrence properties of a function on a non-separable measure-preserving system , one can restrict to the separable sub- -algebra generated by the level sets for integer n and rational q, thus passing to a separable measure-preserving system on which f is still measurable. Thus we see that in many cases of interest, we can immediately reduce to the separ

We are interested in the recurrence properties of sets or functions . The simplest such recurrence theorem is

证明或构造的主线

Theorem 1. ( Poincaré recurrence theorem ) Let be a measure-preserving system, and let be a set of positive measure. Then . In particular, has positive measure (and is thus non-empty) for infinitely many n.

Proof. For any integer , observe that , and thus by Cauchy-Schwarz

阅读时建议盯住的点

On the other hand, . From this one easily obtains the asymptotic

where o(1) denotes an expression which goes to zero as N goes to infinity. Combining (1), (2), (3) and taking limits as we obtain

值得单独记下的条目

• Initialise j := J-1, s := 0, and r := v.
• If for all then STOP. If instead for some , observe from Lemma 1 that .
• Replace r with , replace s with , and replace j with j-1. Then return to Step 2.
• The operator is a bounded self-adjoint projection on . It maps real functions to real functions, it preserves constant functions (and more generally preserves -measurable functions), and commutes with complex conjugation.
• If f is non-negative, then is non-negative (up to sets of measure zero, of course). More generally, we have a comparison principle : if f, g are real-valued and pointwise a. e., then a.e. Similarly, we have the triangle inequality a.e..
• (Module property) If , then a.e..
• (Contraction) If for some , then . (Hint: do the p=1 and cases first.) This implies in particular that conditional expectation has a unique continuous extension to for (the case is exceptional, but note that is contained in since is finite)

阅读和落地时建议先做的 5 件事

1. 用自己的语言重写定义和结论，不看原文能不能说清对象是什么。
2. 找一个最小反例或边界情形，确认假设少一条会怎样。
3. 把证明拆成可独立检验的引理，每步只保留一个新想法。
4. 若涉及计算或形式化，先写可复现的小例子，再谈一般情形。
5. 记下尚未解决的缺口：缺估计、缺构造，还是缺正确的范畴。

和智能体、形式化工具怎么接

龙虾PRO做 OpenClaw 落地时，数学笔记最有用的部分往往是「可检验的步骤」：定义、反例、引理边界。智能体适合帮忙展开计算和检索，不适合代替你决定哪条假设能扔。

本文侧重全链路风控方法论。落地时请用自身业务单据做回放验证，不要把示例阈值直接当生产策略。 相关：风控体检 · 方案资源