关于Jordan可测集定义的困惑——基于Zorich《数学分析II》的疑问

我完全懂你的疑惑——毕竟Lebesgue测度是Jordan测度的推广，直觉上用更“宽泛”的Lebesgue测度为0来定义似乎更合理，但Zorich这里的选择其实是和Jordan测度自身的构造逻辑、教学脉络紧密相关的，我来拆解一下：

• Jordan测度的自洽构造闭环
  Jordan测度是完全基于**有限闭矩形的并（初等集）**搭建起来的理论，它的所有概念（包括内外测度、边界的测度）都要围绕初等集展开。如果在定义Jordan可测集时直接用Lebesgue测度为0，相当于提前引入了一个后续才会学习的、更“高级”的测度概念，这会打破Jordan测度自身理论的独立性——毕竟Jordan测度的定义应该尽量不依赖尚未建立的Lebesgue测度体系，保持自洽的逻辑闭环。

• 容许集等价性的内禀证明需求
  Zorich的注记提到Jordan可测集就是容许集类，而容许集的核心是“能被初等集从内外逼近到任意精度”（即Jordan外测度=内测度）。如果用“边界Jordan测度为0”作为定义，这个等价性的证明可以完全在Jordan测度的框架内完成：

  集合$E$的边界$\partial E = \overline{E} \setminus \mathring{E}$，而Jordan外测度与内测度的差值，恰好对应着边界的Jordan测度。当且仅当$\partial E$的Jordan测度为0时，$E$的内外测度相等，也就是$E$是容许集。
  如果换成Lebesgue测度为0的条件，虽然结论成立，但证明需要用到Lebesgue测度和Jordan测度的关联（比如Jordan测度为0的集合Lebesgue测度必为0，但反之不成立），这就把Jordan测度的定义和后续的Lebesgue测度绑定了，不符合“先建立Jordan测度，再推广到Lebesgue测度”的教学递进逻辑。

• 尊重概念的历史起源
  Jordan测度诞生于19世纪，比Lebesgue测度早了近30年。在Jordan的原始定义中，根本没有Lebesgue测度的概念，他就是用边界的“容度”（Jordan测度的前身）为0来定义可测集的。Zorich这里沿用这个定义，其实是在还原测度理论的发展脉络，让读者能顺着历史逻辑理解概念的演变，而不是直接用现代的Lebesgue测度“简化”定义，反而跳过了对Jordan测度本质的理解。

简单来说，这个选择的核心动机是保持Jordan测度理论的独立性、逻辑自洽性，以及和历史发展脉络的一致性。虽然用Lebesgue测度为0的条件结论也成立，但会破坏Jordan测度自身的构造逻辑，也不利于你理解测度理论从Jordan到Lebesgue的演进过程。

内容的提问来源于stack exchange，提问作者Our