⚡

勒贝格测度技能Skill lebesgue-measure

本技能提供勒贝格测度在测量理论中的问题解决策略，涵盖外测度构造、Caratheodory准则、勒贝格测度性质等关键技术，适用于数学分析、实分析的学习和研究，帮助用户理解和应用勒贝格测度理论。关键词：勒贝格测度、测量理论、数学分析、实分析、外测度、Caratheodory准则、Borel集、可测集、正则性定理。

数据分析 0 次安装 0 次浏览 更新于 3/14/2026

name: lebesgue-measure description: “测量理论中勒贝格测度的问题解决策略” allowed-tools: [Bash, Read]

勒贝格测度

何时使用

在测量理论中处理勒贝格测度问题时使用此技能。

决策树

  1. 外测度构造

    • m*(A) = inf{sum |I_n| : A subset union(I_n)}
    • sympy_compute.py sum "length(I_n)" --var n

  2. Caratheodory准则

    • E 是可测的如果：对于所有 A，m*(A) = m*(A & E) + m*(A & E^c)
    • z3_solve.py prove "caratheodory_criterion"

  3. 勒贝格测度性质

    • 平移不变性：m(E + x) = m(E)
    • 在可测集上的 sigma-可加性
    • m([a,b]) = b - a

  4. 正则性定理

    • 内正则性：m(E) = sup{m(K) : K 紧致, K subset E}
    • 外正则性：m(E) = inf{m(U) : U 开集, E subset U}

工具命令

Sympy_Outer_Measure

uv run python -m runtime.harness scripts/sympy_compute.py sum "length(I_n)" --var n --from 1 --to oo

Z3_Caratheodory

uv run python -m runtime.harness scripts/z3_solve.py prove "mu(A) == mu(A & E) + mu(A & E_complement)"

Sympy_Borel_Sets

uv run python -m runtime.harness scripts/sympy_compute.py simplify "open_set_countable_union"

关键技术

来自索引教科书：

  • [Measure, Integration & Real Analysis (… (Z-Library)] 勒贝格测度在勒贝格可测集上比在Borel集上有一个小优势：每个具有（外）测度0的集合的子集是勒贝格可测的，但不一定是Borel集。然而，任何产生R的子集的自然过程都会产生Borel集。因此，这个小优势在实践中很少出现。
  • [Measure, Integration & Real Analysis (… (Z-Library)] B j j 你可能早就怀疑不是R的每个子集都是Borel集。现在 j j j j 第2D节 勒贝格测度限制在Borel集上，是一个测度。Borel集 外测度是(R, B)上的一个测度。
  • [Measure, Integration & Real Analysis (… (Z-Library)] 术语 Lebesgue set 在平行于术语 Borel set 的意义上会很有道理。然而，Lebesgue set 有另一个含义，所以我们需要使用 Lebesgue measurable set。每个勒贝格可测集与一个Borel集相差一个外测度为0的集。
  • [Measure, Integration & Real Analysis (… (Z-Library)] 如果你以悠闲的节奏学习，那么在第一个学期覆盖第1-5章可能是一个好目标。如果你学得快一点，那么在第一个学期覆盖第1-6章可能更合适。对于第二个学期的课程，覆盖第6章到第12章的某个子集应该能产生一个好的课程。
  • [Measure, Integration & Real Analysis (… (Z-Library)] Egorov定理，它指出可测函数序列的点态收敛接近于一致收敛，在后续章节中有多种应用。Luzin定理，回到R的背景下，听起来很壮观，但在这本书中没有其他用途，因此如果时间紧迫，可以跳过。第4章：本章的亮点是勒贝格微分定理，它允许我们对积分进行微分。

认知工具参考

参见 .claude/skills/math-mode/SKILL.md 获取完整的工具文档。