name: banach-spaces description: “功能分析中巴拿赫空间的问题解决策略” allowed-tools: [Bash, Read]
巴拿赫空间
何时使用
在功能分析中处理巴拿赫空间问题时使用此技能。
决策树
-
验证巴拿赫空间
- 完全赋范向量空间
- 检查：每个柯西序列收敛
z3_solve.py prove "completeness"
-
Hahn-Banach 定理
- 扩展有界线性泛函
- 分离凸集
z3_solve.py prove "extension_exists"
-
开映射定理
- 巴拿赫空间之间的满射有界算子是开的
- 结果：有界逆存在
z3_solve.py prove "open_mapping"
-
闭图像定理
- T: X -> Y 有闭图像意味着 T 有界
- 策略：验证图像闭包，得出有界性
z3_solve.py prove "closed_graph_implies_bounded"
-
一致有界原理
- 点态有界的算子族是一致有界的
- 应用：证明算子族有界
工具命令
Z3_完备性
uv run python -m runtime.harness scripts/z3_solve.py prove "cauchy_sequence implies convergent"
Z3_开映射
uv run python -m runtime.harness scripts/z3_solve.py prove "T_surjective_bounded implies T_open"
Z3_闭图像
uv run python -m runtime.harness scripts/z3_solve.py prove "graph_closed implies T_bounded"
Sympy_范数
uv run python -m runtime.harness scripts/sympy_compute.py simplify "norm(alpha*x + beta*y)"
关键技术
来自索引教材：
- [Introductory Functional Analysis with Applications] 如果 (X, d) 是一个伪度量空间，我们称集合 B(xo; r) = {x ∈ X | d(x, xo) < r} 为 X 中以 Xo 为中心、半径为 r 的开球。注意这与 1 类似。问题中半径为 1 的开球是什么。
- [Measure, Integration & Real Analysis (… (Z-Library)] 第 5C 节 Rn 上的 Lebesgue 积分 11 假设 E 是 Rm × Rn 的子集，并且 Rm : (x, y) → x ∈ E 对于某个 y。定义 f : R2 → R 由 = (0, 0), (a) 证明 D1(D2 f) 和 D2(D1 f) 在 R2 上处处存在。显示 D1(D2 f) © 解释为什么 (b) 不违反 5。
- [Real Analysis (Halsey L. Royden, Patr… (Z-Library)] Hahn-Banach 定理具有相当谦逊的性质。其陈述所需的唯一数学概念是线性空间和线性、次加性、正齐次泛函。除了 Zorn 引理，其证明仅依赖于实数的基本性质。
- [Introductory Functional Analysis with Applications] 如果在赋范空间 X 中，任何级数的绝对收敛总是意味着该级数的收敛，证明 X 是完备的。证明在巴拿赫空间中，绝对收敛级数是收敛的。Schauder 基) 证明如果赋范空间有 Schauder 基，它是可分的。
- [Introductory Functional Analysis with Applications] 零算子 0 和恒等算子 I 的伴随是什么？零化子) 设 X 和 Y 是赋范空间，T: X → Y 是一个有界线性算子，M = (¥t( T)，T 的值域的闭包。赋范和巴拿赫空间的基本定理 为了完成这个讨论，我们还应列出伴随算子 T X 的 T: X → Y 和 Hilbert-伴随算子 T* 的 T: H1 → H2 之间的一些主要差异，其中 X, Y 是赋范空间，H1, H2 是 Hilbert 空间。
认知工具参考
完整工具文档请参见 .claude/skills/math-mode/SKILL.md。