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

问题在问什么

One of the most fundamental concepts in Euclidean geometry is that of the measure of a solid body in one or more dimensions. In one, two, and three dimensions, we refer to this measure as the length , area , or volume of respectively. In the classical approach to geometry, the measure of a body was often computed by partitioning that body into finitely many components, moving around each component by a rigid motion (e.g. a translation or rotation), and then reassembling those

With the advent of analytic geometry , however, Euclidean geometry became reinterpreted as the study of Cartesian products of the real line . Using this analytic foundation rather than the classical geometrical one, it was no longer intuitively obvious how to define the measure of a general subset of ; 下面会 refer to this (somewhat vaguely defined) problem of writing down the “correct” definition of measure as the problem of measure . (One can also pose the problem of measure o

已知结果和反例

To see why this problem exists at all, let us try to formalise some of the intuition for measure discussed earlier. The physical intuition of defining the measure of a body to be the sum of the measure of its component “atoms” runs into an immediate problem: a typical solid body would consist of an infinite (and uncountable) number of points, each of which has a measure of zero; and the product is indeterminate. To make matters worse, two bodies that have exactly the same num

Of course, one can point to the infinite (and uncountable) number of components in this disassembly as being the cause of this breakdown of intuition, and restrict attention to just finite partitions. But one still runs into trouble here for a number of reasons, the most striking of which is the Banach-Tarski paradox , which shows that the unit ball in three dimensions can be disassembled into a finite number of pieces (in fact, just five pieces suffice), which can then be re

证明或构造的主线

Here, the problem is that the pieces used in this decomposition are highly pathological in nature; among other things, their construction requires use of the axiom of choice . (This is in fact necessary; there are models of set theory without the axiom of choice in which the Banach-Tarski paradox does not occur, thanks to a famous theorem of Solovay .) Such pathological sets almost never come up in practical applications of mathematics. Because of this, the standard solution

These questions are somewhat open-ended in formulation, and there is no unique answer to them; in particular, one can expand the class of measurable sets at the expense of losing one or more nice properties of measure in the process (e.g. finite or countable additivity, translation invariance, or rotation invariance). However, there are two basic answers which, between them, suffice for most applications. The first is the concept of Jordan measure of a Jordan measurable set,

阅读时建议盯住的点

In the rest of the course, 下面会 formally define Lebesgue measure and the Lebesgue integral, as well as the more general concept of an abstract measure space and the associated integration operation. In the rest of this post, 下面会 discuss the more elementary concepts of Jordan measure and the Riemann integral. This material will eventually be superceded by the more powerful theory to be treated in the main body of the course; but it will serve as motivation for that later materi

Before we discuss Jordan measure, we discuss the even simpler notion of elementary measure , which allows one to measure a very simple class of sets, namely the elementary sets (finite unions of boxes).

值得单独记下的条目

• What does it mean for a subset of to be measurable?
• If a set is measurable, how does one define its measure?
• What nice properties or axioms does measure (or the concept of measurability) obey?
• Are “ordinary” sets such as cubes, balls, polyhedra, etc. measurable?
• Does the measure of an “ordinary” set equal the “naive geometric measure” of such sets? (e.g. is the measure of an rectangle equal to ?)
• can be expressed as the finite union of disjoint boxes.
• The inner Jordan measure of is defined as
• The outer Jordan measure of is defined as

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

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

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

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

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