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

问题在问什么

In the prologue for this course, we recalled the classical theory of Jordan measure on Euclidean spaces . This theory proceeded in the following stages:

As long as one is lucky enough to only have to deal with Jordan measurable sets, the theory of Jordan measure works well enough. However, as noted previously, not all sets are Jordan measurable, even if one restricts attention to bounded sets. In fact, we shall see later in these notes that there even exist bounded open sets, or compact sets, which are not Jordan measurable, so the Jordan theory does not cover many classes of sets of interest. Another class that it fails to c

已知结果和反例

Exercise 1 Show that the countable union or countable intersection of Jordan measurable sets need not be Jordan measurable, even when bounded.

This creates problems with Riemann integrability (which, as we saw in the preceding notes, was closely related to Jordan measure) and pointwise limits:

证明或构造的主线

Exercise 2 Give an example of a sequence of uniformly bounded, Riemann integrable functions for that converge pointwise to a bounded function that is not Riemann integrable. What happens if we replace pointwise convergence with uniform convergence ?

These issues can be rectified by using a more powerful notion of measure than Jordan measure, namely Lebesgue measure . To define this measure, we first tinker with the notion of the Jordan outer measure

阅读时建议盯住的点

of a set (we adopt the convention that if is unbounded, thus now takes values in the extended non-negative reals , whose properties 下面会 briefly review below). Observe from the finite additivity and subadditivity of elementary measure that we can also write the Jordan outer measure as

i.e. the Jordan outer measure is the infimal cost required to cover by a finite union of boxes. (The natural number is allowed to vary freely in the above infimum.) We now modify this by replacing the finite union of boxes by a countable union of boxes, leading to the Lebesgue outer measure of :

值得单独记下的条目

• First, one defined the notion of a box and its volume .
• Using this, one defined the notion of an elementary set (a finite union of boxes), and defines the elementary measure of such sets.
• From this, one defined the inner and outer Jordan measures of an arbitrary bounded set . If those measures match, we say that is Jordan measurable , and call the Jordan measure of .
• (Monotonicity) If , then .
• (Countable subadditivity) If is a countable sequence of sets, then . ( Hint: Use the axiom of countable choice, Tonelli’s theorem for series, and the trick used previously to show that countable sets had outer measure zero.)
• (i) Every open set is Lebesgue measurable.
• (ii) Every closed set is Lebesgue measurable.
• (iii) Every set of Lebesgue outer measure zero is measurable. (Such sets are called null sets .)

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

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

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

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

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