第15.9讲 - 道路连通性

1. 公式
   观察依据

   手写文字将度量空间定义为 S。

2. 声音
   观察依据

   说话人说：‘给定一个度量空间 S’。

S

一个任意的度量空间。

度量空间

1. 公式
   观察依据

   手写文字使用希腊字母 γ 表示路径函数。

2. 声音
   观察依据

   说话人说：‘一个连续函数 γ’。

$\gamma$

一个表示路径的连续函数。

从〔a,b〕到 S 或 E 的函数

1. 公式
   观察依据

   手写文字将路径函数的定义域表示为〔a,b〕。

2. 声音
   观察依据

   说话人说：‘从一个闭区间映射到空间 S’。

[a,b]

作为路径函数定义域的一个闭区间。

实数集的一个子集

1. 公式
   观察依据

   手写文字引入了集合 S 的一个子集 E。

2. 声音
   观察依据

   说话人说：“我们称子集 E ⊂ S 是道路连通的。”

E

度量空间 S 的一个子集。

S 的子集

1. 公式
   观察依据

   手写文字中用 s 和 t 表示 E 中的点。

2. 声音
   观察依据

   说话人说：“对 E 中所有点对。”

s, t

子集 E 中的任意两点。

E 的元素

1. 公式
   观察依据

   符号 S 出现在白板上，作为短语“给定一个度量空间 S”以及函数定义 gamma: [a,b] -> S 的一部分。

S

度量空间

配备有定义好的距离函数的点集

1. 公式
   观察依据

   符号 gamma 出现在白板上，作为函数定义 gamma: [a,b] -> S 以及条件 gamma(a) = s、gamma(b) = t 的一部分。

$\gamma$

表示一条路径的连续函数

闭区间 a 到 b

1. 公式
   观察依据

   符号 a 和 b 出现在白板上，作为函数 gamma: [a,b] -> S 的定义域。

[a, b]

实数的一个闭区间

实数集

1. 公式
   观察依据

   符号 E 出现在白板上，作为短语“我们称 $E \subseteq S$ 是道路连通的”以及定理陈述的一部分。

E

度量空间 S 的一个子集

S 的子集

1. 公式
   观察依据

   符号 s 和 t 被写在黑板上，作为集合 E 的元素，同时也是路径 γ 的端点。

s, t

子集 E 中的点

集合 E 的元素

1. 公式
   观察依据

   符号 $U_1$ 和 $U_2$ 被写在黑板上，作为证明设定的一部分：‘设 $U_1$、$U_2$ 将集合 E 分离。’

$U_1$, $U_2$

将集合 E 分离的开集

度量空间的子集

1. 公式
   观察依据

   E 出现在定理陈述与证明中。

E

拓扑空间 S 的一个子集。

S 的子集。

1. 公式
   观察依据

   给定一个度量空间 S，S 中的一条路径是指一个连续函数 $\gamma$: [a,b] $\rightarrow S$。

2. 声音
   观察依据

   说话人陈述了度量空间中道路的定义。

在度量空间 S 中，道路被定义为任意将闭区间 〔[a,b]〕 连续映射到空间 S 的函数。

1. S 是一个度量空间

2. [a,b] 是一个闭区间

3. γ 是一个连续函数

1. 公式
   观察依据

   我们称 E ⊆ S 是道路连通的，若 ∀ s, $t \in E$，∃ γ: [a,b] → E。

2. 声音
   观察依据

   主讲人给出了道路连通集的定义。

度量空间 S 的子集 E 称为道路连通的，如果对 E 中任意两点 s 和 t，都存在一条完全包含于 E 内的道路将它们连接起来。

1. E 是度量空间 S 的一个子集

2. 对 E 中任意两点 s、t

3. 存在一个连续函数 γ，将 [a,b] 映射到 E

1. 道路的定义

1. 公式
   观察依据

   黑板上展示了定义：‘给定一个度量空间 S，S 中的一条路径是一个连续函数 γ: [a,b] → S。’

2. 声音
   观察依据

   主讲人说：‘给定一个度量空间 S，S 中的一条路径是从区间 [a,b] 到 S 的一个连续函数 γ。’

在度量空间 $S$ 中，路径被定义为一个连续函数 $\gamma$，它将实数的一个闭区间 $[a, b]$ 映射到 $S$。主讲人强调该函数必须是连续的。

1. S 是一个度量空间

2. γ 是一个连续函数

3. 〔a, b〕是实数集 ℝ 中的一个闭区间

1. 公式
   观察依据

   黑板上显示：‘我们称 E ⊆ S 是道路连通的，如果对任意 s, $t \in E$，存在 γ: 〔a,b〕 → E，使得 $γ(a) = s$，$γ(b) = t$。’

2. 声音
   观察依据

   主讲人解释道：‘我们称 E 是 S 的子集且道路连通，是指对 E 中任意两点 s 和 t，都存在一条从 〔a,b〕 到 E 的道路 γ，满足 γ 在 a 处取值为 s，在 b 处取值为 t。’

一个子集 $E$ 是度量空间中的 $S$ 若对其中任意两点 $s$ 和 $t$ in $E$ 存在一条完全位于 $\gamma$ 内的路径 $E$，该路径起始于 $s$ 并终止于 $t$。具体而言，$\gamma(a) = s$ 和 $\gamma(b) = t$。

1. E 是 S 的子集

2. 对 E 中任意一对点 s、t

3. 道路 γ 的像落在 E 中

1. 路径的定义

1. 公式
   观察依据

   黑板上显示：‘定理：若 E ⊆ S 是道路连通的，则 E 是连通的。’

2. 声音
   观察依据

   主讲人陈述道：‘若 E 是道路连通的，则 E 是连通的。’

该定理指出，若度量空间 $E$ 的子集 $S$ 是道路连通的，则它必然是连通的。讲者最初写出了其逆命题，但随后更正了自己。

1. E 是 S 的子集

2. E 是道路连通的

1. 道路连通集合的定义

1. 公式
   观察依据

   该定理表述为：‘若 $E \subseteq S$ 是道路连通的’。

若集合 E 中任意两点之间均存在一条完全位于 E 内的连续路径，则称 E 是道路连通的。

1. E 必须是某个拓扑空间 S 的子集。

1. 公式
   观察依据

   该定理的结论是：‘则 E 是连通的’。

若集合 E 无法表示为相对于 E 的两个互不相交、非空的开子集的并集，则称 E 是连通的。

1. E 必须是某个拓扑空间 S 的子集。

1. 公式
   观察依据

   证明从‘设 $U_1$、$U_2$ 将 E 分离’开始。

若存在两个开集 $U_1$ 和 $U_2$，使得 E 包含于它们的并集中，E 与二者均相交，且 E 与它们的交集不相交，则集合 E 是不连通的。

1. $U_1$ 和 $U_2$ 是嵌入空间 S 中的开集。

1. 公式
   观察依据

   屏幕上显示文字：‘ℝ^2 中的闭拓扑学家正弦曲线’。

二维欧几里得空间中的一个特定子集，用作连通但非道路连通集合的例子。

1. 定义在 ℝ^2 中。

1. 公式
   观察依据

   白板上的标题为：“一个连通但非道路连通集合的例子：$\mathbb{R}^2$中的闭拓扑学家正弦曲线”。

2. 声音
   观察依据

   教师解释说，该集合由函数$f(x) = \sin(1/x)$在$x > 0$上的图像，再加上 y 轴上的区间$[-1, 1]$构成。

闭拓扑学家正弦曲线是$\mathbb{R}^2$的一个特定子集，其构造方式为：取函数$f(x) = \sin(1/x)$在正$x$上的图像，并在 y 轴上添加从$y=-1$到$y=1$的垂直线段（其中$x=0$）。

1. 作为配备标准拓扑的$\mathbb{R}^2$的子集来考虑。

1. 声音
   观察依据

   教师指出：‘作为$\mathbb{R}^2$的子集，我们所用的是该函数的图像……它不只是函数本身……我们实际讨论的对象，是函数在$\mathbb{R}^2$中的图像。’

在讨论连通性等拓扑性质时，研究对象是函数的图像（即$(x, y)$中的一组点，位于$\mathbb{R}^2$内），而非函数本身（即从定义域到陪域的映射）。

1. 该区分适用于讨论由函数定义的$\mathbb{R}^2$的子集时。

1. 声音
   观察依据

   主讲人说：“或许令人惊讶的是，其逆命题并不成立。实际上，存在一些连通空间，但它们并非道路连通。”

该定理的逆命题不成立；存在连通但非道路连通的集合。

1. E 是连通的

存在性（存在）

1. 公式
   观察依据

   黑板上写着定理22.5：‘若 E ⊆ S 是道路连通的，则 E 是连通的。’

若拓扑空间 S 的子集 E 是道路连通的，则 E 是连通的。

1. E 是 S 的子集

2. E 是道路连通的

对于拓扑空间 S 的所有子集 E。

1. 声音
   观察依据

   主讲人提到了‘关于连续函数下连通集像的定理’。

1. 该先前定理的准确陈述在此片段中未写在黑板上。

连通集在连续函数下的像是连通的。

1. 定义域集合是连通的。

2. 该函数是连续的。

对于所有连通集及连续函数。

1. 公式
   观察依据

   标题明确指出：‘一个连通但非道路连通集合的例子’。

2. 声音
   观察依据

   教师总结道：‘结果表明，它虽连通，却非道路连通。’

闭合的拓扑学家正弦曲线是一个连通集，但它不是一个道路连通集。

1. 该集合定义为函数$f(x) = \sin(1/x)$在$x > 0$上的图像与y轴上区间$[-1, 1]$的并集。

针对所定义集合的通用性质。

1. 公式
   观察依据

   黑板上展示了反证法证明的开头：‘证：假设 E 被 $U_1$、$U_2$ 分离。则存在 $s \in U_1$，$t \in U_2$’。

2. 声音
   观察依据

   主讲人概述了证明思路：‘假设 E 被 U1 和 U2 分离……我们将说明这是不可能的，因为一旦如此……你就可以取其中一部分中的一个点……’

1. 证明在完成前被中断。

1. 公式

   $$\text{Suppose } E \text{ is disconnected}$$
   解释

   为推出矛盾，假设 $E$ 是不连通的。

   步骤依据

   反证法的设定。

   视频直接表达
2. 公式

   $$\text{by } U_1, U_2$$
   解释

   根据不连通性的定义，存在非空、互不相交的开集$U_1$和$U_2$（相对于$S$），使得$E \subseteq U_1 \cup U_2$且$E \cap U_1 \neq \emptyset$，$E \cap U_2 \neq \emptyset$。

   步骤依据

   不连通集合的定义。

   视频直接表达
3. 公式

   $$\exists s \in U_1, t \in U_2$$
   解释

   选取一点 $s$ 属于 $E \cap U_1$，再选取一点 $t$ 属于 $E \cap U_2$。

   步骤依据

   非空交集中存在点的事实。

   视频直接表达

视频中的证明尚未完成，但该设定旨在说明：连接$s$与$t$的路径必穿过$U_1$与$U_2$之间的间隙，从而与连续性或分离的定义矛盾。

1. 公式
   观察依据

   证明步骤按顺序写在白板上。

1. 公式

   $$\text{Suppose } E \text{ disconnected by } U_1, U_2.$$
   解释

   假设 E 不连通，由此推出矛盾。

   步骤依据

   反证法的开始。

   视频直接表达
2. 公式

   $$\text{Then } \exists s \in U_1, t \in U_2.$$
   解释

   根据不连通的定义，集合 E 中必存在点同时属于 $U_1$ 和 $U_2$。

   步骤依据

   不连通集合的定义。

   视频直接表达
3. 公式

   $$\text{so } \exists \gamma \text{ connecting } s, t.$$
   解释

   由于 E 是道路连通的，故 E 中任意两点之间都存在一条道路。

   步骤依据

   道路连通集合的定义。

   视频直接表达
4. 公式

   $$\text{Then } \gamma([a,b]) \subseteq E \text{ is connected by prev. thm}.$$
   解释

   连续道路 γ 在区间 [a,b] 上的像包含于 E 中，且是连通的。

   步骤依据

   连续函数下连通集像的定理。

   视频直接表达
5. 公式

   $$\text{but } U_1, U_2 \text{ disconnect } \gamma.$$
   解释

   集合 $U_1$ 和 $U_2$ 也使道路 γ 不连通，因为该道路同时包含这两个集合中的点。

   步骤依据

   不连通性与子集关系的性质。

   视频直接表达
6. 公式

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

   我们得到一个集合 $γ([a,b])$，它既是连通的，又是不连通的。

   步骤依据

   逻辑矛盾。

   视频直接表达
7. 公式

   $$\text{E is connected.}$$
   解释

   因此，E 不连通的初始假设必为假。

   步骤依据

   反证法的结论。

   视频直接表达

若 E 是道路连通的，则 E 是连通的。

1. 声音
   观察依据

   讲解者指出：若要构造一条从振荡曲线上某点到y轴区间上某点的道路，该道路必须穿过无穷多次振荡，而连续函数在闭区间上无法做到这一点。

1. 解释

   考虑振荡部分曲线上的一点（此处$x > 0$）以及y轴垂直线段上的一点（此处$x = 0$）。

   步骤依据

   尝试构造道路的准备工作。

   视频直接表达
2. 解释

   任何连接这两点的连续道路都必须穿过函数$\sin(1/x)$随$x$趋近于0而无限次振荡的区域。

   步骤依据

   对图像在y轴附近的性态进行直观观察。

   视频直接表达
3. 解释

   在有限时间（或在道路参数的闭区间定义域上）穿过无穷多次振荡，违反了道路所要求的连续性条件。

   步骤依据

   标准拓扑学论证：连续函数在紧区间上具有的一致连续性或有界变差性质（讲解者所述‘若为闭区间上的连续函数则不可能’即隐含此意）。

   依据视频推导

因此，不存在这样的连续道路，这意味着该集合不是道路连通的。

1. 声音
   观察依据

   主讲人以高维空间中的参数曲线为例说明路径的概念。

在某个特定的度量空间中，找出一条路径的例子。

1. 该度量空间是 $\mathbb{R}^k$。

请举出 $\mathbb{R}^k$ 中一条路径的例子。

1. 解释

   考虑高维空间中的参数曲线。

   步骤依据

   这些曲线是从闭区间到 $\mathbb{R}^k$ 的连续函数。

   视频直接表达

$\mathbb{R}^k$ 中的参数曲线是路径的例子。

它们符合从 [a,b] 到 S 的连续函数的定义，其中 $S = \mathbb{R}^k$。

1. 公式
   观察依据

   文字：“一个连通但非道路连通的集合示例：ℝ^2中的闭拓扑学家正弦曲线。”

2. 图示
   观察依据

   拓扑学家正弦曲线的示意图被画出。

举出一个连通但非道路连通的集合的例子。

1. 该集合是 ℝ^2 中的闭拓扑学家正弦曲线。

阐明连通性与道路连通性之间的区别。

1. 公式

   $$\text{Sketch the graph of } y = \sin(1/x) \text{ for } x > 0 \text{ \text{且} the segment } x=0, -1 \le y \le 1.$$
   解释

   画出一条趋近于 y 轴的振荡曲线，并包含 y 轴上的线段，使其成为闭集。

   步骤依据

   闭拓扑学家正弦曲线的定义。

   视频直接表达

闭拓扑学家正弦曲线是连通的，但不是道路连通的。

直观来看，该示意图展示了集合的结构：它整体保持连通，却无法构造一条从原点到振荡部分的连续路径。

1. 动画
   观察依据

   主讲人用圆圈标出公式 $\gamma$: [a,b] $\rightarrow E$ 中的字母 E。

2. 声音
   观察依据

   说话者说：‘所以我将给它画个圈，因为这很重要。’

1. 公式中的字母 E

1. 在字母 E 周围画了一个圆圈。

1. 公式其余部分保持不变。

强调路径必须映射到子集 E 本身，而不仅仅是更大的度量空间 S。

1. 动画
   观察依据

   主讲人擦除了定理陈述中的“连通”与“道路连通”，并以相反顺序重写。

2. 声音
   观察依据

   主讲人说：“或者抱歉，抱歉，我搞反了。哎呀呀。”

1. 白板上的文字。

1. “连通”与“道路连通”在蕴含关系中的位置互换。

1. 结构‘若E ⊆ S是……，则E是……’保持不变。

主讲人意识到自己写出了原定理的逆命题，并予以更正。

1. 动画
   观察依据

   手写文字依次出现在白板上，构成证明。

1. 白板

2. 手写文字

1. 文字逐行添加，逐步构建出该证明。

1. 镜头角度固定，始终对准白板与讲话人。

这种顺序书写的呈现方式，引导观众通过反证法的逻辑步骤理解证明过程。

1. 动画
   观察依据

   一只手先画出坐标系，再勾勒出拓扑学家的正弦曲线。

1. 坐标轴

2. 振荡曲线

3. 垂直线段

1. 先画出坐标轴，再画出曲线和垂直线段。

1. 该图是徒手绘制的草图，并未进行精确的数学绘图。

该草图直观地表示了例题中描述的集合，展示了其在 y 轴附近的振荡行为。

1. 动画
   观察依据

   教师先画出坐标轴，然后勾勒出振荡曲线$y = \sin(1/x)$在$x > 0$上的图像，展示当$x$趋近于0时频率不断增大。

1. x 轴

2. y 轴

3. 振荡曲线

1. 曲线从右向左绘制，在 y 轴附近变得越来越密集。

1. 振幅始终被限制在 -1 与 1 之间。

函数$f(x) = \sin(1/x)$在$x > 0$上的直观图示。

1. 动画
   观察依据

   教师在 y 轴上 -1 与 1 之间涂色（或加粗）画出一条垂直线段，并标注为“在 y 轴上添加区间 [-1, 1]”。

1. y 轴上从 -1 到 1 的垂直线段

1. 垂直线段在图中被突出显示（或补充添加）。

1. y轴上的位置（$x=0$）。

通过包含y轴上的极限点，补全闭拓扑学家正弦曲线的定义。

1. 声音
   观察依据

   主讲人强调要圈出 E，因为路径位于 E 中这一点很重要。

误以为连接子集 E 中两点的路径只需映射到更大的度量空间 S 即可。

为使 E 成为道路连通的，该路径必须完全映射到子集 E 中，而不能仅映射到背景空间 S 中。

1. 声音
   观察依据

   主讲人最初写下‘若 E 连通，则 E 是道路连通的’，随后进行了更正。

人们可能误以为连通性蕴含道路连通性。

主讲人对此作出更正，指出道路连通性蕴含连通性，但其逆命题不成立。

1. 声音
   观察依据

   主讲人在证明完正向蕴含关系后，立即引入了一个连通但非道路连通集合的例子。

假设：若一个集合是连通的，则它也必为道路连通的。

闭包拓扑学家正弦曲线是一个标准反例，说明连通性并不蕴含道路连通性。

1. 声音
   观察依据

   教师明确提醒：‘这不只是函数本身……我们实际讨论的对象是该函数在$\mathbb{R}^2$中的图像。’

误以为连通性等拓扑性质可直接应用于函数的代数表达式，而非平面上构成其图像的点集这一几何对象。

在此语境中，所指对象是$\mathbb{R}^2$中满足方程的所有点$(x, y)$构成的子集，而非映射$f: (0, \infty) \to [-1, 1]$。

1. 公式
   观察依据

   道路连通性的定义使用了先前已定义的‘路径’概念。

道路连通集合的定义依赖于先前给出的‘路径’定义。

1. 公式
   观察依据

   定理陈述‘若 E 是道路连通的，则 E 是连通的’确立了一个逻辑蕴含关系。

道路连通性的定义是该定理的前提条件。

1. 声音
   观察依据

   主讲人通过明确指出其逆命题不成立，对这两个概念作了对比。

该定理仅表明蕴含的一个方向，而相关说明则指出二者并不等价。

1. 声音
   观察依据

   教师借助此例展示一个连通但非道路连通的集合。

此例表明‘道路连通蕴含连通’的逆命题不成立；一个集合可以是连通的，却不具备道路连通性。

1. 公式
   观察依据

   路径的定义写在黑板上。

1. 道路的定义

1. 公式
   观察依据

   道路连通性的定义写在黑板上。

1. 道路连通性的定义

1. 动画
   观察依据

   主讲人圈出了公式中的 E。

1. 道路连通性的定义
2. 路径的到达空间

1. 公式
   观察依据

   路径的定义被写在黑板上。

1. 路径的定义

1. 声音
   观察依据

   主讲人讨论了该定理及其逆命题。

1. 定理：道路连通蕴含连通
2. 逆命题不成立

1. 公式
   观察依据

   整个证明都写在黑板上。

1. 道路连通蕴含连通
2. 证明道路连通性蕴含连通性

1. 公式
   观察依据

   该例子已被写出并配以草图。

1. 闭拓扑学家正弦曲线
2. 闭拓扑学家正弦曲线

1. 公式
   观察依据

   标题：‘一个连通但非道路连通的集合的例子’。

1. 闭拓扑学家正弦曲线
2. 闭拓扑学家正弦曲线的拓扑性质

1. 声音
   观察依据

   涉及无限振荡阻碍构造连续路径的解释。

1. 非道路连通性的直观推导