机器入库 · 未经人工审阅
本页陈述由语义核糖体整章读取后自动入库。引文逐字取自冻结的 OCR 原子;摘要、角色、概念归属与依赖为模型判断。运行
e2e-v20-05--run;模型 deepseek-v4.1-flash;协议candidate-batch-recovery-20.3;入库 2026-10-19T14:07:03+00:00。
本章术语
术语选择 500 条 · 本章新定临时译名 46 个 · 术语报警 30 条(陈述记录 28,单元记录 2)。
术语报警(单元记录)
- subgroup → 子群:原文出现帧术语,但未采用译名或登记区别义项;单元:
nakahara-3:u0066 - union → 并集:原文出现帧术语,但未采用译名或登记区别义项;单元:
nakahara-3:u0333
模子群的等价
引入 · 设 为 的子群。若 满足 ,则称 等价。
概念:模子群的等价(临时)
原文(OCR,未逐页核实)
Let $H$ be a subgroup of $G$ . We say $x, y \in G$ are equivalent ifPDF 文件页:113;来源:nakahara-mineru-bd76b709;单元:nakahara-3:u0011;模型:deepseek-v4.1-flash。
候选译文(机器生成,未审阅)
译文窗口边界
译文窗口在此处截断:结尾:达到窗口上限(reach-limit)。
设 为 的一个子群。若 满足
并记作 。显然 是一个等价关系。 所属的等价类记作 。设 为商集。 中的群运算 自然地通过下式诱导出 中的群运算 :
注意,左端的 是 中的运算,而右端的 是 中的运算。 中的运算应当与代表元的选取无关。事实上,若 、,则对某个 有 、,并且我们发现
术语选择
- subgroup → 子群 · 帧条目:子群(
lib:e6dd2937-0598-4aa9-bbf2-317c9e35c0e6) - group operation → 群运算 · 帧条目:群运算(
term:16a041b83c561ab49f6a) · 来自同一单元 - equivalence relation → 等价关系 · 帧条目:等价关系(
lib:e4dc698e-be80-42e3-aa14-c8df668fb00b) · 来自同一单元 - equivalence class → 等价类 · 帧条目:等价类(
lib:fe80fb2d-f836-47e5-9297-3c634d6df6af) · 来自同一单元 - quotient space → 商集 · 帧条目:商空间(
lib:ce472884-6d77-4065-8052-02106bdf8345) · 来自同一单元
术语报警
以下为处理时记录的术语检查报警,待复核。
- equivalent → 等价:译名选择未通过检查
后文使用:模子群的等价。
模子群的等价
回指 · 设 为 的子群。若 满足 ,则称 等价,记作 ; 是等价关系, 的等价类记作 。
概念:模子群的等价(临时)
原文(OCR,未逐页核实)
and write $x \sim y$ . Clearly $\sim$ is an equivalence relation. The equivalence class to which $x$ belongs is denoted by $[x]$ .PDF 文件页:113;来源:nakahara-mineru-bd76b709;单元:nakahara-3:u0023;模型:deepseek-v4.1-flash。
候选译文(机器生成,未审阅)
译文窗口边界
译文窗口在此处截断:结尾:达到窗口上限(reach-limit)。
设 为 的一个子群。若 满足
并记作 。显然 是一个等价关系。 所属的等价类记作 。设 为商集。 中的群运算 自然地通过下式诱导出 中的群运算 :
注意,左端的 是 中的运算,而右端的 是 中的运算。 中的运算应当与代表元的选取无关。事实上,若 、,则对某个 有 、,并且我们发现
此外, 在此运算下成为一个群,因为 总是 的正规子群;见例 2.6。 的单位元是 ,
术语选择
- subgroup → 子群 · 帧条目:子群(
lib:e6dd2937-0598-4aa9-bbf2-317c9e35c0e6) · 来自同一单元 - group operation → 群运算 · 帧条目:群运算(
term:16a041b83c561ab49f6a) - unit element → 单位元 · 帧条目:单位元(
term:76da70b733d268e5062b) · 来自同一单元 - equivalence relation → 等价关系 · 帧条目:等价关系(
lib:e4dc698e-be80-42e3-aa14-c8df668fb00b) - equivalence class → 等价类 · 帧条目:等价类(
lib:fe80fb2d-f836-47e5-9297-3c634d6df6af) - normal subgroup → 正规子群 · 帧条目:正规子群(
lib:092b1d87-e948-49ed-b814-4d97167d0db4) · 来自同一单元 - quotient space → 商集 · 帧条目:商空间(
lib:ce472884-6d77-4065-8052-02106bdf8345)
术语报警
以下为处理时记录的术语检查报警,待复核。
- equivalent → 等价:译名选择未通过检查
使用前文:模子群的等价。模型判断为使用,按最近的同概念前文推断;原文:The equivalence class to which $x$ belongs is denoted by $[x]$ .
后文使用:商群。
商群
引入 · 设 为 的正规子群。 中的群运算 通过 诱导出 中的群运算,使 成为一个群,其单位元为 。
概念:商群(临时)
原文(OCR,未逐页核实)
The group operation $+$ in $G$ naturally induces the group operation $+$ in $G / H$ byFurthermore, $G / H$ becomes a group with this operation, since $H$ is always a normal subgroup of $G$ ; see example 2.6. The unit element of $G / H$ is $[0] = [h]$ ,PDF 文件页:113;来源:nakahara-mineru-bd76b709;单元:nakahara-3:u0023;模型:deepseek-v4.1-flash。
候选译文(机器生成,未审阅)
设 为 的一个子群。若 满足
并记作 。显然 是一个等价关系。 所属的等价类记作 。设 为商集。 中的群运算 自然地通过下式诱导出 中的群运算 :
注意,左端的 是 中的运算,而右端的 是 中的运算。 中的运算应当与代表元的选取无关。事实上,若 、,则对某个 有 、,并且我们发现
此外, 在此运算下成为一个群,因为 总是 的正规子群;见例 2.6。 的单位元是 ,。若 ,则对任意 有 ,并且 只有一个元素 [0]。若 ,则 就是 本身,因为 当且仅当 。
术语选择
- subgroup → 子群 · 帧条目:子群(
lib:e6dd2937-0598-4aa9-bbf2-317c9e35c0e6) · 来自同一单元 - group operation → 群运算 · 帧条目:群运算(
term:16a041b83c561ab49f6a) - unit element → 单位元 · 帧条目:单位元(
term:76da70b733d268e5062b) - equivalence relation → 等价关系 · 帧条目:等价关系(
lib:e4dc698e-be80-42e3-aa14-c8df668fb00b) - equivalence class → 等价类 · 帧条目:等价类(
lib:fe80fb2d-f836-47e5-9297-3c634d6df6af) - normal subgroup → 正规子群 · 帧条目:正规子群(
lib:092b1d87-e948-49ed-b814-4d97167d0db4) - quotient space → 商集 · 帧条目:商空间(
lib:ce472884-6d77-4065-8052-02106bdf8345)
术语报警
以下为处理时记录的术语检查报警,待复核。
- equivalent → 等价:译名选择未通过检查
使用前文:模子群的等价。模型判断为使用,按最近的同概念前文推断;原文:The equivalence class to which $x$ belongs is denoted by $[x]$ .
像
引入 · 设 为同态。 的像定义为 ,它是 的子群。
概念:像(临时)
原文(OCR,未逐页核实)
$\operatorname {im}f = \{x|x\in f(G_1)\subset G_2\}$ is a subgroup of $G_{2}$PDF 文件页:114;来源:nakahara-mineru-bd76b709;单元:nakahara-3:u0033;模型:deepseek-v4.1-flash。
候选译文(机器生成,未审阅)
译文窗口边界
译文窗口在此处截断:开头:达到窗口上限(reach-limit);结尾:句末边界(sentence-closed)。
若我们通过 和 定义一个同构 ,则发现 。对于一般的 ,我们有
引理 3.1. 设 是一个同态。则(a) 是 的一个子群 (b) 是 的一个子群证明。(a) 设 。则 ,因为 。注意 ,因为 。我们还有 ,因为 。
术语选择
- isomorphism → 同构 · 帧条目:群同构(
lib:a21851fd-d421-4e32-9a3b-46fc03a5df9a) · 来自同一单元 - homomorphism → 同态 · 帧条目:群同态(
lib:3e749de6-9d6f-43ea-a6de-ddff7c549a00) · 来自同一单元 - subgroup → 子群 · 帧条目:子群(
lib:e6dd2937-0598-4aa9-bbf2-317c9e35c0e6)
后文使用:同态基本定理。
核
引入 · 设 为同态。 的核定义为 ,它是 的子群。
概念:核(临时)
原文(OCR,未逐页核实)
$\ker f = \{x|x\in G_1,f(x) = 0\}$ is a subgroup of $G_{1}$PDF 文件页:114;来源:nakahara-mineru-bd76b709;单元:nakahara-3:u0033;模型:deepseek-v4.1-flash。
候选译文(机器生成,未审阅)
译文窗口边界
译文窗口在此处截断:开头:达到窗口上限(reach-limit);结尾:句末边界(sentence-closed)。
若我们通过 和 定义一个同构 ,则发现 。对于一般的 ,我们有
引理 3.1. 设 是一个同态。则(a) 是 的一个子群 (b) 是 的一个子群证明。(a) 设 。则 ,因为 。注意 ,因为 。我们还有 ,因为 。
术语选择
- isomorphism → 同构 · 帧条目:群同构(
lib:a21851fd-d421-4e32-9a3b-46fc03a5df9a) · 来自同一单元 - homomorphism → 同态 · 帧条目:群同态(
lib:3e749de6-9d6f-43ea-a6de-ddff7c549a00) · 来自同一单元 - subgroup → 子群 · 帧条目:子群(
lib:e6dd2937-0598-4aa9-bbf2-317c9e35c0e6)
后文使用:核。
同态基本定理
引入 · 设 为同态。则 。
概念:同态基本定理(临时)
原文(OCR,未逐页核实)
Theorem 3.1. (Fundamental theorem of homomorphism) Let $f: G_1 \to G_2$ be a homomorphism. ThenPDF 文件页:114;来源:nakahara-mineru-bd76b709;单元:nakahara-3:u0033;模型:deepseek-v4.1-flash。
候选译文(机器生成,未审阅)
译文窗口边界
译文窗口在此处截断:结尾:句末边界(sentence-closed)。
定理 3.1. (同态基本定理) 设 是一个同态。则
证明。根据引理 3.1,两边都是群。通过 定义一个映射 。这个映射是良定义的,因为对于 ,存在 使得 且 。现在我们证明 是一个同构。首先, 是一个同态,
其次, 是一对一的:若 ,则 或 。这表明 且 。最后, 是满射:若 ,存在 使得 。
术语选择
- homomorphism → 同态 · 帧条目:群同态(
lib:3e749de6-9d6f-43ea-a6de-ddff7c549a00) - isomorphism → 同构 · 帧条目:群同构(
lib:a21851fd-d421-4e32-9a3b-46fc03a5df9a) · 来自同一单元 - groups → 群 · 帧条目:群(
lib:2f3aced7-6c7e-48e2-b0c1-4950a8da9857) · 来自同一单元 - Fundamental theorem of homomorphism → 同态基本定理 · 本章新定(临时)
后文使用:同态基本定理。
后文使用:同态基本定理。
后文使用:圆周三角剖分的 。
有限生成阿贝尔群
引入 · 若群 本身由有限个元素 生成,则称 是有限生成的。
概念:有限生成阿贝尔群(临时)
原文(OCR,未逐页核实)
If $G$ itself is generated by finite elements $x_{1},\ldots ,x_{r}$ , $G$ is said to be finitely generated.PDF 文件页:115;来源:nakahara-mineru-bd76b709;单元:nakahara-3:u0042;模型:deepseek-v4.1-flash。
候选译文(机器生成,未审阅)
译文窗口边界
译文窗口在此处截断:开头:达到窗口上限(reach-limit)。
以及
若 ,我们置 。取 的 个元素 。 中形如
的元素构成 的一个子群,我们记作 。 称为由生成元 生成的 的子群。若 本身由有限个元素 生成,则称 是有限生成的。若 仅当 时成立,则称 线性无关。
术语选择
- linearly independent → 线性无关 · 帧条目:线性无关(
lib:400f1610-1eba-4c3c-830b-e21ea6965065) - generators → 生成元 · 帧条目:生成元(
lib:6eff4cba-09bf-4c84-8892-38a06c0c6495) - subgroup → 子群 · 帧条目:子群(
lib:e6dd2937-0598-4aa9-bbf2-317c9e35c0e6)
后文使用:有限生成阿贝尔群基本定理。
线性无关
引入 · 若 仅当 时成立,则称 线性无关。
概念:线性无关(临时)
原文(OCR,未逐页核实)
If $n_1x_1 + \dots +n_rx_r = 0$ is satisfied only when $n_1 = \dots = n_r = 0$ , $x_{1},\ldots ,x_{r}$ are said to be linearly independent.PDF 文件页:115;来源:nakahara-mineru-bd76b709;单元:nakahara-3:u0042;模型:deepseek-v4.1-flash。
候选译文(机器生成,未审阅)
译文窗口边界
译文窗口在此处截断:开头:达到窗口上限(reach-limit)。
以及
若 ,我们置 。取 的 个元素 。 中形如
的元素构成 的一个子群,我们记作 。 称为由生成元 生成的 的子群。若 本身由有限个元素 生成,则称 是有限生成的。若 仅当 时成立,则称 线性无关。
术语选择
- linearly independent → 线性无关 · 帧条目:线性无关(
lib:400f1610-1eba-4c3c-830b-e21ea6965065) - generators → 生成元 · 帧条目:生成元(
lib:6eff4cba-09bf-4c84-8892-38a06c0c6495) - subgroup → 子群 · 帧条目:子群(
lib:e6dd2937-0598-4aa9-bbf2-317c9e35c0e6)
自由阿贝尔群
引入 · 若 由 个线性无关的元素有限生成,则称 为秩为 的自由阿贝尔群。
概念:自由阿贝尔群
原文(OCR,未逐页核实)
If $G$ is finitely generated by $r$ linearly independent elements, $G$ is called a free Abelian group of rank $r$ .PDF 文件页:115;来源:nakahara-mineru-bd76b709;单元:nakahara-3:u0042;模型:deepseek-v4.1-flash。
候选译文(机器生成,未审阅)
定义 3.1。若 由 个线性无关的元素有限生成,则称 为秩为 的自由阿贝尔群。
术语选择
- rank → 秩 · 本章新定(临时)
- linearly independent → 线性无关 · 帧条目:线性无关(
lib:400f1610-1eba-4c3c-830b-e21ea6965065) - group → 群 · 帧条目:群(
lib:2f3aced7-6c7e-48e2-b0c1-4950a8da9857)
自由阿贝尔群
回指 · 群 由 1 有限生成,但不是自由的,因为 1 不是线性无关的(注意 )。
概念:自由阿贝尔群
原文(OCR,未逐页核实)
is a free Abelian group of rank $r$ . The group $\mathbb{Z}_2 = \{0, 1\}$ is finitely generated by 1 but is not free since 1 is not linearly independent (note $1 + 1 = 0$ ).PDF 文件页:115;来源:nakahara-mineru-bd76b709;单元:nakahara-3:u0054;模型:deepseek-v4.1-flash。
候选译文(机器生成,未审阅)
例 3.3。 是由 1(或 )有限生成的秩为 1 的自由阿贝尔群。设 为对 的集合。它是由生成元 和 有限生成的秩为 2 的自由阿贝尔群。更一般地
是秩为 的自由阿贝尔群。群 由 1 有限生成,但不是自由的,因为 1 不是线性无关的(注意 )。
术语选择
- rank → 秩 · 本章新定(临时) · 来自同一单元
- generators → 生成元 · 帧条目:生成元(
lib:6eff4cba-09bf-4c84-8892-38a06c0c6495) · 来自同一单元 - group → 群 · 帧条目:群(
lib:2f3aced7-6c7e-48e2-b0c1-4950a8da9857) · 来自同一单元 - rank → 秩 · 帧条目:秩(
term:e18adcc0c9c69d1615e4)
后文使用:-链群。
后文使用:-链群。
后文使用:自由阿贝尔群。
循环群
引入 · 若 由一个元素 生成,,则称 为循环群。若对任意 都有 ,则它是无限循环群;而若对某个 有 ,则它是有限循环群。
概念:循环群(临时)
原文(OCR,未逐页核实)
If $G$ is generated by one element $x$ , $G = \{0, \pm x, \pm 2x, \ldots\}$ , $G$ is called a cyclic group. If $nx \neq 0$ for any $n \in \mathbb{Z} - \{0\}$ , it is an infinite cyclic group while if $nx = 0$ for some $n \in \mathbb{Z} - \{0\}$ , a finite cyclic group.PDF 文件页:115;来源:nakahara-mineru-bd76b709;单元:nakahara-3:u0054;模型:deepseek-v4.1-flash。
候选译文(机器生成,未审阅)
译文窗口边界
译文窗口在此处截断:结尾:句末边界(sentence-closed)。
若 由一个元素 生成,,则称 为循环群。若对任意 都有 ,则它是无限循环群;而若对某个 有 ,则它是有限循环群。设 是由 生成的循环群,并设 是由 定义的同态。 将 映满 ,但不一定是一一的。由定理 3.1,我们有 。设 是使得 的最小正整数。显然
并且我们有
若 是无限循环群,则 且 。任何无限循环群都同构于 ,而有限循环群同构于某个 。
术语选择
- cyclic group → 循环群 · 帧条目:循环群(
lib:ff7730a6-70b3-41c7-82df-49ecbed5b2ad) - infinite cyclic group → 无限循环群 · 本章新定(临时)
- finite cyclic group → 有限循环群 · 本章新定(临时)
- homomorphism → 同态 · 帧条目:群同态(
lib:3e749de6-9d6f-43ea-a6de-ddff7c549a00)
后文使用:有限生成阿贝尔群基本定理。
有限生成阿贝尔群基本定理
引入 · 设 是具有 个生成元的有限生成阿贝尔群(不一定是自由的)。则 同构于循环群的直和,其中 。数 称为 的秩。
原文(OCR,未逐页核实)
Theorem 3.2. (Fundamental theorem of finitely generated Abelian groups) Let $G$ be a finitely generated Abelian group (not necessarily free) with $m$ generators. Then $G$ is isomorphic to the direct sum of cyclic groups,where $m = r + p$ . The number $r$ is called the rank of $G$ .PDF 文件页:116;来源:nakahara-mineru-bd76b709;单元:nakahara-3:u0054;模型:deepseek-v4.1-flash。
候选译文(机器生成,未审阅)
定理 3.2。(有限生成阿贝尔群基本定理)设 是具有 个生成元的有限生成阿贝尔群(不一定是自由的)。则 同构于循环群的直和,
其中 。数 称为 的秩。
术语选择
- Fundamental theorem of finitely generated Abelian groups → 有限生成阿贝尔群基本定理 · 本章新定(临时)
- direct sum → 直和 · 本章新定(临时)
- rank → 秩 · 帧条目:秩(
term:e18adcc0c9c69d1615e4) - generators → 生成元 · 帧条目:生成元(
lib:6eff4cba-09bf-4c84-8892-38a06c0c6495)
使用前文:有限生成阿贝尔群。模型判断为使用,按最近的同概念前文推断;原文:Let $G$ be a finitely generated Abelian group (not necessarily free) with $m$ generators.
使用前文:循环群。模型判断为使用,按最近的同概念前文推断;原文:Then $G$ is isomorphic to the direct sum of cyclic groups,
后文使用:有限生成阿贝尔群基本定理。
同态基本定理
回指 · 定理 3.1 指出,对于满同态 ,有 。
概念:同态基本定理(临时)
原文(OCR,未逐页核实)
Theorem 3.1 states thatPDF 文件页:116;来源:nakahara-mineru-bd76b709;单元:nakahara-3:u0066;模型:deepseek-v4.1-flash。
候选译文(机器生成,未审阅)
译文窗口边界
译文窗口在此处截断:开头:句末边界(sentence-closed);结尾:达到窗口上限(reach-limit)。
证明。设 由 个元素 生成,并设
是一个满同态,
定理 3.1 指出
由于 是
引理 3.2 断言,若我们适当地选取生成元,则有
术语选择
- surjective homomorphism → 满同态 · 帧条目:群同态(
lib:3e749de6-9d6f-43ea-a6de-ddff7c549a00) · 来自同一单元
术语报警
以下为处理时记录的术语检查报警,待复核。
- generated by → 由……生成:译名选择未通过检查;帧条目:生成元(
lib:6eff4cba-09bf-4c84-8892-38a06c0c6495) - subgroup → 子群:译名选择未通过检查;帧条目:子群(
lib:e6dd2937-0598-4aa9-bbf2-317c9e35c0e6) - subgroup → 子群:原文出现帧术语,但未采用译名或登记区别义项;帧条目:子群(
lib:e6dd2937-0598-4aa9-bbf2-317c9e35c0e6)
使用前文:同态基本定理。模型判断为使用,按原文编号定位(Theorem 3.1);原文:Theorem 3.1 states that
核
回指 · 是 的子群。
概念:核(临时)
原文(OCR,未逐页核实)
Since $\ker f$ is a subgroup ofPDF 文件页:116;来源:nakahara-mineru-bd76b709;单元:nakahara-3:u0066;模型:deepseek-v4.1-flash。
候选译文(机器生成,未审阅)
译文窗口边界
译文窗口在此处截断:开头:达到窗口上限(reach-limit);结尾:达到窗口上限(reach-limit)。
是一个满同态,
定理 3.1 指出
由于 是
引理 3.2 断言,若我们适当地选取生成元,则有
我们最终得到
术语选择
- surjective homomorphism → 满同态 · 帧条目:群同态(
lib:3e749de6-9d6f-43ea-a6de-ddff7c549a00) · 来自同一单元
术语报警
以下为处理时记录的术语检查报警,待复核。
- subgroup → 子群:译名选择未通过检查;帧条目:子群(
lib:e6dd2937-0598-4aa9-bbf2-317c9e35c0e6) - subgroup → 子群:原文出现帧术语,但未采用译名或登记区别义项;帧条目:子群(
lib:e6dd2937-0598-4aa9-bbf2-317c9e35c0e6)
使用前文:核。模型判断为使用,按最近的同概念前文推断;原文:Since $\ker f$ is a subgroup of
后文使用:-闭链群。
后文使用:同态基本定理。
后文使用:核。
后文使用:连通单纯复形的 。
引理 3.2
回指 · 引理 3.2 断言,若适当选取生成元,则 。
概念:引理 3.2(临时)
原文(OCR,未逐页核实)
lemma 3.2 claims that if we choose the generators properly, we havePDF 文件页:116;来源:nakahara-mineru-bd76b709;单元:nakahara-3:u0066;模型:deepseek-v4.1-flash。
候选译文(机器生成,未审阅)
译文窗口边界
译文窗口在此处截断:开头:达到窗口上限(reach-limit);结尾:标题边界(heading)。
定理 3.1 指出
由于 是
引理 3.2 断言,若我们适当地选取生成元,则有
我们最终得到
术语报警
以下为处理时记录的术语检查报警,待复核。
- subgroup → 子群:译名选择未通过检查;帧条目:子群(
lib:e6dd2937-0598-4aa9-bbf2-317c9e35c0e6) - subgroup → 子群:原文出现帧术语,但未采用译名或登记区别义项;帧条目:子群(
lib:e6dd2937-0598-4aa9-bbf2-317c9e35c0e6)
单形
引入 · 单形是多面体的构建块。0-单形是一个点或顶点,1-单形是一条线或棱,2-单形是包含内部的三角形,3-单形是实心四面体;可继续到任意 r-单形。为使 r-单形表示 r 维对象,其顶点必须几何独立。
概念:单纯形
原文(OCR,未逐页核实)
Simplexes are building blocks of a polyhedron. A 0-simplex $\langle p_0\rangle$ is a point, or a vertex, and a 1-simplex $\langle p_0p_1\rangle$ is a line, or an edge.PDF 文件页:117;来源:nakahara-mineru-bd76b709;单元:nakahara-3:u0078;模型:deepseek-v4.1-flash。
候选译文(机器生成,未审阅)
单形是多面体的构建块。0-单形 是一个点,或一个顶点,而 1-单形 是一条线,或一条棱。2-单形 定义为包含其内部的三角形,而 3-单形 是一个实心四面体(图 3.2)。通常将 0-单形不加括号地表示; 也可以写作 。很容易将这一构造继续到任意 -单形 。注意,要使一个 -单形表示一个 维对象,顶点 必须在几何上独立,即没有 维超平面包含全部 个点。设 是 中几何独立的点,其中 。-单形 表示为
称为 的重心坐标。由于 是 的有界闭子集,它是紧致的。
术语选择
- interior → 内部 · 帧条目:内部(
lib:ca484c0c-e258-4cd3-8802-13fd736f4a07) - bounded → 有界 · 帧条目:有界的(
lib:2cc2ae75-e460-4c7d-9b9f-acc867bbc0fb) · 来自同一单元 - closed → 闭 · 帧条目:闭的(
lib:8da45318-5944-4aa7-afd5-245f6894ccb2) · 来自同一单元 - subset → 子集 · 帧条目:子集(
lib:98a72c65-8dcc-43d1-b199-ee3daa22cb2c) · 来自同一单元 - simplex → 单形 · 本章新定(临时)
- barycentric coordinate → 重心坐标 · 本章新定(临时) · 来自同一单元
- geometrically independent → 几何独立 · 本章新定(临时)
- compact → 紧致的 · 本章新定(临时) · 来自同一单元
后文使用:三角剖分。
后文使用:单形。
重心坐标
引入 · 称为 的重心坐标。
概念:重心坐标(临时)
原文(OCR,未逐页核实)
$(c_0, \ldots, c_r)$ is called the barycentric coordinate of $x$ .PDF 文件页:117;来源:nakahara-mineru-bd76b709;单元:nakahara-3:u0078;模型:deepseek-v4.1-flash。
候选译文(机器生成,未审阅)
单形是多面体的构建块。0-单形 是一个点,或一个顶点,而 1-单形 是一条线,或一条棱。2-单形 定义为包含其内部的三角形,而 3-单形 是一个实心四面体(图 3.2)。通常将 0-单形不加括号地表示; 也可以写作 。很容易将这一构造继续到任意 -单形 。注意,要使一个 -单形表示一个 维对象,顶点 必须在几何上独立,即没有 维超平面包含全部 个点。设 是 中几何独立的点,其中 。-单形 表示为
称为 的重心坐标。由于 是 的有界闭子集,它是紧致的。
术语选择
- interior → 内部 · 帧条目:内部(
lib:ca484c0c-e258-4cd3-8802-13fd736f4a07) · 来自同一单元 - bounded → 有界 · 帧条目:有界的(
lib:2cc2ae75-e460-4c7d-9b9f-acc867bbc0fb) - closed → 闭 · 帧条目:闭的(
lib:8da45318-5944-4aa7-afd5-245f6894ccb2) - subset → 子集 · 帧条目:子集(
lib:98a72c65-8dcc-43d1-b199-ee3daa22cb2c) - simplex → 单形 · 本章新定(临时) · 来自同一单元
- barycentric coordinate → 重心坐标 · 本章新定(临时)
- geometrically independent → 几何独立 · 本章新定(临时) · 来自同一单元
- compact → 紧致的 · 本章新定(临时)
面
引入 · 从 中选取 个点定义的 -单形称为 的 -面;若 ,则称 是 的真面。0-单形定义为没有真面。
概念:面(临时)
原文(OCR,未逐页核实)
which is called a $q$ -face of $\sigma_r$ . We write $\sigma_q \leq \sigma_r$ if $\sigma_q$ is a face ofPDF 文件页:117;来源:nakahara-mineru-bd76b709;单元:nakahara-3:u0078;模型:deepseek-v4.1-flash。
候选译文(机器生成,未审阅)
设 是满足 的整数。如果我们从 中选取 个点 ,这 个点定义一个 -单形 ,称为 的一个 -面。若 是 的一个面,我们记作 。若 ,我们说 是 的一个真面,记作 。图 3.3 显示了 3-单形 的一个 0-面 和一个 2-面 。有 1 个 3-面、4 个 2-面、6 个 1-面和 4 个 0-面。读者应验证 -单形中 -面的数目为 。0-单形定义为没有真面。
术语选择
- face → 面 · 帧条目:面(
lib:83c6cbb2-d720-4dd5-8186-1ceb458dfe53) - simplex → 单形 · 本章新定(临时)
- proper face → 真面 · 本章新定(临时) · 来自同一单元
单纯复形
引入 · 设 是 中有限个单形构成的集合。若这些单形很好地拼合在一起,即满足:(i) 中任一单形的任意面都属于 ;(ii) 中两个单形的交集要么为空,要么是它们的公共面,则称 为单纯复形。
概念:单纯复形
原文(OCR,未逐页核实)
Let $K$ be a set of finite number of simplexes in $\mathbb{R}^m$ . If these simplexes are nicely fitted together, $K$ is called a simplicial complex.(i) an arbitrary face of a simplex of $K$ belongs to $K$ , that is, if $\sigma \in K$ and $\sigma' \leq \sigma$ then $\sigma' \in K$ ; and
(ii) if $\sigma$ and $\sigma'$ are two simplexes of $K$ , the intersection $\sigma \cap \sigma'$ is either empty or a common face of $\sigma$ and $\sigma'$PDF 文件页:118;来源:nakahara-mineru-bd76b709;单元:nakahara-3:u0090;模型:deepseek-v4.1-flash。
候选译文(机器生成,未审阅)
设 是 中有限个单形构成的集合。如果这些单形很好地拼合在一起,则称 为一个单纯复形。所谓“很好地”是指:(i) 中任一单形的任意一个面都属于 ,即若 且 ,则 ;以及 (ii) 若 和 是 的两个单形,则交集 要么为空,要么是 和 的公共面,即若 ,则要么 ,要么 且 。
术语选择
- simplicial complex → 单纯复形 · 本章新定(临时)
- simplex → 单形 · 帧条目:单形(
term:7ac92ff39b554b2c6d70) - intersection → 交集 · 帧条目:交集(
lib:8055f095-5721-452c-a01e-c66adc0bb879) - face → 面 · 帧条目:面(
lib:83c6cbb2-d720-4dd5-8186-1ceb458dfe53) - set → 集合 · 帧条目:集合(
lib:93057b90-f764-44c7-b119-a2c29c5e144e)
后文使用:链复形。
后文使用:正方形多面体的单纯复形。
多面体
引入 · 单纯复形 是一个集合,其元素是单形。若将每个单形视为 的子集(),则所有单形的并集成为 的一个子集,称为单纯复形 的多面体 。 作为 的子集的维数与 的维数相同,即 。
概念:多面体(临时)
原文(OCR,未逐页核实)
This subset is called the polyhedron $|K|$ of a simplicial complex $K$ . The dimension of $|K|$ as a subset of $\mathbb{R}^m$ is the same as that of $K$ ; $\dim |K| = \dim K$ .PDF 文件页:119;来源:nakahara-mineru-bd76b709;单元:nakahara-3:u0090;模型:deepseek-v4.1-flash。
候选译文(机器生成,未审阅)
例 3.4。设 是一个 -单形, 是 的面的集合。 是一个 维单纯复形。例如,取 (图 3.3)。则
单纯复形 是一个集合,其元素是单形。若将每个单形视为 的子集(),则所有单形的并集成为 的一个子集。这个子集称为单纯复形 的多面体 。 作为 的子集的维数与 的维数相同;。
术语选择
- simplicial complex → 单纯复形 · 本章新定(临时)
- polyhedron → 多面体 · 本章新定(临时)
- simplex → 单形 · 帧条目:单形(
term:7ac92ff39b554b2c6d70) - dimension → 维数 · 帧条目:维数(
lib:4d8daf81-914a-426c-9cc7-534fc6eed006) - subset → 子集 · 帧条目:子集(
lib:98a72c65-8dcc-43d1-b199-ee3daa22cb2c) - union → 并集 · 帧条目:并集(
lib:815f9a8a-fbeb-4518-ae7a-cde1b6dc1631) - set → 集合 · 帧条目:集合(
lib:93057b90-f764-44c7-b119-a2c29c5e144e)
可三角剖分
引入 · 设 是拓扑空间。若存在单纯复形 和同胚 ,则称 为可三角剖分的,并称对 为 的一个三角剖分。给定拓扑空间 ,其三角剖分远非唯一。
概念:可三角剖分(临时)
原文(OCR,未逐页核实)
If there exists a simplicial complex $K$ and a homeomorphism $f: |K| \to X$ , $X$ is said to be triangulable and the pair $(K, f)$ is called a triangulation of $X$ .PDF 文件页:119;来源:nakahara-mineru-bd76b709;单元:nakahara-3:u0090;模型:deepseek-v4.1-flash。
候选译文(机器生成,未审阅)
设 是一个拓扑空间。若存在一个单纯复形 和一个同胚 ,则称 是可三角剖分的,并称对 为 的一个三角剖分。给定一个拓扑空间 ,它的三角剖分远非唯一。我们将只关注可三角剖分的空间。
术语选择
- simplicial complex → 单纯复形 · 本章新定(临时)
- triangulable → 可三角剖分 · 本章新定(临时)
- triangulation → 三角剖分 · 本章新定(临时)
- topological space → 拓扑空间 · 帧条目:拓扑空间(
lib:45a8647a-b930-455d-8207-7edbb089a132) - homeomorphism → 同胚 · 帧条目:同胚(
lib:8205a1b2-9f2c-420f-852b-e8664f601938)
后文使用:三角剖分。
后文使用:单形。
单形
回指 · 在例 3.5 中, 既不是空集也不是一个单形,因此图 3.5(b) 不是三角剖分。
概念:单纯形
原文(OCR,未逐页核实)
which is neither empty nor a simplex.PDF 文件页:119;来源:nakahara-mineru-bd76b709;单元:nakahara-3:u0102;模型:deepseek-v4.1-flash。
候选译文(机器生成,未审阅)
例 3.5。图 是柱面 的一个三角剖分。读者可能会认为存在更简单的选择,例如图 。然而,这不是一个三角剖分,因为对于 和 ,我们得到 ,它既不是空集也不是一个单形。
术语选择
- triangulation → 三角剖分 · 帧条目:三角剖分(
term:a1faa0cae6566eac919d) - simplex → 单形 · 帧条目:单形(
term:7ac92ff39b554b2c6d70)
使用前文:可三角剖分。模型判断为使用,按最近的同概念前文推断;原文:Figure $3.5(a)$ is a triangulation of a cylinder $S^1 \times [0,1]$ .
使用前文:单形。模型判断为使用,按最近的同概念前文推断;原文:which is neither empty nor a simplex.
三角剖分
回指 · 图 3.5(a) 是柱面 的一个三角剖分;图 3.5(b) 不是三角剖分,因为对于 和 ,有 ,它既不是空集也不是一个单形。
概念:可三角剖分(临时)
原文(OCR,未逐页核实)
Figure $3.5(a)$ is a triangulation of a cylinder $S^1 \times [0,1]$ .This is, however, not a triangulation since, for $\sigma_2 = \langle p_0p_1p_2\rangle$ and $\sigma_2' = \langle p_2p_3p_0\rangle$ , we find $\sigma_2 \cap \sigma_2' = \langle p_0\rangle \cup \langle p_2\rangle$ , which is neither empty nor a simplex.PDF 文件页:119;来源:nakahara-mineru-bd76b709;单元:nakahara-3:u0102;模型:deepseek-v4.1-flash。
候选译文(机器生成,未审阅)
例 3.5。图 是柱面 的一个三角剖分。读者可能会认为存在更简单的选择,例如图 。然而,这不是一个三角剖分,因为对于 和 ,我们得到 ,它既不是空集也不是一个单形。
术语选择
- triangulation → 三角剖分 · 帧条目:三角剖分(
term:a1faa0cae6566eac919d) - simplex → 单形 · 帧条目:单形(
term:7ac92ff39b554b2c6d70)
使用前文:可三角剖分。模型判断为使用,按最近的同概念前文推断;原文:Figure $3.5(a)$ is a triangulation of a cylinder $S^1 \times [0,1]$ .
使用前文:单形。模型判断为使用,按最近的同概念前文推断;原文:which is neither empty nor a simplex.
后文使用:同调群是拓扑不变量。
后文使用:三角剖分。
定向单形
引入 · 对于 ,可以给 维单形指定定向;用 表示定向单形,而 表示无定向单形;符号 同时表示这两种类型。定向 1-单形 是沿方向 行进的有向线段。
概念:定向单纯形
原文(OCR,未逐页核实)
We may assign orientations to an $r$ -simplex for $r \geq 1$ . Instead of $\langle . . . \rangle$ for an unoriented simplex, we will use $(. . .)$ to denote an oriented simplex. The symbol $\sigma_r$ is used to denote both types of simplex. An oriented 1-simplex $\sigma_1 = (p_0 p_1)$ is a directed line segment traversed in the direction $p_0 \to p_1$PDF 文件页:119;来源:nakahara-mineru-bd76b709;单元:nakahara-3:u0103;模型:deepseek-v4.1-flash。
候选译文(机器生成,未审阅)
对于 ,我们可以给 维单形指定定向。对于无定向单形,我们不用 ,而将用 表示定向单形。符号 用来表示这两种类型的单形。一个定向 1-单形 是沿方向 行进的有向线段(图 3.6(a))。现在 应当与 区分开。我们要求
这里 前面的 应当在有限生成阿贝尔群的意义下理解。事实上, 被视为 的逆元。从 到 接着从 到 意味着哪里都没有去,,因此 。
术语选择
- oriented simplex → 定向单形 · 本章新定(临时)
- oriented 1-simplex → 定向 1-单形 · 本章新定(临时)
- unoriented simplex → 无定向单形 · 本章新定(临时)
- simplex → 单形 · 帧条目:单形(
term:7ac92ff39b554b2c6d70) - Abelian group → 阿贝尔群 · 帧条目:阿贝尔群(
lib:f7a3ed41-d4ca-42c5-91ea-dfc1a0dc4b7b) · 来自同一单元 - inverse → 逆元 · 帧条目:群元素的逆元(
lib:1eb6bc94-07d7-48f3-b03b-60b1c2dbb415) · 来自同一单元
后文使用:定向 -单形。
定向 2-单形
引入 · 定向 2-单形 是三角形区域 ,其边缘上指定了定向;由 给出的定向与 或 相同,但与 、 或 相反。
概念:定向 2-单纯形(临时)
原文(OCR,未逐页核实)
Similarly, an oriented 2-simplex $\sigma_{2} = (p_{0}p_{1}p_{2})$ is a triangular region $p_0p_1p_2$ with a prescribed orientation along the edges (figure 3.6(b)). Observe that the orientation given by $p_0p_1p_2$ is the same as that given by $p_2p_0p_1$ or $p_1p_2p_0$ but opposite to $p_0p_2p_1$ , $p_2p_1p_0$ or $p_1p_0p_2$ .PDF 文件页:120;来源:nakahara-mineru-bd76b709;单元:nakahara-3:u0103;模型:deepseek-v4.1-flash。
候选译文(机器生成,未审阅)
译文窗口边界
译文窗口在此处截断:结尾:达到窗口上限(reach-limit)。
类似地,一个定向 2-单形 是一个三角形区域 ,其边缘上指定了定向(图 3.6(b))。注意,由 给出的定向与由 或 给出的定向相同,但与 、 或 给出的定向相反。我们要求
设 是 0, 1, 2 的一个置换
这些关系总结为
术语选择
- oriented 2-simplex → 定向 2-单形 · 本章新定(临时)
- orientation → 定向 · 帧条目:定向(
lib:036e9782-c5c9-47d4-90c7-f64cdc08cbed) - permutation → 置换 · 帧条目:置换(
lib:26cfbcfb-a481-41ee-a74f-cd41f06ecb0f) · 来自同一单元
后文使用:三角剖分球面的 。
定向 3-单形
引入 · 定向 3-单形 是四面体四个顶点的一个有序序列。
概念:定向 3-单纯形(临时)
原文(OCR,未逐页核实)
An oriented 3-simplex $\sigma_3 = (p_0p_1p_2p_3)$ is an ordered sequence of four vertices of a tetrahedron.PDF 文件页:121;来源:nakahara-mineru-bd76b709;单元:nakahara-3:u0103;模型:deepseek-v4.1-flash。
候选译文(机器生成,未审阅)
译文窗口边界
译文窗口在此处截断:结尾:达到窗口上限(reach-limit)。
一个定向 3-单形 是四面体四个顶点的一个有序序列。设
是一个置换。我们定义
现在很容易对任意 构造一个定向 -单形。形式定义如下。取 中 个几何独立的点 。设 是由点 的一个置换得到的点序列。若上述置换是偶置换,我们就定义 与 等价。显然这是一个等价关系,其等价类称为定向 -单形。共有两个等价类,一个由 的偶置换组成,另一个由奇置换组成。包含 的等价类(定向 -单形)记作 ,而另一个记作 。换言之,
术语选择
- oriented 3-simplex → 定向 3-单形 · 本章新定(临时)
- permutation → 置换 · 帧条目:置换(
lib:26cfbcfb-a481-41ee-a74f-cd41f06ecb0f) · 来自同一单元 - geometrically independent → 几何独立 · 帧条目:几何独立(
term:3e12b0edbbf3b3546136) · 来自同一单元 - equivalence relation → 等价关系 · 帧条目:等价关系(
lib:e4dc698e-be80-42e3-aa14-c8df668fb00b) · 来自同一单元 - equivalence class → 等价类 · 帧条目:等价类(
lib:fe80fb2d-f836-47e5-9297-3c634d6df6af) · 来自同一单元
定向 -单形
引入 · 对任意 ,取 中 个几何独立的点 ;若由 到 的置换 是偶置换,则称 与 等价。该等价关系的等价类称为定向 -单形;包含 的类记作 ,另一个记作 。
概念:定向单纯形
原文(OCR,未逐页核实)
It is now easy to construct an oriented $r$ -simplex for any $r \geq 1$ . The formal definition goes as follows. Take $r + 1$ geometrically independent points $p_0, p_1, \ldots, p_r$ in $\mathbb{R}^m$ . Let $\{p_{i_0}, p_{i_1}, \ldots, p_{i_r}\}$ be a sequence of points obtained by a permutation of the points $p_0, \ldots, p_r$ . We define $\{p_0, \ldots, p_r\}$ and $\{p_{i_0}, \ldots, p_{i_r}\}$ to be equivalent ifis an even permutation. Clearly this is an equivalence relation, the equivalence class of which is called an oriented $r$ -simplex. There are two equivalence classes, one consists of even permutations of $p_0, \ldots, p_r$ , the other of odd permutations. The equivalence class (oriented $r$ -simplex) which contains $\{p_0, \ldots, p_r\}$ is denoted by $\sigma_r = (p_0 p_1 \ldots p_r)$ , while the other is denoted by $-\sigma_r = -(p_0 p_1 \ldots p_r)$ .PDF 文件页:121;来源:nakahara-mineru-bd76b709;单元:nakahara-3:u0126;模型:deepseek-v4.1-flash。
候选译文(机器生成,未审阅)
译文窗口边界
译文窗口在此处截断:开头:句末边界(sentence-closed)。
一个定向 3-单形 是四面体四个顶点的一个有序序列。设
是一个置换。我们定义
现在很容易对任意 构造一个定向 -单形。形式定义如下。取 中 个几何独立的点 。设 是由点 的一个置换得到的点序列。若上述置换是偶置换,我们就定义 与 等价。显然这是一个等价关系,其等价类称为定向 -单形。共有两个等价类,一个由 的偶置换组成,另一个由奇置换组成。包含 的等价类(定向 -单形)记作 ,而另一个记作 。换言之,
对于 ,我们形式地定义定向 0-单形就是一个点 。
术语选择
- oriented 3-simplex → 定向 3-单形 · 本章新定(临时) · 来自同一单元
- permutation → 置换 · 帧条目:置换(
lib:26cfbcfb-a481-41ee-a74f-cd41f06ecb0f) - geometrically independent → 几何独立 · 帧条目:几何独立(
term:3e12b0edbbf3b3546136) - equivalence relation → 等价关系 · 帧条目:等价关系(
lib:e4dc698e-be80-42e3-aa14-c8df668fb00b) - equivalence class → 等价类 · 帧条目:等价类(
lib:fe80fb2d-f836-47e5-9297-3c634d6df6af)
使用前文:定向单形。模型判断为细化,按最近的同概念前文推断;原文:It is now easy to construct an oriented $r$ -simplex for any $r \geq 1$ .
后文使用:-链群。
后文使用:定向 -单形。
定向 0-单形
引入 · 对于 ,形式地定义定向 0-单形就是一个点 。
概念:定向 0-单纯形(临时)
原文(OCR,未逐页核实)
For $r = 0$ , we formally define an oriented 0-simplex to be just a point $\sigma_0 = p_0$ .PDF 文件页:121;来源:nakahara-mineru-bd76b709;单元:nakahara-3:u0126;模型:deepseek-v4.1-flash。
候选译文(机器生成,未审阅)
译文窗口边界
译文窗口在此处截断:开头:达到窗口上限(reach-limit)。
现在很容易对任意 构造一个定向 -单形。形式定义如下。取 中 个几何独立的点 。设 是由点 的一个置换得到的点序列。若上述置换是偶置换,我们就定义 与 等价。显然这是一个等价关系,其等价类称为定向 -单形。共有两个等价类,一个由 的偶置换组成,另一个由奇置换组成。包含 的等价类(定向 -单形)记作 ,而另一个记作 。换言之,
对于 ,我们形式地定义定向 0-单形就是一个点 。
术语选择
- permutation → 置换 · 帧条目:置换(
lib:26cfbcfb-a481-41ee-a74f-cd41f06ecb0f) · 来自同一单元 - geometrically independent → 几何独立 · 帧条目:几何独立(
term:3e12b0edbbf3b3546136) · 来自同一单元 - equivalence relation → 等价关系 · 帧条目:等价关系(
lib:e4dc698e-be80-42e3-aa14-c8df668fb00b) · 来自同一单元 - equivalence class → 等价类 · 帧条目:等价类(
lib:fe80fb2d-f836-47e5-9297-3c634d6df6af) · 来自同一单元
-链群
引入 · 单纯复形 的 -链群 是由 的定向 -单形生成的自由阿贝尔群;若 ,则定义 为 0; 的元素称为 -链。
概念:链群
原文(OCR,未逐页核实)
Definition 3.2. The $r$ -chain group $C_r(K)$ of a simplicial complex $K$ is a free Abelian group generated by the oriented $r$ -simplexes of $K$ . If $r > \dim K$ , $C_r(K)$ is defined to be 0. An element of $C_r(K)$ is called an $r$ -chain.PDF 文件页:121;来源:nakahara-mineru-bd76b709;单元:nakahara-3:u0126;模型:deepseek-v4.1-flash。
候选译文(机器生成,未审阅)
定义 3.2。单纯复形 的 -链群 是由 的定向 -单形生成的自由阿贝尔群。若 ,则定义 为 0。 的元素称为 -链。
术语选择
- simplicial complex → 单纯复形 · 帧条目:单纯复形(
term:f13809a6a5c6f8ddcb0b) - free Abelian group → 自由阿贝尔群 · 本章新定(临时)
- chain group → 链群 · 本章新定(临时)
- chain → 链 · 帧条目:链(
lib:61fd4411-3d4a-4e1d-8127-2b7adfd4ce07)
使用前文:自由阿贝尔群。模型判断为使用,按最近的同概念前文推断;原文:is a free Abelian group generated by the oriented $r$ -simplexes of $K$
使用前文:定向 -单形。模型判断为使用,按最近的同概念前文推断;原文:generated by the oriented $r$ -simplexes of $K$
-链群
回指 · 是一个秩为 的自由阿贝尔群。
概念:链群
原文(OCR,未逐页核实)
Thus, $C_r(K)$ is a free Abelian group of rank $I_r$ ,PDF 文件页:122;来源:nakahara-mineru-bd76b709;单元:nakahara-3:u0138;模型:deepseek-v4.1-flash。
候选译文(机器生成,未审阅)
译文窗口边界
译文窗口在此处截断:开头:句末边界(sentence-closed);结尾:达到窗口上限(reach-limit)。
设 中有 个 -单形。我们把它们中的每一个记作 ()。则 表示为
整数 称为 的系数。群结构如下给出。两个 -链 与 的加法为
单位元是 ,而 的逆元是 。[注:反向定向的 -单形 与 等同。] 因此, 是一个秩为 的自由阿贝尔群,
在我们定义闭链群和边缘群之前,需要先引入边缘算子。让我们把 -单形 的边缘记作 。 应被理解为一个作用在 上以产生其边缘的算子。这一观点将在后面详细阐述。让我们看看低维单形的边缘。由于 0-单形没有边缘,我们定义
对于 1-单形 ,我们定义
术语选择
- free Abelian group → 自由阿贝尔群 · 帧条目:自由阿贝尔群(
term:21918e606c2ace80ea29) - rank → 秩 · 帧条目:秩(
term:e18adcc0c9c69d1615e4) - unit element → 单位元 · 帧条目:单位元(
term:76da70b733d268e5062b) - inverse element → 逆元 · 帧条目:群元素的逆元(
lib:1eb6bc94-07d7-48f3-b03b-60b1c2dbb415) - cycle group → 闭链群 · 帧条目:闭链群(
lib:908f0abd-5194-447e-8401-aca500fcdbf6) · 来自同一单元 - boundary group → 边缘群 · 帧条目:边缘群(
lib:b997f55f-72cd-41dd-a707-f2a61744a707) · 来自同一单元 - boundary operator → 边缘算子 · 本章新定(临时) · 来自同一单元
- boundary → 边缘 · 帧条目:边界(
lib:d89858ae-0ae4-44a6-b482-787218d5e179) · 来自同一单元 - coefficients → 系数 · 本章新定(临时) · 来自同一单元
使用前文:自由阿贝尔群。模型判断为使用,按最近的同概念前文推断;原文:is a free Abelian group of rank $I_r$ ,
后文使用:边缘算子。
后文使用:-链群。
自由阿贝尔群
回指 · 是一个秩为 的自由阿贝尔群。
概念:自由阿贝尔群
原文(OCR,未逐页核实)
is a free Abelian group of rank $I_r$ ,PDF 文件页:122;来源:nakahara-mineru-bd76b709;单元:nakahara-3:u0138;模型:deepseek-v4.1-flash。
候选译文(机器生成,未审阅)
译文窗口边界
译文窗口在此处截断:开头:句末边界(sentence-closed);结尾:达到窗口上限(reach-limit)。
设 中有 个 -单形。我们把它们中的每一个记作 ()。则 表示为
整数 称为 的系数。群结构如下给出。两个 -链 与 的加法为
单位元是 ,而 的逆元是 。[注:反向定向的 -单形 与 等同。] 因此, 是一个秩为 的自由阿贝尔群,
在我们定义闭链群和边缘群之前,需要先引入边缘算子。让我们把 -单形 的边缘记作 。 应被理解为一个作用在 上以产生其边缘的算子。这一观点将在后面详细阐述。让我们看看低维单形的边缘。由于 0-单形没有边缘,我们定义
对于 1-单形 ,我们定义
术语选择
- free Abelian group → 自由阿贝尔群 · 帧条目:自由阿贝尔群(
term:21918e606c2ace80ea29) - rank → 秩 · 帧条目:秩(
term:e18adcc0c9c69d1615e4) - unit element → 单位元 · 帧条目:单位元(
term:76da70b733d268e5062b) - inverse element → 逆元 · 帧条目:群元素的逆元(
lib:1eb6bc94-07d7-48f3-b03b-60b1c2dbb415) - cycle group → 闭链群 · 帧条目:闭链群(
lib:908f0abd-5194-447e-8401-aca500fcdbf6) · 来自同一单元 - boundary group → 边缘群 · 帧条目:边缘群(
lib:b997f55f-72cd-41dd-a707-f2a61744a707) · 来自同一单元 - boundary operator → 边缘算子 · 本章新定(临时) · 来自同一单元
- boundary → 边缘 · 帧条目:边界(
lib:d89858ae-0ae4-44a6-b482-787218d5e179) · 来自同一单元 - coefficients → 系数 · 本章新定(临时) · 来自同一单元
使用前文:自由阿贝尔群。模型判断为使用,按最近的同概念前文推断;原文:is a free Abelian group of rank $I_r$ ,
后文使用:链复形。
后文使用:有限生成阿贝尔群基本定理。
边缘算子
引入 · -单形 的边缘记作 ; 应被理解为一个作用在 上以产生其边缘的算子。
概念:边缘算子(临时)
原文(OCR,未逐页核实)
Let us denote the boundary of an $r$ -simplex $\sigma_r$ by $\partial_r\sigma_r$ . $\partial_r$ should be understood as an operator acting on $\sigma_r$ to produce its boundary.PDF 文件页:122;来源:nakahara-mineru-bd76b709;单元:nakahara-3:u0138;模型:deepseek-v4.1-flash。
候选译文(机器生成,未审阅)
译文窗口边界
译文窗口在此处截断:开头:达到窗口上限(reach-limit);结尾:达到窗口上限(reach-limit)。
整数 称为 的系数。群结构如下给出。两个 -链 与 的加法为
单位元是 ,而 的逆元是 。[注:反向定向的 -单形 与 等同。] 因此, 是一个秩为 的自由阿贝尔群,
在我们定义闭链群和边缘群之前,需要先引入边缘算子。让我们把 -单形 的边缘记作 。 应被理解为一个作用在 上以产生其边缘的算子。这一观点将在后面详细阐述。让我们看看低维单形的边缘。由于 0-单形没有边缘,我们定义
对于 1-单形 ,我们定义
读者可能会疑惑 前为何出现负号。这同样与定向有关。下面的例子将阐明这一点。在图 3.7(a) 中,一个定向 1-单形 被分成两个, 和 。我们约定 的边界是 ,因此 的边界也应当如此。如果 被定义为 ,我们就会有 。这是不可取的,因为 是一个虚构的边界。相反,如果我们取 ,我们就会如预期地得到 。下一个例子是图 3.7(b) 中的三角形。它是三个定向 1-单形之和,
术语选择
- free Abelian group → 自由阿贝尔群 · 帧条目:自由阿贝尔群(
term:21918e606c2ace80ea29) · 来自同一单元 - rank → 秩 · 帧条目:秩(
term:e18adcc0c9c69d1615e4) · 来自同一单元 - unit element → 单位元 · 帧条目:单位元(
term:76da70b733d268e5062b) · 来自同一单元 - inverse element → 逆元 · 帧条目:群元素的逆元(
lib:1eb6bc94-07d7-48f3-b03b-60b1c2dbb415) · 来自同一单元 - cycle group → 闭链群 · 帧条目:闭链群(
lib:908f0abd-5194-447e-8401-aca500fcdbf6) - boundary group → 边缘群 · 帧条目:边缘群(
lib:b997f55f-72cd-41dd-a707-f2a61744a707) - boundary operator → 边缘算子 · 本章新定(临时)
- boundary → 边缘 · 帧条目:边界(
lib:d89858ae-0ae4-44a6-b482-787218d5e179) - coefficients → 系数 · 本章新定(临时) · 来自同一单元
- oriented 1-simplex → 定向 1-单形 · 帧条目:定向 1-单形(
term:1f3eff9ffe8938341e79) · 来自同一单元 - orientation → 定向 · 帧条目:定向(
lib:036e9782-c5c9-47d4-90c7-f64cdc08cbed) · 来自同一单元 - boundary → 边界 · 帧条目:边界(
lib:d89858ae-0ae4-44a6-b482-787218d5e179) · 来自同一单元
后文使用:边缘算子。
定向 -单形
回指 · 设 ()为一个定向 -单形。
概念:定向单纯形
原文(OCR,未逐页核实)
Let $\sigma_r(p_0\ldots p_r)$ ( $r > 0$ ) be an oriented $r$ -simplex.PDF 文件页:123;来源:nakahara-mineru-bd76b709;单元:nakahara-3:u0149;模型:deepseek-v4.1-flash。
候选译文(机器生成,未审阅)
译文窗口边界
译文窗口在此处截断:结尾:句末边界(sentence-closed)。
设 ()为一个定向 -单形。 的边界 是由下式定义的一个 -链:
其中 下方的点 被省略。例如,
对于 ,我们形式地定义 。
术语选择
- simplex → 单形 · 帧条目:单形(
term:7ac92ff39b554b2c6d70) - boundary → 边界 · 帧条目:边界(
lib:d89858ae-0ae4-44a6-b482-787218d5e179) - chain → 链 · 帧条目:链(
lib:61fd4411-3d4a-4e1d-8127-2b7adfd4ce07)
使用前文:定向 -单形。模型判断为使用,按最近的同概念前文推断;原文:Let $\sigma_r(p_0\ldots p_r)$ ( $r > 0$ ) be an oriented $r$ -simplex.
后文使用:边缘算子。
边缘算子
推导 · 通过低维例子说明,为使 的边界与 的边界一致,应取 ;由此对一般 -单形 ()定义其边界 为 -链,并形式地定义 。
概念:边缘算子(临时)
原文(OCR,未逐页核实)
If, instead, we take $\partial_1(p_0p_2) = p_2 - p_0$ , we will have $\partial_1(p_0p_1) + \partial_1(p_1p_2) = p_1 - p_0 + p_2 - p_1 = p_2 - p_0$ as expected.Let $\sigma_r(p_0\ldots p_r)$ ( $r > 0$ ) be an oriented $r$ -simplex. The boundary $\partial_r\sigma_r$ of $\sigma_r$ is an $(r - 1)$ -chain defined byWe formally define $\partial_0\sigma_0 = 0$ for $r = 0$ .PDF 文件页:122, 123;来源:nakahara-mineru-bd76b709;单元:nakahara-3:u0149;模型:deepseek-v4.1-flash。
候选译文(机器生成,未审阅)
译文窗口边界
译文窗口在此处截断:开头:达到窗口上限(reach-limit)。
在我们定义闭链群和边缘群之前,需要先引入边缘算子。让我们把 -单形 的边缘记作 。 应被理解为一个作用在 上以产生其边缘的算子。这一观点将在后面详细阐述。让我们看看低维单形的边缘。由于 0-单形没有边缘,我们定义
对于 1-单形 ,我们定义
读者可能会疑惑 前为何出现负号。这同样与定向有关。下面的例子将阐明这一点。在图 3.7(a) 中,一个定向 1-单形 被分成两个, 和 。我们约定 的边界是 ,因此 的边界也应当如此。如果 被定义为 ,我们就会有 。这是不可取的,因为 是一个虚构的边界。相反,如果我们取 ,我们就会如预期地得到 。下一个例子是图 3.7(b) 中的三角形。它是三个定向 1-单形之和,。我们约定它没有边界。如果我们坚持规则 ,我们就会有
这与我们的直觉相矛盾。另一方面,如果我们取 ,我们就有
如预期的那样。因此,如果省略第一个顶点,我们就放一个正号;如果省略第二个顶点,就放一个负号。我们利用这一事实来定义一般 -单形的边界。
设 ()为一个定向 -单形。 的边界 是由下式定义的一个 -链:
其中 下方的点 被省略。例如,
对于 ,我们形式地定义 。
术语选择
- cycle group → 闭链群 · 帧条目:闭链群(
lib:908f0abd-5194-447e-8401-aca500fcdbf6) · 来自同一单元 - boundary group → 边缘群 · 帧条目:边缘群(
lib:b997f55f-72cd-41dd-a707-f2a61744a707) · 来自同一单元 - boundary operator → 边缘算子 · 本章新定(临时) · 来自同一单元
- boundary → 边缘 · 帧条目:边界(
lib:d89858ae-0ae4-44a6-b482-787218d5e179) · 来自同一单元 - oriented 1-simplex → 定向 1-单形 · 帧条目:定向 1-单形(
term:1f3eff9ffe8938341e79) - simplex → 单形 · 帧条目:单形(
term:7ac92ff39b554b2c6d70) - orientation → 定向 · 帧条目:定向(
lib:036e9782-c5c9-47d4-90c7-f64cdc08cbed) - boundary → 边界 · 帧条目:边界(
lib:d89858ae-0ae4-44a6-b482-787218d5e179) - chain → 链 · 帧条目:链(
lib:61fd4411-3d4a-4e1d-8127-2b7adfd4ce07)
使用前文:边缘算子。模型判断为使用,按最近的同概念前文推断;原文:an oriented 1-simplex $(p_0p_2)$ is divided into two, $(p_0p_1)$ and $(p_1p_2)$
使用前文:定向 -单形。模型判断为使用,按最近的同概念前文推断;原文:Let $\sigma_r(p_0\ldots p_r)$ ( $r > 0$ ) be an oriented $r$ -simplex.
后文使用:边缘算子。
边缘算子
回指 · 算子 线性地作用于 的元素 上,其右端是 的元素,因此 定义了映射 ; 称为边缘算子,且是一个同态。
概念:边缘算子(临时)
原文(OCR,未逐页核实)
The operator $\partial_r$ acts linearly on an element $c = \sum_{i} c_i \sigma_{r,i}$ of $C_r(K)$ ,The RHS of (3.21) is an element of $C_{r-1}(K)$ . Accordingly, $\partial_r$ defines a map$\partial_r$ is called the boundary operator. It is easy to see that the boundary operator is a homomorphism.PDF 文件页:123;来源:nakahara-mineru-bd76b709;单元:nakahara-3:u0160;模型:deepseek-v4.1-flash。
候选译文(机器生成,未审阅)
算子 线性地作用于 的元素 上,
(3.21) 的右端是 的元素。因此, 定义了一个映射
称为边缘算子。容易看出,边缘算子是一个同态。
术语选择
- boundary operator → 边缘算子 · 帧条目:边缘算子(
term:106679a0bc4670ff1109) - homomorphism → 同态 · 帧条目:群同态(
lib:3e749de6-9d6f-43ea-a6de-ddff7c549a00)
使用前文:边缘算子。模型判断为使用,按最近的同概念前文推断;原文:The operator $\partial_r$ acts linearly on an element $c = \sum_{i} c_i \sigma_{r,i}$ of $C_r(K)$ ,
使用前文:-链群。模型判断为使用,按最近的同概念前文推断;原文:of $C_r(K)$ ,
链复形
引入 · 设 是 维单纯复形,则存在自由阿贝尔群与同态的序列 ,其中 是包含映射(0 视为 的单位元);该序列称为与 相伴的链复形,记作 。
概念:链复形(临时)
原文(OCR,未逐页核实)
Let $K$ be an $n$ -dimensional simplicial complex. There exists a sequence of free Abelian groups and homomorphisms,where $i: 0 \hookrightarrow C_n(K)$ is an inclusion map (0 is regarded as the unit element of $C_n(K)$ ). This sequence is called the chain complex associated with $K$ and is denoted by $C(K)$ .PDF 文件页:123;来源:nakahara-mineru-bd76b709;单元:nakahara-3:u0160;模型:deepseek-v4.1-flash。
候选译文(机器生成,未审阅)
设 是一个 维单纯复形。存在一个自由阿贝尔群与同态的序列,
其中 是包含映射(0 视为 的单位元)。这个序列称为与 相伴的链复形,记作 。研究同态 的像与核是很有意义的。
术语选择
- simplicial complex → 单纯复形 · 帧条目:单纯复形(
term:f13809a6a5c6f8ddcb0b) - free Abelian groups → 自由阿贝尔群 · 帧条目:自由阿贝尔群(
term:56fa55144bd8a1744ba1) - unit element → 单位元 · 帧条目:单位元(
term:76da70b733d268e5062b) - kernel → 核 · 帧条目:群同态的核(
lib:5f7e4cb8-69a7-4933-854b-6e7bbc93a0f1) - image → 像 · 帧条目:线性映射的像(
lib:593dc0f6-cda0-4a27-a905-4d9a84968af1) - chain complex → 链复形 · 本章新定(临时)
- inclusion map → 包含映射 · 本章新定(临时)
使用前文:单纯复形。模型判断为使用,按最近的同概念前文推断;原文:Let $K$ be an $n$ -dimensional simplicial complex.
使用前文:自由阿贝尔群。模型判断为使用,按最近的同概念前文推断;原文:There exists a sequence of free Abelian groups and homomorphisms,
后文使用:连通单纯复形的 。
-闭链群
引入 · 若 满足 ,则 称为 -闭链;-闭链的集合 是 的子群,称为 -闭链群,且 。若 , 恒为零且 。
概念:-闭链群(临时)
原文(OCR,未逐页核实)
Definition 3.3. If $c \in C_r(K)$ satisfies$c$ is called an $r$ -cycle. The set of $r$ -cycles $Z_{r}(K)$ is a subgroup of $C_{r}(K)$ and is called the $r$ -cycle group. Note that $Z_{r}(K) = \ker \partial_{r}$ . [Remark: If $r = 0$ , $\partial_0 c$ vanishes identically and $Z_{0}(K) = C_{0}(K)$ , see (3.23).]PDF 文件页:124;来源:nakahara-mineru-bd76b709;单元:nakahara-3:u0160;模型:deepseek-v4.1-flash。
候选译文(机器生成,未审阅)
定义 3.3。若 满足
称为一个 -闭链。-闭链的集合 是 的一个子群,称为 -闭链群。注意 。[注:若 , 恒为零且 ,见 (3.23)。]
术语选择
- subgroup → 子群 · 帧条目:子群(
lib:e6dd2937-0598-4aa9-bbf2-317c9e35c0e6) - cycle group → 闭链群 · 帧条目:闭链群(
lib:908f0abd-5194-447e-8401-aca500fcdbf6) - cycle → 闭链 · 帧条目:闭链(
lib:4ce8076e-d99e-40dd-b263-2ba130402d2c)
使用前文:核。模型判断为使用,按最近的同概念前文推断;原文:Note that $Z_{r}(K) = \ker \partial_{r}$ .
-边缘群
引入 · 若 且存在 使 ,则 称为 -边缘;-边缘的集合 是 的子群,称为 -边缘群,且 。 定义为 0。
概念:-边缘群(临时)
原文(OCR,未逐页核实)
If there exists an element $d \in C_{r + 1}(K)$ such thatthen $c$ is called an $r$ -boundary. The set of $r$ -boundaries $B_r(K)$ is a subgroup of $C_r(K)$ and is called the $r$ -boundary group. Note that $B_r(K) = \operatorname{im} \partial_{r+1}$ . [Remark: $B_n(K)$ is defined to be 0.]PDF 文件页:124;来源:nakahara-mineru-bd76b709;单元:nakahara-3:u0171;模型:deepseek-v4.1-flash。
候选译文(机器生成,未审阅)
定义 3.4。设 是一个 维单纯复形,并设 。若存在一个元素 使得
则 称为一个 -边缘。-边缘的集合 是 的一个子群,称为 -边缘群。注意 。[注: 定义为 0。]
术语选择
- simplicial complex → 单纯复形 · 帧条目:单纯复形(
term:f13809a6a5c6f8ddcb0b) - subgroup → 子群 · 帧条目:子群(
lib:e6dd2937-0598-4aa9-bbf2-317c9e35c0e6) - boundary → 边界 · 帧条目:边界(
lib:d89858ae-0ae4-44a6-b482-787218d5e179)
-闭链群
回指 · 是 的子群,称为 -闭链群。
概念:-闭链群(临时)
原文(OCR,未逐页核实)
$Z_{r}(K)$ and $B_{r}(K)$ are subgroups of $C_{r}(K)$PDF 文件页:124;来源:nakahara-mineru-bd76b709;单元:nakahara-3:u0171;模型:deepseek-v4.1-flash。
候选译文(机器生成,未审阅)
由引理 3.1 可知, 和 是 的子群。我们现在证明 与 之间的一个重要关系,它在同调群的定义中至关重要。
术语选择
- homology groups → 同调群 · 帧条目:同调群(
lib:02f7a498-5c17-4366-9479-8666d5f9bb2e)
边缘的边缘为零
推导 · 复合映射 是零映射;即对任意 ,。
概念:边缘的边缘为零(临时)
原文(OCR,未逐页核实)
The composite map $\partial_r\circ \partial_{r + 1}:C_{r + 1}(K)\to C_{r - 1}(K)$ is a zero map; that is, $\partial_r(\partial_{r + 1}c) = 0$ for any $c\in C_{r + 1}(K)$ .PDF 文件页:124;来源:nakahara-mineru-bd76b709;单元:nakahara-3:u0171;模型:deepseek-v4.1-flash。
候选译文(机器生成,未审阅)
引理 3.3。复合映射 是一个零映射;即对任意 ,。
术语选择
- zero map → 零映射 · 本章新定(临时)
- composite map → 复合映射 · 本章新定(临时)
-边缘群
回指 · 是 的子群,称为 -边缘群。
概念:-边缘群(临时)
原文(OCR,未逐页核实)
$B_r(K)$PDF 文件页:125;来源:nakahara-mineru-bd76b709;单元:nakahara-3:u0183;模型:deepseek-v4.1-flash。
候选译文(机器生成,未审阅)
译文窗口边界
译文窗口在此处截断:结尾:句末边界(sentence-closed)。
到目前为止,我们已经定义了与单纯复形 相伴的三个群 和 。它们与 的拓扑性质,或者与以 为三角剖分的拓扑空间,有什么关系? 是否可能表达任何在同胚下保持不变的性质?我们都知道,三角形的边与正方形的边彼此同胚。它们的链群又如何呢?例如,与一个三角形相伴的 1-链群是
而与一个正方形相伴的则是
显然 不同构于 ,因此 不能作为拓扑不变量的候选。对 和 也是如此。事实证明,下面定义的同调群提供了所需的拓扑不变量。
术语选择
- simplicial complex → 单纯复形 · 帧条目:单纯复形(
term:f13809a6a5c6f8ddcb0b) - triangulation → 三角剖分 · 帧条目:三角剖分(
term:a1faa0cae6566eac919d) - chain group → 链群 · 帧条目:链群(
term:c89e2e6d3d04646cfab3) - topological invariant → 拓扑不变量 · 帧条目:拓扑不变量(
lib:5838084a-ffaf-428a-80a9-26e5da5f38c4) · 来自同一单元 - topological space → 拓扑空间 · 帧条目:拓扑空间(
lib:45a8647a-b930-455d-8207-7edbb089a132) - homeomorphic → 同胚 · 帧条目:
lib:93c1d325-7d4a-436d-83b1-bce5bbeb4016 - homeomorphism → 同胚 · 帧条目:同胚(
lib:8205a1b2-9f2c-420f-852b-e8664f601938)
后文使用:-边缘群。
-闭链群
回指 · 是 的子群,称为 -闭链群。
概念:-闭链群(临时)
原文(OCR,未逐页核实)
$C_r(K), Z_r(K)$PDF 文件页:125;来源:nakahara-mineru-bd76b709;单元:nakahara-3:u0183;模型:deepseek-v4.1-flash。
候选译文(机器生成,未审阅)
译文窗口边界
译文窗口在此处截断:结尾:句末边界(sentence-closed)。
到目前为止,我们已经定义了与单纯复形 相伴的三个群 和 。它们与 的拓扑性质,或者与以 为三角剖分的拓扑空间,有什么关系? 是否可能表达任何在同胚下保持不变的性质?我们都知道,三角形的边与正方形的边彼此同胚。它们的链群又如何呢?例如,与一个三角形相伴的 1-链群是
而与一个正方形相伴的则是
显然 不同构于 ,因此 不能作为拓扑不变量的候选。对 和 也是如此。事实证明,下面定义的同调群提供了所需的拓扑不变量。
术语选择
- simplicial complex → 单纯复形 · 帧条目:单纯复形(
term:f13809a6a5c6f8ddcb0b) - triangulation → 三角剖分 · 帧条目:三角剖分(
term:a1faa0cae6566eac919d) - chain group → 链群 · 帧条目:链群(
term:c89e2e6d3d04646cfab3) - topological invariant → 拓扑不变量 · 帧条目:拓扑不变量(
lib:5838084a-ffaf-428a-80a9-26e5da5f38c4) · 来自同一单元 - topological space → 拓扑空间 · 帧条目:拓扑空间(
lib:45a8647a-b930-455d-8207-7edbb089a132) - homeomorphic → 同胚 · 帧条目:
lib:93c1d325-7d4a-436d-83b1-bce5bbeb4016 - homeomorphism → 同胚 · 帧条目:同胚(
lib:8205a1b2-9f2c-420f-852b-e8664f601938)
后文使用:-闭链群。
同调群
引入 · 设 是 维单纯复形。与 相伴的第 个同调群 ,,定义为 。
概念:同调群(临时)
原文(OCR,未逐页核实)
The $r$ th homology group $H_{r}(K)$ , $0 \leq r \leq n$ , associated with $K$ is defined byH _ {r} (K) \equiv Z _ {r} (K) / B _ {r} (K).PDF 文件页:125;来源:nakahara-mineru-bd76b709;单元:nakahara-3:u0183;模型:deepseek-v4.1-flash。
候选译文(机器生成,未审阅)
定义 3.5。设 是一个 维单纯复形。与 相伴的第 个同调群 ,,定义为
[注:如有必要,我们对 或 定义 。如果我们想强调群结构是用整数系数定义的,我们写作 。我们也可以定义具有 -系数的同调群 ,或具有 -系数的同调群 。]
术语选择
- homology group → 同调群 · 帧条目:同调群(
lib:02f7a498-5c17-4366-9479-8666d5f9bb2e) - simplicial complex → 单纯复形 · 帧条目:单纯复形(
term:f13809a6a5c6f8ddcb0b) - coefficients → 系数 · 帧条目:系数(
term:7c22d8e50f758ebedd29) · 来自同一单元
后文使用:同调类。
同调类
引入 · 每个等价类 称为一个同调类;两个 -闭链 与 属于同一个等价类当且仅当 ,此时称 与 同调,并记作 或 。
概念:同调群(临时)
原文(OCR,未逐页核实)
where each equivalence class $[z]$ is called a homology class.Two $r$ -cycles $z$ and $z'$ are in the same equivalence class if and only if $z - z' \in B_r(K)$ , in which case $z$ is said to be homologous to $z'$ and denoted by $z \sim z'$ or $[z] = [z']$ .PDF 文件页:126;来源:nakahara-mineru-bd76b709;单元:nakahara-3:u0195;模型:deepseek-v4.1-flash。
候选译文(机器生成,未审阅)
由于 是 的子群, 是良定义的。群 是 -闭链的等价类的集合,
其中每个等价类 称为一个同调类。两个 -闭链 与 属于同一个等价类,当且仅当 ,此时称 与 同调,并记作 或 。几何上, 是某个空间的边界。按定义,任何边界 都与 0 同调,因为 。我们不加证明地接受以下定理。
术语选择
- subgroup → 子群 · 帧条目:子群(
lib:e6dd2937-0598-4aa9-bbf2-317c9e35c0e6) · 来自同一单元 - cycles → 闭链 · 帧条目:闭链(
lib:4ce8076e-d99e-40dd-b263-2ba130402d2c) · 来自同一单元 - homology class → 同调类 · 本章新定(临时)
- homologous → 同调 · 帧条目:同调的(
lib:c15b2f02-2ed4-430f-b86c-876c372f938e) - boundary → 边界 · 帧条目:边界(
lib:d89858ae-0ae4-44a6-b482-787218d5e179)
使用前文:同调群。模型判断为细化,按最近的同概念前文推断;原文:where each equivalence class $[z]$ is called a homology class.
同调群是拓扑不变量
引入 · 定理 3.4:同调群是拓扑不变量。设 同胚于 , 与 分别是 与 的三角剖分,则 ,。
概念:同调群(临时)
原文(OCR,未逐页核实)
Theorem 3.4. Homology groups are topological invariants.Let $X$ be homeomorphic to $Y$ and let $(K, f)$ and $(L, g)$ be triangulations of $X$ and $Y$ respectively.PDF 文件页:126;来源:nakahara-mineru-bd76b709;单元:nakahara-3:u0195;模型:deepseek-v4.1-flash。
候选译文(机器生成,未审阅)
译文窗口边界
译文窗口在此处截断:结尾:达到窗口上限(reach-limit)。
定理 3.4。同调群是拓扑不变量。设 同胚于 ,并设 与 分别是 与 的三角剖分。则我们有
特别地,若 与 是 的两个三角剖分,则
因此,谈论一个未必是多面体但可三角剖分的拓扑空间 的同调群是有意义的。对于任意三角剖分 , 定义为
术语选择
- topological invariants → 拓扑不变量 · 帧条目:拓扑不变量(
lib:5838084a-ffaf-428a-80a9-26e5da5f38c4) - homeomorphic → 同胚 · 帧条目:
lib:93c1d325-7d4a-436d-83b1-bce5bbeb4016 - triangulation → 三角剖分 · 帧条目:三角剖分(
term:a1faa0cae6566eac919d) · 来自同一单元 - triangulable → 可三角剖分 · 帧条目:可三角剖分(
term:3cae136d012c2bf09f06) · 来自同一单元 - polyhedron → 多面体 · 帧条目:多面体(
term:0fe89e1c6c981ba49af3) · 来自同一单元 - topological space → 拓扑空间 · 帧条目:拓扑空间(
lib:45a8647a-b930-455d-8207-7edbb089a132) · 来自同一单元 - Homology groups → 同调群 · 帧条目:同调群(
lib:02f7a498-5c17-4366-9479-8666d5f9bb2e)
使用前文:三角剖分。模型判断为使用,按最近的同概念前文推断;原文:let $(K, f)$ and $(L, g)$ be triangulations of $X$ and $Y$ respectively
可三角剖分空间的同调群
引入 · 对于未必是多面体但可三角剖分的拓扑空间 ,对任意三角剖分 ,定义 ,;由定理 3.4,这不依赖于三角剖分 的选择。
概念:同调群(临时)
原文(OCR,未逐页核实)
Accordingly, it makes sense to talk of homology groups of a topological space $X$ which is not necessarily a polyhedron but which is triangulable.For an arbitrary triangulation $(K, f)$ , $H_r(X)$ is defined to bePDF 文件页:126;来源:nakahara-mineru-bd76b709;单元:nakahara-3:u0195;模型:deepseek-v4.1-flash。
候选译文(机器生成,未审阅)
译文窗口边界
译文窗口在此处截断:开头:句末边界(sentence-closed)。
定理 3.4。同调群是拓扑不变量。设 同胚于 ,并设 与 分别是 与 的三角剖分。则我们有
特别地,若 与 是 的两个三角剖分,则
因此,谈论一个未必是多面体但可三角剖分的拓扑空间 的同调群是有意义的。对于任意三角剖分 , 定义为
定理 3.4 告诉我们,这不依赖于三角剖分 的选择。
术语选择
- topological invariants → 拓扑不变量 · 帧条目:拓扑不变量(
lib:5838084a-ffaf-428a-80a9-26e5da5f38c4) · 来自同一单元 - homeomorphic → 同胚 · 帧条目:
lib:93c1d325-7d4a-436d-83b1-bce5bbeb4016· 来自同一单元 - triangulation → 三角剖分 · 帧条目:三角剖分(
term:a1faa0cae6566eac919d) - triangulable → 可三角剖分 · 帧条目:可三角剖分(
term:3cae136d012c2bf09f06) - polyhedron → 多面体 · 帧条目:多面体(
term:0fe89e1c6c981ba49af3) - topological space → 拓扑空间 · 帧条目:拓扑空间(
lib:45a8647a-b930-455d-8207-7edbb089a132) - Homology groups → 同调群 · 帧条目:同调群(
lib:02f7a498-5c17-4366-9479-8666d5f9bb2e) · 来自同一单元
后文使用:可三角剖分空间的同调群。
-边缘群
回指 · ,因为 不是 中任何单形的边界。
概念:-边缘群(临时)
原文(OCR,未逐页核实)
Since $(p_0p_1)$ is not a boundary of any simplex in $K$ , $B_{1}(K) = \{0\}$PDF 文件页:127;来源:nakahara-mineru-bd76b709;单元:nakahara-3:u0207;模型:deepseek-v4.1-flash。
候选译文(机器生成,未审阅)
译文窗口边界
译文窗口在此处截断:开头:达到窗口上限(reach-limit);结尾:达到窗口上限(reach-limit)。
例 3.7。设 。我们有
由于 不是 中任何单形的边界,,并且
若 ,则它满足
因此, 必须为零,且 ,从而
术语选择
- boundary → 边界 · 帧条目:边界(
lib:d89858ae-0ae4-44a6-b482-787218d5e179) - simplex → 单形 · 帧条目:单形(
term:7ac92ff39b554b2c6d70)
使用前文:-边缘群。模型判断为使用,按最近的同概念前文推断;原文:$B_{1}(K) = \{0\}$
后文使用: 为零。
-闭链群
回指 · 若 ,则 迫使 ,故 。
概念:-闭链群(临时)
原文(OCR,未逐页核实)
If $z = m(p_0p_1) \in Z_1(K)$ , it satisfiesThus, $m$ has to vanish and $Z_{1}(K) = 0$PDF 文件页:127;来源:nakahara-mineru-bd76b709;单元:nakahara-3:u0207;模型:deepseek-v4.1-flash。
候选译文(机器生成,未审阅)
译文窗口边界
译文窗口在此处截断:开头:达到窗口上限(reach-limit);结尾:达到窗口上限(reach-limit)。
由于 不是 中任何单形的边界,,并且
若 ,则它满足
因此, 必须为零,且 ,从而
至于 ,我们有 ,并且
定义一个满(到上)同态 为
术语选择
- boundary → 边界 · 帧条目:边界(
lib:d89858ae-0ae4-44a6-b482-787218d5e179) · 来自同一单元 - simplex → 单形 · 帧条目:单形(
term:7ac92ff39b554b2c6d70) · 来自同一单元 - surjective (onto) homomorphism → 满(到上)同态 · 帧条目:群同态(
lib:3e749de6-9d6f-43ea-a6de-ddff7c549a00) · 来自同一单元
使用前文:-闭链群。模型判断为使用,按最近的同概念前文推断;原文:$z = m(p_0p_1) \in Z_1(K)$
可三角剖分空间的同调群
推导 · 对于 ,;至于 ,有 。
概念:同调群(临时)
原文(OCR,未逐页核实)
H _ {1} (K) = Z _ {1} (K) / B _ {1} (K) = Z _ {1} (K).As for $H_0(K)$ , we have $Z_{0}(K) = C_{0}(K) = \{ip_{0} + jp_{1}\}$PDF 文件页:127;来源:nakahara-mineru-bd76b709;单元:nakahara-3:u0207;模型:deepseek-v4.1-flash。
候选译文(机器生成,未审阅)
译文窗口边界
译文窗口在此处截断:开头:达到窗口上限(reach-limit);结尾:达到窗口上限(reach-limit)。
例 3.7。设 。我们有
由于 不是 中任何单形的边界,,并且
若 ,则它满足
因此, 必须为零,且 ,从而
至于 ,我们有 ,并且
定义一个满(到上)同态 为
于是我们得到
术语选择
- boundary → 边界 · 帧条目:边界(
lib:d89858ae-0ae4-44a6-b482-787218d5e179) · 来自同一单元 - simplex → 单形 · 帧条目:单形(
term:7ac92ff39b554b2c6d70) · 来自同一单元 - surjective (onto) homomorphism → 满(到上)同态 · 帧条目:群同态(
lib:3e749de6-9d6f-43ea-a6de-ddff7c549a00) · 来自同一单元
使用前文:可三角剖分空间的同调群。模型判断为使用,按最近的同概念前文推断;原文:H _ {1} (K) = Z _ {1} (K) / B _ {1} (K) = Z _ {1} (K).
同态基本定理
回指 · 定理 3.1 指出 。
概念:同态基本定理(临时)
原文(OCR,未逐页核实)
Theorem 3.1 states that $Z_0(K) / \ker f \cong \operatorname{im} f = \mathbb{Z}$PDF 文件页:127;来源:nakahara-mineru-bd76b709;单元:nakahara-3:u0218;模型:deepseek-v4.1-flash。
候选译文(机器生成,未审阅)
译文窗口边界
译文窗口在此处截断:开头:达到窗口上限(reach-limit);结尾:达到窗口上限(reach-limit)。
定义一个满(到上)同态 为
于是我们得到
定理 3.1 指出 ,或
例 3.8。设 ,见图 3.7(b)。这是 的一个三角剖分。由于 中没有 2-单形,我们有 和 。设 ,其中 。我们要求
这仅当 时得到满足。因此,我们发现
术语选择
- surjective (onto) homomorphism → 满(到上)同态 · 帧条目:群同态(
lib:3e749de6-9d6f-43ea-a6de-ddff7c549a00) · 来自同一单元 - triangulation → 三角剖分 · 帧条目:三角剖分(
term:a1faa0cae6566eac919d) · 来自同一单元 - 2-simplexes → 2-单形 · 帧条目:单形(
term:7ac92ff39b554b2c6d70) · 来自同一单元
使用前文:同态基本定理。模型判断为使用,按原文编号定位(Theorem 3.1);原文:Theorem 3.1 states that $Z_0(K) / \ker f \cong \operatorname{im} f = \mathbb{Z}$
使用前文:核。模型判断为使用,按最近的同概念前文推断;原文:$Z_0(K) / \ker f \cong \operatorname{im} f = \mathbb{Z}$
使用前文:像。模型判断为使用,按最近的同概念前文推断;原文:$Z_0(K) / \ker f \cong \operatorname{im} f = \mathbb{Z}$
三角剖分
回指 · 是 的一个三角剖分。
概念:可三角剖分(临时)
原文(OCR,未逐页核实)
This is a triangulation of $S^1$PDF 文件页:127;来源:nakahara-mineru-bd76b709;单元:nakahara-3:u0218;模型:deepseek-v4.1-flash。
候选译文(机器生成,未审阅)
译文窗口边界
译文窗口在此处截断:开头:达到窗口上限(reach-limit);结尾:达到窗口上限(reach-limit)。
于是我们得到
定理 3.1 指出 ,或
例 3.8。设 ,见图 3.7(b)。这是 的一个三角剖分。由于 中没有 2-单形,我们有 和 。设 ,其中 。我们要求
这仅当 时得到满足。因此,我们发现
这表明 同构于 ,并且
术语选择
- triangulation → 三角剖分 · 帧条目:三角剖分(
term:a1faa0cae6566eac919d) - 2-simplexes → 2-单形 · 帧条目:单形(
term:7ac92ff39b554b2c6d70)
使用前文:三角剖分。模型判断为使用,按最近的同概念前文推断;原文:This is a triangulation of $S^1$
后文使用:圆周三角剖分的 。
圆周三角剖分的
推导 · 对于 ,由于 中没有 2-单形, 且 ;由 推出 ,故 ,从而 。
概念:圆周三角剖分的 (临时)
原文(OCR,未逐页核实)
Since there are no 2-simplexes in $K$ , we have $B_{1}(K) = 0$ and $H_{1}(K) = Z_{1}(K) / B_{1}(K) = Z_{1}(K)$This is satisfied only when $i = j = k$This shows that $Z_{1}(K)$ is isomorphic to $\mathbb{Z}$PDF 文件页:127;来源:nakahara-mineru-bd76b709;单元:nakahara-3:u0218;模型:deepseek-v4.1-flash。
候选译文(机器生成,未审阅)
译文窗口边界
译文窗口在此处截断:开头:达到窗口上限(reach-limit);结尾:达到窗口上限(reach-limit)。
于是我们得到
定理 3.1 指出 ,或
例 3.8。设 ,见图 3.7(b)。这是 的一个三角剖分。由于 中没有 2-单形,我们有 和 。设 ,其中 。我们要求
这仅当 时得到满足。因此,我们发现
这表明 同构于 ,并且
让我们计算 。我们有 ,并且
定义一个满同态 ,由
术语选择
- triangulation → 三角剖分 · 帧条目:三角剖分(
term:a1faa0cae6566eac919d) - 2-simplexes → 2-单形 · 帧条目:单形(
term:7ac92ff39b554b2c6d70) - surjective homomorphism → 满同态 · 本章新定(临时) · 来自同一单元
使用前文:三角剖分。模型判断为使用,按最近的同概念前文推断;原文:This is a triangulation of $S^1$
后文使用:三角剖分球面的 。
后文使用:完整回路同调于 的倍数。
后文使用:莫比乌斯带三角剖分的 。
圆周三角剖分的
推导 · 对于 ,, 由 的像给出;定义满同态 为 ,验证 ;由定理 3.1 得 ,故 。
概念:同调群(临时)
原文(OCR,未逐页核实)
Let us compute $H_0(K)$ . We have $Z_0(K) = C_0(K)$ andDefine a surjective homomorphism $f:Z_0(K)\to \mathbb{Z}$ byFrom theorem 3.1 we find $Z_0(K) / \ker f \cong \operatorname{im} f = \mathbb{Z}$ , orPDF 文件页:128;来源:nakahara-mineru-bd76b709;单元:nakahara-3:u0230;模型:deepseek-v4.1-flash。
候选译文(机器生成,未审阅)
译文窗口边界
译文窗口在此处截断:开头:达到窗口上限(reach-limit)。
这仅当 时得到满足。因此,我们发现
这表明 同构于 ,并且
让我们计算 。我们有 ,并且
定义一个满同态 ,由
我们验证
由定理 3.1 我们得到 ,或
是圆周 的一个三角剖分,而 (3.37) 和 (3.38) 是 的同调群。
术语选择
- surjective homomorphism → 满同态 · 本章新定(临时)
- triangulation → 三角剖分 · 帧条目:三角剖分(
term:a1faa0cae6566eac919d) · 来自同一单元 - homology groups → 同调群 · 帧条目:同调群(
lib:02f7a498-5c17-4366-9479-8666d5f9bb2e) · 来自同一单元
使用前文:同态基本定理。模型判断为回指,按原文编号定位(theorem 3.1);原文:From theorem 3.1 we find $Z_0(K) / \ker f \cong \operatorname{im} f = \mathbb{Z}$ , or
后文使用:三角剖分球面的 。
圆周的三角剖分
回指 · 是圆周 的一个三角剖分,且 (3.37) 和 (3.38) 是 的同调群。
概念:可三角剖分(临时)
原文(OCR,未逐页核实)
$K$ is a triangulation of a circle $S^1$ , and (3.37) and (3.38) are the homology groups of $S^1$ .PDF 文件页:128;来源:nakahara-mineru-bd76b709;单元:nakahara-3:u0230;模型:deepseek-v4.1-flash。
候选译文(机器生成,未审阅)
译文窗口边界
译文窗口在此处截断:开头:达到窗口上限(reach-limit)。
我们验证
由定理 3.1 我们得到 ,或
是圆周 的一个三角剖分,而 (3.37) 和 (3.38) 是 的同调群。
术语选择
- triangulation → 三角剖分 · 帧条目:三角剖分(
term:a1faa0cae6566eac919d) - homology groups → 同调群 · 帧条目:同调群(
lib:02f7a498-5c17-4366-9479-8666d5f9bb2e)
正方形多面体的单纯复形
回指 · 设 是一个多面体为正方形的单纯复形。
概念:单纯复形
原文(OCR,未逐页核实)
Let $K = \{p_0, p_1, p_2, p_3, (p_0p_1), (p_1p_2), (p_2p_3), (p_3p_0)\}$ be a simplicial complex whose polyhedron is a square.PDF 文件页:128;来源:nakahara-mineru-bd76b709;单元:nakahara-3:u0230;模型:deepseek-v4.1-flash。
候选译文(机器生成,未审阅)
练习 3.2。设 是一个多面体为正方形的单纯复形。验证其同调群与上面例 3.8 的同调群相同。
术语选择
- polyhedron → 多面体 · 帧条目:多面体(
term:0fe89e1c6c981ba49af3) - simplicial complex → 单纯复形 · 帧条目:单纯复形(
term:f13809a6a5c6f8ddcb0b) - homology groups → 同调群 · 帧条目:同调群(
lib:02f7a498-5c17-4366-9479-8666d5f9bb2e)
使用前文:单纯复形。模型判断为回指,按最近的同概念前文推断;原文:Let $K = \{p_0, p_1, p_2, p_3, (p_0p_1), (p_1p_2), (p_2p_3), (p_3p_0)\}$ be a simplicial complex whose polyhedron is a square.
后文使用:四面体表面的单纯复形。
三角剖分球面的
推导 · 对于 ,由前面的例子有 ;设 ,若 ,则 ,;这表明 ,因此 。
概念:同调群(临时)
原文(OCR,未逐页核实)
Let us compute $H_{1}(K) = Z_{1}(K) / B_{1}(K)$ . From the previous example, we haveLet $c = m(p_0p_1p_2)\in C_2(K)$ . If $b = \partial_{2}c\in B_{1}(K)$ , we haveThis shows that $Z_{1}(K)\cong B_{1}(K)$ , hencePDF 文件页:128;来源:nakahara-mineru-bd76b709;单元:nakahara-3:u0242;模型:deepseek-v4.1-flash。
候选译文(机器生成,未审阅)
译文窗口边界
译文窗口在此处截断:结尾:达到窗口上限(reach-limit)。
例 3.9。设 ;见图 3.6(b)。由于 0-单形和 1-单形的结构与例 3.8 的相同,我们有
让我们计算 。由前面的例子,我们有
设 。若 ,我们有
这表明 ,因此
由于 中没有 3-单形,我们有 。于是 。设 。由于 , 必须为零。因此,,并且我们有
习题 3.3。设
术语选择
- simplexes → 单形 · 帧条目:单形(
term:7ac92ff39b554b2c6d70) · 来自同一单元
使用前文:圆周三角剖分的 。模型判断为使用,按最近的同概念前文推断;原文:Let us compute $H_{1}(K) = Z_{1}(K) / B_{1}(K)$ . From the previous example, we have
使用前文:圆周三角剖分的 。模型判断为回指,按最近的同概念前文推断;原文:From the previous example, we have
使用前文:定向 2-单形。模型判断为使用,按最近的同概念前文推断;原文:Let $c = m(p_0p_1p_2)\in C_2(K)$
三角剖分球面的
推导 · 对于 ,由于 中没有 3-单形,,于是 ;设 ,由 推出 必须为零,因此 ,从而 。
概念:同调群(临时)
原文(OCR,未逐页核实)
Since there are no 3-simplexes in $K$ , we have $B_{2}(K) = \{0\}$ . Then $H_{2}(K) = Z_{2}(K) / B_{2}(K) = Z_{2}(K)$ . Let $z = m(p_{0}p_{1}p_{2}) \in Z_{2}(K)$ . Since $\partial_{2}z = m\{(p_{1}p_{2}) - (p_{0}p_{2}) + (p_{0}p_{1})\} = 0$ , $m$ must vanish. Hence, $Z_{1}(K) = \{0\}$ and we havePDF 文件页:128;来源:nakahara-mineru-bd76b709;单元:nakahara-3:u0242;模型:deepseek-v4.1-flash。
候选译文(机器生成,未审阅)
译文窗口边界
译文窗口在此处截断:开头:达到窗口上限(reach-limit);结尾:达到窗口上限(reach-limit)。
设 。若 ,我们有
这表明 ,因此
由于 中没有 3-单形,我们有 。于是 。设 。由于 , 必须为零。因此,,并且我们有
习题 3.3。设
是一个单纯复形,其多面体为四面体的表面。验证
术语选择
- simplexes → 单形 · 帧条目:单形(
term:7ac92ff39b554b2c6d70) - simplicial complex → 单纯复形 · 帧条目:单纯复形(
term:f13809a6a5c6f8ddcb0b) · 来自同一单元 - polyhedron → 多面体 · 帧条目:多面体(
term:0fe89e1c6c981ba49af3) · 来自同一单元
后文使用:连通单纯复形的 。
四面体表面的单纯复形
回指 · 设 是一个单纯复形,其多面体为四面体的表面。
概念:单纯复形
原文(OCR,未逐页核实)
Exercise 3.3. Letbe a simplicial complex whose polyhedron is the surface of a tetrahedron. Verify thatPDF 文件页:129;来源:nakahara-mineru-bd76b709;单元:nakahara-3:u0250;模型:deepseek-v4.1-flash。
候选译文(机器生成,未审阅)
译文窗口边界
译文窗口在此处截断:开头:达到窗口上限(reach-limit)。
这表明 ,因此
由于 中没有 3-单形,我们有 。于是 。设 。由于 , 必须为零。因此,,并且我们有
习题 3.3。设
是一个单纯复形,其多面体为四面体的表面。验证
是球面 的一个三角剖分,且 (3.42) 给出 的同调群。
术语选择
- simplexes → 单形 · 帧条目:单形(
term:7ac92ff39b554b2c6d70) · 来自同一单元 - simplicial complex → 单纯复形 · 帧条目:单纯复形(
term:f13809a6a5c6f8ddcb0b) - triangulation → 三角剖分 · 帧条目:三角剖分(
term:a1faa0cae6566eac919d) · 来自同一单元 - polyhedron → 多面体 · 帧条目:多面体(
term:0fe89e1c6c981ba49af3)
使用前文:正方形多面体的单纯复形。模型判断为使用,按最近的同概念前文推断;原文:Exercise 3.3. Let / be a simplicial complex whose polyhedron is the surface of a tetrahedron. Verify that
球面的三角剖分
回指 · 是球面 的一个三角剖分,且 (3.42) 给出 的同调群。
概念:可三角剖分(临时)
原文(OCR,未逐页核实)
$K$ is a triangulation of the sphere $S^2$ and (3.42) gives the homology groups of $S^2$ .PDF 文件页:129;来源:nakahara-mineru-bd76b709;单元:nakahara-3:u0250;模型:deepseek-v4.1-flash。
候选译文(机器生成,未审阅)
译文窗口边界
译文窗口在此处截断:开头:达到窗口上限(reach-limit)。
习题 3.3。设
是一个单纯复形,其多面体为四面体的表面。验证
是球面 的一个三角剖分,且 (3.42) 给出 的同调群。
术语选择
- simplicial complex → 单纯复形 · 帧条目:单纯复形(
term:f13809a6a5c6f8ddcb0b) · 来自同一单元 - triangulation → 三角剖分 · 帧条目:三角剖分(
term:a1faa0cae6566eac919d) - polyhedron → 多面体 · 帧条目:多面体(
term:0fe89e1c6c981ba49af3) · 来自同一单元
后文使用:欧拉示性数。
后文使用:贝蒂数。
后文使用:三角剖分。
连通单纯复形的
推导 · 设 是一个连通的单纯复形,则 。
概念:同调群(临时)
原文(OCR,未逐页核实)
Theorem 3.5. Let $K$ be a connected simplicial complex. ThenH _ {0} (K) \cong \mathbb {Z}. \tag {3.43}PDF 文件页:129;来源:nakahara-mineru-bd76b709;单元:nakahara-3:u0250;模型:deepseek-v4.1-flash。
候选译文(机器生成,未审阅)
译文窗口边界
译文窗口在此处截断:结尾:达到窗口上限(reach-limit)。
定理 3.5。设 是一个连通的单纯复形。则
证明。由于 连通,对任意一对 0-单形 和 ,存在一列 1-单形 ,使得 。于是可知 与 同调,即 。因此, 中任意 0-单形都与 同调,比如说。假设
其中 是 中 0-单形的个数。则同调类 由单个点生成,
术语选择
- simplicial complex → 单纯复形 · 帧条目:单纯复形(
term:f13809a6a5c6f8ddcb0b) - simplex → 单形 · 帧条目:单形(
term:7ac92ff39b554b2c6d70) · 来自同一单元 - homologous → 同调 · 帧条目:同调的(
lib:c15b2f02-2ed4-430f-b86c-876c372f938e) · 来自同一单元 - connected → 连通的 · 本章新定(临时)
- homology class → 同调类 · 帧条目:同调类(
term:7246ffbab6d248231319) · 来自同一单元 - simplexes → 单形 · 帧条目:单形(
term:7ac92ff39b554b2c6d70) · 来自同一单元
使用前文:三角剖分球面的 。模型判断为细化,按最近的同概念前文推断;原文:Theorem 3.5. Let $K$ be a connected simplicial complex. Then / H _ {0} (K) \cong \mathbb {Z}. \tag {3.43}
后文使用:连通单纯复形的 。
同调类由单个点生成
推导 · 同调类 由单个点生成,。
原文(OCR,未逐页核实)
Then the homology class $[z]$ is generated by a single point,PDF 文件页:129;来源:nakahara-mineru-bd76b709;单元:nakahara-3:u0261;模型:deepseek-v4.1-flash。
候选译文(机器生成,未审阅)
译文窗口边界
译文窗口在此处截断:开头:句末边界(sentence-closed)。
定理 3.5。设 是一个连通的单纯复形。则
证明。由于 连通,对任意一对 0-单形 和 ,存在一列 1-单形 ,使得 。于是可知 与 同调,即 。因此, 中任意 0-单形都与 同调,比如说。假设
其中 是 中 0-单形的个数。则同调类 由单个点生成,
显然,若 ,则 ,即 。
术语选择
- simplicial complex → 单纯复形 · 帧条目:单纯复形(
term:f13809a6a5c6f8ddcb0b) · 来自同一单元 - simplex → 单形 · 帧条目:单形(
term:7ac92ff39b554b2c6d70) · 来自同一单元 - homologous → 同调 · 帧条目:同调的(
lib:c15b2f02-2ed4-430f-b86c-876c372f938e) · 来自同一单元 - connected → 连通的 · 本章新定(临时) · 来自同一单元
- homology class → 同调类 · 帧条目:同调类(
term:7246ffbab6d248231319) - simplexes → 单形 · 帧条目:单形(
term:7ac92ff39b554b2c6d70)
中系数成对出现
推导 · ()在 的元素中总是以 和 成对出现。
概念: 中系数成对出现(临时)
原文(OCR,未逐页核实)
Note that $n_j$ ( $1 \leq j \leq I_1$ ) always appears as a pair $+n_j$ and $-n_j$ in an element of $B_0(K)$ .PDF 文件页:129;来源:nakahara-mineru-bd76b709;单元:nakahara-3:u0261;模型:deepseek-v4.1-flash。
候选译文(机器生成,未审阅)
设 ()是 中的 1-单形, 是 中 1-单形的个数,则
注意 ()在 的元素中总是以 和 成对出现。因此,若
现在我们已经证明,对于连通复形 , 当且仅当 。
术语选择
- connected → 连通 · 帧条目:连通的(
term:484c8428dd55e48340af) · 来自同一单元 - simplexes → 单形 · 帧条目:单形(
term:7ac92ff39b554b2c6d70) · 来自同一单元
连通单纯复形的
推导 · 对于连通复形 , 当且仅当 ;由此定义满同态 ,。
概念:同调群(临时)
原文(OCR,未逐页核实)
Now we have proved for a connected complex $K$ that $z = \sum n_i p_i \in B_0(K)$ if and only if $\sum n_i = 0$ .Define a surjective homomorphism $f: Z_0(K) \to \mathbb{Z}$ byPDF 文件页:130;来源:nakahara-mineru-bd76b709;单元:nakahara-3:u0261;模型:deepseek-v4.1-flash。
候选译文(机器生成,未审阅)
译文窗口边界
译文窗口在此处截断:开头:句末边界(sentence-closed)。
设 ()是 中的 1-单形, 是 中 1-单形的个数,则
注意 ()在 的元素中总是以 和 成对出现。因此,若
现在我们已经证明,对于连通复形 , 当且仅当 。
定义满同态 为
于是我们有 。由定理 3.1 可得 。
术语选择
- surjective homomorphism → 满同态 · 帧条目:满同态(
term:18e72e43b7ab79616fa0) - connected → 连通 · 帧条目:连通的(
term:484c8428dd55e48340af) - simplexes → 单形 · 帧条目:单形(
term:7ac92ff39b554b2c6d70) · 来自同一单元
使用前文:连通单纯复形的 。模型判断为使用,按最近的同概念前文推断;原文:Now we have proved for a connected complex $K$ that $z = \sum n_i p_i \in B_0(K)$ if and only if $\sum n_i = 0$ .
使用前文:链复形。模型判断为使用,按最近的同概念前文推断;原文:Define a surjective homomorphism $f: Z_0(K) \to \mathbb{Z}$ by
核
回指 · 。
概念:核(临时)
原文(OCR,未逐页核实)
$\ker f = f^{-1}(0) = B_0(K)$PDF 文件页:130;来源:nakahara-mineru-bd76b709;单元:nakahara-3:u0273;模型:deepseek-v4.1-flash。
候选译文(机器生成,未审阅)
定义满同态 为
于是我们有 。由定理 3.1 可得 。
术语选择
- surjective homomorphism → 满同态 · 帧条目:满同态(
term:18e72e43b7ab79616fa0) · 来自同一单元
使用前文:核。模型判断为使用,按最近的同概念前文推断;原文:$\ker f = f^{-1}(0) = B_0(K)$
连通单纯复形的
推导 · 由定理 3.1 可得 。
概念:同调群(临时)
原文(OCR,未逐页核实)
It follows from theorem 3.1 that $H_0(K) = Z_0(K) / B_0(K) = Z_0(K) / \ker f \cong \operatorname{im} f = \mathbb{Z}$PDF 文件页:130;来源:nakahara-mineru-bd76b709;单元:nakahara-3:u0273;模型:deepseek-v4.1-flash。
候选译文(机器生成,未审阅)
定义满同态 为
于是我们有 。由定理 3.1 可得 。
术语选择
- surjective homomorphism → 满同态 · 帧条目:满同态(
term:18e72e43b7ab79616fa0) · 来自同一单元
使用前文:核。模型判断为使用,按最近的同概念前文推断;原文:$\ker f = f^{-1}(0) = B_0(K)$
后文使用:莫比乌斯带三角剖分的 。
为零
推导 · 在莫比乌斯带的三角剖分中, 迫使所有系数为零,因此 。
概念:-闭链群(临时)
原文(OCR,未逐页核实)
all the coefficients must vanish, $i = j = k = l = m = n =$Thus, $Z_{2}(K) = \{0\}$ andPDF 文件页:130, 131;来源:nakahara-mineru-bd76b709;单元:nakahara-3:u0274;模型:deepseek-v4.1-flash。
候选译文(机器生成,未审阅)
译文窗口边界
译文窗口在此处截断:开头:标题边界(heading);结尾:达到窗口上限(reach-limit)。
例 3.10。本例题与下一例题讨论不可定向空间的同调群。图 3.8 是莫比乌斯带的三角剖分。显然 。让我们取一个闭链 ,
满足
由于 、、、、 和 中的每一个在 中都出现一次且仅出现一次,所有系数都必须为零,0。因此, 且
为了求 ,我们凭借直觉而不是进行繁琐的计算。让我们找出构成完整回路的环路。一个这样的环路是
那么所有其他完整回路都与 的倍数同调。例如,让我们取
术语选择
- triangulation → 三角剖分 · 帧条目:三角剖分(
term:a1faa0cae6566eac919d) · 来自同一单元 - coefficients → 系数 · 帧条目:系数(
term:7c22d8e50f758ebedd29) - loop → 环路 · 帧条目:环路(
term:eb09de30462ffe0e882b) · 来自同一单元 - homology groups → 同调群 · 帧条目:同调群(
lib:02f7a498-5c17-4366-9479-8666d5f9bb2e) · 来自同一单元 - homologous → 同调 · 帧条目:同调的(
lib:c15b2f02-2ed4-430f-b86c-876c372f938e) · 来自同一单元 - cycle → 闭链 · 帧条目:闭链(
lib:4ce8076e-d99e-40dd-b263-2ba130402d2c) · 来自同一单元 - complete circuits → 完整回路 · 本章新定(临时) · 来自同一单元
后文使用:莫比乌斯带三角剖分的 。
后文使用:射影平面三角剖分的 。
后文使用: 为零。
莫比乌斯带三角剖分的
推导 · 对于图 3.8 中莫比乌斯带的三角剖分 ,;取任意闭链 ,由 推出所有系数为零,故 ,从而 。
概念:同调群(临时)
原文(OCR,未逐页核实)
Clearly $B_{2}(K) = 0$ .Thus, $Z_{2}(K) = \{0\}$ andH _ {2} (K) = Z _ {2} (K) / B _ {2} (K) \cong \{0 \}. \tag {3.44}PDF 文件页:130, 131;来源:nakahara-mineru-bd76b709;单元:nakahara-3:u0274;模型:deepseek-v4.1-flash。
候选译文(机器生成,未审阅)
译文窗口边界
译文窗口在此处截断:结尾:达到窗口上限(reach-limit)。
例 3.10。本例题与下一例题讨论不可定向空间的同调群。图 3.8 是莫比乌斯带的三角剖分。显然 。让我们取一个闭链 ,
满足
由于 、、、、 和 中的每一个在 中都出现一次且仅出现一次,所有系数都必须为零,0。因此, 且
为了求 ,我们凭借直觉而不是进行繁琐的计算。让我们找出构成完整回路的环路。一个这样的环路是
那么所有其他完整回路都与 的倍数同调。例如,让我们取
术语选择
- triangulation → 三角剖分 · 帧条目:三角剖分(
term:a1faa0cae6566eac919d) - coefficients → 系数 · 帧条目:系数(
term:7c22d8e50f758ebedd29) · 来自同一单元 - loop → 环路 · 帧条目:环路(
term:eb09de30462ffe0e882b) · 来自同一单元 - homology groups → 同调群 · 帧条目:同调群(
lib:02f7a498-5c17-4366-9479-8666d5f9bb2e) - homologous → 同调 · 帧条目:同调的(
lib:c15b2f02-2ed4-430f-b86c-876c372f938e) · 来自同一单元 - cycle → 闭链 · 帧条目:闭链(
lib:4ce8076e-d99e-40dd-b263-2ba130402d2c) - complete circuits → 完整回路 · 本章新定(临时) · 来自同一单元
使用前文:连通单纯复形的 。模型判断为使用,按最近的同概念前文推断;原文:H _ {2} (K) = Z _ {2} (K) / B _ {2} (K) \cong \{0 \}. \tag {3.44}
使用前文: 为零。模型判断为使用,按最近的同概念前文推断;原文:Let us take a cycle $z \in Z_{2}(K)$ ,
后文使用:射影平面三角剖分的 。
后文使用: 为零。
完整回路同调于 的倍数
推导 · 在莫比乌斯带的三角剖分中,所有其他完整回路都与 的倍数同调。
原文(OCR,未逐页核实)
Then all the other complete circuits are homologous to multiples of $z$ .PDF 文件页:131;来源:nakahara-mineru-bd76b709;单元:nakahara-3:u0274;模型:deepseek-v4.1-flash。
候选译文(机器生成,未审阅)
译文窗口边界
译文窗口在此处截断:开头:达到窗口上限(reach-limit);结尾:达到窗口上限(reach-limit)。
0。因此, 且
为了求 ,我们凭借直觉而不是进行繁琐的计算。让我们找出构成完整回路的环路。一个这样的环路是
那么所有其他完整回路都与 的倍数同调。例如,让我们取
我们发现 ,因为
然而,如果我们取
术语选择
- loop → 环路 · 帧条目:环路(
term:eb09de30462ffe0e882b) · 来自同一单元 - homologous → 同调 · 帧条目:同调的(
lib:c15b2f02-2ed4-430f-b86c-876c372f938e) - complete circuits → 完整回路 · 本章新定(临时)
后文使用:完整回路同调于 的倍数。
后文使用:莫比乌斯带三角剖分的 。
莫比乌斯带三角剖分的
推导 · 对于莫比乌斯带的三角剖分 , 仅由一个元素 生成,且 。
概念:圆周三角剖分的 (临时)
原文(OCR,未逐页核实)
$H_{1}(K)$ is generated by just one element $[z]$ ,PDF 文件页:131;来源:nakahara-mineru-bd76b709;单元:nakahara-3:u0286;模型:deepseek-v4.1-flash。
候选译文(机器生成,未审阅)
译文窗口边界
译文窗口在此处截断:开头:达到窗口上限(reach-limit)。
然而,如果我们取
我们发现 ,因为
我们容易验证,所有闭回路都同调于 ,。 仅由一个元素 生成,
由于 是连通的,由定理 3.5 可知 ,其中 是 的任意 0-单形。
术语选择
- homologous → 同调 · 帧条目:同调的(
lib:c15b2f02-2ed4-430f-b86c-876c372f938e) - connected → 连通的 · 帧条目:连通的(
term:484c8428dd55e48340af) · 来自同一单元 - 0-simplex → 0-单形 · 帧条目:单形(
term:7ac92ff39b554b2c6d70) · 来自同一单元
术语报警
以下为处理时记录的术语检查报警,待复核。
- closed circuits → 闭回路:译名选择未通过检查;帧条目:闭的(
lib:8da45318-5944-4aa7-afd5-245f6894ccb2)
使用前文:完整回路同调于 的倍数。模型判断为细化,按最近的同概念前文推断;原文:We easily verify that all the closed circuits are homologous to $nz$ , $n \in \mathbb{Z}$ .
使用前文:圆周三角剖分的 。模型判断为使用,按最近的同概念前文推断;原文:$H_{1}(K)$ is generated by just one element $[z]$ ,
完整回路同调于 的倍数
推导 · 在莫比乌斯带的三角剖分中,所有闭回路都同调于 ,其中 。
原文(OCR,未逐页核实)
We easily verify that all the closed circuits are homologous to $nz$ , $n \in \mathbb{Z}$ .PDF 文件页:131;来源:nakahara-mineru-bd76b709;单元:nakahara-3:u0286;模型:deepseek-v4.1-flash。
候选译文(机器生成,未审阅)
译文窗口边界
译文窗口在此处截断:开头:达到窗口上限(reach-limit)。
然而,如果我们取
我们发现 ,因为
我们容易验证,所有闭回路都同调于 ,。 仅由一个元素 生成,
由于 是连通的,由定理 3.5 可知 ,其中 是 的任意 0-单形。
术语选择
- homologous → 同调 · 帧条目:同调的(
lib:c15b2f02-2ed4-430f-b86c-876c372f938e) - connected → 连通的 · 帧条目:连通的(
term:484c8428dd55e48340af) · 来自同一单元 - 0-simplex → 0-单形 · 帧条目:单形(
term:7ac92ff39b554b2c6d70) · 来自同一单元
术语报警
以下为处理时记录的术语检查报警,待复核。
- closed circuits → 闭回路:译名选择未通过检查;帧条目:闭的(
lib:8da45318-5944-4aa7-afd5-245f6894ccb2)
使用前文:完整回路同调于 的倍数。模型判断为细化,按最近的同概念前文推断;原文:We easily verify that all the closed circuits are homologous to $nz$ , $n \in \mathbb{Z}$ .
使用前文:圆周三角剖分的 。模型判断为使用,按最近的同概念前文推断;原文:$H_{1}(K)$ is generated by just one element $[z]$ ,
连通复形的
推导 · 若 是连通的,则由定理 3.5 可得 ,其中 是 的任意 0-单形。
概念:连通复形的 (临时)
原文(OCR,未逐页核实)
Since $K$ is connected, it follows from theorem 3.5 that $H_0(K) = \{i[p_a] | i \in \mathbb{Z}\} \cong \mathbb{Z}$ , $p_a$ being any 0-simplex of $K$ .PDF 文件页:131;来源:nakahara-mineru-bd76b709;单元:nakahara-3:u0286;模型:deepseek-v4.1-flash。
候选译文(机器生成,未审阅)
译文窗口边界
译文窗口在此处截断:开头:达到窗口上限(reach-limit)。
我们发现 ,因为
我们容易验证,所有闭回路都同调于 ,。 仅由一个元素 生成,
由于 是连通的,由定理 3.5 可知 ,其中 是 的任意 0-单形。
术语选择
- homologous → 同调 · 帧条目:同调的(
lib:c15b2f02-2ed4-430f-b86c-876c372f938e) · 来自同一单元 - connected → 连通的 · 帧条目:连通的(
term:484c8428dd55e48340af) - 0-simplex → 0-单形 · 帧条目:单形(
term:7ac92ff39b554b2c6d70)
术语报警
以下为处理时记录的术语检查报警,待复核。
- closed circuits → 闭回路:译名选择未通过检查;帧条目:闭的(
lib:8da45318-5944-4aa7-afd5-245f6894ccb2)
后文使用:连通复形的 。
为零
回指 · 对于射影平面的三角剖分 ,。
概念:-边缘群(临时)
原文(OCR,未逐页核实)
Clearly $B_2(K) = \{0\}$ .PDF 文件页:131;来源:nakahara-mineru-bd76b709;单元:nakahara-3:u0295;模型:deepseek-v4.1-flash。
候选译文(机器生成,未审阅)
译文窗口边界
译文窗口在此处截断:结尾:达到窗口上限(reach-limit)。
例 3.11。射影平面 已在例 2.5(c) 中定义为将对径点等同起来的球面 。作为陪集空间,我们可以取半球面(或圆盘 ),其边界 上的对径点被等同起来,见图 2.5(b)。图 3.9 是射影平面的一个三角剖分。显然 。取一个闭链 ,
的边界是
让我们看每个 1-单形的系数。例如,我们有 ,因此 。类似地,
术语选择
- projective plane → 射影平面 · 本章新定(临时)
- antipodal points → 对径点 · 本章新定(临时)
- coset space → 陪集空间 · 帧条目:陪集(
lib:a62c9f7e-718e-4a9b-8f98-17ec505fd6e9) - hemisphere → 半球面 · 本章新定(临时)
- disc → 圆盘 · 本章新定(临时)
- triangulation → 三角剖分 · 帧条目:三角剖分(
term:a1faa0cae6566eac919d) - cycle → 闭链 · 帧条目:闭链(
lib:4ce8076e-d99e-40dd-b263-2ba130402d2c) - boundary → 边界 · 帧条目:边界(
lib:d89858ae-0ae4-44a6-b482-787218d5e179) - 1-simplex → 1-单形 · 帧条目:单形(
term:7ac92ff39b554b2c6d70) · 来自同一单元
使用前文:-边缘群。模型判断为回指,按最近的同概念前文推断;原文:Clearly $B_2(K) = \{0\}$ .
后文使用:射影平面三角剖分的 。
后文使用:-闭链群。
后文使用:同调群。
射影平面三角剖分的
推导 · 对于射影平面的三角剖分 ,;取任意闭链 ,由 推出所有系数为零,故 是平凡的,从而 。
概念:同调群(临时)
原文(OCR,未逐页核实)
Clearly $B_2(K) = \{0\}$ .This means that the cycle group $Z_2(K)$ is trivial and we havePDF 文件页:131, 133;来源:nakahara-mineru-bd76b709;单元:nakahara-3:u0295;模型:deepseek-v4.1-flash。
候选译文(机器生成,未审阅)
译文窗口边界
译文窗口在此处截断:结尾:达到窗口上限(reach-limit)。
例 3.11。射影平面 已在例 2.5(c) 中定义为将对径点等同起来的球面 。作为陪集空间,我们可以取半球面(或圆盘 ),其边界 上的对径点被等同起来,见图 2.5(b)。图 3.9 是射影平面的一个三角剖分。显然 。取一个闭链 ,
的边界是
让我们看每个 1-单形的系数。例如,我们有 ,因此 。类似地,
这十个条件成立当且仅当 ,。这意味着闭链群 是平凡的,并且我们有
在计算 之前,我们从一个稍有不同的角度考察 。让我们把 中所有 2-单形以相同的系数相加,
观察到 的每个 1-单形恰好是两个 2-单形的公共面。因此, 的边界是
术语选择
- projective plane → 射影平面 · 本章新定(临时)
- antipodal points → 对径点 · 本章新定(临时)
- coset space → 陪集空间 · 帧条目:陪集(
lib:a62c9f7e-718e-4a9b-8f98-17ec505fd6e9) - hemisphere → 半球面 · 本章新定(临时)
- disc → 圆盘 · 本章新定(临时)
- triangulation → 三角剖分 · 帧条目:三角剖分(
term:a1faa0cae6566eac919d) - cycle → 闭链 · 帧条目:闭链(
lib:4ce8076e-d99e-40dd-b263-2ba130402d2c) - boundary → 边界 · 帧条目:边界(
lib:d89858ae-0ae4-44a6-b482-787218d5e179) - 1-simplex → 1-单形 · 帧条目:单形(
term:7ac92ff39b554b2c6d70) · 来自同一单元 - 2-simplexes → 2-单形 · 帧条目:单形(
term:7ac92ff39b554b2c6d70) · 来自同一单元 - cycle group → 闭链群 · 帧条目:闭链群(
lib:908f0abd-5194-447e-8401-aca500fcdbf6) - boundary → 边界 · 帧条目:边界(
lib:d89858ae-0ae4-44a6-b482-787218d5e179) · 来自同一单元
术语报警
以下为处理时记录的术语检查报警,待复核。
- common face → 公共面:译名选择未通过检查;帧条目:面(
lib:83c6cbb2-d720-4dd5-8186-1ceb458dfe53)
使用前文:莫比乌斯带三角剖分的 。模型判断为使用,按最近的同概念前文推断;原文:This means that the cycle group $Z_2(K)$ is trivial and we have
使用前文: 为零。模型判断为使用,按最近的同概念前文推断;原文:This means that the cycle group $Z_2(K)$ is trivial
使用前文: 为零。模型判断为回指,按最近的同概念前文推断;原文:Clearly $B_2(K) = \{0\}$ .
后文使用:亏格 曲面的第一同调群。
为零
推导 · 在射影平面的三角剖分中, 迫使所有系数为零,因此 是平凡的。
概念:-闭链群(临时)
原文(OCR,未逐页核实)
This means that the cycle group $Z_2(K)$ is trivialPDF 文件页:133;来源:nakahara-mineru-bd76b709;单元:nakahara-3:u0295;模型:deepseek-v4.1-flash。
候选译文(机器生成,未审阅)
译文窗口边界
译文窗口在此处截断:开头:达到窗口上限(reach-limit);结尾:达到窗口上限(reach-limit)。
的边界是
让我们看每个 1-单形的系数。例如,我们有 ,因此 。类似地,
这十个条件成立当且仅当 ,。这意味着闭链群 是平凡的,并且我们有
在计算 之前,我们从一个稍有不同的角度考察 。让我们把 中所有 2-单形以相同的系数相加,
观察到 的每个 1-单形恰好是两个 2-单形的公共面。因此, 的边界是
术语选择
- boundary → 边界 · 帧条目:边界(
lib:d89858ae-0ae4-44a6-b482-787218d5e179) · 来自同一单元 - 1-simplex → 1-单形 · 帧条目:单形(
term:7ac92ff39b554b2c6d70) · 来自同一单元 - 2-simplexes → 2-单形 · 帧条目:单形(
term:7ac92ff39b554b2c6d70) · 来自同一单元 - cycle group → 闭链群 · 帧条目:闭链群(
lib:908f0abd-5194-447e-8401-aca500fcdbf6)
术语报警
以下为处理时记录的术语检查报警,待复核。
- common face → 公共面:译名选择未通过检查;帧条目:面(
lib:83c6cbb2-d720-4dd5-8186-1ceb458dfe53)
使用前文:莫比乌斯带三角剖分的 。模型判断为使用,按最近的同概念前文推断;原文:This means that the cycle group $Z_2(K)$ is trivial and we have
使用前文: 为零。模型判断为使用,按最近的同概念前文推断;原文:This means that the cycle group $Z_2(K)$ is trivial
后文使用: 为零。
为零
推导 · 在射影平面的三角剖分中,若 ,则 必须为零,因此 。
概念:-闭链群(临时)
原文(OCR,未逐页核实)
Thus, if $z \in Z_2(K)$ , $m$ must vanish and we find $Z_2(K) = \{0\}$ as before.PDF 文件页:133;来源:nakahara-mineru-bd76b709;单元:nakahara-3:u0307;模型:deepseek-v4.1-flash。
候选译文(机器生成,未审阅)
译文窗口边界
译文窗口在此处截断:开头:达到窗口上限(reach-limit);结尾:句末边界(sentence-closed)。
在计算 之前,我们从一个稍有不同的角度考察 。让我们把 中所有 2-单形以相同的系数相加,
观察到 的每个 1-单形恰好是两个 2-单形的公共面。因此, 的边界是
因此,若 ,则 必须为零,并且我们像之前一样得到 。这一观察显著简化了 的计算。注意,任何 1-闭链都同调于
参见例 3.10。此外,方程 (3.47) 表明 的偶数倍是某个 2-链的边界。因此, 是一个闭链,且 同调于 0。于是,我们得到
这个例子表明,同调群不一定是自由阿贝尔群,而可能具有有限生成阿贝尔群的完整结构。由于 是连通的,我们有 。
术语选择
- 2-simplexes → 2-单形 · 帧条目:单形(
term:7ac92ff39b554b2c6d70) · 来自同一单元 - 1-simplex → 1-单形 · 帧条目:单形(
term:7ac92ff39b554b2c6d70) · 来自同一单元 - boundary → 边界 · 帧条目:边界(
lib:d89858ae-0ae4-44a6-b482-787218d5e179) · 来自同一单元 - 1-cycle → 1-闭链 · 帧条目:闭链(
lib:4ce8076e-d99e-40dd-b263-2ba130402d2c) - homologous → 同调 · 帧条目:同调的(
lib:c15b2f02-2ed4-430f-b86c-876c372f938e) - cycle → 闭链 · 帧条目:闭链(
lib:4ce8076e-d99e-40dd-b263-2ba130402d2c) · 来自同一单元 - homology group → 同调群 · 帧条目:同调群(
lib:02f7a498-5c17-4366-9479-8666d5f9bb2e) · 来自同一单元 - finitely generated Abelian group → 有限生成阿贝尔群 · 帧条目:阿贝尔群(
lib:f7a3ed41-d4ca-42c5-91ea-dfc1a0dc4b7b) · 来自同一单元 - connected → 连通的 · 帧条目:连通的(
term:484c8428dd55e48340af) · 来自同一单元
术语报警
以下为处理时记录的术语检查报警,待复核。
- common face → 公共面:译名选择未通过检查;帧条目:面(
lib:83c6cbb2-d720-4dd5-8186-1ceb458dfe53) - 2-chain → 2-链:译名选择未通过检查;帧条目:链(
lib:61fd4411-3d4a-4e1d-8127-2b7adfd4ce07) - free Abelian → 自由阿贝尔:译名选择未通过检查;帧条目:阿贝尔群(
lib:f7a3ed41-d4ca-42c5-91ea-dfc1a0dc4b7b)
使用前文: 为零。模型判断为使用,按最近的同概念前文推断;原文:Thus, if $z \in Z_2(K)$ , $m$ must vanish and we find $Z_2(K) = \{0\}$ as before.
后文使用: 为零。
射影平面的
推导 · 对于射影平面的三角剖分 ,。
概念:射影平面的 (临时)
原文(OCR,未逐页核实)
H _ {1} (K) = \{[ z ] | [ z ] + [ z ] \sim [ 0 ] \} \cong \mathbb {Z} _ {2}.PDF 文件页:133;来源:nakahara-mineru-bd76b709;单元:nakahara-3:u0307;模型:deepseek-v4.1-flash。
候选译文(机器生成,未审阅)
译文窗口边界
译文窗口在此处截断:开头:达到窗口上限(reach-limit)。
因此,若 ,则 必须为零,并且我们像之前一样得到 。这一观察显著简化了 的计算。注意,任何 1-闭链都同调于
参见例 3.10。此外,方程 (3.47) 表明 的偶数倍是某个 2-链的边界。因此, 是一个闭链,且 同调于 0。于是,我们得到
这个例子表明,同调群不一定是自由阿贝尔群,而可能具有有限生成阿贝尔群的完整结构。由于 是连通的,我们有 。
术语选择
- boundary → 边界 · 帧条目:边界(
lib:d89858ae-0ae4-44a6-b482-787218d5e179) · 来自同一单元 - 1-cycle → 1-闭链 · 帧条目:闭链(
lib:4ce8076e-d99e-40dd-b263-2ba130402d2c) · 来自同一单元 - homologous → 同调 · 帧条目:同调的(
lib:c15b2f02-2ed4-430f-b86c-876c372f938e) · 来自同一单元 - cycle → 闭链 · 帧条目:闭链(
lib:4ce8076e-d99e-40dd-b263-2ba130402d2c) · 来自同一单元 - homology group → 同调群 · 帧条目:同调群(
lib:02f7a498-5c17-4366-9479-8666d5f9bb2e) · 来自同一单元 - finitely generated Abelian group → 有限生成阿贝尔群 · 帧条目:阿贝尔群(
lib:f7a3ed41-d4ca-42c5-91ea-dfc1a0dc4b7b) · 来自同一单元 - connected → 连通的 · 帧条目:连通的(
term:484c8428dd55e48340af) · 来自同一单元
术语报警
以下为处理时记录的术语检查报警,待复核。
- 2-chain → 2-链:译名选择未通过检查;帧条目:链(
lib:61fd4411-3d4a-4e1d-8127-2b7adfd4ce07) - free Abelian → 自由阿贝尔:译名选择未通过检查;帧条目:阿贝尔群(
lib:f7a3ed41-d4ca-42c5-91ea-dfc1a0dc4b7b)
后文使用:有限生成阿贝尔群基本定理。
连通复形的
推导 · 若 是连通的,则 。
概念:连通复形的 (临时)
原文(OCR,未逐页核实)
Since $K$ is connected, we have $H_0(K) \cong \mathbb{Z}$ .PDF 文件页:133;来源:nakahara-mineru-bd76b709;单元:nakahara-3:u0307;模型:deepseek-v4.1-flash。
候选译文(机器生成,未审阅)
译文窗口边界
译文窗口在此处截断:开头:达到窗口上限(reach-limit)。
因此,若 ,则 必须为零,并且我们像之前一样得到 。这一观察显著简化了 的计算。注意,任何 1-闭链都同调于
参见例 3.10。此外,方程 (3.47) 表明 的偶数倍是某个 2-链的边界。因此, 是一个闭链,且 同调于 0。于是,我们得到
这个例子表明,同调群不一定是自由阿贝尔群,而可能具有有限生成阿贝尔群的完整结构。由于 是连通的,我们有 。
术语选择
- boundary → 边界 · 帧条目:边界(
lib:d89858ae-0ae4-44a6-b482-787218d5e179) · 来自同一单元 - 1-cycle → 1-闭链 · 帧条目:闭链(
lib:4ce8076e-d99e-40dd-b263-2ba130402d2c) · 来自同一单元 - homologous → 同调 · 帧条目:同调的(
lib:c15b2f02-2ed4-430f-b86c-876c372f938e) · 来自同一单元 - cycle → 闭链 · 帧条目:闭链(
lib:4ce8076e-d99e-40dd-b263-2ba130402d2c) · 来自同一单元 - homology group → 同调群 · 帧条目:同调群(
lib:02f7a498-5c17-4366-9479-8666d5f9bb2e) - finitely generated Abelian group → 有限生成阿贝尔群 · 帧条目:阿贝尔群(
lib:f7a3ed41-d4ca-42c5-91ea-dfc1a0dc4b7b) - connected → 连通的 · 帧条目:连通的(
term:484c8428dd55e48340af)
术语报警
以下为处理时记录的术语检查报警,待复核。
- 2-chain → 2-链:译名选择未通过检查;帧条目:链(
lib:61fd4411-3d4a-4e1d-8127-2b7adfd4ce07) - free Abelian → 自由阿贝尔:译名选择未通过检查;帧条目:阿贝尔群(
lib:f7a3ed41-d4ca-42c5-91ea-dfc1a0dc4b7b)
使用前文:连通复形的 。模型判断为使用,按最近的同概念前文推断;原文:Since $K$ is connected, we have $H_0(K) \cong \mathbb{Z}$ .
后文使用:连通复形的 。
后文使用:标准曲线系统。
亏格 曲面的第一同调群
推导 · 亏格为 的环面 的第一同调群 由那些不是某个区域的边界的环路生成,且 。
概念:同调群(临时)
原文(OCR,未逐页核实)
The first homology group $H_1(\Sigma_g)$ is generated by those loops which are not boundaries of some area.H _ {1} \left(\Sigma_ {g}\right) = \left\{i _ {1} \left[ a _ {1} \right] + j _ {1} \left[ b _ {1} \right] + \dots + i _ {g} \left[ a _ {g} \right] + j _ {g} \left[ b _ {g} \right] \right\} \\ \cong \underbrace {\mathbb {Z} \oplus \mathbb {Z} \oplus \cdots \oplus \mathbb {Z}} _ {2 g}.PDF 文件页:134;来源:nakahara-mineru-bd76b709;单元:nakahara-3:u0316;模型:deepseek-v4.1-flash。
候选译文(机器生成,未审阅)
现在很容易将我们的分析推广到亏格为 的环面 。由于 没有边界且不存在 3-单形,曲面 本身自由生成 。第一同调群 由那些不是某个区域的边界的环路生成。图 3.11 展示了生成元的标准选择。我们得到
由于 是连通的,。观察到 同调于图 2.12 中的边 。这 条曲线 被称为 上的标准曲线系统。
术语选择
- homologous → 同调 · 帧条目:同调的(
lib:c15b2f02-2ed4-430f-b86c-876c372f938e) · 来自同一单元 - boundary → 边界 · 帧条目:边界(
lib:d89858ae-0ae4-44a6-b482-787218d5e179) - torus → 环面 · 帧条目:环面(
lib:fee87ca7-4cd9-4a1f-ab6b-9f29f4e871d4) - homology group → 同调群 · 帧条目:同调群(
lib:02f7a498-5c17-4366-9479-8666d5f9bb2e) - connected → 连通的 · 帧条目:连通的(
term:484c8428dd55e48340af) · 来自同一单元 - simplexes → 单形 · 帧条目:单形(
term:7ac92ff39b554b2c6d70) - loops → 环路 · 帧条目:环路(
term:eb09de30462ffe0e882b) - canonical system of curves → 标准曲线系统 · 本章新定(临时) · 来自同一单元
- genus → 亏格 · 本章新定(临时)
使用前文:射影平面三角剖分的 。模型判断为使用,按最近的同概念前文推断;原文:The first homology group $H_1(\Sigma_g)$ is generated by those loops which are not boundaries of some area.
后文使用:同调群。
标准曲线系统
引入 · 上的 条曲线 被称为 上的标准曲线系统。
概念:标准曲线系统(临时)
原文(OCR,未逐页核实)
The $2g$ curves $\{a_i, b_i\}$ are called the canonical system of curves on $\Sigma_g$ .PDF 文件页:134;来源:nakahara-mineru-bd76b709;单元:nakahara-3:u0316;模型:deepseek-v4.1-flash。
候选译文(机器生成,未审阅)
现在很容易将我们的分析推广到亏格为 的环面 。由于 没有边界且不存在 3-单形,曲面 本身自由生成 。第一同调群 由那些不是某个区域的边界的环路生成。图 3.11 展示了生成元的标准选择。我们得到
由于 是连通的,。观察到 同调于图 2.12 中的边 。这 条曲线 被称为 上的标准曲线系统。
术语选择
- homologous → 同调 · 帧条目:同调的(
lib:c15b2f02-2ed4-430f-b86c-876c372f938e) - boundary → 边界 · 帧条目:边界(
lib:d89858ae-0ae4-44a6-b482-787218d5e179) · 来自同一单元 - torus → 环面 · 帧条目:环面(
lib:fee87ca7-4cd9-4a1f-ab6b-9f29f4e871d4) · 来自同一单元 - homology group → 同调群 · 帧条目:同调群(
lib:02f7a498-5c17-4366-9479-8666d5f9bb2e) · 来自同一单元 - connected → 连通的 · 帧条目:连通的(
term:484c8428dd55e48340af) - simplexes → 单形 · 帧条目:单形(
term:7ac92ff39b554b2c6d70) · 来自同一单元 - loops → 环路 · 帧条目:环路(
term:eb09de30462ffe0e882b) · 来自同一单元 - canonical system of curves → 标准曲线系统 · 本章新定(临时)
- genus → 亏格 · 本章新定(临时) · 来自同一单元
使用前文:连通复形的 。模型判断为使用,按最近的同概念前文推断;原文:Since $\Sigma_g$ is connected, $H_0(\Sigma_g) \cong \mathbb{Z}$ .
连通复形的
回指 · 若 是连通的,则 。
概念:连通复形的 (临时)
原文(OCR,未逐页核实)
Since $\Sigma_g$ is connected, $H_0(\Sigma_g) \cong \mathbb{Z}$ .PDF 文件页:134;来源:nakahara-mineru-bd76b709;单元:nakahara-3:u0316;模型:deepseek-v4.1-flash。
候选译文(机器生成,未审阅)
现在很容易将我们的分析推广到亏格为 的环面 。由于 没有边界且不存在 3-单形,曲面 本身自由生成 。第一同调群 由那些不是某个区域的边界的环路生成。图 3.11 展示了生成元的标准选择。我们得到
由于 是连通的,。观察到 同调于图 2.12 中的边 。这 条曲线 被称为 上的标准曲线系统。
术语选择
- homologous → 同调 · 帧条目:同调的(
lib:c15b2f02-2ed4-430f-b86c-876c372f938e) - boundary → 边界 · 帧条目:边界(
lib:d89858ae-0ae4-44a6-b482-787218d5e179) · 来自同一单元 - torus → 环面 · 帧条目:环面(
lib:fee87ca7-4cd9-4a1f-ab6b-9f29f4e871d4) · 来自同一单元 - homology group → 同调群 · 帧条目:同调群(
lib:02f7a498-5c17-4366-9479-8666d5f9bb2e) · 来自同一单元 - connected → 连通的 · 帧条目:连通的(
term:484c8428dd55e48340af) - simplexes → 单形 · 帧条目:单形(
term:7ac92ff39b554b2c6d70) · 来自同一单元 - loops → 环路 · 帧条目:环路(
term:eb09de30462ffe0e882b) · 来自同一单元 - canonical system of curves → 标准曲线系统 · 本章新定(临时)
- genus → 亏格 · 本章新定(临时) · 来自同一单元
使用前文:连通复形的 。模型判断为使用,按最近的同概念前文推断;原文:Since $\Sigma_g$ is connected, $H_0(\Sigma_g) \cong \mathbb{Z}$ .
后文使用:连通复形的 。
为零
推导 · 对于克莱因瓶的三角剖分 ,若 ,则整数 必须为零,因此 。
概念:-闭链群(临时)
原文(OCR,未逐页核实)
For $\partial_{2}z$ to be 0, the integer $m$ must vanish and we havePDF 文件页:135;来源:nakahara-mineru-bd76b709;单元:nakahara-3:u0326;模型:deepseek-v4.1-flash。
候选译文(机器生成,未审阅)
译文窗口边界
译文窗口在此处截断:结尾:标题边界(heading)。
例 3.13。图 3.12 是克莱因瓶的一个三角剖分。同调群的计算与射影平面的计算大致相同。由于 ,我们有 。设 。如果 是 的所有 2-单形以相同系数的组合,,则内部的 1-单形相互抵消,只留下外部的 1-单形
其中 。要使 为 0,整数 必须为零,于是我们有
为计算 ,我们首先注意到,根据我们对环面的经验,每个 1-闭链都同调于 ,其中 。要使一个 2-链的边界仅由 和 组成, 中的所有 2-单形必须以相同的系数相加。因此,对于这样的 2-链 ,我们有 。这表明 。于是, 由两个闭链 和 生成,且满足 ,即
由于 是连通的,我们得到 。
术语选择
- triangulation → 三角剖分 · 帧条目:三角剖分(
term:a1faa0cae6566eac919d) · 来自同一单元 - simplexes → 单形 · 帧条目:单形(
term:7ac92ff39b554b2c6d70) · 来自同一单元 - projective plane → 射影平面 · 帧条目:射影平面(
term:ef0de975c62d90f5818d) · 来自同一单元 - Klein bottle → 克莱因瓶 · 本章新定(临时) · 来自同一单元
- connected → 连通的 · 帧条目:连通的(
term:484c8428dd55e48340af) · 来自同一单元 - homologous → 同调 · 帧条目:同调的(
lib:c15b2f02-2ed4-430f-b86c-876c372f938e) · 来自同一单元 - boundary → 边界 · 帧条目:边界(
lib:d89858ae-0ae4-44a6-b482-787218d5e179) · 来自同一单元 - cycle → 闭链 · 帧条目:闭链(
lib:4ce8076e-d99e-40dd-b263-2ba130402d2c) · 来自同一单元 - chain → 链 · 帧条目:链(
lib:61fd4411-3d4a-4e1d-8127-2b7adfd4ce07) · 来自同一单元 - torus → 环面 · 帧条目:环面(
lib:fee87ca7-4cd9-4a1f-ab6b-9f29f4e871d4) · 来自同一单元
使用前文: 为零。模型判断为使用,按最近的同概念前文推断;原文:For $\partial_{2}z$ to be 0, the integer $m$ must vanish and we have
后文使用:-闭链群。
克莱因瓶的
推导 · 对于克莱因瓶的三角剖分 , 由两个闭链 和 生成,且满足 ,即 。
概念:圆周三角剖分的 (临时)
原文(OCR,未逐页核实)
Thus, $H_{1}(K)$ is generated by two cycles $a$ and $b$ such that $a + a = 0$ , namelyPDF 文件页:135;来源:nakahara-mineru-bd76b709;单元:nakahara-3:u0326;模型:deepseek-v4.1-flash。
候选译文(机器生成,未审阅)
译文窗口边界
译文窗口在此处截断:开头:句末边界(sentence-closed)。
例 3.13。图 3.12 是克莱因瓶的一个三角剖分。同调群的计算与射影平面的计算大致相同。由于 ,我们有 。设 。如果 是 的所有 2-单形以相同系数的组合,,则内部的 1-单形相互抵消,只留下外部的 1-单形
其中 。要使 为 0,整数 必须为零,于是我们有
为计算 ,我们首先注意到,根据我们对环面的经验,每个 1-闭链都同调于 ,其中 。要使一个 2-链的边界仅由 和 组成, 中的所有 2-单形必须以相同的系数相加。因此,对于这样的 2-链 ,我们有 。这表明 。于是, 由两个闭链 和 生成,且满足 ,即
由于 是连通的,我们得到 。
术语选择
- triangulation → 三角剖分 · 帧条目:三角剖分(
term:a1faa0cae6566eac919d) · 来自同一单元 - simplexes → 单形 · 帧条目:单形(
term:7ac92ff39b554b2c6d70) · 来自同一单元 - projective plane → 射影平面 · 帧条目:射影平面(
term:ef0de975c62d90f5818d) · 来自同一单元 - Klein bottle → 克莱因瓶 · 本章新定(临时) · 来自同一单元
- connected → 连通的 · 帧条目:连通的(
term:484c8428dd55e48340af) · 来自同一单元 - simplexes → 单形 · 帧条目:单形(
term:7ac92ff39b554b2c6d70) - homologous → 同调 · 帧条目:同调的(
lib:c15b2f02-2ed4-430f-b86c-876c372f938e) - boundary → 边界 · 帧条目:边界(
lib:d89858ae-0ae4-44a6-b482-787218d5e179) - cycle → 闭链 · 帧条目:闭链(
lib:4ce8076e-d99e-40dd-b263-2ba130402d2c) - chain → 链 · 帧条目:链(
lib:61fd4411-3d4a-4e1d-8127-2b7adfd4ce07) - torus → 环面 · 帧条目:环面(
lib:fee87ca7-4cd9-4a1f-ab6b-9f29f4e871d4)
后文使用:有限生成阿贝尔群基本定理。
连通复形的
回指 · 若 是连通的,则 。
概念:连通复形的 (临时)
原文(OCR,未逐页核实)
We obtain $H_0(K) \cong \mathbb{Z}$ since $K$ is connected.PDF 文件页:135;来源:nakahara-mineru-bd76b709;单元:nakahara-3:u0326;模型:deepseek-v4.1-flash。
候选译文(机器生成,未审阅)
译文窗口边界
译文窗口在此处截断:开头:达到窗口上限(reach-limit)。
其中 。要使 为 0,整数 必须为零,于是我们有
为计算 ,我们首先注意到,根据我们对环面的经验,每个 1-闭链都同调于 ,其中 。要使一个 2-链的边界仅由 和 组成, 中的所有 2-单形必须以相同的系数相加。因此,对于这样的 2-链 ,我们有 。这表明 。于是, 由两个闭链 和 生成,且满足 ,即
由于 是连通的,我们得到 。
术语选择
- connected → 连通的 · 帧条目:连通的(
term:484c8428dd55e48340af) - simplexes → 单形 · 帧条目:单形(
term:7ac92ff39b554b2c6d70) · 来自同一单元 - homologous → 同调 · 帧条目:同调的(
lib:c15b2f02-2ed4-430f-b86c-876c372f938e) · 来自同一单元 - boundary → 边界 · 帧条目:边界(
lib:d89858ae-0ae4-44a6-b482-787218d5e179) · 来自同一单元 - cycle → 闭链 · 帧条目:闭链(
lib:4ce8076e-d99e-40dd-b263-2ba130402d2c) · 来自同一单元 - chain → 链 · 帧条目:链(
lib:61fd4411-3d4a-4e1d-8127-2b7adfd4ce07) · 来自同一单元 - torus → 环面 · 帧条目:环面(
lib:fee87ca7-4cd9-4a1f-ab6b-9f29f4e871d4) · 来自同一单元
使用前文:连通复形的 。模型判断为回指,按最近的同概念前文推断;原文:We obtain $H_0(K) \cong \mathbb{Z}$ since $K$ is connected.
同调群
回指 · 若 是 个连通分支 的不相交并,则 。
概念:同调群(临时)
原文(OCR,未逐页核实)
Theorem 3.6. Let $K$ be a disjoint union of $N$ connected components, $K = K_{1} \cup K_{2} \cup \dots \cup K_{N}$ where $K_{i} \cap K_{j} = \emptyset$ . ThenH _ {r} (K) = H _ {r} \left(K _ {1}\right) \oplus H _ {r} \left(K _ {2}\right) \oplus \dots \oplus H _ {r} \left(K _ {N}\right).PDF 文件页:136;来源:nakahara-mineru-bd76b709;单元:nakahara-3:u0333;模型:deepseek-v4.1-flash。
候选译文(机器生成,未审阅)
译文窗口边界
译文窗口在此处截断:结尾:达到窗口上限(reach-limit)。
定理 3.6。令 是 个连通分支的不相交并,,其中 。则
证明。我们首先注意到,一个 -链群被一致地分离为 个 -链子群的直和。令
其中 是 中线性无关的 -单形的数目。总是可以重新排列 ,使得 中的那些 -单形排在最前, 中的那些紧随其后,依此类推。于是 被分离为子群的直和,
术语选择
- chain group → 链群 · 帧条目:链群(
term:c89e2e6d3d04646cfab3) · 来自同一单元 - direct sum → 直和 · 帧条目:直和(
term:b00fe734b31f427ed7fc) · 来自同一单元 - simplexes → 单形 · 帧条目:单形(
term:7ac92ff39b554b2c6d70) · 来自同一单元 - linearly independent → 线性无关 · 帧条目:线性无关(
lib:400f1610-1eba-4c3c-830b-e21ea6965065) · 来自同一单元 - connected components → 连通分支 · 帧条目:连通分支(
lib:a6c5c20e-3e73-4361-880e-3e496f4f25b2) - disjoint → 不相交 · 帧条目:不相交(
lib:9393d6e8-2f1f-48db-b75c-81af6880c852) - subgroups → 子群 · 帧条目:子群(
lib:e6dd2937-0598-4aa9-bbf2-317c9e35c0e6) · 来自同一单元
术语报警
以下为处理时记录的术语检查报警,待复核。
- union → 并集:译名选择未通过检查;帧条目:并集(
lib:815f9a8a-fbeb-4518-ae7a-cde1b6dc1631) - union → 并集:原文出现帧术语,但未采用译名或登记区别义项;帧条目:并集(
lib:815f9a8a-fbeb-4518-ae7a-cde1b6dc1631)
使用前文:亏格 曲面的第一同调群。模型判断为使用,按最近的同概念前文推断;原文:Theorem 3.6. Let $K$ be a disjoint union of $N$ connected components, $K = K_{1} \cup K_{2} \cup \dots \cup K_{N}$ where $K_{i} \cap K_{j} = \emptyset$ . Then
后文使用:同调群。
-链群
回指 · 被一致地分离为 个 -链子群的直和:。
概念:链群
原文(OCR,未逐页核实)
We first note that an $r$ -chain group is consistently separated into a direct sum of $N$ $r$ -chain subgroups.C _ {r} (K) = C _ {r} \left(K _ {1}\right) \oplus C _ {r} \left(K _ {2}\right) \oplus \dots \oplus C _ {r} \left(K _ {N}\right).PDF 文件页:136;来源:nakahara-mineru-bd76b709;单元:nakahara-3:u0333;模型:deepseek-v4.1-flash。
候选译文(机器生成,未审阅)
译文窗口边界
译文窗口在此处截断:结尾:达到窗口上限(reach-limit)。
定理 3.6。令 是 个连通分支的不相交并,,其中 。则
证明。我们首先注意到,一个 -链群被一致地分离为 个 -链子群的直和。令
其中 是 中线性无关的 -单形的数目。总是可以重新排列 ,使得 中的那些 -单形排在最前, 中的那些紧随其后,依此类推。于是 被分离为子群的直和,
这种分离对 和 也同样进行,即
我们现在通过下式定义每个分支 的同调群
术语选择
- chain group → 链群 · 帧条目:链群(
term:c89e2e6d3d04646cfab3) - direct sum → 直和 · 帧条目:直和(
term:b00fe734b31f427ed7fc) - simplexes → 单形 · 帧条目:单形(
term:7ac92ff39b554b2c6d70) · 来自同一单元 - linearly independent → 线性无关 · 帧条目:线性无关(
lib:400f1610-1eba-4c3c-830b-e21ea6965065) · 来自同一单元 - connected components → 连通分支 · 帧条目:连通分支(
lib:a6c5c20e-3e73-4361-880e-3e496f4f25b2) · 来自同一单元 - disjoint → 不相交 · 帧条目:不相交(
lib:9393d6e8-2f1f-48db-b75c-81af6880c852) · 来自同一单元 - subgroups → 子群 · 帧条目:子群(
lib:e6dd2937-0598-4aa9-bbf2-317c9e35c0e6) - homology groups → 同调群 · 帧条目:同调群(
lib:02f7a498-5c17-4366-9479-8666d5f9bb2e) · 来自同一单元 - component → 分支 · 本章新定(临时) · 来自同一单元;分支 ≠ 向量的分量(
lib:a7f1665c-c377-4cb5-8778-59e8e0abffc1)
术语报警
以下为处理时记录的术语检查报警,待复核。
- union → 并集:译名选择未通过检查;帧条目:并集(
lib:815f9a8a-fbeb-4518-ae7a-cde1b6dc1631) - union → 并集:原文出现帧术语,但未采用译名或登记区别义项;帧条目:并集(
lib:815f9a8a-fbeb-4518-ae7a-cde1b6dc1631)
使用前文:-链群。模型判断为使用,按最近的同概念前文推断;原文:We first note that an $r$ -chain group is consistently separated into a direct sum of $N$ $r$ -chain subgroups.
-闭链群
回指 · 被分离为子群的直和:。
概念:-闭链群(临时)
原文(OCR,未逐页核实)
This separation is also carried out for $Z_{r}(K)$ and $B_{r}(K)$ asZ _ {r} (K) = Z _ {r} \left(K _ {1}\right) \oplus Z _ {r} \left(K _ {2}\right) \oplus \dots \oplus Z _ {r} \left(K _ {N}\right)PDF 文件页:136;来源:nakahara-mineru-bd76b709;单元:nakahara-3:u0333;模型:deepseek-v4.1-flash。
候选译文(机器生成,未审阅)
译文窗口边界
译文窗口在此处截断:开头:达到窗口上限(reach-limit);结尾:达到窗口上限(reach-limit)。
证明。我们首先注意到,一个 -链群被一致地分离为 个 -链子群的直和。令
其中 是 中线性无关的 -单形的数目。总是可以重新排列 ,使得 中的那些 -单形排在最前, 中的那些紧随其后,依此类推。于是 被分离为子群的直和,
这种分离对 和 也同样进行,即
我们现在通过下式定义每个分支 的同调群
这是良定义的,因为 。最后,我们有
术语选择
- chain group → 链群 · 帧条目:链群(
term:c89e2e6d3d04646cfab3) · 来自同一单元 - direct sum → 直和 · 帧条目:直和(
term:b00fe734b31f427ed7fc) · 来自同一单元 - simplexes → 单形 · 帧条目:单形(
term:7ac92ff39b554b2c6d70) · 来自同一单元 - linearly independent → 线性无关 · 帧条目:线性无关(
lib:400f1610-1eba-4c3c-830b-e21ea6965065) · 来自同一单元 - subgroups → 子群 · 帧条目:子群(
lib:e6dd2937-0598-4aa9-bbf2-317c9e35c0e6) · 来自同一单元 - homology groups → 同调群 · 帧条目:同调群(
lib:02f7a498-5c17-4366-9479-8666d5f9bb2e) · 来自同一单元 - component → 分支 · 本章新定(临时) · 来自同一单元;分支 ≠ 向量的分量(
lib:a7f1665c-c377-4cb5-8778-59e8e0abffc1)
使用前文: 为零。模型判断为使用,按最近的同概念前文推断;原文:This separation is also carried out for $Z_{r}(K)$ and $B_{r}(K)$ as
使用前文: 为零。模型判断为使用,按最近的同概念前文推断;原文:This separation is also carried out for $Z_{r}(K)$ and $B_{r}(K)$ as
后文使用:同调群。
同调群
回指 · 对每个分支 ,同调群定义为 ;该定义是良定义的,因为 。
概念:同调群(临时)
原文(OCR,未逐页核实)
We now define the homology groups of each component $K_{i}$ byThis is well defined since $Z_{r}(K_{i})\supset B_{r}(K_{i})$PDF 文件页:136;来源:nakahara-mineru-bd76b709;单元:nakahara-3:u0345;模型:deepseek-v4.1-flash。
候选译文(机器生成,未审阅)
译文窗口边界
译文窗口在此处截断:开头:达到窗口上限(reach-limit);结尾:标题边界(heading)。
这种分离对 和 也同样进行,即
我们现在通过下式定义每个分支 的同调群
这是良定义的,因为 。最后,我们有
推论 3.1. (a) 设 是 个连通分支 的不相交并。则由此可得
(b) 若 ,则 是连通的。[结合定理 3.5,我们得出结论: 当且仅当 是连通的。]
术语选择
- homology groups → 同调群 · 帧条目:同调群(
lib:02f7a498-5c17-4366-9479-8666d5f9bb2e) - component → 分支 · 本章新定(临时);分支 ≠ 向量的分量(
lib:a7f1665c-c377-4cb5-8778-59e8e0abffc1) - connected → 连通的 · 帧条目:连通的(
term:484c8428dd55e48340af) · 来自同一单元 - connected components → 连通分支 · 帧条目:连通分支(
lib:a6c5c20e-3e73-4361-880e-3e496f4f25b2) · 来自同一单元 - disjoint union → 不相交并 · 帧条目:不相交(
lib:9393d6e8-2f1f-48db-b75c-81af6880c852) · 来自同一单元
术语报警
以下为处理时记录的术语检查报警,待复核。
- union → 并集:译名选择未通过检查;帧条目:并集(
lib:815f9a8a-fbeb-4518-ae7a-cde1b6dc1631) - union → 并集:原文出现帧术语,但未采用译名或登记区别义项;帧条目:并集(
lib:815f9a8a-fbeb-4518-ae7a-cde1b6dc1631)
使用前文:同调群。模型判断为使用,按最近的同概念前文推断;原文:We now define the homology groups of each component $K_{i}$ by
使用前文:-闭链群。模型判断为使用,按最近的同概念前文推断;原文:$Z_{r}(K_{i})\supset B_{r}(K_{i})$
使用前文: 为零。模型判断为使用,按最近的同概念前文推断;原文:$Z_{r}(K_{i})\supset B_{r}(K_{i})$
后文使用:有限生成阿贝尔群基本定理。
连通复形的
回指 · 若 是 个连通分支 的不相交并,则 ( 个因子);反之,若 ,则 是连通的。结合定理 3.5, 当且仅当 是连通的。
概念:连通复形的 (临时)
原文(OCR,未逐页核实)
Let $K$ be a disjoint union of $N$ connected components, $K_{1},\ldots ,K_{N}$ .If $H_0(K) \cong \mathbb{Z}$ , $K$ is connected.PDF 文件页:136;来源:nakahara-mineru-bd76b709;单元:nakahara-3:u0349;模型:deepseek-v4.1-flash。
候选译文(机器生成,未审阅)
译文窗口边界
译文窗口在此处截断:开头:达到窗口上限(reach-limit)。
我们现在通过下式定义每个分支 的同调群
这是良定义的,因为 。最后,我们有
推论 3.1. (a) 设 是 个连通分支 的不相交并。则由此可得
(b) 若 ,则 是连通的。[结合定理 3.5,我们得出结论: 当且仅当 是连通的。]
术语选择
- homology groups → 同调群 · 帧条目:同调群(
lib:02f7a498-5c17-4366-9479-8666d5f9bb2e) · 来自同一单元 - component → 分支 · 本章新定(临时) · 来自同一单元;分支 ≠ 向量的分量(
lib:a7f1665c-c377-4cb5-8778-59e8e0abffc1) - connected → 连通的 · 帧条目:连通的(
term:484c8428dd55e48340af) - connected components → 连通分支 · 帧条目:连通分支(
lib:a6c5c20e-3e73-4361-880e-3e496f4f25b2) - disjoint union → 不相交并 · 帧条目:不相交(
lib:9393d6e8-2f1f-48db-b75c-81af6880c852)
有限生成阿贝尔群基本定理
回指 · 根据定理 3.2, 的最一般形式是 ,其中前 个因子构成秩为 的自由阿贝尔群,接下来的 个因子称为 的挠子群。
原文(OCR,未逐页核实)
according to theorem 3.2, the most general form of $H_{r}(K)$ isThe first $f$ factors form a free Abelian group of rank $f$ and the next $p$ factors are called the torsion subgroup of $H_{r}(K)$ .PDF 文件页:137;来源:nakahara-mineru-bd76b709;单元:nakahara-3:u0349;模型:deepseek-v4.1-flash。
候选译文(机器生成,未审阅)
译文窗口边界
译文窗口在此处截断:结尾:标题边界(heading)。
和 是自由阿贝尔群,因为它们是自由阿贝尔群 的子群。这并不意味着 也是自由阿贝尔群。事实上,根据定理 3.2, 的最一般形式是
从我们的经验可以清楚地看出, 的生成元个数计数了 中 维洞的个数。前 个因子构成一个秩为 的自由阿贝尔群,接下来的 个因子称为 的挠子群。例如,射影平面有 ,克莱因瓶有 。在某种意义上,挠子群检测了多面体 中的“扭转”。我们现在说明为什么以 为系数的同调群优于以 或 为系数的同调群。由于 没有非平凡子群,挠子群永远无法被识别。类似地,如果采用 系数,我们也无法看到挠子群,因为对任意 都有 。[对任意 ,存在数 使得 。] 若 由 (3.54) 给出,则 是
术语选择
- torsion subgroup → 挠子群 · 本章新定(临时)
- free Abelian group → 自由阿贝尔群 · 帧条目:自由阿贝尔群(
term:21918e606c2ace80ea29) - free Abelian groups → 自由阿贝尔群 · 帧条目:自由阿贝尔群(
term:56fa55144bd8a1744ba1) - projective plane → 射影平面 · 帧条目:射影平面(
term:ef0de975c62d90f5818d) - Klein bottle → 克莱因瓶 · 帧条目:克莱因瓶(
term:53984d752ba3a7a520a8) - coefficients → 系数 · 帧条目:系数(
term:7c22d8e50f758ebedd29) - polyhedron → 多面体 · 帧条目:多面体(
term:0fe89e1c6c981ba49af3) - rank → 秩 · 帧条目:秩(
term:e18adcc0c9c69d1615e4) - homology groups → 同调群 · 帧条目:同调群(
lib:02f7a498-5c17-4366-9479-8666d5f9bb2e) - generators → 生成元 · 帧条目:生成元(
lib:6eff4cba-09bf-4c84-8892-38a06c0c6495) - subgroups → 子群 · 帧条目:子群(
lib:e6dd2937-0598-4aa9-bbf2-317c9e35c0e6)
使用前文:有限生成阿贝尔群基本定理。模型判断为使用,按原文编号定位(theorem 3.2);原文:according to theorem 3.2, the most general form of $H_{r}(K)$ is
使用前文:同调群。模型判断为细化,按最近的同概念前文推断;原文:It does not mean that $H_{r}(K) = Z_{r}(K) / B_{r}(K)$ is also free Abelian.
使用前文:自由阿贝尔群。模型判断为回指,按最近的同概念前文推断;原文:$Z_{r}(K)$ and $B_{r}(K)$ are free Abelian groups since they are subgroups of a free Abelian group $C_r(K)$ .
使用前文:射影平面的 。模型判断为回指,按最近的同概念前文推断;原文:the projective plane has $H_{1}(K) \cong \mathbb{Z}_{2}$
使用前文:克莱因瓶的 。模型判断为回指,按最近的同概念前文推断;原文:the Klein bottle has $H_{1}(K) \cong \mathbb{Z} \oplus \mathbb{Z}_{2}$
贝蒂数
引入 · 设 是单纯复形。第 个贝蒂数 定义为 。换言之, 是 的自由阿贝尔部分的秩。
概念:贝蒂数(临时)
原文(OCR,未逐页核实)
The $r$ th Betti number $b_{r}(K)$ is defined byIn other words, $b_{r}(K)$ is the rank of the free Abelian part of $H_{r}(K; \mathbb{Z})$ .PDF 文件页:137;来源:nakahara-mineru-bd76b709;单元:nakahara-3:u0349;模型:deepseek-v4.1-flash。
候选译文(机器生成,未审阅)
定义 3.6. 设 是单纯复形。第 个贝蒂数 定义为
换言之, 是 的自由阿贝尔部分的秩。
术语选择
- Betti number → 贝蒂数 · 帧条目:贝蒂数(
lib:7c7c4b86-63b1-451e-b0be-15f02ebca981) - simplicial complex → 单纯复形 · 帧条目:单纯复形(
term:f13809a6a5c6f8ddcb0b) - rank → 秩 · 帧条目:秩(
term:e18adcc0c9c69d1615e4)
后文使用:贝蒂数。
贝蒂数
回指 · 环面 的贝蒂数为 、、;球面 的贝蒂数为 、、。
概念:贝蒂数(临时)
原文(OCR,未逐页核实)
the Betti numbers of the torus $T^2$ areand those of the sphere $S^2$ arePDF 文件页:137;来源:nakahara-mineru-bd76b709;单元:nakahara-3:u0361;模型:deepseek-v4.1-flash。
候选译文(机器生成,未审阅)
例如,环面 的贝蒂数为(见例 3.12)
而球面 的贝蒂数为(练习 3.3)
下面的定理将欧拉示性数与贝蒂数联系起来。
术语选择
- Betti numbers → 贝蒂数 · 帧条目:贝蒂数(
lib:7c7c4b86-63b1-451e-b0be-15f02ebca981) - Euler characteristic → 欧拉示性数 · 帧条目:欧拉示性数(
lib:8edfdb84-325b-48e9-8526-006d8053914f) · 来自同一单元 - torus → 环面 · 帧条目:环面(
lib:fee87ca7-4cd9-4a1f-ab6b-9f29f4e871d4)
使用前文:贝蒂数。模型判断为回指,按最近的同概念前文推断;原文:the Betti numbers of the torus $T^2$ are
欧拉-庞加莱定理
引入 · 设 是 维单纯复形, 是 中 单形的数目,则 。
概念:欧拉-庞加莱定理(临时)
原文(OCR,未逐页核实)
Theorem 3.7. (The Euler-Poincaré theorem) Let $K$ be an $n$ -dimensional simplicial complex and let $I_r$ be the number of $r$ -simplexes in $K$ .PDF 文件页:137;来源:nakahara-mineru-bd76b709;单元:nakahara-3:u0361;模型:deepseek-v4.1-flash。
候选译文(机器生成,未审阅)
定理 3.7.(欧拉-庞加莱定理)设 是一个 维单纯复形,并设 是 中 单形的数目。则
[注:第一个等式定义了一般多面体 的欧拉示性数。注意,这是第 2.4 节中为曲面定义的欧拉示性数的推广。]
术语选择
- Euler characteristic → 欧拉示性数 · 帧条目:欧拉示性数(
lib:8edfdb84-325b-48e9-8526-006d8053914f) · 来自同一单元 - Euler-Poincaré theorem → 欧拉-庞加莱定理 · 帧条目:欧拉-庞加莱定理(
term:4d538d4463c01ea221c3) - simplicial complex → 单纯复形 · 帧条目:单纯复形(
term:f13809a6a5c6f8ddcb0b) - simplexes → 单形 · 帧条目:单形(
term:7ac92ff39b554b2c6d70) - polyhedron → 多面体 · 帧条目:多面体(
term:0fe89e1c6c981ba49af3) · 来自同一单元
后文使用:欧拉示性数。
后文使用:带手柄和洞的可定向曲面。
后文使用:带交叉帽的球面。
欧拉示性数
引入 · 第一个等式 定义了一般多面体 的欧拉示性数,它是第 2.4 节中为曲面定义的欧拉示性数的推广。
概念:欧拉示性数(临时)
原文(OCR,未逐页核实)
The first equality defines the Euler characteristic of a general polyhedron $|K|$ .PDF 文件页:137;来源:nakahara-mineru-bd76b709;单元:nakahara-3:u0361;模型:deepseek-v4.1-flash。
候选译文(机器生成,未审阅)
定理 3.7.(欧拉-庞加莱定理)设 是一个 维单纯复形,并设 是 中 单形的数目。则
[注:第一个等式定义了一般多面体 的欧拉示性数。注意,这是第 2.4 节中为曲面定义的欧拉示性数的推广。]
术语选择
- Euler characteristic → 欧拉示性数 · 帧条目:欧拉示性数(
lib:8edfdb84-325b-48e9-8526-006d8053914f) - Euler-Poincaré theorem → 欧拉-庞加莱定理 · 帧条目:欧拉-庞加莱定理(
term:4d538d4463c01ea221c3) · 来自同一单元 - simplicial complex → 单纯复形 · 帧条目:单纯复形(
term:f13809a6a5c6f8ddcb0b) · 来自同一单元 - simplexes → 单形 · 帧条目:单形(
term:7ac92ff39b554b2c6d70) · 来自同一单元 - polyhedron → 多面体 · 帧条目:多面体(
term:0fe89e1c6c981ba49af3)
后文使用:欧拉示性数。
后文使用:贝蒂数。
后文使用:三角剖分。
欧拉示性数
回指 · 由于贝蒂数是拓扑不变量, 在同胚下也保持不变;因此可用任意三角剖分 的 定义 的欧拉示性数。
概念:欧拉示性数(临时)
原文(OCR,未逐页核实)
Since the Betti numbers are topological invariants, $\chi(K)$ is also conserved under a homeomorphism.it makes sense to define the Euler characteristic of $X$ by $\chi(K)$ for any triangulation $(K, f)$ of $X$PDF 文件页:138;来源:nakahara-mineru-bd76b709;单元:nakahara-3:u0377;模型:deepseek-v4.1-flash。
候选译文(机器生成,未审阅)
译文窗口边界
译文窗口在此处截断:开头:达到窗口上限(reach-limit)。
其中 定义为平凡的。我们还有
由这些关系,我们得到
由于贝蒂数是拓扑不变量, 在同胚下也保持不变。特别地,如果 和 是 的两个三角剖分,我们有 。因此,用 来定义 的欧拉示性数是有意义的,其中 是 的任意三角剖分。
术语选择
- relations → 关系 · 帧条目:关系(
lib:ea55b93f-5b50-4f2c-9ba9-7c9507a138e9) · 来自同一单元 - topological invariants → 拓扑不变量 · 帧条目:拓扑不变量(
lib:5838084a-ffaf-428a-80a9-26e5da5f38c4) - Euler characteristic → 欧拉示性数 · 帧条目:欧拉示性数(
lib:8edfdb84-325b-48e9-8526-006d8053914f) - homeomorphism → 同胚 · 帧条目:同胚(
lib:8205a1b2-9f2c-420f-852b-e8664f601938) - Betti numbers → 贝蒂数 · 帧条目:贝蒂数(
lib:7c7c4b86-63b1-451e-b0be-15f02ebca981) - triangulation → 三角剖分 · 帧条目:三角剖分(
term:a1faa0cae6566eac919d)
使用前文:欧拉示性数。模型判断为使用,按最近的同概念前文推断;原文:Since the Betti numbers are topological invariants, $\chi(K)$ is also conserved under a homeomorphism.
使用前文:球面的三角剖分。模型判断为使用,按最近的同概念前文推断;原文:for any triangulation $(K, f)$ of $X$
后文使用:欧拉示性数。
后文使用:带手柄和洞的可定向曲面。
后文使用:带交叉帽的球面。
贝蒂数
回指 · 贝蒂数是拓扑不变量。
概念:贝蒂数(临时)
原文(OCR,未逐页核实)
the Betti numbers are topological invariantsPDF 文件页:138;来源:nakahara-mineru-bd76b709;单元:nakahara-3:u0377;模型:deepseek-v4.1-flash。
候选译文(机器生成,未审阅)
译文窗口边界
译文窗口在此处截断:开头:达到窗口上限(reach-limit)。
其中 定义为平凡的。我们还有
由这些关系,我们得到
由于贝蒂数是拓扑不变量, 在同胚下也保持不变。特别地,如果 和 是 的两个三角剖分,我们有 。因此,用 来定义 的欧拉示性数是有意义的,其中 是 的任意三角剖分。
术语选择
- relations → 关系 · 帧条目:关系(
lib:ea55b93f-5b50-4f2c-9ba9-7c9507a138e9) · 来自同一单元 - topological invariants → 拓扑不变量 · 帧条目:拓扑不变量(
lib:5838084a-ffaf-428a-80a9-26e5da5f38c4) - Euler characteristic → 欧拉示性数 · 帧条目:欧拉示性数(
lib:8edfdb84-325b-48e9-8526-006d8053914f) - homeomorphism → 同胚 · 帧条目:同胚(
lib:8205a1b2-9f2c-420f-852b-e8664f601938) - Betti numbers → 贝蒂数 · 帧条目:贝蒂数(
lib:7c7c4b86-63b1-451e-b0be-15f02ebca981) - triangulation → 三角剖分 · 帧条目:三角剖分(
term:a1faa0cae6566eac919d)
使用前文:欧拉示性数。模型判断为使用,按最近的同概念前文推断;原文:Since the Betti numbers are topological invariants, $\chi(K)$ is also conserved under a homeomorphism.
使用前文:球面的三角剖分。模型判断为使用,按最近的同概念前文推断;原文:for any triangulation $(K, f)$ of $X$
三角剖分
回指 · 与 是 的两个三角剖分,此时 。
概念:可三角剖分(临时)
原文(OCR,未逐页核实)
if $f: |K| \to X$ and $g: |K'| \to X$ are two triangulations of $X$ , we have $\chi(K) = \chi(K')$PDF 文件页:138;来源:nakahara-mineru-bd76b709;单元:nakahara-3:u0377;模型:deepseek-v4.1-flash。
候选译文(机器生成,未审阅)
译文窗口边界
译文窗口在此处截断:开头:达到窗口上限(reach-limit)。
其中 定义为平凡的。我们还有
由这些关系,我们得到
由于贝蒂数是拓扑不变量, 在同胚下也保持不变。特别地,如果 和 是 的两个三角剖分,我们有 。因此,用 来定义 的欧拉示性数是有意义的,其中 是 的任意三角剖分。
术语选择
- relations → 关系 · 帧条目:关系(
lib:ea55b93f-5b50-4f2c-9ba9-7c9507a138e9) · 来自同一单元 - topological invariants → 拓扑不变量 · 帧条目:拓扑不变量(
lib:5838084a-ffaf-428a-80a9-26e5da5f38c4) - Euler characteristic → 欧拉示性数 · 帧条目:欧拉示性数(
lib:8edfdb84-325b-48e9-8526-006d8053914f) - homeomorphism → 同胚 · 帧条目:同胚(
lib:8205a1b2-9f2c-420f-852b-e8664f601938) - Betti numbers → 贝蒂数 · 帧条目:贝蒂数(
lib:7c7c4b86-63b1-451e-b0be-15f02ebca981) - triangulation → 三角剖分 · 帧条目:三角剖分(
term:a1faa0cae6566eac919d)
使用前文:欧拉示性数。模型判断为使用,按最近的同概念前文推断;原文:Since the Betti numbers are topological invariants, $\chi(K)$ is also conserved under a homeomorphism.
使用前文:球面的三角剖分。模型判断为使用,按最近的同概念前文推断;原文:for any triangulation $(K, f)$ of $X$
带交叉帽的球面
引入 · 考虑一个带有 个“交叉帽”的球面,并计算其同调群和欧拉示性数。
概念:带交叉帽的球面(临时)
原文(OCR,未逐页核实)
consider a sphere with $q$ such 'crosscaps' and compute the homology groups and the Euler characteristic of this surface.PDF 文件页:139;来源:nakahara-mineru-bd76b709;单元:nakahara-3:u0380;模型:deepseek-v4.1-flash。
候选译文(机器生成,未审阅)
3.1 最一般的可定向二维曲面是带有 个手柄和 个洞的 2-球面。计算该曲面的同调群和欧拉示性数。 3.2 考虑一个带有一个洞的球面,并如图 3.13 所示粘合该洞的边缘。我们得到的曲面正是射影平面 。更一般地,考虑一个带有 个这种“交叉帽”的球面,并计算该曲面的同调群和欧拉示性数。
术语选择
- orientable two-dimensional surface → 可定向二维曲面 · 本章新定(临时)
- 2-sphere → 2-球面 · 本章新定(临时)
- handles → 手柄 · 本章新定(临时)
- holes → 洞 · 本章新定(临时)
- homology groups → 同调群 · 帧条目:同调群(
lib:02f7a498-5c17-4366-9479-8666d5f9bb2e) - Euler characteristic → 欧拉示性数 · 帧条目:欧拉示性数(
lib:8edfdb84-325b-48e9-8526-006d8053914f) - projective plane → 射影平面 · 帧条目:射影平面(
term:ef0de975c62d90f5818d) - crosscaps → 交叉帽 · 本章新定(临时)
使用前文:欧拉示性数。模型判断为使用,按最近的同概念前文推断;原文:Compute the homology groups and the Euler characteristic of this surface.
使用前文:欧拉-庞加莱定理。模型判断为回指,按最近的同概念前文推断;原文:Compute the homology groups and the Euler characteristic of this surface.
带手柄和洞的可定向曲面
引入 · 最一般的可定向二维曲面是带有 个手柄和 个洞的 2-球面。
原文(OCR,未逐页核实)
The most general orientable two-dimensional surface is a 2-sphere with $h$ handles and $q$ holes.PDF 文件页:139;来源:nakahara-mineru-bd76b709;单元:nakahara-3:u0380;模型:deepseek-v4.1-flash。
候选译文(机器生成,未审阅)
3.1 最一般的可定向二维曲面是带有 个手柄和 个洞的 2-球面。计算该曲面的同调群和欧拉示性数。 3.2 考虑一个带有一个洞的球面,并如图 3.13 所示粘合该洞的边缘。我们得到的曲面正是射影平面 。更一般地,考虑一个带有 个这种“交叉帽”的球面,并计算该曲面的同调群和欧拉示性数。
术语选择
- orientable two-dimensional surface → 可定向二维曲面 · 本章新定(临时)
- 2-sphere → 2-球面 · 本章新定(临时)
- handles → 手柄 · 本章新定(临时)
- holes → 洞 · 本章新定(临时)
- homology groups → 同调群 · 帧条目:同调群(
lib:02f7a498-5c17-4366-9479-8666d5f9bb2e) - Euler characteristic → 欧拉示性数 · 帧条目:欧拉示性数(
lib:8edfdb84-325b-48e9-8526-006d8053914f) - projective plane → 射影平面 · 帧条目:射影平面(
term:ef0de975c62d90f5818d) - crosscaps → 交叉帽 · 本章新定(临时)
使用前文:欧拉示性数。模型判断为使用,按最近的同概念前文推断;原文:Compute the homology groups and the Euler characteristic of this surface.
使用前文:欧拉-庞加莱定理。模型判断为回指,按最近的同概念前文推断;原文:Compute the homology groups and the Euler characteristic of this surface.
欧拉示性数
回指 · 习题要求计算最一般的可定向二维曲面(带 个手柄和 个洞的 2-球面)以及带 个交叉帽的球面的欧拉示性数。
概念:欧拉示性数(临时)
原文(OCR,未逐页核实)
Compute the homology groups and the Euler characteristic of this surface.compute the homology groups and the Euler characteristic of this surface.PDF 文件页:139;来源:nakahara-mineru-bd76b709;单元:nakahara-3:u0380;模型:deepseek-v4.1-flash。
候选译文(机器生成,未审阅)
3.1 最一般的可定向二维曲面是带有 个手柄和 个洞的 2-球面。计算该曲面的同调群和欧拉示性数。 3.2 考虑一个带有一个洞的球面,并如图 3.13 所示粘合该洞的边缘。我们得到的曲面正是射影平面 。更一般地,考虑一个带有 个这种“交叉帽”的球面,并计算该曲面的同调群和欧拉示性数。
术语选择
- orientable two-dimensional surface → 可定向二维曲面 · 本章新定(临时)
- 2-sphere → 2-球面 · 本章新定(临时)
- handles → 手柄 · 本章新定(临时)
- holes → 洞 · 本章新定(临时)
- homology groups → 同调群 · 帧条目:同调群(
lib:02f7a498-5c17-4366-9479-8666d5f9bb2e) - Euler characteristic → 欧拉示性数 · 帧条目:欧拉示性数(
lib:8edfdb84-325b-48e9-8526-006d8053914f) - projective plane → 射影平面 · 帧条目:射影平面(
term:ef0de975c62d90f5818d) - crosscaps → 交叉帽 · 本章新定(临时)
使用前文:欧拉示性数。模型判断为使用,按最近的同概念前文推断;原文:Compute the homology groups and the Euler characteristic of this surface.
使用前文:欧拉-庞加莱定理。模型判断为回指,按最近的同概念前文推断;原文:Compute the homology groups and the Euler characteristic of this surface.
本章新定译名(临时 · 待审核)
下列译名由模型在本章首次确定,后续单元与同一本书的后续运行都会沿用,直到审核确认或修改。
| 原文术语 | 译名 | 首见单元 | 说明 |
|---|---|---|---|
| 2-sphere | 2-球面 | nakahara-3:u0380 | |
| antipodal points | 对径点 | nakahara-3:u0295 | |
| barycentric coordinate | 重心坐标 | nakahara-3:u0078 | |
| boundary homomorphism | 边缘同态 | nakahara-3:u0361 | |
| boundary operator | 边缘算子 | nakahara-3:u0138 | |
| canonical system of curves | 标准曲线系统 | nakahara-3:u0316 | |
| chain complex | 链复形 | nakahara-3:u0160 | |
| chain group | 链群 | nakahara-3:u0126 | |
| closed path | 闭路径 | nakahara-3:u0000 | |
| coefficients | 系数 | nakahara-3:u0138 | |
| compact | 紧致的 | nakahara-3:u0078 | |
| complete circuits | 完整回路 | nakahara-3:u0274 | |
| component | 分支 | nakahara-3:u0345 | 与书库已有同名概念不同 |
| composite map | 复合映射 | nakahara-3:u0171 | |
| connected | 连通的 | nakahara-3:u0250 | |
| crosscaps | 交叉帽 | nakahara-3:u0380 | |
| direct sum | 直和 | nakahara-3:u0054 | |
| disc | 圆盘 | nakahara-3:u0295 | |
| Euler-Poincaré theorem | 欧拉-庞加莱定理 | nakahara-3:u0349 | |
| finite cyclic group | 有限循环群 | nakahara-3:u0054 | |
| Finitely generated Abelian groups | 有限生成阿贝尔群 | nakahara-3:u0042 | |
| free Abelian group | 自由阿贝尔群 | nakahara-3:u0126 | |
| free Abelian groups | 自由阿贝尔群 | nakahara-3:u0042 | |
| Fundamental theorem of finitely generated Abelian groups | 有限生成阿贝尔群基本定理 | nakahara-3:u0054 | |
| Fundamental theorem of homomorphism | 同态基本定理 | nakahara-3:u0033 | |
| genus | 亏格 | nakahara-3:u0316 | |
| geometrically independent | 几何独立 | nakahara-3:u0078 | |
| group operation | 群运算 | nakahara-3:u0000 | |
| handles | 手柄 | nakahara-3:u0380 | |
| hemisphere | 半球面 | nakahara-3:u0295 | |
| holes | 洞 | nakahara-3:u0380 | |
| homology class | 同调类 | nakahara-3:u0195 | |
| inclusion map | 包含映射 | nakahara-3:u0160 | |
| infinite cyclic group | 无限循环群 | nakahara-3:u0054 | |
| Klein bottle | 克莱因瓶 | nakahara-3:u0316 | |
| loop | 环路 | nakahara-3:u0000 | |
| orientable two-dimensional surface | 可定向二维曲面 | nakahara-3:u0380 | |
| oriented 1-simplex | 定向 1-单形 | nakahara-3:u0103 | |
| oriented 2-simplex | 定向 2-单形 | nakahara-3:u0103 | |
| oriented 3-simplex | 定向 3-单形 | nakahara-3:u0103 | |
| oriented simplex | 定向单形 | nakahara-3:u0103 | |
| polyhedron | 多面体 | nakahara-3:u0090 | |
| projective plane | 射影平面 | nakahara-3:u0295 | |
| proper face | 真面 | nakahara-3:u0078 | |
| quotient group | 商群 | nakahara-3:u0023 | |
| rank | 秩 | nakahara-3:u0042 | |
| simplex | 单形 | nakahara-3:u0078 | |
| simplicial complex | 单纯复形 | nakahara-3:u0090 | |
| surjective homomorphism | 满同态 | nakahara-3:u0230 | |
| torsion subgroup | 挠子群 | nakahara-3:u0349 | |
| triangulable | 可三角剖分 | nakahara-3:u0090 | |
| triangulation | 三角剖分 | nakahara-3:u0090 | |
| unit element | 单位元 | nakahara-3:u0000 | |
| unoriented simplex | 无定向单形 | nakahara-3:u0103 | |
| zero map | 零映射 | nakahara-3:u0171 | |
| zero operator | 零算符 | nakahara-3:u0171 | |
| zeroth homology group | 第零同调群 | nakahara-3:u0250 |
未能定位的关系(44)
- 使用 · 模子群的等价(临时):本书中尚无关于该概念的更早陈述
- 使用 · 商群(临时):本书中尚无关于该概念的更早陈述
- 使用 · 商群(临时):本书中尚无关于该概念的更早陈述
- 细化 · 商群(临时):同一单元中没有引用同一原文的陈述
- 使用 · 核(临时):同一单元中没有引用同一原文的陈述
- 使用 · 像(临时):同一单元中没有引用同一原文的陈述
- 使用 · 同态基本定理(临时):同一单元中没有引用同一原文的陈述
- 使用 · 自由阿贝尔群:本书中尚无关于该概念的更早陈述
- 使用 · 有限生成阿贝尔群(临时):本书中尚无关于该概念的更早陈述
- 使用 · 有限生成阿贝尔群(临时):本书中尚无关于该概念的更早陈述
- 使用 · 循环群(临时):引用“theorem 3.1”,声明这个编号的陈述讲的是另一个概念,模型对概念的判断与原文编号不一致(候选:同态基本定理)
- 使用 · 自由阿贝尔群:同一单元中没有引用同一原文的陈述
- 使用 · 有限生成阿贝尔群(临时):同一单元中没有引用同一原文的陈述
- 使用 · 单纯形:同一单元中没有引用同一原文的陈述
- 细化 · 面(临时):本书中尚无关于该概念的更早陈述
- 使用 · 单纯复形:本书中尚无关于该概念的更早陈述
- 使用 · 多面体(临时):本书中尚无关于该概念的更早陈述
- 使用 · 可三角剖分(临时):本书中尚无关于该概念的更早陈述
- 细化 · 定向单纯形:本书中尚无关于该概念的更早陈述
- 使用 · 定向 2-单纯形(临时):本书中尚无关于该概念的更早陈述
- 使用 · 定向 3-单纯形(临时):本书中尚无关于该概念的更早陈述
- 使用 · 单纯复形:同一单元中没有引用同一原文的陈述
- 使用 · 链群:同一单元中没有引用同一原文的陈述
- 使用 · -边缘群(临时):本书中尚无关于该概念的更早陈述
- 细化 · -边缘群(临时):本书中尚无关于该概念的更早陈述
- 使用 · 边缘的边缘为零(临时):同一单元中没有引用同一原文的陈述
- 使用 · -闭链群(临时):同一单元中没有引用同一原文的陈述
- 使用 · -边缘群(临时):同一单元中没有引用同一原文的陈述
- 使用 · 同调群(临时):同一单元中没有引用同一原文的陈述
- 使用 · 单纯复形:同一单元中没有引用同一原文的陈述
- 使用 · 同调群(临时):引用“theorem 3.1”,声明这个编号的陈述讲的是另一个概念,模型对概念的判断与原文编号不一致(候选:同态基本定理)
- 回指 · 可三角剖分(临时):引用“(3.37)”,本章原文中有这个编号,但没有陈述引用那段原文
- 回指 · 可三角剖分(临时):引用“(3.38)”,本章原文中有这个编号,但没有陈述引用那段原文
- 使用 · 可三角剖分(临时):引用“(3.42)”,本章原文中有这个编号,但没有陈述引用那段原文
- 使用 · 同调群(临时):同一单元中没有引用同一原文的陈述
- 回指 · 同调群(临时):引用“theorem 3.1”,声明这个编号的陈述讲的是另一个概念,模型对概念的判断与原文编号不一致(候选:同态基本定理)
- 回指 · 同调群(临时):引用“theorem 3.1”,声明这个编号的陈述讲的是另一个概念,模型对概念的判断与原文编号不一致(候选:同态基本定理)
- 使用 · 完整回路同调于 的倍数(临时):本书中尚无关于该概念的更早陈述
- 使用 · 连通复形的 (临时):引用“theorem 3.5”,声明这个编号的陈述讲的是另一个概念,模型对概念的判断与原文编号不一致(候选:连通单纯复形的 )
- 使用 · 边缘的边缘为零(临时):同一单元中没有引用同一原文的陈述
- 回指 · 连通复形的 (临时):引用“theorem 3.5”,声明这个编号的陈述讲的是另一个概念,模型对概念的判断与原文编号不一致(候选:连通单纯复形的 )
- 细化 · 欧拉示性数(临时):所引章节中没有关于该概念的更早陈述
- 使用 · 欧拉-庞加莱定理(临时):本书中尚无关于该概念的更早陈述
- 使用 · 边缘的边缘为零(临时):同一单元中没有引用同一原文的陈述