数学建模 / 英语

链复形 1

Harpreet Bedi · YouTube · 4:50

YouTube · Harpreet Bedi原视频

选中时刻 · 0:00 · 章节点是时间参考，不表示实时播放进度。

视频中的要点

01链复形：基本定义
02下标递减约定
03边界映射以 $\partial$ 书写

来自学习笔记

\cdots \to C_{n+1} \xrightarrow{\partial_{n+1}} C_n \xrightarrow{\partial_n} C_{n-1} \to \cdots \to C_0 \xrightarrow{\partial_0} 0,\quad \partial_n \circ \partial_{n+1}=0

链复形：基本定义

选中时刻

黑屏开场，无数学内容

建议预备知识

阿贝尔群
群同态
映射的复合
同态的像
同态的核
同态的核与像
商群与陪集
基础抽象代数类比 $R/I$

阅读与收藏

把讲解展开来看。

被收藏 0

已审核学习内容 · 视频分析 · 中文

阅读完整概览

这段 120秒的白板片段引入了链复形的定义。在短暂的黑屏开场后，主讲人写下标题“链复形”，并说明链复形是一列阿贝尔群之间的同态。随后白板上显示一个指标递减的序列 $\cdots\to C_{n+1}\xrightarrow{\partial_{n+1}}C_n\xrightarrow{\partial_n}C_{n-1}\to\cdots\to C_0\xrightarrow{\partial_0}0$ ，其中箭头被标识为边界映射。定义条件 $\partial_n\circ\partial_{n+1}=0$ 对每个 $n$ 写在该序列下方。最后，主讲人解释了该条件的直接推论： $\operatorname{Im}\partial_{n+1}\subseteq\ker\partial_n$ ，并开始一条“注记”行来表达该包含关系，但在片段结束前，完整的书写表达尚未完成。本120段白板讲解介绍了阿贝尔群链复形的基本术语。白板首先写出序列 $\cdots \to C_{n+1} \xrightarrow{\partial_{n+1}} C_n \xrightarrow{\partial_n} C_{n-1} \to \cdots \to C_0 \xrightarrow{\partial_0} 0$ ，以及条件 $\partial_n \circ \partial_{n+1}=0$ ；讲师由此指出 $\operatorname{Im} \partial_{n+1} \subseteq \operatorname{Ker} \partial_n$ 。接着，他将第 n 阶同调群定义为 $H_n$ := $\operatorname{Ker} \partial_n / \operatorname{Im} \partial_{n+1}$ ，并解释该群用于度量圈群超出边界群的程度。视频余下部分构建了一个术语表： $\operatorname{Ker} \partial_n$ 中的元素称为圈， $\operatorname{Im} \partial_{n+1}$ 中的元素称为边界， $H_n$ 中的元素称为同调类，并被明确描述为 $\operatorname{Im} \partial_{n+1}$ 的陪集；最后，属于同一同调类的两个圈称为同调的。这段持续 50 秒的白板内容回顾了已展示的链复形定义及商群 $H_n$ = Ker(∂_n)/Im(∂_{ $n+1$ })，随后引入术语“homologous”（同调的）。讲师将该商构造类比于抽象代数中的 $R/I$ ，并说明：两个循环同调当且仅当它们落在 Im(∂_{ $n+1$ }) 的同一陪集中，即等价于它们的差是一个边界。本片段中未给出具体演算示例。

在学习检查器中查看要点和时刻，或切换阅读标签查看完整笔记。

章节

0:00黑屏开场，无数学内容 0:03将链复形介绍为一族阿贝尔群之间的同态所构成的序列 0:43书写指标递减的群序列 1:03添加边界映射标签及零复合条件 1:41在“注”中陈述像与核的包含关系 2:00链复形的设定及像包含于核的说明 2:12第 n 个同调群的定义 2:52闭链与边缘 3:24同调类作为陪集 3:48同调的圈 4:00展示的链复形与同调商群 4:10与

R/I

的类比 4:18引入“同调的”（homologous）4:24属于同一等价类意味着其差是一个边界

学习解说文稿

依据视频画面与讲解整理，并非逐字语音转写。

前三分之二秒为黑屏，无可见数学内容，亦无语音内容。

课程以点明主题开启：“链复形”。主讲人口头说明链复形是一族阿贝尔群之间的同态所构成的序列，在任何公式书写之前即确立了代数背景。

关键的结构规则以文字形式引入：若序列中两个连续的同态进行复合，结果为零映射。这为观众后续理解正式记号做好铺垫。

黑板随后写出该序列本身，以箭头按顺序连接各群，形式为 $\cdots \to C_{n+1} \to C_n \to C_{n-1} \to \cdots \to C_0 \to 0$ 。讲解者明确指出：沿箭头方向移动时，下标递减。

接下来，箭头使用 $\partial$ 记号被标记为边界映射，例如 $\partial_{n+1}$ 从 $C_{n+1}$ 到 $C_n$ ，以及 $\partial_n$ 从 $C_n$ 到 $C_{n-1}$ 。该序列下方，定义条件被写作 $\partial_n \circ \partial_{n+1}=0$ 对每个 $n$ ，且短语“（链复形）”被添加以表明这是其形式定义。

讲解者随后将复合条件转化为像与核的语言。口述解释指出： $\partial_n\circ\partial_{n+1}=0$ 立即意味着 $\partial_{n+1}$ 的像包含于 $\partial_n$ 的核中。另起一行标注为“注：”，并写下表达式 $\operatorname{Im}\partial_{n+1}$ ；但在片段结束前，完整的包含关系未在屏幕上写完。

视频片段从一块白板开始，白板上已写有标题“链复形”以及序列 $\cdots \to C_{n+1} \xrightarrow{\partial_{n+1}} C_n \xrightarrow{\partial_n} C_{n-1} \to \cdots \to C_0 \xrightarrow{\partial_0} 0$ ，同时还标出了条件 $\partial_n \circ \partial_{n+1}=0$ （对每个 n 成立）。讲师的首要目标是将子群 $\operatorname{Im} \partial_{n+1}$ 与更大的子群 $\operatorname{Ker} \partial_n$ 进行比较。

由于链复形公理强制要求 $\operatorname{Im} \partial_{n+1} \subseteq \operatorname{Ker} \partial_n$ ，下一步便是构造一个商群，用以记录二者之间的差异。因此，白板上写下：定义 $H_n$ := $\frac{\operatorname{Ker} \partial_n}{\operatorname{Im} \partial_{n+1}}$ ，讲师称其为第 n 个同调群。

在 $H_n$ 已定义的前提下，讲座暂停片刻，为该商群各组成部分赋予标准术语： $\operatorname{Ker} \partial_n$ 的元素称为圈， $\operatorname{Im} \partial_{n+1}$ 的元素称为边界。这使得‘同调由圈模去边界而构成’这一说法变得精确。

接着，讲师解释 $H_n$ 中的一个元素实际是什么：由于 $H_n$ 是一个商群，它的元素并非单个圈，而是 $\operatorname{Im} \partial_{n+1}$ 在 $\operatorname{Ker} \partial_n$ 中的陪集。这些陪集被称为同调类。

最后，黑板引入了该商结构所诱导的关系：位于同一陪集中的两个圈（即代表同一同调类的两个圈）被称为同调的。等价地说，当且仅当它们的差是一个边缘时，两个圈才是同调的。

黑板上已预先写出设定：链复形是一列阿贝尔群，由同态映射连接，形式为 $\cdots \rightarrow C_{n+1} \xrightarrow{\partial_{n+1}} C_n \xrightarrow{\partial_n} C_{n-1} \rightarrow \cdots \rightarrow C_0 \xrightarrow{\partial_0} 0$ ，关键条件是对每个 n 都有 $\partial_n \circ \partial_{n+1}=0$ 。

由该条件可知，黑板上的注释记录了包含关系：〔Im〕∂_{ $n+1$ } ⊂ 〔Ker〕∂_n。换言之，每个边界自动是一个圈。

接着，主讲人聚焦于其旁所写的商定义： $H_n$ := 〔Ker〕∂_n / 〔Im〕∂_{ $n+1$ }，标记为第 n 个同调群。该商的元素并非单个圈，而是边界子群在圈子群内的陪集。

为使商的概念更易理解，讲者将其类比于抽象代数中的 $R/I$ ：正如我们用环对理想取模，此处则是用圈对边界取模。

黑板底部新引入的术语是“同调的”。正在书写的句子指出：处于同一等价类中的两个圈称为同调的。

随后解释变得明确：由于同调类是〔Im〕∂_{ $n+1$ } 的陪集，两个圈属于同一类当且仅当它们的差属于〔Im〕∂_{ $n+1$ }。正因如此，黑板以‘即：其差为边界（〔Im〕∂_{ $n+1$ }）’补全该陈述。

本片段最后指出，这些概念将在具体例子被计算后变得更加清晰，但本段并未实际演算任何例子。

知识卡片

链复形：基本定义

链复形被引入为一族阿贝尔群之间的同态序列，具有如下特殊性质：任意两个连续映射的复合为零映射。在黑板上所用的记号中，这些群是 $C_i$ ，而这些映射是边界映射 $\partial_i$ ，其条件写作 $\partial_n\circ\partial_{n+1}=0$ 对每个 $n$ 。

\cdots \to C_{n+1} \xrightarrow{\partial_{n+1}} C_n \xrightarrow{\partial_n} C_{n-1} \to \cdots \to C_0 \xrightarrow{\partial_0} 0,\quad \partial_n \circ \partial_{n+1}=0

下标递减约定

所展示的序列沿箭头方向从高下标指向低下标： $C_{n+1}\to C_n\to C_{n-1}\to\cdots\to C_0\to 0$ 。讲解者明确指出下标递减，以此区别于下标递增的约定。

C_{n+1}\to C_n\to C_{n-1}\to\cdots\to C_0\to 0

边界映射以 $\partial$ 书写

尽管讲解者口头称这些映射为“delta”，但黑板上实际书写的记号是 $\partial_{n+1}$ 、 $\partial_n$ 和 $\partial_0$ 。这些符号标记链复形中相邻群之间的同态。

\partial_{n+1}:C_{n+1}\to C_n,\quad \partial_n:C_n\to C_{n-1},\quad \partial_0:C_0\to 0

从零复合到像含于核

条件 $\partial_n\circ\partial_{n+1}=0$ 被立即重述为子群包含关系： $\partial_{n+1}$ 的像中每个元素均被 $\partial_n$ 变为零，因此有 $\operatorname{Im}\partial_{n+1}\subseteq\ker\partial_n$ 。片段以“注：”开头书写该式，但在该段结束前，完整的包含关系未在屏幕上写完。

\partial_n\circ\partial_{n+1}=0 \implies \operatorname{Im}\partial_{n+1}\subseteq\ker\partial_n

链复形

链复形是一列由边缘同态连接的阿贝尔群，使得相邻同态的复合为零。黑板上显示的是 $\cdots \to C_{n+1} \xrightarrow{\partial_{n+1}} C_n \xrightarrow{\partial_n} C_{n-1} \to \cdots \to C_0 \xrightarrow{\partial_0} 0$ ，其中对每个 n 都有 $\partial_n \circ \partial_{n+1}=0$ 。该条件立即推出 $\operatorname{Im} \partial_{n+1} \subseteq \operatorname{Ker} \partial_n$ 。

\cdots \to C_{n+1} \xrightarrow{\partial_{n+1}} C_n \xrightarrow{\partial_n} C_{n-1} \to \cdots \to C_0 \xrightarrow{\partial_0} 0, \quad \partial_n \circ \partial_{n+1}=0

第 n 阶同调群

第 n 阶同调群定义为圈群对边缘群的商： $H_n$ := $\operatorname{Ker} \partial_n / \operatorname{Im} \partial_{n+1}$ 。讲者正是为了度量 $\partial_n$ 的核超出 $\partial_{n+1}$ 的像的程度而引入它的。

H_n := \frac{\operatorname{Ker} \partial_n}{\operatorname{Im} \partial_{n+1}}

圈与边缘

在次数 n 上，圈是 $\operatorname{Ker} \partial_n$ 中的元素，而边缘是 $\operatorname{Im} \partial_{n+1}$ 中的元素。由于链复形条件，每个边缘自动是一个圈，而同调研究的正是那些不是边缘的圈。

\text{cycles}=\operatorname{Ker} \partial_n, \quad \text{boundaries}=\operatorname{Im} \partial_{n+1}

同调类

$H_n$ 中的一个元素是 $\operatorname{Im} \partial_{n+1}$ 在 $\operatorname{Ker} \partial_n$ 内的一个陪集。这些陪集被称为同调类。因此，一个同调类是圈关于边缘的等价类，而非单个圈本身。

H_n = \operatorname{Ker} \partial_n / \operatorname{Im} \partial_{n+1}

同调的圈

当两个圈位于同一同调类中时，它们被称为同调的。等价地说，对 z,z' $\in \operatorname{Ker} \partial_n$ ，它们同调当且仅当 z-z' $\in \operatorname{Im} \partial_{n+1}$ 。

z \sim z' \iff z-z' \in \operatorname{Im} \partial_{n+1}

链复形

链复形是一列由同态 ∂_i 相连的阿贝尔群，满足任意两个连续映射的复合为零。正是这一条件使得后续的商构造成为可能。

\cdots \rightarrow C_{n+1} \xrightarrow{\partial_{n+1}} C_n \xrightarrow{\partial_n} C_{n-1} \rightarrow \cdots \rightarrow C_0 \xrightarrow{\partial_0} 0, \quad \partial_n \circ \partial_{n+1}=0

圈与边界

圈是〔Ker〕∂_n 中的元素；边界是〔Im〕∂_{ $n+1$ } 中的元素。由于 ∂_n ∘ ∂_{ $n+1$ } = 0，每个边界都是一个圈，因此〔Im〕∂_{ $n+1$ } ⊂ 〔Ker〕∂_n。

\operatorname{Im} \partial_{n+1} \subset \operatorname{Ker} \partial_n

第 n 个同调群

第 n 个同调群是圈对边界的商。其元素是边界子群在圈子群内的陪集。

H_n := \frac{\operatorname{Ker} \partial_n}{\operatorname{Im} \partial_{n+1}}

同调类作为陪集

一个同调类是 $\operatorname{Im} \partial_{n+1}$ 在 $\operatorname{Ker} \partial_n$ 中的一个陪集。因此，单个同调类可能包含许多相差一个边界的圈。

\text{class} = z + \operatorname{Im} \partial_{n+1}, \quad z \in \operatorname{Ker} \partial_n

同调的圈

当两个圈属于同一个同调类时，称它们是同调的。等价地说，它们的差是一个边界，即 $\operatorname{Im} \partial_{n+1}$ 中的一个元素。

z_1 \sim z_2 \iff z_1-z_2 \in \operatorname{Im} \partial_{n+1}

商结构类比 $R/I$

主讲人用熟悉的商环 $R/I$ 来类比 $H_n = \operatorname{Ker} \partial_n / \operatorname{Im} \partial_{n+1}$ ：在这两种情形中，都是通过对一个合适的子对象取商来构造商结构。

R/I

详细学习笔记

按知识点查看条件、步骤和证据。补充解释与视频直接内容分别标明。

符号定义 · 30

$\text{Chain Complex}$

依据清楚

视频直接表达

来源依据

图示
观察依据
左上角的手写标题为“链复形”，并在整个片段中持续可见。

符号

$\text{Chain Complex}$

含义

本段所定义概念的标题。

适用范围

同调代数／代数拓扑背景

$C_{n+1}$

依据清楚

视频直接表达

来源依据

声音
观察依据
说话人说：“我们有 C 下标 n 加一。”
图示
观察依据
序列线上显示项 $C_{n+1}$ ，其前有一个标记为 $\partial_{n+1}$ 的箭头。

符号

$C_{n+1}$

含义

链复形序列中出现的一个阿贝尔群，其下标为 $n+1$ 。

适用范围

阿贝尔群

$C_n$

依据清楚

视频直接表达

来源依据

图示
观察依据
序列线上显示 $C_n$ 位于标记为 $\partial_{n+1}$ 和 $\partial_n$ 的两个箭头之间。

符号

$C_n$

含义

链复形序列中出现的一个阿贝尔群，其下标为 $n$ 。

适用范围

阿贝尔群

$C_{n-1}$

依据清楚

视频直接表达

来源依据

图示
观察依据
序列线上显示 $C_{n-1}$ 位于 $C_n$ 之后。

符号

$C_{n-1}$

含义

链复形序列中出现的一个阿贝尔群，其下标为 $n-1$ 。

适用范围

阿贝尔群

$C_0$

依据清楚

视频直接表达

来源依据

声音
观察依据
主讲人说：“我们从n加一一直降到零。”
图示
观察依据
序列线以 $C_0$ 结束，然后是最终指向 $0$ 的箭头之前；下标较小但清晰可辨，为 $0$ 。

符号

$C_0$

含义

书写链复形序列有限部分中显示的末项群。

适用范围

阿贝尔群

0

依据清楚

视频直接表达

来源依据

图示
观察依据
$C_0 \xrightarrow{\partial_0}$ 之后最右侧的项是手写的 $0$ 。

待核验内容

该符号写作 $0$ ；它表示平凡群还是零对象，在视频片段中未另行说明。

符号

含义

所显示序列末端的终对象／群。

适用范围

序列中所用的平凡群或零对象

$\partial_{n+1}$

依据清楚

视频直接表达

来源依据

声音
观察依据
说话人将这些映射称为边界映射，并称它们写作 delta（Δ）。
图示
观察依据
从 $C_{n+1}$ 指向 $C_n$ 的箭头标记为 $\partial_{n+1}$ 。

待核验内容

口语中听起来像“deltas（delta）”，而手写符号是边界映射记号 $\partial$ 。

符号

$\partial_{n+1}$

含义

从 $C_{n+1}$ 到 $C_n$ 的同态/边界映射。

适用范围

Hom(1阶循环群, n阶循环群)

$\partial_n$

依据清楚

视频直接表达

来源依据

图示
观察依据
从 $C_n$ 指向 $C_{n-1}$ 的箭头标有 $\partial_n$ 。

符号

$\partial_n$

含义

从 $C_n$ 到 $C_{n-1}$ 的同态/边界映射。

适用范围

从第n个对象到第n减1个对象的态射集合

$\partial_0$

依据清楚

视频直接表达

来源依据

图示
观察依据
从 $C_0$ 到 $0$ 的最后一个箭头标有 $\partial_0$ 。

符号

$\partial_0$

含义

在所显示的序列中，从 $C_0$ 到末项 $0$ 的边界映射。

适用范围

从 $C_0$ 到 0 的态射集合

$\partial_n \circ \partial_{n+1}=0$

依据清楚

视频直接表达

来源依据

声音
观察依据
说话人指出，两个连续同态的复合为零。
图示
观察依据
在序列下方，该条件写作 $\partial_n \circ \partial_{n+1}=0$ ，对每个 $n$ 成立。

符号

$\partial_n \circ \partial_{n+1}=0$

含义

链复形中相邻边界映射所满足的定义性复合条件。

适用范围

$\text{对每个相关的 } n$

$\operatorname{Im}\partial_{n+1}$

依据清楚

视频直接表达

来源依据

声音
观察依据
主讲人说：“δₙ₊₁ 的像包含于 δₙ 的核中。”
图示
观察依据
备注行以 $\operatorname{Im}\partial_{n+1}$ 开头。

符号

$\operatorname{Im}\partial_{n+1}$

含义

边界映射 $\partial_{n+1}:C_{n+1}\to C_n$ 的像。

适用范围

Cₙ 的子群

$\ker\partial_n$

依据清楚

视频直接表达

来源依据

声音
观察依据
主讲人指出，该像包含于 $\delta n$ ／ $\partial_n$ 的核中。视频片段结束前，最终的核表达式尚未完整显示在屏幕上。

待核验内容

完整的书写表达式 $\ker\partial_n$ 在视频片段结束时仍未完全可见；仅能听到所述关系及备注行的开头部分。

符号

$\ker\partial_n$

含义

边界映射 $\partial_n:C_n\to C_{n-1}$ 的核。

适用范围

Cₙ 的子群

知识点 · 17

链复形的定义

依据清楚

视频直接表达

来源依据

声音
观察依据
主讲人说：“因此，链复形不过是一列阿贝尔群之间的同态序列”，接着解释任意两个相邻同态的复合为零映射。
图示
观察依据
黑板上写下标题“链复形”，句子“我们有一个阿贝尔群同态的序列”，以及所展示的序列 $\cdots \to C_{n+1} \xrightarrow{\partial_{n+1}} C_n \xrightarrow{\partial_n} C_{n-1} \to \cdots \to C_0 \xrightarrow{\partial_0} 0$ ，以及条件 $\partial_n \circ \partial_{n+1}=0$ 对每个 $n$ 。

定义

解释

链复形被表示为阿贝尔群之间的一列同态，其指标递减，使得任意两个连续同态的复合为零映射。在所展示的记号中，这些映射称为边界映射，并记为 $\partial$ ；该条件为 $\partial_n\circ\partial_{n+1}=0$ 对每个 $n$ 。

公式

\cdots \to C_{n+1} \xrightarrow{\partial_{n+1}} C_n \xrightarrow{\partial_n} C_{n-1} \to \cdots \to C_0 \xrightarrow{\partial_0} 0,\quad \partial_n \circ \partial_{n+1}=0 \text{ for each } n

适用条件

对象 $C_i$ 是阿贝尔群。
箭头是这些群之间的同态。
指标沿所显示的序列递减。
对每一对相邻的映射，都要求满足复合条件。

先修条目

阿贝尔群的同态序列

阿贝尔群的同态序列

依据清楚

视频直接表达

来源依据

声音
观察依据
说话者称链复形是一列阿贝尔群的同态。
图示
观察依据
黑板上的句子写道：“我们有一列阿贝尔群的同态。”

待核验内容

该片段使用了这些术语，但并未从第一性原理出发定义阿贝尔群或同态。

定义

解释

该构造始于一个序列，其各项均为阿贝尔群，且连接各项的箭头均为同态。这是后续条件 $\partial_n\circ\partial_{n+1}=0$ 被施加的代数背景。

公式

适用条件

序列中的项是阿贝尔群。
箭头是群同态。

用 $\partial$ 表示的边界映射

依据清楚

视频直接表达

来源依据

声音
观察依据
说话者说：“而这些映射与边界映射一致，我们将其记作δ。”
图示
观察依据
序列中的箭头分别标记为 $\partial_{n+1}$ 、 $\partial_n$ 和 $\partial_0$ 。

待核验内容

口语中该术语读作“delta”，而书面记号为 $\partial$ ；视频片段未明确说明该读音与符号之间的对应关系。

定义

解释

链复形中的同态被认定为边界映射，并使用带下标的符号 $\partial$ 来书写，下标与源群的次数一致，例如 $\partial_{n+1}:C_{n+1}\to C_n$ 和 $\partial_n:C_n\to C_{n-1}$ 。

公式

\partial_{n+1}:C_{n+1}\to C_n,\quad \partial_n:C_n\to C_{n-1}

适用条件

每个 $\partial_k$ 都是序列中相邻两个群之间的同态。

先修条目

阿贝尔群的同态序列

由 $\partial_n\circ\partial_{n+1}=0$ 得出的推论：像包含于核中

依据清楚

视频直接表达

来源依据

声音
观察依据
说话者说：“现在这立即意味着 delta n 加一的像包含于 delta n 的核中”，并在注记中重复了这一关系。
图示
观察依据
黑板以 $\operatorname{Im}\partial_{n+1}$ 开始一条“注记”行 $\partial_n\circ\partial_{n+1}=0$ ，此时条件

待核验内容

最终的包含关系在视频结束前尚未完全写完；但通过音频和已写出的注记开头行，该关系是清晰的。

公式

解释

已写在黑板上。 $C_{n+1}$ 经过 $\partial_{n+1}$ 被映射为零，即由 $\partial_n$ 的像 $\partial_{n+1}$ 位于 $\partial_n$ 的核内。

公式

\partial_n\circ\partial_{n+1}=0 \implies \operatorname{Im}\partial_{n+1}\subseteq \ker\partial_n

适用条件

这些映射必须可复合，即形式为 $C_{n+1}\xrightarrow{\partial_{n+1}}C_n\xrightarrow{\partial_n}C_{n-1}$ 。
等式右侧的零是映入 $C_{n-1}$ 的零映射。

先修条目

链复形的定义
用 $\partial$ 表示的边界映射

链复形的定义

依据清楚

视频直接表达

来源依据

图示
观察依据
黑板标题为‘链复形’，并展示了一列阿贝尔群，群间箭头标有边界映射。
图示
观察依据
条件 ∂_n ∘ ∂_{ $n+1$ } = 0 直接写在该序列下方。
声音
观察依据
主讲人先介绍链复形的设定，再转而说明像与核的关系。

定义

解释

链复形是一列阿贝尔群，由同态映射连接而成，使得任意两个相邻边界映射的复合为零。黑板上用所展示的序列及条件 ∂ₙ ∘ ∂ₙ₊ $1 = 0$ （对每个 n 成立）来表达这一点。

公式

\cdots \to C_{n+1} \xrightarrow{\partial_{n+1}} C_n \xrightarrow{\partial_n} C_{n-1} \to \cdots \to C_0 \xrightarrow{\partial_0} 0, \quad \partial_n \circ \partial_{n+1}=0 \text{ for each } n

适用条件

对象 Cₖ 是阿贝尔群。
每个 ∂ₖ 是从 Cₖ 到 Cₖ₋1 的同态映射。
复合条件对每个 n 都成立。

链复形条件的直接推论

依据清楚

视频直接表达

来源依据

图示
观察依据
备注行指出：Im ∂ₙ₊1 ⊂ Ker ∂ₙ。
声音
观察依据
主讲人表示，他们想了解 ∂ₙ₊1 的像与 ∂ₙ 的核相差多少。

方法

解释

由 ∂ₙ ∘ ∂ₙ₊ $1 = 0$ 可知，∂ₙ₊1 的像中每个元素经 ∂ₙ 作用后都变为 0，因此 Im ∂ₙ₊1 是 Ker ∂ₙ 的子群。这一包含关系使得后续的商构造成为可能。

公式

\operatorname{Im} \partial_{n+1} \subseteq \operatorname{Ker} \partial_n

适用条件

链复形条件 ∂ₙ ∘ ∂ₙ₊ $1 = 0$ 成立。

先修条目

链复形的定义

第 n 个同调群的定义

依据清楚

视频直接表达

来源依据

图示
观察依据
黑板上写道：定义 Hₙ := Ker ∂ₙ / Im ∂ₙ₊1。
图示
观察依据
一个黄色注释将 $H_n$ 标记为第 n 个同调群。
声音
观察依据
讲师说：“为了找出这一差异，我们定义同调群”，然后将 $H_n$ 命名为第 n 个同调群。

定义

解释

第 n 个同调群被定义为第 n 个边界映射的核与下一个边界映射的像的商群。它度量了在次数 n 上闭链与边缘之间的差异。

公式

H_n := \frac{\operatorname{Ker} \partial_n}{\operatorname{Im} \partial_{n+1}}

适用条件

$\operatorname{Im} \partial_{n+1} \subseteq \operatorname{Ker} \partial_n$ ，因此该商群定义良好。
所处的背景对象是一个阿贝尔群的链复形。

先修条目

链复形的定义
链复形条件的直接推论

闭链

依据清楚

视频直接表达

来源依据

图示
观察依据
黑板上写着： $\partial_n$ 的核中的元素称为闭链。
声音
观察依据
讲师说： $\delta_n$ 的核中的元素称为闭链。

定义

解释

在次数 n 上，闭链恰好是链群 $C_n$ 中属于边界映射 $\partial_n$ 的核的那些元素。

公式

\text{cycles in degree } n = \operatorname{Ker} \partial_n

适用条件

在给定的链复形内部进行讨论。
次数 n 是固定的。

先修条目

链复形的定义

边界

依据清楚

视频直接表达

来源依据

图示
观察依据
黑板上写道：Im ∂_{ $n+1$ } 的元素称为边界。
声音
观察依据
讲师称 δₙ₊₁ 的像中的元素为边界。

定义

解释

在次数 n 上，边界是指那些由 ∂_{ $n+1$ } 从次数 $n+1$ 映射而来的 $C_n$ 中的元素。

公式

\text{boundaries in degree } n = \operatorname{Im} \partial_{n+1}

适用条件

在给定的链复形内部进行讨论。
次数 n 是固定的。

先修条目

链复形的定义

作为陪集的同调类

依据清楚

视频直接表达

来源依据

图示
观察依据
黑板上写道： $H_n$ 的元素称为同调类（Im ∂_{ $n+1$ } 的陪集）。
声音
观察依据
讲师称该第 n 个同调群 Hₙ 中的元素为同调类，并将其描述为 δₙ₊₁ 的像的陪集。

定义

解释

$H_n$ 中的一个元素不仅是一个闭链，更是边界子群在闭链子群内的一个陪集。因此，同调类是模去边界的闭链的等价类。

公式

H_n = \operatorname{Ker} \partial_n / \operatorname{Im} \partial_{n+1}

适用条件

该商群是在 Ker ∂_n 内对正规子群 Im ∂_{ $n+1$ } 取得的；在阿贝尔群中，每个子群都是正规子群。

先修条目

第 n 个同调群的定义
闭链
边界

同调的圈

依据清楚

视频直接表达

来源依据

图示
观察依据
黑板上写道：属于同一类的两个闭链称为同调的。
声音
观察依据
讲师指出，同一同调类中的两个圈称为同调的。

定义

解释

当两个圈代表 $H_n$ 中的同一元素时，它们被称为同调的；等价地说，当它们的差属于 $\operatorname{Im} \partial_{n+1}$ 时，它们是同调的。

公式

z \sim z' \iff z-z' \in \operatorname{Im} \partial_{n+1}, \quad z,z' \in \operatorname{Ker} \partial_n

适用条件

这两个元素必须是相同维数 n 的圈。

先修条目

闭链
作为陪集的同调类

链复形的定义

依据清楚

视频直接表达

来源依据

公式
观察依据
标题为“链复形”，黑板上写道：我们有一个阿贝尔群的同态序列，后接 $\cdots \rightarrow C_{n+1} \xrightarrow{\partial_{n+1}} C_n \xrightarrow{\partial_n} C_{n-1} \rightarrow \cdots \rightarrow C_0 \xrightarrow{\partial_0} 0$ 。
公式
观察依据
条件“对每个 n，有 $\partial_n \circ \partial_{n+1}=0$ ”写在该序列下方。

定义

解释

链复形被表示为一列由同态 $\partial_i$ 相连的阿贝尔群，其关键相容性条件是：任意两个连续的边界映射复合后结果为零。

公式

\cdots \rightarrow C_{n+1} \xrightarrow{\partial_{n+1}} C_n \xrightarrow{\partial_n} C_{n-1} \rightarrow \cdots \rightarrow C_0 \xrightarrow{\partial_0} 0, \quad \partial_n \circ \partial_{n+1}=0 \text{ for each } n

适用条件

对象 $C_i$ 是阿贝尔群。
映射 $\partial_i$ 是同态。
对每个 n，连续映射的复合均为零。

定理与条件 · 8

链复形的定义性质

依据清楚

视频直接表达

来源依据

声音
观察依据
主讲人指出，链复形的性质是：任意两个连续的同态复合后得到零映射。
图示
观察依据
该条件写在序列下方，形式为 $\partial_n \circ \partial_{n+1}=0$ ，对每个 $n$ 成立。

命题

在链复形中，任意两个连续同态的复合是零映射；在所示记号中， $\partial_n\circ\partial_{n+1}=0$ 对每个 $n$ 成立。

前提

存在一个阿贝尔群之间的同态序列。
相邻的映射按箭头所示方向可复合。

量词

对每一对相邻的连续同态／对每个相关的 $n$

链复形条件的直接推论

依据清楚

视频直接表达

来源依据

声音
观察依据
主讲人指出，复合为零的条件立即推出： $\delta n$ 加一的像包含于 $\delta n$ 的核中。
图示
观察依据
注释行以 $\operatorname{Im}\partial_{n+1}$ 开头，出现在方程 $\partial_n\circ\partial_{n+1}=0$ 写出之后。

待核验内容

完整的包含关系式在片段结束前未完全写出。

命题

若 $\partial_n\circ\partial_{n+1}=0$ ，则 $\operatorname{Im}\partial_{n+1}\subseteq\ker\partial_n$ 。

前提

映射 $\partial_{n+1}:C_{n+1}\to C_n$ 与 $\partial_n:C_n\to C_{n-1}$ 可复合。
它们的复合是零映射。

量词

对每个相关指标 $n$

连续边界映射的零复合意味着像包含于核

依据清楚

依据视频推导

来源依据

图示
观察依据
黑板上首先写出 $\partial_n \circ \partial_{n+1}=0$ ，然后写出 Im $\partial_{n+1} \subset$ Ker $\partial_n$ 。
声音
观察依据
讲师关于像与核比较的讨论，以该包含关系为前提。

命题

若 $\partial_n \circ \partial_{n+1}=0$ ，则 $\operatorname{Im} \partial_{n+1} \subseteq \operatorname{Ker} \partial_n$ 。

前提

我们处于一个阿贝尔群的链复形中。
边界映射满足 $\partial_n \circ \partial_{n+1}=0$ 。

量词

对每个 n。

同调群用于度量闭链子群与边缘子群之间的差距。

依据清楚

视频直接表达

来源依据

声音
观察依据
讲师表示，他们想了解 $\partial_{n+1}$ 的像与 $\partial_n$ 的核相差多少，并为此目的定义了 $H_n$ 。
图示
观察依据
商公式 $H_n$ := $\operatorname{Ker} \partial_n / \operatorname{Im} \partial_{n+1}$ 紧随该动机之后写出。

命题

为量化闭链子群超出边缘子群的程度，引入商群 $H_n = \operatorname{Ker} \partial_n / \operatorname{Im} \partial_{n+1}$ 。

前提

在链复形中， $\operatorname{Im} \partial_{n+1} \subseteq \operatorname{Ker} \partial_n$ 。

量词

对每个次数 n。

$H_n$ 的元素是边缘子群的陪集。

依据清楚

视频直接表达

来源依据

图示
观察依据
黑板上明确写出同调类（即 $\operatorname{Im} \partial_{n+1}$ 的陪集）。
声音
观察依据
讲师说：‘我们刚刚……取了 δₙ₊₁ 的像的陪集。’

命题

$H_n$ 中的每个元素都是 $\operatorname{Im} \partial_{n+1}$ 在 $\operatorname{Ker} \partial_n$ 内的一个陪集。

前提

$H_n$ 定义为 $\operatorname{Ker} \partial_n / \operatorname{Im} \partial_{n+1}$ 。

量词

对 $H_n$ 中的每一个元素。

同调意味着属于相同的同调类。

依据清楚

视频直接表达

来源依据

图示
观察依据
黑板上写道：‘属于同一类的两个闭链称为同调的。’
声音
观察依据
讲师再次强调：同一同调类中的两个圈称为同调的。

命题

两个圈同调，当且仅当它们属于同一个陪集，即商群 $\operatorname{Ker} \partial_n$ 中关于子群 $\operatorname{Im} \partial_{n+1}$ 的陪集。

前提

两个圈都属于同一个 n 对应的 $\operatorname{Ker} \partial_n$ 。

量词

对任意一对 n 次圈而言。

边界是闭链

依据清楚

视频直接表达

来源依据

公式
观察依据
黑板上写出：对每个 n，有 $\partial_n \circ \partial_{n+1}=0$ ；接着在“注”下写明 $\operatorname{Im} \partial_{n+1} \subset \operatorname{Ker} \partial_n$ 。

命题

在链复形中， $\operatorname{Im} \partial_{n+1}$ 包含于 $\operatorname{Ker} \partial_n$ 。

前提

该序列是一个链复形。
$\partial_n \circ \partial_{n+1}=0$ 对每个 n 成立。

量词

对每个 n。

同调闭链的刻画

依据清楚

视频直接表达

来源依据

公式
观察依据
底部完成的那行文字为：同一同调类中的两条闭链称为同调的，即它们的差是一个边界（ $\operatorname{Im} \partial_{n+1}$ ）。
声音
观察依据
主讲人解释道：由于这些闭链是 $\operatorname{Im} \partial_{n+1}$ 的陪集，因此它们的差是一个边界。

命题

$\operatorname{Ker} \partial_n$ 中的两条闭链同调，当且仅当它们的差属于 $\operatorname{Im} \partial_{n+1}$ 。

前提

这两个元素是闭链，即属于 $\operatorname{Ker} \partial_n$ 的元素。
同调类是 $\operatorname{Im} \partial_{n+1}$ 的陪集。

量词

对任意两个相同次数 n 的闭链。

推导与证明 · 5

推导出 $\operatorname{Im}\partial_{n+1}\subseteq\ker\partial_n$ 来自 $\partial_n\circ\partial_{n+1}=0$

依据清楚

视频直接表达

来源依据

声音
观察依据
主讲人明确指出，复合为零的条件立即蕴含像包含于核。
图示
观察依据
黑板上先写出 $\partial_n\circ\partial_{n+1}=0$ ，然后以 $\operatorname{Im}\partial_{n+1}$ 开始一条注记。

待核验内容

该片段口头给出了这一蕴含关系，并开始了书面注记，但未在屏幕上展示完全展开的逐元素证明。

直观解释

步骤

公式
$\partial_n\circ\partial_{n+1}=0$
解释
从黑板上写出的链复形定义条件出发。
步骤依据
直接由所写的公式及主讲人对该性质的陈述得出。
视频直接表达
公式
$\forall x\in C_{n+1},\ \partial_n(\partial_{n+1}(x))=0$
解释
将零映射条件逐点展开：先应用 $\partial_{n+1}$ 再应用 $\partial_n$ 将的每个元素映射为 $C_{n+1}$ 零。
步骤依据
复合映射为零映射的标准含义；此步骤将视频中所谓‘显然’的结论显式化。
依据视频推导
公式
$\forall y\in \operatorname{Im}\partial_{n+1},\ \partial_n(y)=0$
解释
每个元素 $y$ 属于的像， $\partial_{n+1}$ 具有形式 $y=\partial_{n+1}(x)$ ，其中 $x\in C_{n+1}$ 为某个 $\partial_n(y)=0$ 。
步骤依据
映射的像的定义。
依据视频推导
公式
$\operatorname{Im}\partial_{n+1}\subseteq\ker\partial_n$
解释
因此， $\partial_{n+1}$ 的像中的每个元素都属于 $\partial_n$ 的核。
步骤依据
核的定义及子集关系。
依据视频推导

结论

链复形条件 $\partial_n\circ\partial_{n+1}=0$ 蕴含包含关系 $\operatorname{Im}\partial_{n+1}\subseteq\ker\partial_n$ 。

由链复形公理推导出该包含关系。

依据清楚

依据视频推导

来源依据

图示
观察依据
黑板上写出 $\partial_n \circ \partial_{n+1}=0$ ，接着是 $\operatorname{Im} \partial_{n+1} \subset \operatorname{Ker} \partial_n$ 。
声音
观察依据
讲师直接从链复形条件过渡到比较像与核。

严格证明

步骤

公式
解释
从链复形的定义条件出发。
步骤依据
黑板上观察到：对每个 n，均有 $\partial_n \circ \partial_{n+1}=0$ 。
视频直接表达
公式
解释
任取 $\operatorname{Im} \partial_{n+1}$ 中一个元素；它可表示为 $\partial_{n+1}(x)$ ，其中 $x \in C_{n+1}$ 。
步骤依据
同态像的定义。
依据视频推导
公式
解释
对这个元素应用 ∂ₙ：∂ₙ(∂_{ $n+1$ }(x)) = (∂ₙ ∘ ∂_{ $n+1$ })(x) = 0。
步骤依据
利用链复形条件 ∂ₙ ∘ ∂_{ $n+1$ } = 0。
依据视频推导
公式
解释
因此，∂_{ $n+1$ } 的像中的每个元素都属于 ∂ₙ 的核。
步骤依据
核的定义。
依据视频推导

结论

Im ∂_{ $n+1$ } ⊆ Ker ∂ₙ，因此定义 Hₙ 的商群是有意义的。

将同调定义为商群的动机

依据清楚

视频直接表达

来源依据

图示
观察依据
黑板上写出：定义 Hₙ := Ker ∂ₙ / Im ∂_{ $n+1$ }。
声音
观察依据
主讲人称，此举旨在找出像与核之间的差异。

直观解释

步骤

公式
解释
闭链子群 Ker ∂ₙ 包含边缘子群 Im ∂_{ $n+1$ }。
步骤依据
由前一条所推得的包含关系 ∂ₙ ∘ ∂_{ $n+1$ } = 0 直接得出。
依据视频推导
公式
解释
为了度量闭链群比边缘群大多少，需对较小的子群取商。
步骤依据
代数中标准的商群构造。
补充解释
公式
解释
由此得到 $H_n = \operatorname{Ker} \partial_n / \operatorname{Im} \partial_{n+1}$ 。
步骤依据
在黑板上明确写出，并在音频中陈述。
视频直接表达

结论

第 n 阶同调群记录了 n 次循环与 n 次边缘之间的差异。

从陪集描述过渡到同调关系。

依据清楚

依据视频推导

来源依据

图示
观察依据
黑板将同调类识别为 Im $\partial_{n+1}$ 的陪集，然后指出同一类中的两个循环是同调的。
声音
观察依据
主讲人将同调类解释为陪集，再将同调循环定义为属于同一类的循环。

严格证明

步骤

公式
解释
根据定义， $H_n = \operatorname{Ker} \partial_n / \operatorname{Im} \partial_{n+1}$ 。
步骤依据
在黑板上和音频中均被观察到。
视频直接表达
公式
解释
因此， $H_n$ 中的一个元素是一个陪集 $z + \operatorname{Im} \partial_{n+1}$ ，其中 $z \in \operatorname{Ker} \partial_n$ 。
步骤依据
商群元素定义为陪集。
依据视频推导
公式
解释
两个循环 z、z' 属于同一类，当且仅当 $z + \operatorname{Im} \partial_{n+1} = z$ ' + $\operatorname{Im} \partial_{n+1}$ 。
步骤依据
商群中陪集的相等性。
依据视频推导
公式
解释
该等式等价于 z 减 z′ 属于 ∂_{ $n+1$ } 的像。
步骤依据
群论中的标准陪集判据。
依据视频推导
公式
解释
主讲人将这种情况称为“同调的”。
步骤依据
在黑板上和音频中均明确写出。
视频直接表达

结论

两个圈恰好在它们的差是一个边缘时是同调的。

从属于同一陪集到其差为边界

依据清楚

视频直接表达

来源依据

声音
观察依据
演讲者说：“因为它们是δₙ₊₁的像的陪集，即二维闭链，所以它们的差恰好就是边界。”
公式
观察依据
黑板上写出的结论是：同一类中的两个循环称为同调的，即它们的差是边界（1）。

直观解释

步骤

公式
$z_1,z_2 \in \operatorname{Ker} \partial_n$
解释
从 n 次度的两个循环出发。
步骤依据
黑板上的命题涉及“两个循环”。
视频直接表达
公式
$[z_1]=[z_2] \text{ in } H_n$
解释
假设它们属于同一同调类。
步骤依据
黑板短语“在同一类中”即指明这一假设。
视频直接表达
公式
$z_1 + \operatorname{Im} \partial_{n+1} = z_2 + \operatorname{Im} \partial_{n+1}$
解释
由于同调类是 1 的陪集，因此类相等即意味着陪集相等。
步骤依据
黑板明确将同调类标记为 1 的陪集。
视频直接表达
公式
$z_1-z_2 \in \operatorname{Im} \partial_{n+1}$
解释
两个元素确定同一个子群的陪集，当且仅当它们的差属于该子群。
步骤依据
标准陪集判定准则；主讲人口头概括为：“它们的差恰好就是边界。”
依据视频推导

结论

两个循环同调，当且仅当它们的差是边界，即属于 1。

图示与动画 · 7

所展示的链复形序列的构造过程

依据清楚

视频直接表达

来源依据

图示
观察依据
主讲人从左到右写出链复形序列：省略号、 $C_{n+1}$ 、箭头、 $C_n$ 、箭头、 $C_{n-1}$ 、更多省略号，然后是 $C_0$ 、箭头、以及 $0$ 。
声音
观察依据
说话者说：“注意下标是递减的。我们从开始，一直降到零。”

图中对象

标题“链复形”
句子：“我们有一个阿贝尔群之间的同态序列。”
项 $C_{n+1}$ 、 $C_n$ 、 $C_{n-1}$ 、 $\ldots$ 、 $C_0$ 、 $0$
项之间的箭头

变化过程

该序列从左到右逐步构建。
指标明显从 $n+1$ 递减至 $n$ ，再至 $n-1$ ，最终到达 $0$ 。
指向 $0$ 的终止箭头在 $C_0$ 出现之后添加。

不变量

所有显示的对象均保留在同一水平序列线上。
该结构是一条映射链，而非彼此孤立的群。

数学含义

视觉布局编码了一条阿贝尔群之间的同态链，其指标递减，终点为 $0$ 。

边界映射的标注及零复合规则

依据清楚

视频直接表达

来源依据

图示
观察依据
标记为 $\partial_{n+1}$ 、 $\partial_n$ 和 $\partial_0$ 标注在箭头的上方，然后在序列下方写出“ $\partial_n\circ\partial_{n+1}=0$ 对于每个 $n$ ”这一行。
声音
观察依据
主讲人将这些映射识别为边界映射，并指出两个连续同态的复合为零。

图中对象

序列中的箭头
标签 $\partial_{n+1}$ 、 $\partial_n$ 、 $\partial_0$
序列下方的条件行

变化过程

每条箭头均被赋予一个边界映射标签。
在序列下方新增一行，用于陈述复合条件。
条件行末尾以橙色/红色书写短语“（链复形）”。

不变量

底层的群与箭头序列位置保持不变。
该条件适用于已绘制序列中相邻的一对映射。

数学含义

通过动画式书写过程，将一组普通的同态序列命名为边界映射，并施加 $\partial_n\circ\partial_{n+1}=0$ ，从而将其转化为链复形。

注释部分开始，将该条件用像与核的语言进行翻译。

依据清楚

视频直接表达

来源依据

图示
观察依据
在定义下方新增一行，标注为“注：”，随后写出 $\operatorname{Im}\partial_{n+1}$ 。
声音
观察依据
主讲人重申：复合为零条件意味着 $\delta n$ 加一的像包含于 $\delta n$ 的核中。

待核验内容

包含关系的其余部分尚未完全写出，片段即告结束。

图中对象

标注“注：”
表达式 $\operatorname{Im}\partial_{n+1}$

变化过程

在主定义下方新开一个注释小节。
代数条件被重新表述为关于像与核的条件。

不变量

原始序列及等式 $\partial_n\circ\partial_{n+1}=0$ 仍显示在上方。

数学含义

视觉过渡表明：抽象的复合条件正被重新表述为涉及像与核的子群包含关系。

白板初始状态

依据清楚

视频直接表达

来源依据

图示
观察依据
课程开始时，黑板上已写有标题“链复形”、完整的群与映射序列、条件 ∂_n ∘ ∂_{ $n+1$ } = 0，以及注释 Im ∂_{ $n+1$ } ⊂ Ker ∂_n。
动画
观察依据
尚无运动可见；画面为静态白板布局。

图中对象

标题“链复形”
序列 $\cdots \to C_{n+1} \xrightarrow{\partial_{n+1}} C_n \xrightarrow{\partial_n} C_{n-1} \to \cdots \to C_0 \xrightarrow{\partial_0} 0$
条件 $\partial_n \circ \partial_{n+1}=0$
注记：Im $\partial_{n+1} \subset$ Ker $\partial_n$

不变量

链复形图示在整个片段中始终保持可见。
包含关系陈述一旦写出，便一直保留在黑板上。

数学含义

起始画面先确立代数背景，随后讲师再引入同调群的定义。

书写同调群的定义

依据清楚

视频直接表达

来源依据

动画
观察依据
讲师在黑板右侧写下定义： $H_n$ := $\frac{\operatorname{Ker} \partial_n}{\operatorname{Im} \partial_{n+1}}$ 。
动画
观察依据
在 $H_n$ 附近添加黄色标签“第 n 阶同调群”。

图中对象

公式 $H_n$ := $\operatorname{Ker} \partial_n / \operatorname{Im} \partial_{n+1}$
黄色注释：“第 n 阶同调群”

变化过程

该商式在此时间段内新写出。
黄色命名注释在公式写完后添加。

不变量

原始的链复形序列及包含关系仍保持可见，位于上方。

数学含义

视觉重点从一般复形转向具体的商对象 $H_n$ 。

构建术语列表

依据清楚

视频直接表达

来源依据

动画
观察依据
主讲人依次写下三行术语定义：Ker ∂ₙ 的元素称为闭链；Im ∂_{ $n+1$ } 的元素称为边缘；Hₙ 的元素称为同调类（即 Im ∂_{ $n+1$ } 的陪集）。
动画
观察依据
最后，左下角写出一行文字：“属于同一类的两个闭链称为同调的。”

图中对象

定义闭链的一行
定义边缘的一行
定义同调类的一行
定义同调闭链的一行

变化过程

新文本行自上而下逐行出现。
黑板上逐步积累起一份与商集定义相关的术语表。

不变量

先前的链复形示意图和 Hₙ 的公式始终保留在画面上。
数学内容始终聚焦于次数为 n 的子群及相应的商类。

数学含义

书写动画将抽象的商集概念转化为具名对象：闭链、边缘、同调类，以及同调关系。

静态白板布局，底部一行文字逐步写出

依据清楚

视频直接表达

来源依据

图示
观察依据
画面显示一块黑色数字白板，上面有用白色、红色和黄色手写的文字。顶部区域定义了链复形，中部区域给出注记及 $H_n$ 的定义，底部一行文字在视频片段中逐步写出。

图中对象

标题“链复形”
群序列与边界映射
条件 $\partial_n \circ \partial_{n+1}=0$
注记： $\operatorname{Im} \partial_{n+1} \subset \operatorname{Ker} \partial_n$
定义 $H_n$ := $\frac{\operatorname{Ker} \partial_n}{\operatorname{Im} \partial_{n+1}}$
黄色标签“第 n 个同调群”
关于同调圈的底部句子

变化过程

上部白板内容在整个视频片段中保持固定。
底部句子从“Two cycles in the sa”开始逐步写出，直至完整语句，结尾为“( $\operatorname{Im} \partial_{n+1}$ )”。

不变量

链复形序列始终可见且保持不变。
$H_n$ 的定义及旁注保持原样可见。
颜色编码保持稳定：主文本为白色，强调内容为红色，同调群标签的注释为黄色。

数学含义

视觉演进突出本片段引入的新概念：术语“同调的”及其通过边缘实现的等价刻画。

易错点 · 6

口述为“delta”，而书写形式为 $\partial$

依据清楚

视频直接表达

来源依据

声音
观察依据
主讲人将边界映射读作“delta”。
图示
观察依据
箭头上所写的标签是 $\partial_{n+1}$ 、 $\partial_n$ 和 $\partial_0$ ，而非 $\delta$ 。

待核验内容

尚不清楚这是口误、口语化读法，还是主讲人对该符号的习惯称呼。

误区

学习者可能因主讲人说“delta”，而预期边界映射写作 $\delta$ 。

说明

本片段中，实际书写的边界映射记号是带下标的 $\partial$ ，尽管主讲人口头称其为delta。

此处的链复形采用递减指标。

依据清楚

视频直接表达

来源依据

声音
观察依据
主讲人明确指出：“注意，下标是递减的。我们是从 n 加一一直降到零。”
图示
观察依据
所展示的序列是 $C_{n+1}\to C_n\to C_{n-1}\to\cdots\to C_0\to 0$ 。

误区

学习者可能误以为序列的指标应沿箭头方向递增。

说明

视频特别强调，在这种链复形记号中，指标沿映射方向从 $n+1$ 递减至 $0$ 。

将同调类与单个闭链混淆

依据清楚

补充解释

来源依据

图示
观察依据
黑板明确指出， $H_n$ 的元素是 Im ∂_{ $n+1$ } 的陪集，而不仅仅是 Ker ∂_n 的元素。
声音
观察依据
讲师强调，他们‘刚刚取了 δₙ₊₁ 的像的陪集。’

误区

人们可能误以为 $H_n$ 的一个元素本身只是 $C_n$ 中的一个闭链。

说明

$H_n$ 的一个元素是闭链群中所有边界的整个陪集；许多不同的闭链可以代表同一个同调类。

将边界与闭链视为互不相关的概念

依据清楚

补充解释

来源依据

图示
观察依据
黑板分别将边界定义为 Im ∂_{ $n+1$ } 的元素，将闭链定义为 Ker ∂_n 的元素。
声音
观察依据
主讲人在引入商群之前，先区分了这两个集合。

误区

人们可能误以为边界只是 $C_n$ 中另一个独立的子集。

说明

在链复形中，每个边界自动是一个闭链，因为 Im ∂_{ $n+1$ } ⊆ Ker ∂_n；同调群所度量的，正是那些不是边界的额外闭链。

切勿将圈与其同调类混淆。

依据清楚

视频直接表达

来源依据

公式
观察依据
黑板将“∂_n 的核中的元素称为圈”与“同调类（∂_{ $n+1$ } 的像的陪集）”区分开来。
声音
观察依据
主讲人解释说，两个圈属于同一类，这意味着它们的差是一个边缘。

误区

有人可能认为 $H_n$ 中的一个元素就是一个单独的圈。

说明

黑板将 $H_n$ 表示为一个商，并明确将同调类描述为 ∂_{ $n+1$ } 的像的陪集；因此，一个类包含许多相差一个边缘的圈。

同调的并不意味着仅仅是不同。

依据清楚

视频直接表达

来源依据

公式
观察依据
底部完成的那行文字明确指出：该差必须是一个边缘，即 ∂_{ $n+1$ } 的像中的一个元素。
声音
观察依据
主讲人称它们的差是“不过是边缘而已”。

误区

有人可能将‘同一类’宽泛地理解为任意两个圈均可比较。

说明

视频给出了精确判据：两个圈同调当且仅当它们的差属于 $\operatorname{Im} \partial_{n+1}$ ，而不仅仅是因为二者都是圈。

概念关系 · 13

阿贝尔群的同态序列 → 链复形的定义

依据清楚

视频直接表达

来源依据

声音
观察依据
主讲人首先描述了一组阿贝尔群之间的同态序列，然后补充了相邻同态的复合为零这一额外条件。
图示
观察依据
板书内容从关于同态序列的句子，过渡到完整的序列，再过渡到条件 $\partial_n\circ\partial_{n+1}=0$ 。

先修

解释

阿贝尔群之间的一组同态序列这一概念，是链复形的起始结构；一旦施加复合为零的条件，该结构便成为链复形。

用 $\partial$ 表示的边界映射 → 链复形的定义

依据清楚

视频直接表达

来源依据

图示
观察依据
链复形序列中的箭头标有 $\partial$ 符号，而该条件也使用相同的符号写出。

包含

解释

本片段中链复形的定义包含了特定记号：这些同态被写作边界映射 $\partial_k$ 。

链复形的定义 → 由 $\partial_n\circ\partial_{n+1}=0$ 得出的推论：像包含于核中

依据清楚

视频直接表达

来源依据

声音
观察依据
主讲人指出，复合为零的条件立即蕴含像包含于核之中。
图示
观察依据
‘注’这一行出现在方程 $\partial_n\circ\partial_{n+1}=0$ 写完之后。

证明依赖

解释

包含关系 $\operatorname{Im}\partial_{n+1}\subseteq\ker\partial_n$ 直接由链复形的定义条件推出。

链复形的定义 → 链复形条件的直接推论

依据清楚

依据视频推导

来源依据

图示
观察依据
黑板将条件 ∂_n ∘ ∂_{ $n+1$ } = 0 直接写在备注 ‘Im ∂_{ $n+1$ } ⊂ Ker ∂_n’ 的上方。

证明依赖

解释

像包含于核这一性质，直接源于链复形所要求的零复合条件。

链复形条件的直接推论 → 第 n 个同调群的定义

依据清楚

依据视频推导

来源依据

图示
观察依据
在写出 Im ∂_{ $n+1$ } ⊂ Ker ∂_n 之后，讲师将 $H_n$ 定义为这两个子群的商群。

先修

解释

商群 $H_n$ = Ker ∂_n / Im ∂_{ $n+1$ } 仅当像子群包含于核子群中时才有明确定义。

第 n 个同调群的定义 → 作为陪集的同调类

依据清楚

视频直接表达

来源依据

图示
观察依据
黑板上首先定义 $H_n$ ，然后指出其元素是同调类，即 Im ∂_{ $n+1$ } 的陪集。

包含

解释

同调类这一术语具体说明了先前所定义的群 $H_n$ 的元素是什么。

闭链 → 第 n 个同调群的定义

依据清楚

视频直接表达

来源依据

图示
观察依据
术语标注行将 Ker ∂_n 称为闭链，将 Im ∂_{ $n+1$ } 称为边缘，它们恰好分别对应 $H_n$ 中的分子与分母。

应用

解释

同调群由闭链子群和边缘子群构造而成。

作为陪集的同调类 → 同调的圈

依据清楚

依据视频推导

来源依据

图示
观察依据
最后一行用短语“同一类”来定义同调的闭链，呼应前文对同调类的陪集描述。

先修

解释

两个闭链同调这一概念，是通过称它们属于同一同调类来定义的。

链复形的定义 → 闭链、边缘及其包含关系

依据清楚

视频直接表达

来源依据

公式
观察依据
黑板上首先写出 $\partial_n \circ \partial_{n+1}=0$ ，然后写下 $\operatorname{Im} \partial_{n+1} \subset \operatorname{Ker} \partial_n$ 。

证明依赖

解释

边界的包含于圈中，直接依赖于链复形条件：相邻的边界映射复合为零。

闭链、边缘及其包含关系 → 第 n 阶同调群的定义

依据清楚

视频直接表达

来源依据

公式
观察依据
在写出 $\operatorname{Im} \partial_{n+1} \subset \operatorname{Ker} \partial_n$ 之后，黑板定义 $H_n$ := $\frac{\operatorname{Ker} \partial_n}{\operatorname{Im} \partial_{n+1}}$ 。

先修

解释

定义 $H_n$ 所用的商群是有意义的，因为 $\operatorname{Im} \partial_{n+1}$ 是 $\operatorname{Ker} \partial_n$ 的一个子群。

第 n 阶同调群的定义 → 作为边缘子群陪集的同调类

依据清楚

视频直接表达

来源依据

公式
观察依据
定义 $H_n$ := $\frac{\operatorname{Ker} \partial_n}{\operatorname{Im} \partial_{n+1}}$ 时，附有注释：“同调类（即 $\operatorname{Im} \partial_{n+1}$ 的陪集）”。

包含

解释

商群 $H_n$ 由 $\operatorname{Im} \partial_{n+1}$ 在 $\operatorname{Ker} \partial_n$ 中的陪集构成；这些陪集就是同调类。

作为边缘子群陪集的同调类 → 同调圈的定义

依据清楚

视频直接表达

来源依据

公式
观察依据
最下方一行以“属于同一类的两个圈”开头，并以“它们的差是一个边界”作结。

等价

解释

处于同一同调类，被表述为等价于同调；而同调又由其差属于 $\operatorname{Im} \partial_{n+1}$ 来刻画。

问题定位 · 17

本片段中给出的链复形的定义是什么？

依据清楚

视频直接表达

来源依据

声音
观察依据
主讲人将链复形定义为：一组阿贝尔群之间的同态序列，且相邻同态的复合等于零。
图示
观察依据
板书写出了完整的定义及条件。

涉及知识点

链复形的定义
阿贝尔群的同态序列
用 $\partial$ 表示的边界映射

为何所显示的链复形中，指标沿箭头方向递减？

依据清楚

视频直接表达

来源依据

声音
观察依据
主讲人指出指标是递减的，且该序列从 $n+1$ 走向零。
图示
观察依据
板书展示的序列为 $C_{n+1}\to C_n\to C_{n-1}\to\cdots\to C_0\to 0$ 。

涉及知识点

链复形的定义

为何 $\partial_n\circ\partial_{n+1}=0$ 能推出 $\operatorname{Im}\partial_{n+1}\subseteq\ker\partial_n$ ？

依据清楚

视频直接表达

来源依据

声音
观察依据
主讲人指出， $\partial_n\circ\partial_{n+1}=0$ 立即意味着 $\partial_{n+1}$ 的像包含于 $\partial_n$ 的核中。
图示
观察依据
黑板上以 $\operatorname{Im}\partial_{n+1}$ 开头写了一条“注记”行。

待核验内容

完整的包含关系式在片段结束前未在屏幕上写完。

涉及知识点

由 $\partial_n\circ\partial_{n+1}=0$ 得出的推论：像包含于核中
链复形的定义

为何主讲人口中说“delta”，而黑板上写的是 $\partial$ ？

依据清楚

视频直接表达

来源依据

声音
观察依据
主讲人将这些映射称为“delta”。
图示
观察依据
板书标注为 $\partial_{n+1}$ 、 $\partial_n$ 和 $\partial_0$ 。

涉及知识点

用 $\partial$ 表示的边界映射

黑板上展示的链复形定义是什么？

依据清楚

视频直接表达

来源依据

图示
观察依据
开场的黑板内容给出了链复形的完整定义。

涉及知识点

链复形的定义

为什么 ∂_n ∘ ∂_{ $n+1$ } = 0 能推出 Im ∂_{ $n+1$ } ⊆ Ker ∂_n？

依据清楚

依据视频推导

来源依据

图示
观察依据
黑板上同时写出 ∂_n ∘ ∂_{ $n+1$ } = 0 以及 Im ∂_{ $n+1$ } ⊂ Ker ∂_n。

涉及知识点

链复形的定义
链复形条件的直接推论

本讲中，第 n 个同调群 $H_n$ 是如何定义的？

依据清楚

视频直接表达

来源依据

图示
观察依据
公式 $H_n$ := $\operatorname{Ker} \partial_n / \operatorname{Im} \partial_{n+1}$ 被明确写出。

涉及知识点

第 n 个同调群的定义

在链复形中，闭链与边缘有何区别？

依据清楚

视频直接表达

来源依据

图示
观察依据
黑板上分别将闭链定义为 $\partial_n$ 的核中的元素，将边缘定义为 $\partial_{n+1}$ 的像中的元素。

涉及知识点

闭链
边界

$H_n$ 的元素代表什么？

依据清楚

视频直接表达

来源依据

图示
观察依据
黑板指出， $H_n$ 的元素是同调类，具体而言是 $\partial_{n+1}$ 的像的陪集。

涉及知识点

作为陪集的同调类

两个闭链在什么情况下被称为同调的？

依据清楚

视频直接表达

来源依据

图示
观察依据
最后一行指出：属于同一同调类的两个闭链被称为同调的。

涉及知识点

同调的圈

什么是链复形的定义？它由阿贝尔群和边界映射构成。

依据清楚

视频直接表达

来源依据

公式
观察依据
黑板顶部定义了链复形，并指出 $\partial_n \circ \partial_{n+1}=0$ 。

涉及知识点

链复形的定义

为什么 $\partial_n \circ \partial_{n+1}=0$ 意味着边界都是闭链？

依据清楚

视频直接表达

来源依据

公式
观察依据
黑板将 $\partial_n \circ \partial_{n+1}=0$ 与 $\operatorname{Im} \partial_{n+1} \subset \operatorname{Ker} \partial_n$ 联系起来。

涉及知识点

链复形的定义
闭链、边缘及其包含关系
边界是闭链

覆盖情况与待核验内容

已覆盖 · 黑屏，无数学内容；此帧用于覆盖整个片段时长。

已覆盖 · 标题“链复形”被写出，主讲人将链复形介绍为一族阿贝尔群之间的同态所构成的序列。

已覆盖 · 序列 $\cdots\to C_{n+1}\to C_n\to C_{n-1}\to\cdots\to C_0\to 0$ 被写出，并强调其指标递减。

已覆盖 · 边界映射的标签 $\partial_{n+1}$ 、 $\partial_n$ 和 $\partial_0$ 被添加，并写出定义条件 $\partial_n\circ\partial_{n+1}=0$ 对于每个 $n$ is written.

已覆盖 · 主讲人指出该条件的直接推论： $\partial_{n+1}$ 的像包含于 $\partial_n$ 的核中，并开始书写“注”这一行。

已覆盖 · 开场板书展示了链复形、零复合条件，以及由此导出的像包含于核这一包含关系。

已覆盖 · 主讲人通过度量闭链与边缘之间的“差距”来引入动机，并写出了 $H_n$ 的商定义。

已覆盖 · 术语说明行将闭链定义为 $\partial_n$ 的核中的元素。

已覆盖 · 术语说明行将边缘定义为 $\partial_{n+1}$ 的像中的元素。

已覆盖 · 黑板将 $H_n$ 的元素与同调类（即 ∂_{ $n+1$ } 的像的陪集）等同起来。

已覆盖 · 最后的术语说明指出：同调的圈是指属于同一等价类的圈。

已覆盖 · 在主讲人开始讨论商结构概念时，黑板上已预先写好链复形的定义、边界群包含于循环群的事实，以及 $H_n$ 的定义。

已覆盖 · 主讲人明确地将该构造与抽象代数中的 $R/I$ 类比。

已覆盖 · 底部句子书写至单词“homologous”（同调的）为止，由此引出该术语。

已覆盖 · 主讲人解释为何属于同一等价类的循环其差为一个边界，黑板上补全该陈述，结尾为 ( $\operatorname{Im} \partial_{n+1}$ )。

探索视频中的知识

已审核的主题路径

链复形

链复形 1

把讲解展开来看。

章节

学习解说文稿

知识卡片

链复形：基本定义

下标递减约定

边界映射以∂\partial∂书写

从零复合到像含于核

链复形

第 n 阶同调群

圈与边缘

同调类

同调的圈

链复形

圈与边界

第 n 个同调群

同调类作为陪集

同调的圈

商结构类比 R/IR/IR/I

详细学习笔记

Chain Complex\text{Chain Complex}Chain Complex

Cn+1C_{n+1}Cn+1​

CnC_nCn​

Cn−1C_{n-1}Cn−1​

C0C_0C0​

0

∂n+1\partial_{n+1}∂n+1​

∂n\partial_n∂n​

∂0\partial_0∂0​

∂n∘∂n+1=0\partial_n \circ \partial_{n+1}=0∂n​∘∂n+1​=0

Im⁡∂n+1\operatorname{Im}\partial_{n+1}Im∂n+1​

ker⁡∂n\ker\partial_nker∂n​

链复形的定义

阿贝尔群的同态序列

用∂\partial∂表示的边界映射

由∂n∘∂n+1=0\partial_n\circ\partial_{n+1}=0∂n​∘∂n+1​=0得出的推论：像包含于核中

链复形的定义

链复形条件的直接推论

第 n 个同调群的定义

闭链

边界

作为陪集的同调类

同调的圈

链复形的定义

链复形的定义性质

链复形条件的直接推论

连续边界映射的零复合意味着像包含于核

同调群用于度量闭链子群与边缘子群之间的差距。

HnH_nHn​ 的元素是边缘子群的陪集。

同调意味着属于相同的同调类。

边界是闭链

同调闭链的刻画

推导出 Im⁡∂n+1⊆ker⁡∂n\operatorname{Im}\partial_{n+1}\subseteq\ker\partial_nIm∂n+1​⊆ker∂n​ 来自 ∂n∘∂n+1=0\partial_n\circ\partial_{n+1}=0∂n​∘∂n+1​=0

由链复形公理推导出该包含关系。

将同调定义为商群的动机

从陪集描述过渡到同调关系。

从属于同一陪集到其差为边界

所展示的链复形序列的构造过程

边界映射的标注及零复合规则

注释部分开始，将该条件用像与核的语言进行翻译。

白板初始状态

书写同调群的定义

构建术语列表

静态白板布局，底部一行文字逐步写出

口述为“delta”，而书写形式为∂\partial∂

此处的链复形采用递减指标。

将同调类与单个闭链混淆

将边界与闭链视为互不相关的概念

切勿将圈与其同调类混淆。

同调的并不意味着仅仅是不同。

阿贝尔群的同态序列 → 链复形的定义

用∂\partial∂表示的边界映射 → 链复形的定义

链复形的定义 → 由∂n∘∂n+1=0\partial_n\circ\partial_{n+1}=0∂n​∘∂n+1​=0得出的推论：像包含于核中

链复形的定义 → 链复形条件的直接推论

链复形条件的直接推论 → 第 n 个同调群的定义

第 n 个同调群的定义 → 作为陪集的同调类

闭链 → 第 n 个同调群的定义

作为陪集的同调类 → 同调的圈

链复形的定义 → 闭链、边缘及其包含关系

边界映射以 $\partial$ 书写

商结构类比 $R/I$

$\text{Chain Complex}$

$C_{n+1}$

$C_n$

$C_{n-1}$

$C_0$

$\partial_{n+1}$

$\partial_n$

$\partial_0$

$\partial_n \circ \partial_{n+1}=0$

$\operatorname{Im}\partial_{n+1}$

$\ker\partial_n$

用 $\partial$ 表示的边界映射

由 $\partial_n\circ\partial_{n+1}=0$ 得出的推论：像包含于核中

$H_n$ 的元素是边缘子群的陪集。

推导出 $\operatorname{Im}\partial_{n+1}\subseteq\ker\partial_n$ 来自 $\partial_n\circ\partial_{n+1}=0$

口述为“delta”，而书写形式为 $\partial$

用 $\partial$ 表示的边界映射 → 链复形的定义

链复形的定义 → 由 $\partial_n\circ\partial_{n+1}=0$ 得出的推论：像包含于核中

为何 $\partial_n\circ\partial_{n+1}=0$ 能推出 $\operatorname{Im}\partial_{n+1}\subseteq\ker\partial_n$ ？

为何主讲人口中说“delta”，而黑板上写的是 $\partial$ ？

为什么 ∂_n ∘ ∂_{ $n+1$ } = 0 能推出 Im ∂_{ $n+1$ } ⊆ Ker ∂_n？

本讲中，第 n 个同调群 $H_n$ 是如何定义的？

$H_n$ 的元素代表什么？

为什么 $\partial_n \circ \partial_{n+1}=0$ 意味着边界都是闭链？