数学观和方法论规则

• 数学体系的最终起点是公理，公理引入原始概念并规定其基本性质，原始概念无需定义也无需证明。

• 任何新的概念都要通过定义来从已有的概念（原始概念或已定义概念）引入，之后才能用。

• 任何定理都要是为了解决概念之间的转化关系而引入，内容都是在描述概念之间能够怎样转化。具体而言，每个定理的陈述必须明确"从概念A（在什么条件下）可以转化为概念B"，即定理的核心是揭示 A → B 或 A ⟺ B 的转化路径。

写作规范

转化类型

章节标题必须使用具体的转化动词，而非笼统的"转化"。常见的转化类型包括：

条件标注

若转化需要前提条件，须在标题中标注，格式为"（条件描述）"。无条件转化无需标注。

概念的写法

每个概念按以下格式呈现：

• 概念名：定义内容。依赖：[所依赖的已有概念(章节号)]。

示例：外测度：μ*: P(X)→[0,+∞]，满足：(1) μ*(∅)=0；(2) 单调性：A⊆B 蕴含 μ*(A)≤μ*(B)；(3) 可数次可加性：μ*(∪A_n)≤Σμ*(A_n)。依赖：[集合]。

定理的写法

每个定理按以下格式呈现：

• [编码] 定理名：[概念A] 怎样转化为 [概念B] 的具体陈述。
  • 证明链：A → B → C → ...（在推理链条中引用所依据的公理/定理编码）。

章节组织

每章以问题为标题，按以下结构组织：

1. 章节标题：用[具体动词]将[概念A][动词][概念B]（[条件]）
2. 引入概念：为解决该问题需要引入的新概念及其定义。
3. 建立转化：建立概念之间转化关系的定理及证明链。
4. 章节之间按依赖关系排列，不得前向引用未定义的概念。

示例：

将外测度限制为测度（限制在 Carathéodory 可测集族上）

设 μ* 为 X 上的外测度。若将 μ* 限制在满足 Carathéodory 条件的集族 ℳ 上，则 ℳ 构成 X 上的 σ-代数，且 μ*|_ℳ 为 ℳ 上的测度。

• 外测度：μ*: P(X)→[0,+∞]，满足：(1) μ*(∅)=0；(2) 单调性：A⊆B 蕴含 μ*(A)≤μ*(B)；(3) 可数次可加性：μ*(∪A_n)≤Σμ*(A_n)。依赖：[集合]。
• Carathéodory 条件：E⊆X 满足 μ*(A)=μ*(A∩E)+μ*(A\E) 对一切 A⊆X 成立。依赖：[外测度(1)]。
• σ-代数：X 的子集族 ℱ，满足：(1) X∈ℱ；(2) A∈ℱ 蕴含 X\A∈ℱ；(3) 可数并封闭。依赖：[集合]。
• 可测空间：二元组 (X,ℱ)，ℱ 为 X 上的 σ-代数。依赖：[σ-代数]。
• 测度：μ: ℱ→[0,+∞]，满足 μ(∅)=0 和可数可加性。依赖：[可测空间]。
• 测度空间：三元组 (X,ℱ,μ)。依赖：[可测空间、测度]。

证明链：Carathéodory 条件 → 取 A=E^c 得 ℳ 对补集封闭 → 对可数并封闭（对 A 取适当集合由条件推出）→ μ* 在 ℳ 上可数可加（由 Carathéodory 条件和可数次可加性联立推出）。