拓扑学：连通性

1. 公式
   观察依据

   黑板上写着：『定义：若集合 X 可表示为两个互不相交且均包含于 X 的开集的并集，则称 X 是不连通的。』随后又写出『$X = U \cup V$』。

2. 声音
   观察依据

   主讲人说：『若一个拓扑空间 X 可表示为两个互不相交且均包含于 X 的开集的并集，则我们称 X 是不连通的。』

X

在不连通性与连通性定义中所讨论的拓扑空间。

一个拓扑空间；在该例中，它被视作$\mathbb{R}^2$的一个子空间。

1. 公式
   观察依据

   黑板上列出『$U \cap V = \emptyset$』『$U \cap X \neq \emptyset$』以及『$X = U \cup V$』。

2. 声音
   观察依据

   主讲人说：『这本质上就是 X 等于 U 和 V，其中 U 和 V 是某些开集。』

U

在不连通性定义中，要求其并集等于整个空间的两个开集之一。

1. 公式
   观察依据

   黑板上列出『$U \cap V = \emptyset$』『$V \cap X \neq \emptyset$』以及『$X = U \cup V$』。

2. 声音
   观察依据

   主讲人说：『U 中至少含有 X 的一些点，V 中也至少含有 X 的一些点。』

V

不连通空间分解中出现的第二个开集。

1. 公式
   观察依据

   黑板在『$U \cap V = \emptyset$』『$U \cap X \neq \emptyset$』及『$V \cap X \neq \emptyset$』中使用了『$\emptyset$』。

$\emptyset$

空集，用于表达相对于$X$的互不相交性与非空性。

1. 公式
   观察依据

   黑板上写着：“定理：若存在一个连续满射映射 f: $X \to Y$，且 X 是连通的，则 Y 也是连通的。”

2. 声音
   观察依据

   视频片段末尾，讲师开始说道：“因此我们可以证明，若存在一个从……出发的连续满射映射 f。”

f

定理陈述中从$X$到$Y$的一个连续满射映射。

1. 公式
   观察依据

   黑板上写着“f: $X \to Y$”以及“则 Y 是连通的。”

Y

该连续满射映射$f$的陪域空间；该定理得出结论：$Y$是连通的。

1. 声音
   观察依据

   讲师说：“若我们将这两个球状—环状的图形视作 R2 中的对象”，以及“作为 R2 的子集”。

$\mathbb{R}^2$

所画示例子集所在的环境欧氏平面。

1. 公式
   观察依据

   黑板上写出定理，其中 f: $X \to Y$ 含有 X，并在短语中说明 X 是连通的。

2. 声音
   观察依据

   主讲人说“从空间 X 到空间 Y”以及“X 是连通的”。

X

作为连续满射映射 f 的定义域的拓扑空间。

一个拓扑空间；在第一个定理中，假设它是连通的。

1. 公式
   观察依据

   黑板上写出 f: $X \to Y$ 中的 Y，并在结论中指出 Y 是连通的。

2. 声音
   观察依据

   主讲人说“空间 Y”以及“Y 必须是连通的”。

Y

作为连续满射映射 f 的陪域的拓扑空间。

一个拓扑空间；在第一个定理中，它是被证明具有连通性的像空间。

1. 公式
   观察依据

   黑板上写出一个连续满射映射 f: X -> Y。

2. 声音
   观察依据

   主讲人描述一个从空间 X 到空间 Y 的映射，并随后使用 f 的逆映射。

f

从 X 到 Y 的连续满射。

映射 f: X -> Y，其连续性与满射性均在定理的条件中予以陈述。

1. 公式
   观察依据

   黑板上的证明行写着：“设 Y 不连通，因此 U 并 V 等于 Y。”

2. 声音
   观察依据

   说话者指出存在开集 U 和 V，它们的并集为 Y，交集为空集，且每个集合都包含某个 y。

U, V

在第一个定理的逆否命题证明中，构成 Y 的一个不连通分解的开集。

Y 的开子集，满足 U 并 V 等于 Y，U 交 V 为空集，U 非空，且 V 非空。

1. 公式
   观察依据

   黑板上写出 $f^{-1}(U)$ 并 $f^{-1}(V)$ 等于 X。

2. 声音
   观察依据

   说话者称，对等式两边取原像，得到 f 的原像作用于 U 并 V 等于 f 的原像作用于 Y，即整个 X，再将 f 的原像运算分配到并集上。

$f^{-1}$

映射 f 的原像算子，作用于 Y 的子集。

作用于 Y 的子集，并返回 X 的子集；说话者指出原像对并集具有分配性。

1. 公式
   观察依据

   黑板文字：“定义：若空间 X 可表示为两个互不相交且均包含于 X 的开集之并，则称 X 是不连通的；若 X 不是不连通的，则称其为连通的。”

2. 公式
   观察依据

   黑板上的条件：“$X = U$ ∪ V”，“U ∩ V = ∅”，“U ∩ X ≠ ∅”，“V ∩ X ≠ ∅”。

3. 声音
   观察依据

   讲师朗读并口头转述该定义。

视频首先定义不连通性：空间$X$是不连通的，当且仅当它可写成两个互不相交、且均包含于$X$的开集之并，并且每个部分都与$X$有非平凡交集；连通性则被否定式地定义为“不是不连通的”。

1. $X$是一个拓扑空间。

2. $U$和$V$是包含于$X$中的开集。

3. 该分解必须覆盖$X$的全部。

4. 两部分相对于$X$都必须是非空的。

1. 图示
   观察依据

   黑板右侧画出了两条彼此分离的、类似团块状的闭曲线。

2. 声音
   观察依据

   讲师指出，$\mathbb{R}^2$中的这两个图形（视作子空间）是不连通的，而单独一个图形则是连通的。

讲师以两个分离的平面区域作为具体例子：它们的并集作为$\mathbb{R}^2$的子空间是不连通的，因为每个区域都在子空间拓扑中提供了一个开的部分；而单个区域则被视作连通的，因为无法将其分离为两个互不相交且非空的开部分。

1. 该例子取自$\mathbb{R}^2$内部。

2. 开性是相对于所选子集上的子空间拓扑来理解的。

1. 不连通空间与连通空间的定义

1. 公式
   观察依据

   黑板文字：`定理：若存在连续满射映射 f: $X \to Y$，且 X 是连通的，则 Y 也是连通的。`

2. 声音
   观察依据

   讲师在本片段末尾开始引入该定理。

黑板上陈述了一个定理：连通性在连续满射下保持不变——若$X$是连通的，且$f:X\to Y$是连续且满射的，则$Y$是连通的。

1. $f$是连续的。

2. $f$是满射的。

3. $X$是连通的。

1. 不连通空间与连通空间的定义

1. 公式
   观察依据

   黑板标题为“拓扑学”和“连通性”。

2. 声音
   观察依据

   本片段中，讲座始终围绕连通空间与不连通空间展开讨论。

该片段将连通性视为拓扑空间的一种性质，并借助其否定形式——不连通性——来证明两个命题。当一个空间可被分解为两个非空开集，且这两个开集互不相交、其并集等于整个空间时，该空间即被视为不连通。

1. 该讨论属于一般拓扑学范畴。

2. 不连通性通过开集分解来运用。

1. 公式
   观察依据

   第一个定理表述为：“存在连续满射 f: $X \to Y$”。

2. 声音
   观察依据

   主讲人陈述了从空间 X 到空间 Y 的映射所满足的定理，并在证明中使用了 f 的逆像。

第一条定理涉及一个从 X 到 Y 的映射 f，该映射既连续又满射。连续性用于保证开集的逆像仍是开集，而满射性则在主讲人将 $f^{-1}(Y)$ 等同于整个 X 时被用到。

1. f：X 到 Y。

2. f 是连续的。

3. f 是满射的。

1. 拓扑学中的连通性

1. 公式
   观察依据

   黑板上将 $f^{-1}$(U ∪ V) 变形为 $f^{-1}(U)$ ∪ $f^{-1}(V)$。

2. 声音
   观察依据

   主讲人说，他们可以将 f 的逆像分配过去，因为逆像运算具有良好的分配性质。

该证明使用了集合论恒等式：一个并集的逆像是各集合逆像的并集。本片段中，此恒等式被应用于 U ∪ $V = Y$，从而将 $f^{-1}$(U ∪ V) 变为 $f^{-1}(U)$ ∪ $f^{-1}(V)$。

1. f 是集合或空间之间的映射。

2. U 和 V 是陪域的子集。

1. 第一条定理中的连续满射映射

1. 公式
   观察依据

   两种证明都用到了 U 并 V 等于 Y，或 U 并 V 等于 X 并 Y，且 U 交 V 为空集，同时 U 和 V 均为非空子集。

2. 声音
   观察依据

   主讲人反复描述两个开集 U 和 V，它们的交集为空集，且各自包含相关空间中的点。

在两种证明中，非连通空间均由两个开集 U 和 V 表示。所给出的条件是：它们的并集等于整个空间，交集为空集，且每个集合都至少包含该空间中的一个点。

1. 所讨论的空间被假定为非连通的。

2. U 和 V 是开集。

3. U 并 V 等于整个空间。

4. U 交 V 为空集。

5. U 和 V 均为非空集合。

1. 拓扑学中的连通性

1. 公式
   观察依据

   黑板上展示了定理与证明语境下的“连通”和“不连通”。

若一个拓扑空间不能表示为两个互不相交且非空的开子集的并集，则称该空间是连通的；若存在这样的表示，则称该空间是不连通的。

1. 适用于拓扑空间。

1. 声音
   观察依据

   说话人提到了“Y 的子空间中的开集”。

给定一个拓扑空间及其一个子集，子空间拓扑将该子集中的开集定义为该子集与原空间中开集的交集。

1. 需要一个母拓扑空间及它的一个子集。

1. 公式
   观察依据

   黑板明确写出不连通性的定义，并将连通性定义为其否定。

2. 声音
   观察依据

   主讲人用口语复述了相同的定义。

拓扑空间$X$不连通，当且仅当它是包含于$X$中的两个互不相交的开集的并集，且每个开集都与$X$有非平凡交集；否则$X$是连通的。

1. $X$是一个拓扑空间。

存在开集$U$和$V$，使得所述分解成立。

1. 图示
   观察依据

   画出了两个彼此分离、类似团块的子集。

2. 声音
   观察依据

   讲师说：“这个作为ℝ2的子空间是不连通的”，并解释这两个圆盘就是开集。

这两个分离的团状子集的并集，作为$\mathbb{R}^2$的子空间，是不连通的。

1. 背景空间是$\mathbb{R}^2$。

2. 该子集由两个分离的团状部分组成。

对于所展示的这个子空间，存在一种将其分为两部分的分离方式。

1. 声音
   观察依据

   讲师说：“但如果我们将其中一个……作为ℝ2的子集，那么它就是连通的。我们无法找到两个互不相交的开集，使得它们的并集恰好是整个环状图形。”

1. 讲师在本片段中并未证明这一断言；而是直接陈述的。

所画出的团状子集中的某一个，作为$\mathbb{R}^2$的子空间，是连通的。

1. 背景空间是$\mathbb{R}^2$。

2. 该子集是一个看起来连通的团状区域。

不存在将其分离为两个互不相交的非空相对开子集的方式。

1. 公式
   观察依据

   黑板上完整写出该定理的陈述。

2. 声音
   观察依据

   讲师在视频片段末尾开始口头介绍该定理。

若$f:X\to Y$是连续满射映射，且$X$是连通的，则$Y$是连通的。

1. $f$是连续的。

2. $f$是满射的。

3. $X$是连通的。

对所有满足假设条件的映射$f$和空间$X,Y$。

1. 公式
   观察依据

   黑板上写着：“定理：若存在连续满射 f: $X \to Y$，且 X 连通，则 Y 连通。”

2. 声音
   观察依据

   主讲人指出，若存在从空间 X 到空间 Y 的映射，且 X 连通，则 Y 必连通。

若 f: $X \to Y$ 是连续满射映射，且 X 连通，则 Y 连通。

1. f: $X \to Y$ 是拓扑空间 X 与 Y 之间的映射。

2. f 连续。

3. f 满射。

4. X 连通。

设 X 和 Y 为拓扑空间，f: $X \to Y$ 是满足前述假设的映射。

1. 公式
   观察依据

   黑板上书写：“定理：若 X 和 Y 连通，且 X ∩ Y ≠ ∅，则 X ∪ Y 连通。”

2. 声音
   观察依据

   主讲人指出：若 X 和 Y 是连通空间，且它们的交集非空，则 X 与 Y 的并集也必连通。

若 X 和 Y 连通，且 X ∩ Y 非空，则 X ∪ Y 连通。

1. X 连通。

2. Y 连通。

3. X 与 Y 的交集非空。

对于满足所述假设的拓扑空间 X 和 Y。

1. 公式
   观察依据

   黑板上写道：“定理：若 X 和 Y 是连通的，且 X ∩ Y ≠ ∅，则 X ∪ Y 是连通的。”

若 X 和 Y 是连通的拓扑空间，且它们的交集非空，则它们的并集 X ∪ Y 也是连通的。

1. X 是一个连通的拓扑空间。

2. Y 是一个连通的拓扑空间。

3. X 与 Y 的交集非空（X ∩ Y ≠ ∅）。

对任意拓扑空间 X 和 Y。

1. 声音
   观察依据

   讲师解释说，对于双团块子空间，可取两个开集分别为其中一个圆盘的全体与另一个圆盘的全体。

2. 图示
   观察依据

   这两个彼此分离的区域在视觉上构成了分离所需的两个部分。

1. 公式

   $$$$
   解释

   从子空间开始，该子空间由$\mathbb{R}^2$中两个彼此分离的类斑块状区域构成。

   步骤依据

   这是教师在黑板上通过口头讲解和图示引入的例子。

   视频直接表达
2. 公式

   $$$$
   解释

   将其中一个区域作为第一个候选开集，另一个区域作为第二个候选开集。

   步骤依据

   教师说：“我们可以取开集为整个一个圆盘，再取另一个开集为整个另一个圆盘。”

   视频直接表达
3. 公式

   $$$$
   解释

   这两个部分在该子空间中是相对开的，彼此互不相交，且它们的并集就是整个子空间。

   步骤依据

   这源于教师的解释：它们是该子空间的开子集，彼此交集为空，并且它们的并集等于整个子空间。

   视频直接表达
4. 公式

   $$$$
   解释

   因此，这个双斑块子空间满足不连通性的定义。

   步骤依据

   它符合此前给出的定义：即存在空间中两个互不相交的非空开集，其并集等于该空间。

   依据视频推导

这两个分离斑块的并集作为$\mathbb{R}^2$的子空间是不连通的。

1. 公式
   观察依据

   板书证明写道：“设 Y 不连通，因此 U 并 V 等于 Y”，接着写“$f^{-1}(U)$ 并 $f^{-1}(V)$ 等于 X，故 X 不连通”。

2. 声音
   观察依据

   主讲人表示将采用逆否命题法证明：假设 Y 不连通，取原像，将 f 的逆作用分配到并集上，从而得出 X 不连通；因此若 X 连通，则 Y 必连通。

1. 板书未明确写出 U 与 V 的交集为空集，也未写出 $f^{-1}(U)$ 和 $f^{-1}(V)$ 的非空性，尽管主讲人口头陈述了不连通性的条件。

1. 公式

   $$\text{Assume } Y \text{ is disconnected.}$$
   解释

   证明从假设 Y 的待证结论的否定出发。

   步骤依据

   主讲人口头陈述的逆否命题策略。

   视频直接表达
2. 公式

   $$U \cup V = Y,\quad U \cap V = \varnothing,\quad U \neq \varnothing,\quad V \neq \varnothing$$
   解释

   Y 的一个不连通分解由两个开集 U 和 V 表示，它们的并集为 Y，交集为空集，且各自都包含 Y 中的某个点。

   步骤依据

   视频片段中口述的不连通性定义。

   视频直接表达
3. 公式

   $$f^{-1}(U \cup V)=f^{-1}(Y)$$
   解释

   对等式 U 并 V 等于 Y 两边同时取 f 下的原像，得到 Y 的原像。

   步骤依据

   对 Y 的子集等式两边应用 $f^{-1}$。

   视频直接表达
4. 公式

   $$f^{-1}(Y)=X$$
   解释

   因为 f 是从 X 到 Y 的满射，所以 Y 的原像就是整个 X。

   步骤依据

   f：$X \to Y$ 的满射性。

   视频直接表达
5. 公式

   $$f^{-1}(U \cup V)=f^{-1}(U)\cup f^{-1}(V)$$
   解释

   并集的原像被重写为原像的并集。

   步骤依据

   原像对并集具有分配性。

   视频直接表达
6. 公式

   $$f^{-1}(U)\cup f^{-1}(V)=X$$
   解释

   结合前述等式可得：这两个原像集合覆盖了 X。

   步骤依据

   代入 $f^{-1}$(U ∪ V) = $f^{-1}(Y) = X$。

   视频直接表达
7. 公式

   $$\text{Therefore } X \text{ is disconnected.}$$
   解释

   讲话者得出结论：这些原像集合满足 X 不连通所需的性质。

   步骤依据

   连续性保证开集的逆像仍是开集；论证中直接继承了不连通性的条件。

   视频直接表达
8. 公式

   $$\text{Therefore, if } X \text{ is connected, } Y \text{ cannot be disconnected, so } Y \text{ is connected.}$$
   解释

   将逆否命题的结果转回原定理的表述形式。

   步骤依据

   一个命题与其逆否命题逻辑等价。

   视频直接表达

若 f：$X \to Y$ 连续且满射，且 X 连通，则 Y 连通。

1. 公式
   观察依据

   黑板上写道：“证明：假设 X ∪ Y 不连通，于是 U ∪ $V = X$ ∪ Y。若 U 包含全部 X，则 U ∩ Y 与 V ∩ Y 使 Y 不连通；否则 U ∩ X 与 V ∩ X 使 X 不连通，矛盾。”

2. 声音
   观察依据

   主讲人指出该证明采用反证法，假设 X 与 Y 的并集不连通，引入开集 U 和 V，并在视频片段结束前开始讨论 U 包含全部 X 的情形。

1. 最终的情形分析已写在黑板上，但在视频片段结束前未完整口述。

2. 黑板上的表述“使 Y 不连通”和“使 X 不连通”省略了对交集是否为子空间中的开集、是否非空、是否互不相交、以及是否覆盖相应空间的显式验证。

1. 公式

   $$\text{Assume } X \cup Y \text{ is disconnected.}$$
   解释

   证明从假设结论不成立开始。

   步骤依据

   主讲人口述并板书了反证法这一证明方式。

   视频直接表达
2. 公式

   $$U \cup V = X \cup Y,\quad U \cap V = \varnothing,\quad U \neq \varnothing,\quad V \neq \varnothing$$
   解释

   X 与 Y 的并集的一个不连通分解由开集 U 和 V 表示，它们覆盖 X 与 Y 的并集，交集为空，且各自部分非空。

   步骤依据

   本视频片段中所使用的不连通性定义。

   视频直接表达
3. 公式

   $$\text{Case 1: } X \subseteq U$$
   解释

   第一种情形假设 U 包含全部 X。

   步骤依据

   情形划分已写在黑板上，并在音频中予以介绍。

   视频直接表达
4. 公式

   $$U \cap Y \neq \varnothing$$
   解释

   由于 X 与 Y 的交集非空，且全部 X 都位于 U 中，故该交集中的某个点既属于 U，也属于 Y。

   步骤依据

   利用假设 X 与 Y 的交集非空，以及 X 是 U 的子集这一条件。

   依据视频推导
5. 公式

   $$\text{Then } U \cap Y \text{ 且 } V \cap Y \text{ disconnect } Y.$$
   解释

   黑板断言：此时，Y 与这些集合的交集构成了 Y 的一个分离。

   步骤依据

   黑板上写出的命题；视频片段中未完整口述详细验证过程。

   视频直接表达
6. 公式

   $$\text{Case 2: } X \not\subseteq U$$
   解释

   另一种情况是：U 并不包含全部的 X。

   步骤依据

   黑板上在第一种情况之后，以“否则”开头书写第二种情况。

   视频直接表达
7. 公式

   $$\text{Then } U \cap X \text{ 且 } V \cap X \text{ disconnect } X.$$
   解释

   黑板断言：在“否则”情形下，X 与这些集合的交集构成了 X 的一个分离。

   步骤依据

   黑板上写出的命题；视频片段中未完整口述详细验证过程。

   视频直接表达
8. 公式

   $$\text{Contradiction.}$$
   解释

   无论哪种情况，都与 X 和 Y 均为连通集的假设矛盾。

   步骤依据

   黑板上写出的结论为“矛盾”。

   视频直接表达

预期结论是：只要 X 和 Y 均连通，且 X ∩ Y 非空，则 X ∪ Y 必连通；该片段呈现了问题设定及黑板上的分情况结论，但未完整口述最后的验证步骤。

1. 公式
   观察依据

   黑板上列出了证明步骤：‘证明：假设 X ∪ Y 不连通，于是 U ∪ $V = X$ ∪ Y……’

2. 声音
   观察依据

   主讲人分析了两种情形：U 是否包含全部的 X，并由此导出矛盾。

1. 公式

   $$U \cup V = X \cup Y$$
   解释

   反设 X ∪ Y 不连通。这意味着在子空间拓扑 X ∪ Y 中，存在两个互不相交、非空的开集 U 和 V，使得 U ∪ $V = X$ ∪ Y。

   步骤依据

   不连通空间的定义。

   视频直接表达
2. 公式

   $$U \cap X \neq \emptyset \text{ 且 } V \cap X \neq \emptyset$$
   解释

   考虑 U 不包含全部 X 的情形。由于 X 是连通的，它不能被分解为两个非空、互不相交的开集。若 U 包含了 X 的一部分但非全部，则 V 必须包含 X 的其余部分。这样，U ∩ X 和 V ∩ X 就成为子空间拓扑 X 中两个非空、互不相交的开集，且它们的并集为 X。

   步骤依据

   子空间拓扑的性质以及 X 是连通空间的假设。

   视频直接表达
3. 公式

   $$\text{Contradiction}$$
   解释

   这样的 U ∩ X 和 V ∩ X 的存在意味着 X 是不连通的，这与初始假设“X 是连通的”矛盾。

   步骤依据

   该定理的假设条件。

   视频直接表达
4. 公式

   $$U \supseteq X \text{ or } V \supseteq X$$
   解释

   因此，其中一个集合（设为 U）必须包含整个 X。

   步骤依据

   由上一步的反证法得出。

   视频直接表达
5. 公式

   $$U \cap Y \neq \emptyset \text{ 且 } V \cap Y \neq \emptyset$$
   解释

   由于 X ∩ Y ≠ ∅ 且 U 包含整个 X，U 必与 Y 相交。若 V 也与 Y 相交（而它必须如此，因为 V 非空，且 U 与 V 的并集为 X ∪ Y），则 U ∩ Y 和 V ∩ Y 将构成 Y 的一个不连通分解。

   步骤依据

   子空间拓扑的性质及 Y 连通的假设。

   视频直接表达
6. 公式

   $$\text{Contradiction}$$
   解释

   这意味着 Y 是不连通的，与 Y 连通的假设矛盾。

   步骤依据

   该定理的假设条件。

   视频直接表达
7. 公式

   $$X \cup Y \text{ is connected}$$
   解释

   由于假设 X ∪ Y 不连通会在所有情况下导致矛盾，因此并集 X ∪ Y 必须是连通的。

   步骤依据

   反证法原理。

   视频直接表达

X ∪ Y 不连通的假设导致矛盾，从而证明 X ∪ Y 是连通的。

1. 图示
   观察依据

   黑板右侧画出了两条彼此分离的类斑块状闭曲线。

2. 声音
   观察依据

   教师将两个图形的并集与仅取其中一个图形的情形进行了比较。

判断图中所示的平面子集在作为$\mathbb{R}^2$的子空间时是否连通。

1. 平面内画出了两个彼此分离的、类似斑块的子集。

2. 讨论将它们视为$\mathbb{R}^2$的子空间。

依据连通性的定义，对两个斑块的并集以及单个斑块分别进行分类。

1. 公式

   $$$$
   解释

   将两个分离斑块的并集视为空间$X$。

   步骤依据

   这是主讲人在给出定义后立即引入的例子。

   视频直接表达
2. 公式

   $$$$
   解释

   选取两个独立的斑块作为候选的分离开集。

   步骤依据

   主讲人指出，可以取“第一个圆盘的全部”和“另一个圆盘的全部”。

   视频直接表达
3. 公式

   $$$$
   解释

   验证定义中的条件：所选的两个集合在子空间中是开集，互不相交，在$X$中非空，且它们的并集为$X$。

   步骤依据

   这些正是黑板上所列的关于不连通性的条件。

   依据视频推导
4. 公式

   $$$$
   解释

   得出结论：两个斑块的并集是不连通的。

   步骤依据

   它满足分离的定义。

   依据视频推导
5. 公式

   $$$$
   解释

   现在仅考虑一个“团块”作为子空间。

   步骤依据

   讲师将两个“团块”的情形与一个“团块”的情形进行对比。

   视频直接表达
6. 公式

   $$$$
   解释

   指出无法找到两个互不相交的开集，使得它们的并集等于整个单一“团块”状图形。

   步骤依据

   这是讲师口头说明它被称为连通的理由。

   视频直接表达

两个分离“团块”的并集是不连通的；而单个“团块”是连通的。

该分类依据黑板上的定义进行检验：两个“团块”的情形存在显式的分离，而一个“团块”的情形则被断言不存在这样的分离。

1. 动画
   观察依据

   讲师写下标题“拓扑学／连通性”，接着写出定义，再在定义下方写出符号化条件。

1. 标题：“拓扑学”

2. 副标题：“连通性”

3. 定义语句

4. 条件：〔$X = U \cup V$〕、〔$U \cap V = \emptyset$〕、〔$U \cap X \neq \emptyset$〕、〔$V \cap X \neq \emptyset$〕

1. 板书依次呈现标题、文字定义和符号化条件。

1. 该主题在整个区间内始终围绕连通性展开。

视觉序列从文字描述逐步构建出形式化条件的定义。

1. 图示
   观察依据

   黑板右侧出现两条彼此分离的、类似团块的闭合曲线。

2. 动画
   观察依据

   讲师在讲解该例子时，手指在所画的两个区域之间来回指示。

1. 平面上两个彼此分离的、类似团块的区域

2. 讲师指示的手势

1. 该例子将注意力从抽象符号转向几何图像。

2. 讲师交替指示两个区域整体，以及单独指示其中一个区域。

1. 这两个区域在黑板上始终保持空间上的分离。

该图形提供了一个$\mathbb{R}^2$的具体子空间，其分离性在视觉上一目了然。

1. 动画
   观察依据

   擦除先前内容后，讲师写下一条新的定理陈述，以“Thm:”开头。

1. 新板书文字：“Thm: 若存在连续满射映射 f: $X \to Y$，且 X 连通，则 Y 连通。”

1. 板书内容从定义/示例过渡到定理陈述。

1. 本次授课始终围绕拓扑学与连通性展开。

视觉上的变化标志着教学重点从定义连通性转向陈述连续满射下的保持性质。

1. 图示
   观察依据

   黑板占据背景，顶部标题为“拓扑学”与“连通性”，首条定理及其证明已预先写好。

2. 动画
   观察依据

   讲师站在黑板旁，手势指向若干行文字，并指向公式 $f^{-1}(U)$ ∪ $f^{-1}(V) = X$ 附近。

1. 黑板标题：“拓扑学”与“连通性”

2. 关于连续满射映射 f: $X \to Y$ 的定理陈述

3. 证明行开头：“设 Y 不连通”

4. 公式 $f^{-1}(U)$ ∪ $f^{-1}(V) = X$

5. 讲师手持讲稿并做手势

1. 讲师从面向摄像机转为指向黑板上的证明行

2. 讲解过程中，注意力被引向逆像等式

1. 第一条定理的文字在整个时段内始终保留在黑板上

2. 在黑板被擦除之前，未新增任何书写内容

视觉布局将该定理及其逆否命题的证明呈现为一个完整的推演过程，其中逆像等式是关键展示步骤

1. 动画
   观察依据

   讲师转向黑板，擦去第一条定理及证明，并在标题下方写下新的定理及证明

2. 图示
   观察依据

   书写过程结束时，黑板上显示第二条定理及一个多行证明，末尾为“矛盾”

1. 从采样帧中无法完全还原每个书写符号的精确笔画时序。

1. 橡皮擦

2. 粉笔

3. 关于X与Y连通的新定理陈述

4. 涉及U并V等于X并Y，以及与X和Y交集的证明行

1. 第一个定理及证明从黑板上消失。

2. 标题“拓扑学”与“连通性”仍保留在黑板上。

3. 逐行书写一个新的定理及证明。

1. 授课始终处于同一间教室的黑板场景中。

2. 主题持续围绕连通性展开。

这一视觉过渡标志着论证重点的转变：从证明连通性在连续满射下的保持性，转向证明在非空交集假设下并集的连通性。

1. 图示
   观察依据

   完成的第二个证明显示在黑板上，讲师站在左侧并进行讲解。

2. 动画
   观察依据

   讲师用手势指向黑板，尤其强调定理假设部分以及以“若U包含X的全部元素”开头的情形分述行。

1. 定理：若X与Y均连通，且X ∩ Y ≠ ∅，则X ∪ Y连通。

2. 反证法的推导步骤

3. 情形分述涉及〔U ∩ Y〕、〔V ∩ Y〕、〔U ∩ X〕、〔V ∩ X〕

4. 底部写着“矛盾”一词

1. 讲师的目光在观众与黑板之间交替。

2. 手势着重强调假设条件与情形划分。

1. 书写完成的第二个证明在此期间保持不变。

2. 展示的证明完成后，未再添加任何额外符号。

黑板上已呈现完整的预期证明结构，而音频仅讲到第一种情形的开头，片段即结束。

1. 图示
   观察依据

   黑板上展示了该定理的陈述及证明提纲。

1. 黑板上的文字

2. 主讲人

1. 主讲人在讲解过程中指向文本的不同部分。

1. 黑板上的文字在整个片段中保持静止。

视觉辅助材料提供了正在口头阐述的数学论证的形式化结构。

1. 声音
   观察依据

   讲师称这两部分为“该子空间的开子集”，强调子空间语境。

有人可能认为，要分离该子空间，这两个“团块”必须在$\mathbb{R}^2$中整体开。

在该示例中，开性是相对于所选$\mathbb{R}^2$子集上的子空间拓扑而言的，并不一定意味着在整个平面上开。

1. 声音
   观察依据

   说话者在处理 $f^{-1}(U)$ 和 $f^{-1}(V)$ 时，说到了“取它们的逆”和“将 f 的逆分配出去”。

2. 公式
   观察依据

   黑板上将 $f^{-1}$ 用于 Y 的子集，而非用于需要逆函数的点。

读者可能误以为此处的 $f^{-1}$ 表示一个真正的逆映射，而这需要函数是双射的。

在此证明中，$f^{-1}(U)$ 表示集合 U 在映射 f 下的原像。原像对任意映射都有定义，且对并集满足分配律，因此无需逆函数。

1. 声音
   观察依据

   说话者称 f 的逆作用于 Y 就是整个 X。

2. 公式
   观察依据

   该定理的前提条件明确指出 f 是满射。

有人可能将 $f^{-1}(Y) = X$ 视为任意映射都自动成立的事实。

此处等式依赖于 f: $X \to Y$ 的满射性。若不满足满射（即“到上性”），Y 的原像未必等于整个 X。

1. 公式
   观察依据

   第二个定理的前提条件明确包含 X ∩ Y ≠ 空集。

2. 声音
   观察依据

   说话者在得出并集连通的结论前，重复强调了 X 与 Y 的交集非空。

读者可能忽略“非空交集”这一前提条件，而错误地认为并集运算总是保持连通性。

该定理要求 X ∩ Y ≠ 空集。证明利用这一点，迫使对 X ∪ Y 的任意假想分割中的一侧同时与 X 和 Y 相交，从而与 X 或 Y 的连通性矛盾。

1. 声音
   观察依据

   在刚陈述完定义后，讲师说：“例如，如果我们考虑 R2 中的这两个……图形。”

双团块图示被用于将不连通性与连通性的定义，具体应用于$\mathbb{R}^2$的一个子空间。

1. 公式
   观察依据

   定理陈述明确提到了“$X$是连通的”和“$Y$是连通的”，使用了刚刚定义的概念。

关于连续满射映射的定理，以黑板上先前给出的连通性定义为前提。

1. 声音
   观察依据

   主讲人将两个斑块状区域的并集与单独取其中一个斑块状区域进行了对比。

该例子区分了由两个分离部分构成的不连通并集，与被声称是连通的单一部分。

1. 声音
   观察依据

   主讲人表示将证明其逆否命题，随后又回到原结论。

2. 公式
   观察依据

   黑板上的证明假设 Y 是不连通的，并推出 X 也不连通，这恰好对应所写定理的逆否命题。

第一个定理通过证明其逆否命题得以确立：若 Y 不连通，则 X 也不连通。

1. 公式
   观察依据

   证明将 Y 中的开集 U 和 V，映射为 X 中的 $f^{-1}(U)$ 和 $f^{-1}(V)$。

2. 声音
   观察依据

   主讲人指出，这些原像集合满足 X 不连通所需的各项性质。

1. 黑板上并未明确写出“连续性保证开集的原像是开集”这句话，尽管整个论证依赖于此。

正是 f 的连续性，使得 Y 中那些构成分割的开集的原像，可被视作 X 中的开集。

1. 公式
   观察依据

   证明中出现了步骤 $f^{-1}(Y) = X$。

2. 声音
   观察依据

   主讲人说 f 的原像作用于 Y 上，结果就是整个 X。

满射性用于将 Y 的所有原像等同于 X 的全体，从而给出 X 不连通所需的覆盖条件。

1. 公式
   观察依据

   板书将 $f^{-1}$(U ∪ V) 重写为 $f^{-1}(U)$ ∪ $f^{-1}(V)$。

2. 声音
   观察依据

   主讲人表示可以将 f 的逆运算分配出去，因为逆运算具有良好的性质。

原像对并集的集合恒等式，是将 Y 的不连通性转化为 X 被两个原像集合所覆盖的代数步骤。

1. 公式
   观察依据

   两个证明均始于假设某个空间不连通，并写出 U 与 V 的并集等式。

2. 声音
   观察依据

   主讲人在两个论证中均描述了交集为空但内容非空的开集。

第二个定理的反证法，使用了与第一个定理的逆否命题证明相同的、以开集刻画不连通性的方法。

1. 公式
   观察依据

   板书在“连通性”这一标题下，同时呈现了两个不同的定理。

2. 声音
   观察依据

   讲座从连续映射下连通性的保持性，过渡到具有重叠部分的并集中连通性的保持性。

两个结论均涉及连通性的行为方式，但第一个关注连续满射下的像，第二个则关注具有重叠部分的连通空间之并。

1. 声音
   观察依据

   主讲人在讨论交集的开性时使用了“子空间”一词。

在证明中应用了子空间拓扑的概念，以判断假想的不连通集合与X和Y的交集是否为开集。

1. 公式
   观察依据

   该定理依赖于连通空间的定义。

连通性的定义是理解关于连通空间并集之定理的前提条件。

1. 公式
   观察依据

   黑板上写出了不连通性与连通性的完整定义。

1. 不连通空间与连通空间的定义

1. 声音
   观察依据

   主讲人解释了这两个斑块状区域的分离方式。

2. 图示
   观察依据

   画出了两个分离的区域。

1. 子空间示例：两个分离的团块 versus 一个团块
2. 双团块例子中不连通性的推导
3. 平面斑块示例，用于说明不连通性与连通性。

1. 声音
   观察依据

   主讲人指出，单独一个斑块状区域是连通的，因为不存在合适的分离。

1. 子空间示例：两个分离的团块 versus 一个团块
2. 示例断言：单个团状区域是连通的

1. 公式
   观察依据

   定理陈述写在黑板上。

1. 连通空间的连续满射像
2. 定理断言：连通空间的连续满射像仍是连通的。

1. 声音
   观察依据

   主讲人明确指出将证明其逆否命题。

2. 公式
   观察依据

   书面证明假设 Y 不连通，而非假设 X 连通。

1. 连通空间的连续满射像仍是连通的。
2. 用逆否命题法证明连续像定理

1. 声音
   观察依据

   说话者指出 f 的逆像作用于 Y 上得到的恰好就是整个 X。

2. 公式
   观察依据

   该定理的前提条件中包含 f 是满射。

1. 第一条定理中的连续满射映射
2. 用逆否命题法证明连续像定理

1. 声音
   观察依据

   说话者称他们可以将 f 的逆像运算分配过去。

2. 公式
   观察依据

   黑板上写出 $f^{-1}(U)$ ∪ $f^{-1}(V) = X$。

1. 逆像对并集满足分配律
2. 用逆否命题法证明连续像定理

1. 公式
   观察依据

   第二个定理中包含 X ∩ Y ≠ 空集。

2. 声音
   观察依据

   说话者在讨论并集之前，重复强调了交集非空。

1. 两个连通空间的并集（当其交集非空时）是连通的。
2. 用反证法证明并集定理的思路概要

1. 公式
   观察依据

   黑板上写出情形分界线：“若 U 包含整个 X”，以及“否则”条款。

2. 声音
   观察依据

   说话者开始解释 U 包含整个 X 的情形。

1. 在视频片段结束前，两种情况的完整口述论证均未呈现。

1. 两个连通空间的并集（当其交集非空时）是连通的。
2. 用反证法证明并集定理的思路概要

1. 公式
   观察依据

   定理陈述在黑板上清晰可见。

1. 相交的连通空间的并集

1. 声音
   观察依据

   主讲人多次明确提到了“矛盾”。

1. 用反证法证明并集定理