⚡

算子理论Skill operator-theory

此技能用于解决功能分析中算子理论的问题，提供有界算子验证、伴随算子计算、谱理论分析、紧算子识别和谱定理应用等策略，支持工具命令执行。关键词：算子理论，功能分析，数学分析，谱理论，问题解决，工具集成。

其他 0 次安装 0 次浏览 更新于 3/14/2026

name: operator-theory description: “功能分析中算子理论的问题解决策略” allowed-tools: [Bash, Read]

算子理论

何时使用

在处理功能分析中的算子理论问题时使用此技能。

决策树

  1. 有界算子验证

    • ||Tx|| <= M||x|| 对于某个 M
    • 算子范数: ||T|| = sup{||Tx|| : ||x|| = 1}
    • z3_solve.py prove "operator_bounded"

  2. 伴随算子

    • <Tx, y> = <x, Ty> 定义 T
    • 对于矩阵: T* = 共轭转置
    • sympy_compute.py simplify "<Tx, y> - <x, T*y>"

  3. 谱理论

    • 谱: sigma(T) = {lambda : T - lambda*I 不可逆}
    • 自伴: 谱是实数
    • z3_solve.py prove "self_adjoint_real_spectrum"

  4. 紧算子

    • T 紧如果 T(有界集) 有紧闭包
    • 可被有限秩算子逼近
    • sympy_compute.py limit "||T - T_n||" --var n

  5. 谱定理

    • 自伴紧: T = sum(lambda_n * P_n)
    • 特征值 -> 0, 特征向量形成正交归一基

工具命令

Z3_Bounded_Operator

uv run python -m runtime.harness scripts/z3_solve.py prove "norm(Tx) <= M*norm(x)"

Sympy_Adjoint

uv run python -m runtime.harness scripts/sympy_compute.py simplify "<Tx, y> - <x, T_star_y>"

Z3_Spectral

uv run python -m runtime.harness scripts/z3_solve.py prove "self_adjoint implies real_spectrum"

Sympy_Compact

uv run python -m runtime.harness scripts/sympy_compute.py limit "norm(T - T_n)" --var n --at oo

关键技术

来自索引教科书:

  • [Introductory Functional Analysis with Applications] 谱理论是现代功能分析及其应用的主要分支之一。粗略地说，它关注某些逆算子、它们的性质及其与原算子的关系。这种逆算子很自然地出现在解决方程（线性代数方程组、微分方程、积分方程）的问题中。
  • [Introductory Functional Analysis with Applications] 希尔伯特空间中的无界线性算子将在章节中考虑。章节主要内容的简要导向。我们从有限维向量空间开始。
  • [Introductory Functional Analysis with Applications] 实际问题中出现的大多数无界线性算子是闭的或具有闭线性扩展（节。希尔伯特空间中的无界线性算子自伴线性算子的谱是实数，即使在无界情况下（d. T 是通过 T 的 Cayley 变换 U= (T- iI)(T+ iI)-1 获得的（d.
  • [Introductory Functional Analysis with Applications] 紧算子及其谱被称为退化核。这里我们可以假设两个集合 {ab· . 如果具有这种核的方程 (1) 有解 x，表明它必须具有形式 n x(s’ = ji(s) + lot L cjaj(s), j~l 并且未知常数必须满足 cj - n lot L ajkCk = Yj’ k~l 其中 j= 1,···, n.
  • [Introductory Functional Analysis with Applications] 如前所述，我们将复分析应用于谱理论的关键是定理 7。该定理指出，对于每个值 AoEp(n 解析 R>. TE B(X, X) 在复 Banach 空间 X 上具有幂级数表示 (4) R>.

认知工具参考

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