名称: integration-theory 描述: “测度论中积分理论的问题解决策略” 允许的工具: [Bash, Read]
积分理论
何时使用
在处理测度论中的积分理论问题时使用此技能。
决策树
-
简单函数积分
- 对于 s = sum(a_i * chi_{E_i})：积分 s dmu = sum(a_i * mu(E_i))
sympy_compute.py simplify \"simple_integral\"
-
单调收敛定理 (MCT)
- 如果 0 <= f_n <= f_{n+1} 且 f_n -> f：
- lim 积分(f_n) = 积分(lim f_n)
- 用于递增序列
-
控制收敛定理 (DCT)
- 如果 |f_n| <= g (可积) 且 f_n -> f 点态收敛：
- lim 积分(f_n) = 积分(f)
z3_solve.py prove \"dominated_convergence\"
-
Fatou引理
- 积分(liminf f_n) <= liminf(积分 f_n)
- 当MCT/DCT不适用时用作下界
-
Fubini-Tonelli定理
- 对于乘积测度：切换积分顺序
- Tonelli：非负函数（总是有效）
- Fubini：可积函数
工具命令
Sympy_Simple_Integral
uv run python -m runtime.harness scripts/sympy_compute.py integrate \"sum(a_i * chi_E_i)\" --var mu
Z3_Mct
uv run python -m runtime.harness scripts/z3_solve.py prove \"f_n_increasing implies lim_integral_equals_integral_lim\"
Z3_Dct
uv run python -m runtime.harness scripts/z3_solve.py prove \"abs(f_n) <= g and g_integrable implies limit_exchange\"
Sympy_Fatou
uv run python -m runtime.harness scripts/sympy_compute.py limit \"liminf(integral_f_n)\" --comparison \"integral_liminf_f_n\"
关键技术
来自索引教科书：
- [测度、积分与实分析 (… (Z-Library)] 如果您以悠闲的节奏学习，那么在第一学期覆盖第1-5章可能是一个好目标。如果节奏稍快，那么在第一学期覆盖第1-6章可能更合适。对于第二学期的课程，覆盖第6章到第12章的某个子集应该能构成一门好课程。
- [测度、积分与实分析 (… (Z-Library)] 假设B是一个Borel集，f : B R是一个Lebesgue可测函数。B : g(x) = f (x) gj 开放获取 本章根据知识共享署名-非商业性4.0国际许可证（http://creativecommons.）许可。
- [测度、积分与实分析 (… (Z-Library)] 米兰的Maria Gaetana Agnesi雕像，她于1748年出版了最早的微积分教科书之一。她的书的英文翻译于1801年出版。在本章中，我们开发了一种比微积分先驱们所考虑的方法更强大的积分方法。
- [测度、积分与实分析 (… (Z-Library)] 教师序言 第3章：在本章中，以自然的方式首先对非负可测函数，然后对实值可测函数定义了对测度的积分。单调收敛定理和控制收敛定理是本章的重大结果，允许我们在适当条件下交换积分和极限。教师序言 第8章：本章重点介绍Hilbert空间，它在现代数学中扮演核心角色。
- [测度、积分与实分析 (… (Z-Library)] 第6章：在快速回顾度量空间和向量空间后，本章定义了赋范向量空间。这里的重大结果是Hahn–Banach定理，关于将有界线性泛函从子空间扩展到整个空间。然后本章介绍了Banach空间。
认知工具参考
查看 .claude/skills/math-mode/SKILL.md 获取完整工具文档。