⚡

紧致性Skill compactness

本技能提供拓扑学中紧致性问题的解决策略和方法，包括决策树、工具命令和关键技巧，帮助用户理解和应用紧致性概念。关键词：拓扑学，紧致性，数学分析，问题解决，算法工具，海涅-博雷尔定理，吉洪诺夫定理。

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

名称: 紧致性 描述: “拓扑学中紧致性问题的解决策略” 允许的工具: [Bash, Read]

紧致性

何时使用

当处理拓扑学中的紧致性问题时使用此技能。

决策树

  1. X 是否紧致？

    • 如果 X 是 R^n 的子集：X 是否闭集且有界？（海涅-博雷尔定理）
    • 如果 X 是度量空间：每个序列是否有收敛子序列？
    • 一般情况：每个开覆盖是否有有限子覆盖？
    • z3_solve.py prove "bounded_and_closed"

  2. 紧致性测试

    • 海涅-博雷尔定理（R^n）：闭集 + 有界 = 紧致
    • 序列紧致性：每个序列有收敛子序列
    • sympy_compute.py limit "a_n" --var n 检查收敛性

  3. 乘积空间

    • 吉洪诺夫定理：紧致空间的乘积是紧致的
    • 有限乘积直接保持紧致性

  4. 紧致性的后果

    • 紧致空间的连续像是紧致的
    • 紧致集上的连续实函数达到最大值/最小值
    • sympy_compute.py maximum "f(x)" --var x --domain "[a,b]"

工具命令

Z3_Bounded_Closed

uv run python -m runtime.harness scripts/z3_solve.py prove "bounded_and_closed"

Sympy_Limit

uv run python -m runtime.harness scripts/sympy_compute.py limit "a_n" --var n --at oo

Sympy_Maximum

uv run python -m runtime.harness scripts/sympy_compute.py maximum "f(x)" --var x --domain "[a,b]"

关键技巧

来自索引教科书：

  • [拓扑学 (Munkres, James Raymond) (Z-Library)] 紧致空间163 164连通性和紧致性章。它不如前者自然或直观；需要一些熟悉度才能发现其有用性。空间X的子集族A被称为覆盖X，或称为X的覆盖，如果A中元素的并集等于X。
  • [实分析 (Halsey L. Royden, Patr… (Z-Library)] 如果 X 包含多于一个点，证明 B 的唯一可能极值点范数为 1。如果 X = Lp[a, b], 1 < p < ∞，证明 B 中的每个单位向量是 B 的极值点。如果 X = L∞[a, b]，证明 B 的极值点是那些函数 f ∈ B 使得 |f | = 1 在 [a, b] 上几乎处处成立。
  • [拓扑学 (Munkres, James Raymond) (Z-Library)] 证明在R的有限补拓扑中，每个子空间是紧致的。如果R具有由所有集合A组成的拓扑，使得R−A要么可数要么为全R，[0,1]是紧致子空间吗？证明X的紧致子空间的有限并是紧致的。
  • [实分析 (Halsey L. Royden, Patr… (Z-Library)] Eberlein-Šmulian 定理。弱拓扑的可度量性。X 是自反的；(ii) B 是弱紧致的；(iii) B 是弱序列紧致的。
  • [拓扑学 (Munkres, James Raymond) (Z-Library)] 假设Y是紧致的，且A={Aα}α∈J是Y在X中开集的覆盖。那么集合{Aα∩Y|α∈J}是Y在Y中开集的覆盖；因此有限子集合{Aα1∩Y,. Aαn}是覆盖Y的A的子集合。

认知工具参考

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