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

问题在问什么

One of the fundamental structures in modern mathematics is that of a group . Formally, a group is a set equipped with an identity element , a multiplication operation , and an inversion operation obeying the following axioms:

One can also consider additive groups instead of multiplicative groups, with the obvious changes of notation. By convention, additive groups are always understood to be abelian, so it is convenient to use additive notation when one wishes to emphasise the abelian nature of the group structure. As usual, we often abbreviate by (and by ) when there is no chance of confusion.

已知结果和反例

If furthermore is equipped with a topology, and the group operations are continuous in this topology, then is a topological group . Any group can be made into a topological group by imposing the discrete topology , but there are many more interesting examples of topological groups, such as Lie groups , in which is not just a topological space, but is in fact a smooth manifold (and the group operations are not merely continuous, but also smooth).

There are many naturally occuring group-like objects that obey some, but not all, of the axioms. For instance, monoids are required to obey the closure, associativity, and identity axioms, but not the inverse axiom. If we also drop the identity axiom, we end up with a semigroup . Groupoids do not necessarily obey the closure axiom, but obey (versions of) the associativity, identity, and inverse axioms. And so forth.

证明或构造的主线

Another group-like concept is that of a local topological group (or local group , for short), which is essentially a topological group with the closure axiom omitted (but do not obey the same axioms set as groupoids); they arise primarily in the study of local properties of (global) topological groups, and also in the study of approximate groups in additive combinatorics. Formally, a local group is a topological space equipped with an identity element , a partially defined bu

We will often refer to ordinary groups as global groups (and topological groups as global topological groups ) to distinguish them from local groups. Every global topological group is a local group, but not conversely.

阅读时建议盯住的点

One can consider discrete local groups , in which the topology is the discrete topology; in this case, the openness and continuity axioms in the definition are automatic and can be omitted. At the other extreme, one can consider local Lie groups , in which the local group has the structure of a smooth manifold, and the group operations are smooth. We can also consider symmetric local groups , in which (i.e. inverses are always defined). Symmetric local groups have the advanta

A prime example of a local group can be formed by restricting any global topological group to an open neighbourhood of the identity, with the domains

值得单独记下的条目

• (Closure) If , then and are well-defined and lie in . (This axiom is redundant from the above description, but we include it for emphasis.)
• (Associativity) If , then .
• (Local closure) is an open neighbourhood of , and is an open neighbourhood of .
• (Local associativity) If are such that and are both well-defined, then they are equal. (Note however that it may be possible for one of these products to be defined but not the other, in contrast for instance with groupoids.)
• (Local inverse) If and is well-defined, then . (In particular this, together with the other axioms, forces .)
• Show that if a word in a local group is well-defined, then all ways of associating this word give the same answer, and so we can uniquely evaluate as an element in .
• Show that the above general definition is consistent with the usual definitions of the properties “ connected ” and “ locally connected ” from point-set topology.
• Show that a local group is discrete if and only if it is locally trivial.

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

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

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

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

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