⚡

σ-代数解题技能Skill sigma-algebras

这个技能专注于解决测度论中的sigma代数相关问题，包括公理验证、生成方法、可测性检查和乘积代数构建。适用于概率论、数据分析和量化交易场景。关键词：sigma代数, 测度论, 可测函数, 概率论, 量化金融, 数据分析。

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

名称: sigma-algebras 描述: “测度论中sigma代数的解题策略” 允许工具: [Bash, Read]

Sigma 代数

何时使用

在处理测度论中的sigma代数问题时使用此技能。

决策树

  1. 验证sigma代数公理

    • X 在 F 中（整个空间是可测的）
    • A 在 F 中意味着 A^c 在 F 中（对补集封闭）
    • A_n 在 F 中意味着 并集(A_n) 在 F 中（对可数并集封闭）
    • z3_solve.py prove "sigma_algebra_axioms"

  2. sigma代数生成

    • 从生成集合 C 开始
    • sigma© = 包含 C 的最小sigma代数
    • 使用 Dynkin 的 pi-lambda 定理保证唯一性

  3. 可测性验证

    • f 是可测的，如果对于所有 Borel 集 B，f^{-1}(B) 在 F 中
    • 充分条件：检查开集或区间
    • sympy_compute.py simplify "preimage(f, interval)"

  4. 乘积sigma代数

    • F1 x F2 = sigma{A x B : A 在 F1 中, B 在 F2 中}
    • 投影是可测的

工具命令

Z3_Sigma_Axioms

uv run python -m runtime.harness scripts/z3_solve.py prove "X_in_F and closed_under_complement and closed_under_countable_union"

Z3_Dynkin_Pi_Lambda

uv run python -m runtime.harness scripts/z3_solve.py prove "pi_system_subset_lambda implies sigma_equal"

Sympy_Preimage

uv run python -m runtime.harness scripts/sympy_compute.py simplify "f_inv(A_union_B) == f_inv(A) | f_inv(B)"

关键技术

来自索引教科书：

  • [Statistical Inference (George Casella… (Z-Library)] 概率论 定义 1. 集合 S 的子集集合被称为一个 sigma 代数（或 Borel 域），记作 B，如果它满足以下三个性质：a. B（空集是 B 的一个元素）。
  • [Measure, Integration Real Analysis (… (Z-Library)] S T 是包含可测矩形的最小 s-代数。S T 上述技术应尽可能使用。然而，在某些情况下，似乎没有合理的方法来验证具有所需性质的集合集合是一个 s-代数。
  • [Statistical Inference (George Casella… (Z-Library)] 因此，再次由性质 (b)，N2, A; € B。与样本空间 § 相关联，我们可以有许多不同的 sigma 代数。例如，两个集合 {#, S} 的集合是一个 sigma 代数，通常称为平凡 sigma 代数。
  • [Real Analysis (Halsey L. Royden, Patr… (Z-Library)] 命题 13 设 F 是集合 X 的子集集合。那么所有包含 F 的 X 子集的 σ-代数的交集 A 是一个包含 F 的 σ-代数。此外，它是包含 F 的最小 σ-代数，意义是任何包含 F 的 σ-代数也包含 A。
  • [Real Analysis (Halsey L. Royden, Patr… (Z-Library)] 设 M 是集合 X 的子集集合，这些子集要么可数，要么在 X 中有可数补集。对于 E ∈ M，定义 µ(E) = 0 如果 E 可数，µ(E) = 1，如果 E 有可数补集。这个测度空间是完备的吗？

认知工具参考

查看 .claude/skills/math-mode/SKILL.md 获取完整工具文档。