区间的外测度为何恰好等于区间长度？¶

先备知识¶

熟悉外测度、紧区间有限子覆盖与有限区间并。

学习目标¶

完成 (m^*([a,b])=b-a) 的双向证明。

牵引问题¶

覆盖能轻易给上界，怎样阻止许多重叠区间把总长度“算小”？

探索与猜想¶

紧致性把可数覆盖降为有限覆盖，再用有限覆盖长度引理比较端点跨度。

概念与理论¶

障碍¶

定义立即给 (m^*([a,b])\le b-a)，困难是反向不等式。

证明路线¶

先证有限覆盖长度引理，再对略微缩短的紧区间抽取有限子覆盖。

逐步证明¶

上界：\((a-\varepsilon/2,b+\varepsilon/2)\) 覆盖 \([a,b]\)，故 (m^*([a,b])\le b-a+\varepsilon)，令 \(\varepsilon\downarrow0\)。

有限覆盖长度引理。 若有限个开区间 (I_1,\ldots,I_N) 覆盖 \([c,d]\)，则 \(d-c\le\sum_j\ell(I_j)\)。证明可从包含 (c) 的区间出发，每次选择右端点能继续 覆盖当前端点的区间；若在到达 (d) 前停止，就会留下未覆盖点。所得链的净前进量不超过 各区间长度之和，因此覆盖整个 \([c,d]\) 至少付出 (d-c)。

下界用反证。若某可数开区间覆盖 \(\{I_n\}\) 满足 \(\sum_n\ell(I_n)<b-a\)，取 \(\delta>0\) 使该和小于 (b-a-2\delta)。它覆盖紧区间 \([a+\delta,b-\delta]\)，由紧致性抽出有限子覆盖。有限覆盖长度引理给

与选择矛盾。故每个覆盖长度和至少为 (b-a)，从而 \(m^*([a,b])=b-a\)。开、闭、半开有界区间再由任意小端点扩张和单调性得到同一结论。

假设用在何处¶

开覆盖和紧致性给有限子覆盖；缩短端点避免开区间端点问题；有限覆盖长度引理提供下界。

失败边界¶

只展示长度接近 (b-a) 的覆盖不能证明下界；必须排除所有更短覆盖。

例题与迁移¶

例 1：单位区间¶

(m^*([0,1])=1)，这恢复了长度归一化。

例 2：半开区间¶

\([a,b)\subset[a,b]\) 给上界；而 \([a,b-\varepsilon]\subset[a,b)\) 给下界 (b-a-\varepsilon)，令 \(\varepsilon\downarrow0\)。

即时检验与回望¶

即时检验 1¶

证明中紧致性承担什么职责？

即时检验 2¶

为什么下界要对任意覆盖证明？

常见误区与后续¶

• 上界来自构造一个覆盖，下界必须审计所有覆盖。
• 这一定理让外测度真正延续了区间长度，而不是另一个无关函数。

习题与答案¶

习题 1¶

给 \([a,b]\) 构造长度 (b-a+\varepsilon) 的开覆盖。

习题 2¶

下界证明为何使用反证？

习题 3¶

有限子覆盖的长度和为何不超过原可数和？

习题 4¶

若 (a=b)，结论是什么？

习题 5¶

开区间 \((a,b)\) 的外测度是多少？

习题 6¶

半开区间如何得到下界？

习题 7¶

有限覆盖长度引理允许重叠吗？

习题 8¶

为什么不能直接说“显然覆盖至少有区间长”？

习题 9¶

指出缩短区间的长度。

习题 10¶

本结论恢复了长度合同中的哪一项？