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

问题在问什么

Previous set of notes: Notes 2 . Next set of notes: Notes 4 .

We now come to perhaps the most central theorem in complex analysis (save possibly for the fundamental theorem of calculus), namely Cauchy’s theorem , which allows one to compute a large number of contour integrals even without knowing any explicit antiderivative of . There are many forms and variants of Cauchy’s theorem. To give one such version, we need the basic topological notion of a homotopy :

已知结果和反例

Definition 1 (Homotopy) Let be an open subset of , and let , be two curves in .

In the first two cases, the map will be referred to as a homotopy from to , and 下面会 also say that can be continuously deformed to (either with fixed endpoints, or as closed curves).

证明或构造的主线

Example 2 If is a convex set, that is to say that whenever and , then any two curves from one point to another are homotopic, by using the homotopy

For a similar reason, in a convex open set , any two closed curves will be homotopic to each other as closed curves.

阅读时建议盯住的点

We can then phrase Cauchy’s theorem as an assertion that contour integration on holomorphic functions is a homotopy invariant. More precisely:

Theorem 4 (Cauchy’s theorem) Let be an open subset of , and let be holomorphic.

值得单独记下的条目

• (i) If have the same initial point and terminal point , we say that and are homotopic with fixed endpoints in if there exists a continuous map such that and for all , and such that and for all .
• (ii) If are closed (but possibly with different initial points), we say that and are homotopic as closed curves in if there exists a continuous map such that and for all , and such that for all .
• (iv) If and are closed curves, we say that and are homotopic as closed curves up to reparameterisation in if there is a reparameterisation of which is homotopic as closed curves in to a reparameterisation of .
• (i) Prove that the property of being homotopic with fixed endpoints in is an equivalence relation.
• (ii) Prove that the property of being homotopic as closed curves in is an equivalence relation.
• (v) If are curves with the same initial point and the same terminal point, show that is homotopic to with fixed endpoints in if and only if is homotopic to a point in .
• (vi) If is connected, and are any two curves in , show that there exists a continuous map such that and for all . Thus the notion of homotopy becomes rather trivial if one does not fix the endpoints or require the curve to be closed.
• (vii) Show that if is a reparameterisation of , then and are homotopic with fixed endpoints in U.

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

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

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

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

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