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

问题在问什么

Recently, I have been studying the concept of amenability on groups. This concept can be defined in a “combinatorial” or “finitary” fashion, using Følner sequences , and also in a more “functional-analytic” or “infinitary”‘ fashion, using invariant means. I wanted to get some practice passing back and forth between these two definitions, so I wrote down some notes on how to do this, and also how to take some facts about amenability that are usually proven in one setting, and

For simplicity I will restrict attention to countable groups . Given any and , I define the left-translation by the formula . Given as well, I define the inner product whenever the right-hand side is convergent.

已知结果和反例

All spaces are real-valued. The cardinality of a finite set is denoted . The symmetric difference of two sets is denoted .

A finite mean is a non-negative, finitely supported function such that . A mean is a non-negative linear functional such that . Note that every finite mean can be viewed as a mean by the formula .

证明或构造的主线

The following equivalences were established by Følner :

Theorem 1 Let be a countable group. Then the following are equivalent:

阅读时建议盯住的点

(i) implies (ii): Suppose for contradiction that (ii) failed, then there exists such that for all means . The set is then a convex set of that is bounded away from zero. Applying the Hahn-Banach separation theorem, there thus exists a linear functional such that for all means . Since , there thus exist for such that for all means , thus . Specialising to the Kronecker means we see that pointwise. Applying the mean , we conclude that . But this contradicts the left-invariance

(ii) implies (iii): Fix (which we can take to be non-empty), and let be a small quantity to be chosen later. By (ii) we can find a finite mean such that

值得单独记下的条目

• (i) There exists a left-invariant mean , i.e. mean such that for all and .
• (ii) For every finite set and every , there exists a finite mean such that for all .
• (iii) For every finite set and every , there exists a non-empty finite set such that for all .
• (iv) There exists a sequence of non-empty finite sets such that as for each . (Such a sequence is called a Følner sequence .)

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

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

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

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

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