不变子空间

1. 图示
   观察依据

   画面中出现一个大圆，右侧标注白色字母 V。

2. 声音
   观察依据

   旁白提到“整个三维空间中的一个特殊子空间”，将 V 对应为向量空间。

V

向量空间

视频中以大圆表示的整个空间

1. 图示
   观察依据

   画面中出现一条红色竖线，上方标注红色字母 U。

2. 声音
   观察依据

   旁白提到“这根轴就像是整个三维空间中的一个特殊子空间”。

U

向量空间 V 的一个子空间

V 内的红色直线

1. 图示
   观察依据

   红色竖线上出现一个青色向上箭头，旁边标注小写字母 u。

2. 声音
   观察依据

   旁白说“当我们把空间中的向量看作点”。

u

属于子空间 U 的向量

U

1. 图示
   观察依据

   红色竖线中部出现黄色字母 T。

2. 声音
   观察依据

   旁白说“旋转变换看作一个算子 T”。

T

线性变换或算子

作用于 V 的变换

1. 图示
   观察依据

   青色箭头向下移动后，旁边标注 Tu。

2. 声音
   观察依据

   旁白说“轴上的向量经过 T 作用后，仍然乖乖地待在轴上”。

Tu

向量 u 经算子 T 作用后的像

仍在 U 内

1. 公式
   观察依据

   画面定义中出现 $V$，表示线性空间。

V

线性空间

线性空间

1. 公式
   观察依据

   画面定义中出现 $U$，表示 $V$ 的子空间。

U

$V$ 的子空间

$V$ 的子集，且为子空间

1. 公式
   观察依据

   画面定义中出现 $T$，表示 $V$ 上的线性算子。

T

$V$ 上的线性算子

$V$ 到 $V$ 的线性映射

1. 公式
   观察依据

   画面定义中出现 $u \in U$，表示子空间 $U$ 中的任意向量。

u

子空间 $U$ 中的任意向量

$U$

1. 公式
   观察依据

   画面定义中出现 $Tu \in U$，表示向量 $u$ 经线性算子 $T$ 作用后的像。

Tu

向量 $u$ 在线性算子 $T$ 作用下的像

$V$

1. 公式
   观察依据

   画面例子中出现 $\{0\}$，表示零子空间。

\{0\}

零子空间，只包含零向量的子空间

$V$ 的子空间

1. 公式
   观察依据

   画面例子中出现 $0$，表示零向量。

0

零向量

$V$

1. 声音
   观察依据

   旁白用陀螺绕固定轴旋转作类比，说明轴上的点无论怎么转都留在轴上。

2. 动画
   观察依据

   青色向量 u 沿红色直线 U 上下移动，始终没有离开该直线。

3. 声音
   观察依据

   旁白总结：“这种在变换下保持封闭的特性，就是不变子空间最直观的体现。”

视频先用陀螺旋转的几何类比引入概念：固定轴上的点在旋转过程中不会跑到轴外。随后把这个轴类比为向量空间中的子空间 U，把旋转类比为线性变换 T。画面中向量 u 在 U 上移动，其像 Tu 仍落在同一条直线上，直观表达“变换下保持封闭”的含义。

1. 存在向量空间 V

2. 存在子空间 U

3. 存在线性变换 T

4. 对 U 中的向量作用 T 后仍留在 U 内

1. 不变子空间定义的开头

1. 字幕依据
   观察依据

   屏幕中央出现黄色标题“不变子空间定义”。

2. 字幕依据
   观察依据

   下方出现文字“设 U 是 V 的子空间，”其中 U、V 为斜体。

3. 声音
   观察依据

   旁白说：“现在让我们用精确的数学语言来描述这个现象。设大写字母 U 表示向量空间 V 的一个子空间……”

1. 片段在“大写字母 T”处结束，后续完整定义未出现在本片段内。

视频从直观类比转入正式表述，先给出前提：U 是向量空间 V 的子空间。此处只展示了定义的起始句，尚未给出“对任意 $u\in U$，有 Tu∈U”这一完整条件。

1. U 是 V 的子空间

1. 不变子空间的直观理解

1. 公式
   观察依据

   画面显示“不变子空间定义”，并给出条件“若对任意 $u \in U$，有 $Tu \in U$，则称 $U$ 在 $T$ 下不变。”

2. 声音
   观察依据

   旁白解释：对于 $U$ 中的任意一个向量 $u$，当用算子 $T$ 作用于 $u$ 得到 $Tu$ 时，这个新的向量 $Tu$ 必须仍然属于子空间 $U$。

设 $U$ 是 $V$ 的子空间，$T$ 是 $V$ 上的线性算子。如果对 $U$ 中的任意向量 $u$，其在线性算子 $T$ 作用下的像 $Tu$ 仍然属于 $U$，则称 $U$ 在 $T$ 下不变。该定义的核心是子空间对线性算子的封闭性。

1. $U$ 是 $V$ 的子空间

2. $T$ 是 $V$ 上的线性算子

3. 条件必须对 $U$ 中的任意向量 $u$ 成立

1. 公式
   观察依据

   画面显示“零子空间 $\{0\}$”，并给出 $T(0)=0$ 和 $0 \in \{0\}$。

2. 声音
   观察依据

   旁白提到“首先是两个平凡的情况，零子空间和全空间。对于只包含零向量的零子空间，因为任何线性算子 $T$ 作用在零向量上，根据线性性质……”

1. 片段在旁白说到“根据线性性质”后结束，未完整听到后续关于全空间的解释。

零子空间 $\{0\}$ 是任意线性算子 $T$ 的不变子空间。验证方法是取 $U=\{0\}$ 中的任意向量，只能是零向量 $0$。由于线性算子把零向量映为零向量，即 $T(0)=0$，而 $0$ 仍属于 $\{0\}$，所以满足不变子空间定义。

1. $T$ 是线性算子

2. U 等于由零组成的集合

1. 不变子空间的定义

1. 公式
   观察依据

   画面左侧显示“零子空间”、{0}、$T(0)=0$、$0\in {0}$

2. 声音
   观察依据

   旁白解释“$T(0)$ 总是等于零向量，而零向量当然属于零子空间。所以零子空间对任何算子都是不变的。”

零子空间 {0} 仅包含零向量。由于线性算子 T 必然将零向量映射为零向量（$T(0)=0$），且零向量属于 {0}，因此对于任何算子 T，零子空间都是不变子空间。

1. T 是线性算子

1. 公式
   观察依据

   画面右侧显示“全空间”、V，随后出现 TV⊆V

2. 声音
   观察依据

   旁白解释“因为算子 T 就是从 V 到 V 的映射，根据定义，T 作用在整个空间 V 上的结果，也就是值域，必然包含在 V 里面。所以全空间 V 在 T 下也是不变的。”

全空间 V 本身也是不变子空间。因为算子 T 是从 V 到 V 的映射，T 作用在 V 上的结果（即值域 TV）必然包含在 V 中（TV⊆V），满足不变子空间的定义。

1. 线性变换 T：V 到 V

1. 声音
   观察依据

   旁白总结“这两个例子虽然看起来显而易见，但它们是不变子空间理论的基石，任何讨论都必须包含这两个极端情况。”

零子空间和全空间是“平凡”但“重要”的例子。它们虽然显而易见，却构成了不变子空间理论的基石，任何关于不变子空间的讨论都必须首先包含这两个极端情况。

1. 零子空间是不变子空间
2. 全空间是不变子空间

1. 公式
   观察依据

   画面中央出现 null T

2. 声音
   观察依据

   旁白定义“首先看核空间，也就是所有被 T 映射为零向量的集合。”

核空间（null T）定义为所有被算子 T 映射为零向量的向量组成的集合。

1. T 是线性算子

1. 公式
   观察依据

   画面显示 u 指向 null T，以及 $T(u)=0$∈null T

2. 声音
   观察依据

   旁白推导“如果 u 属于核空间，那么根据定义 $T(u)$ 等于零向量。而零向量一定在核空间里，所以 $T(u)$ 也在核空间中。这意味着核空间在 T 作用下是不变的。”

若 u 属于核空间 null T，根据定义有 $T(u)=0$。因为零向量必然属于核空间（$T(0)=0$），所以 $T(u)$ 也属于 null T。这证明了核空间在算子 T 作用下是不变的。

1. T 是线性算子

1. 核空间的定义

1. 声音
   观察依据

   全段围绕“不变子空间”展开，先证 null T 与 range T 不变，再说明一维不变子空间就是特征子空间。

2. 公式
   观察依据

   画面用 $T(u)=0\in \operatorname{null} T$ 和 $T(w)\in \operatorname{range} T$ 表达“作用后仍在原集合中”。

视频通过两个例子说明：若子空间 S 在算子 T 作用下满足“任取 $s\in S$，都有 $T(s)\in S$”，则称 S 对 T 不变。片段中明确把 null T 和 range T 都作为不变子空间示例，并把一维不变子空间与特征子空间联系起来。

1. S 是向量空间的子空间

2. 对任意 $s\in S$，有 $T(s)\in S$

1. 公式
   观察依据

   画面上方写 null T，并给出 $T(u)=0\in \operatorname{null} T$。

2. 声音
   观察依据

   旁白说明 u 属于零空间时，$T(u)=0$，因此仍在零空间中。

零空间是所有被 T 映为零向量的向量组成的集合。片段用它演示不变性：若 $u\in \operatorname{null} T$，则 $T(u)=0$，而 0 仍属于 $\operatorname{null} T$，所以零空间在 T 下不变。

1. x 属于 T 的定义域

1. 不变子空间

1. 公式
   观察依据

   画面中部写 range T，下方给出 $T(w)\in \operatorname{range} T$。

2. 声音
   观察依据

   旁白说“值域，也就是所有形如 Tv 的向量的集合”。

值域是所有形如 Tv 的向量组成的集合。片段进一步论证：若 $w\in \operatorname{range} T$，则可写 w=Tv，于是 $T(w)=T$(Tv)，它仍是某个向量 Tv 在 T 下的像，因此属于 range T，说明值域也是不变子空间。

1. v 属于 T 的定义域 V；视频未显式命名 V

1. 不变子空间

1. 公式
   观察依据

   画面在“零子空间 $\{0\}$”下方写出 $T(0)=0$ 与 $0 \in \{0\}$。

2. 声音
   观察依据

   旁白说明对于只包含零向量的零子空间，任何线性算子 $T$ 作用在零向量上满足相应性质。

对任意线性算子 $T$，零子空间 $\{0\}$ 都是 $T$ 的不变子空间。

1. $T$ 是线性算子

2. $\{0\}$ 是由零向量组成的子空间

任意线性算子 $T$；零子空间中的唯一元素 $0$

1. 声音
   观察依据

   旁白陈述“所以零子空间对任何算子都是不变的。”

2. 公式
   观察依据

   画面显示 $T(0)=0$ 和 $0\in {0}$

对于任何线性算子 T，零子空间 {0} 都是 T 的不变子空间。

1. T 是线性算子

任意算子 T

1. 声音
   观察依据

   旁白陈述“所以全空间 V 在 T 下也是不变的。”

2. 公式
   观察依据

   画面显示 TV⊆V

对于从 V 到 V 的线性算子 T，全空间 V 是 T 的不变子空间。

1. 线性变换 T：V 到 V

任意算子 T

1. 声音
   观察依据

   旁白陈述“这意味着核空间在 T 作用下是不变的。”

2. 公式
   观察依据

   画面显示 $T(u)=0$∈null T

线性算子 T 的核空间 null T 是 T 的不变子空间。

1. T 是线性算子

任意 u ∈ null T

1. 公式
   观察依据

   画面显示 $T(u)=0\in \operatorname{null} T$。

2. 声音
   观察依据

   旁白说明零空间中的向量经 T 作用后仍在零空间中。

若 $u\in \operatorname{null} T$，则 $T(u)=0\in \operatorname{null} T$，因此 $\operatorname{null} T$ 在 T 下不变。

1. T 是线性算子

2. u 属于 T 的零空间

对所有 $u\in \operatorname{null} T$

1. 公式
   观察依据

   画面显示 $T(w)\in \operatorname{range} T$。

2. 声音
   观察依据

   旁白说“如果 w 在值域中，那么存在某个 v 使得 w=Tv……因此值域也是不变子空间”。

若 $w\in \operatorname{range} T$，则存在 v 使 w=Tv，于是 $T(w)=T$(Tv)$\in \operatorname{range} T$，因此 $\operatorname{range} T$ 在 T 下不变。

1. T 是线性算子

2. w 属于 T 的值域

对所有 $w\in \operatorname{range} T$，存在 v 使得 w=Tv

1. 声音
   观察依据

   旁白说“特别地，一维不变子空间就是特征子空间”。

2. 公式
   观察依据

   画面写出 Tv=$\lambda v$。

若 U 是一维且在 T 下不变，取非零 $v\in U$，则存在标量 $\lambda$ 使 Tv=$\lambda v$。

1. U 是一维子空间

2. U 在 T 下不变

3. $v\in U$ 且 $v\neq 0$

对任意满足条件的一维不变子空间 U 及其非零向量 v，存在标量 $\lambda$

1. 声音
   观察依据

   旁白提到“反过来，如果 v 是特征向量，那么它张成的一维子空间在 T 作用下显然是不变的。因此，寻找一维不变子空间等价于寻找特征向量。”

寻找算子 T 的一维不变子空间等价于寻找 T 的特征向量。

1. v 是非零向量

2. U = span(v) 是由 v 张成的一维子空间

存在性等价

1. 声音
   观察依据

   旁白提到“如果我们能找到足够多的不变子空间，就可以把复杂的算子分解为在这些子空间上的简单作用，这正是矩阵对角化和若尔当标准型的几何本质。”

如果能在向量空间中找到足够多的不变子空间，就可以将复杂的算子分解为在这些子空间上的简单作用，这构成了矩阵对角化和若尔当标准型的几何本质。

1. 存在足够多的不变子空间

全称量词（针对满足条件的算子）

1. 声音
   观察依据

   旁白依次说“想象你手中有一个陀螺，它绕着一根固定的轴旋转”“这根轴就像是整个三维空间中的一个特殊子空间，而旋转就是一种线性变换”“当我们把空间中的向量看作点，旋转变换看作一个算子 T 时，轴上的向量经过 T 作用后，仍然乖乖地待在轴上”。

2. 动画
   观察依据

   画面先画出代表 V 的大圆，再画出代表 U 的红色直线，随后在直线上放置向量 u，并显示其像 Tu 仍在同一直线上。

1. 公式

   $$$$
   解释

   以“陀螺绕固定轴旋转”作为物理模型，强调轴上的点在旋转中始终留在轴上。

   步骤依据

   视频直接给出的类比叙述。

   视频直接表达
2. 公式

   $$$$
   解释

   把固定轴类比为向量空间 V 中的子空间 U，把旋转类比为线性变换 T。

   步骤依据

   旁白明确说“这根轴就像是……特殊子空间，而旋转就是一种线性变换”。

   视频直接表达
3. 公式

   $$$$
   解释

   把空间中的向量看作点，考察 u 经 T 作用后的位置。

   步骤依据

   旁白说“当我们把空间中的向量看作点，旋转变换看作一个算子 T 时”。

   视频直接表达
4. 公式

   $$u \in U \Rightarrow Tu \in U$$
   解释

   动画显示 u 和 Tu 都在红色直线 U 上，因此得到“变换下保持封闭”的结论。

   步骤依据

   由画面中向量始终留在同一直线上的可视化结果推出。

   依据视频推导

视频通过类比和动画说明：若子空间 U 在线性变换 T 作用下保持封闭，则 U 是 T 的不变子空间。

1. 公式
   观察依据

   画面依次出现 $T(0)=0$ 和 $0 \in \{0\}$。

2. 声音
   观察依据

   旁白解释零子空间只包含零向量，并提到线性算子作用在零向量上。

1. 公式

   $$$$
   解释

   取零子空间 $U=\{0\}$ 中的任意向量 $u$。由于 $\{0\}$ 只包含零向量，因此 $u=0$。

   步骤依据

   零子空间的元素只有零向量。

   视频直接表达
2. 公式

   $$T(0)=0$$
   解释

   线性算子 $T$ 作用在零向量上得到零向量。

   步骤依据

   线性算子保持零向量。

   视频直接表达
3. 公式

   $$0 \in \{0\}$$
   解释

   得到的像 $0$ 仍然属于零子空间 $\{0\}$。

   步骤依据

   零向量是 $\{0\}$ 的元素。

   视频直接表达
4. 公式

   $$$$
   解释

   因此对 $\{0\}$ 中的任意向量 $u$，都有 $Tu \in \{0\}$，所以 $\{0\}$ 在 $T$ 下不变。

   步骤依据

   代入不变子空间定义。

   依据视频推导

零子空间 $\{0\}$ 是任意线性算子 $T$ 的不变子空间。

1. 声音
   观察依据

   旁白逐步解释 $T(0)=0$ 且 $0\in {0}$，得出零子空间不变的结论

2. 公式
   观察依据

   画面依次显示 $T(0)=0$ 和 $0\in {0}$

1. 公式

   $$T(0) = 0$$
   解释

   线性算子将零向量映射为零向量

   步骤依据

   线性算子的基本性质

   视频直接表达
2. 公式

   $$0 \in \{0\}$$
   解释

   零向量属于零子空间

   步骤依据

   零子空间的定义

   视频直接表达
3. 公式

   $$T(\{0\}) \subseteq \{0\}$$
   解释

   综合上述两点，零子空间在 T 作用下不变

   步骤依据

   不变子空间的定义

   依据视频推导

零子空间 {0} 对任何算子 T 都是不变的。

1. 声音
   观察依据

   旁白解释 T 是从 V 到 V 的映射，值域包含在 V 中，得出全空间不变的结论

2. 公式
   观察依据

   画面显示 TV⊆V

1. 公式

   $$T: V \to V$$
   解释

   算子 T 是从全空间 V 到自身的映射

   步骤依据

   题目给定的算子定义

   视频直接表达
2. 公式

   $$TV \subseteq V$$
   解释

   T 作用在 V 上的结果（值域）必然包含在 V 中

   步骤依据

   映射的定义

   视频直接表达
3. 公式

   $$V \text{yes} T \text{an invariant subspace of}$$
   解释

   满足不变子空间的定义

   步骤依据

   不变子空间的定义

   依据视频推导

全空间 V 在算子 T 下是不变的。

1. 声音
   观察依据

   旁白假设 u 属于核空间，推导 $T(u)=0$，再说明 0 在核空间里，得出核空间不变的结论

2. 公式
   观察依据

   画面显示 $T(u)=0$∈null T

1. 公式

   $$u \in \text{null } T$$
   解释

   假设 u 是核空间中的任意向量

   步骤依据

   证明的起始假设

   视频直接表达
2. 公式

   $$T(u) = 0$$
   解释

   根据核空间的定义，u 被 T 映射为零向量

   步骤依据

   核空间的定义

   视频直接表达
3. 公式

   $$0 \in \text{null } T$$
   解释

   零向量必然属于核空间（因为 $T(0)=0$）

   步骤依据

   线性算子性质及核空间定义

   依据视频推导
4. 公式

   $$T(u) \in \text{null } T$$
   解释

   结合上两步，$T(u)$ 属于核空间

   步骤依据

   等量代换

   依据视频推导
5. 公式

   $$\text{null } T \text{yes} T \text{an invariant subspace of}$$
   解释

   核空间在 T 作用下不变

   步骤依据

   不变子空间的定义

   依据视频推导

核空间 null T 在算子 T 作用下是不变的。

1. 声音
   观察依据

   旁白逐步说明：w 在值域中，则存在 v 使 w=Tv；再看 $T(w)=T$(Tv)；因为 Tv 是向量，所以 T(Tv) 属于值域。

2. 公式
   观察依据

   画面下方写有 $T(w)\in \operatorname{range} T$。

1. 公式

   $$w\in \operatorname{range} T$$
   解释

   从值域中任取一个向量 w 开始。

   步骤依据

   视频直接给出的前提。

   视频直接表达
2. 公式

   $$\exists v,\; w=Tv$$
   解释

   由值域定义，w 必可写成某个向量的像。

   步骤依据

   值域的定义。

   视频直接表达
3. 公式

   $$T(w)=T(Tv)$$
   解释

   把 w=Tv 代入 $T(w)$。

   步骤依据

   等量代换。

   视频直接表达
4. 公式

   $$T(Tv)\in \operatorname{range} T$$
   解释

   因为 Tv 本身是一个向量，所以它对 T 的像仍属于值域。

   步骤依据

   值域定义：所有形如 $T(\cdot)$ 的向量都在 range T 中。

   视频直接表达
5. 公式

   $$T(w)\in \operatorname{range} T$$
   解释

   于是值域中的任意元素经 T 作用后仍在值域中。

   步骤依据

   由前几步串联得到。

   视频直接表达

$\operatorname{range} T$ 是 T 的不变子空间。

1. 声音
   观察依据

   旁白说：如果 U 是一维的且在 T 下不变，取 U 中非零向量 v，那么 Tv 必须还在 U 中；由于 U 是一维，Tv 必须是 v 的某个倍数，即 Tv=$\lambda v$。

2. 公式
   观察依据

   画面右侧写出 Tv=$\lambda v$。

3. 动画
   观察依据

   黄色向量沿同一直线伸缩，表示像向量与原向量共线。

1. 公式

   $$U\text{is one-dimensional \text{且}}T(U)\subseteq U$$
   解释

   先假设 U 是一维不变子空间。

   步骤依据

   视频给出的前提。

   视频直接表达
2. 公式

   $$v\in U,\; v\neq 0$$
   解释

   在 U 中取一个非零向量 v。

   步骤依据

   一维子空间中存在非零向量。

   视频直接表达
3. 公式

   $$Tv\in U$$
   解释

   由不变性，v 的像仍在 U 中。

   步骤依据

   不变子空间定义。

   视频直接表达
4. 公式

   $$Tv=\lambda v$$
   解释

   因为 U 是一维，U 中任何向量都是 v 的标量倍。

   步骤依据

   一维子空间中非零向量构成基。

   视频直接表达

一维不变子空间中的非零向量满足特征方程 Tv=$\lambda v$。

1. 声音
   观察依据

   旁白逐步解释了从特征向量到一维不变子空间的推导过程

1. 公式

   $$Tv = \lambda v$$
   解释

   已知 v 是特征向量，T 作用在 v 上等于标量 $\lambda$ 乘以 v。

   步骤依据

   特征向量的定义

   视频直接表达
2. 公式

   $$U = \text{span}(v)$$
   解释

   考虑由 v 张成的一维子空间 U，其中的任意元素均可表示为 cv（c 为标量）。

   步骤依据

   张成空间的定义

   依据视频推导
3. 公式

   $$T(cv) = c(Tv) = c(\lambda v) = \lambda(cv)$$
   解释

   由于 T 是线性算子，T 作用在 cv 上等于 c 乘以 Tv，进而等于 $\lambda$ 乘以 cv，结果仍在 U 中。

   步骤依据

   线性算子的性质

   依据视频推导
4. 公式

   $$U \text{yes} T \text{an invariant subspace of}$$
   解释

   因为 U 中任意元素的像仍在 U 中，所以 U 是不变子空间。

   步骤依据

   不变子空间的定义

   视频直接表达

特征向量张成的一维子空间必然是该算子的不变子空间。

1. 公式
   观察依据

   画面标题为“平凡而重要的例子”，左侧显示“零子空间 $\{0\}$”，右侧显示“全空间 $V$”。

2. 声音
   观察依据

   旁白说“让我们验证几个基本的不变子空间例子。首先是两个平凡的情况，零子空间和全空间。”

1. 片段结束时只完整展示了零子空间的验证公式，全空间 $V$ 的验证过程未在音频和画面中展开。

验证零子空间和全空间这类基本子空间是否为线性算子的不变子空间。

1. $T$ 是 $V$ 上的线性算子

2. 零子空间为 $\{0\}$

3. 全空间为 $V$

判断这些子空间是否满足“对任意 $u \in U$，有 $Tu \in U$”。

1. 公式

   $$U=\{0\}$$
   解释

   先考虑零子空间，其中唯一向量是 $0$。

   步骤依据

   画面给出的例子对象。

   视频直接表达
2. 公式

   $$T(0)=0$$
   解释

   线性算子把零向量映为自身。

   步骤依据

   线性算子的基本性质。

   视频直接表达
3. 公式

   $$0 \in \{0\}$$
   解释

   像仍在零子空间内，因此零子空间满足不变子空间定义。

   步骤依据

   不变子空间定义。

   视频直接表达
4. 公式

   $$U=V$$
   解释

   画面还列出全空间 $V$ 作为另一个平凡例子。

   步骤依据

   画面标题“全空间 $V$”。

   视频直接表达

零子空间 $\{0\}$ 是不变子空间；全空间 $V$ 被列为另一个平凡例子，但本片段未展示其完整验证过程。

对零子空间，检查唯一元素 $0$ 的像是否仍在 $\{0\}$ 中，画面给出 $T(0)=0$ 且 $0 \in \{0\}$。

1. 公式
   观察依据

   画面上方展示 u 与 $T(u)=0\in \operatorname{null} T$。

2. 声音
   观察依据

   旁白以零空间为例说明不变性。

说明若 u 属于零空间，则它在 T 作用后仍留在零空间。

1. u 属于 T 的零空间

2. T 作用在 u 上的结果为零

验证 $T(u)$ 仍属于 $\operatorname{null} T$。

1. 公式

   $$u\in \operatorname{null} T$$
   解释

   取零空间中的向量 u。

   步骤依据

   示例前提。

   视频直接表达
2. 公式

   $$T(u)=0$$
   解释

   由零空间定义，u 被映为零向量。

   步骤依据

   零空间定义。

   视频直接表达
3. 公式

   $$0\in \operatorname{null} T$$
   解释

   零向量当然也属于零空间。

   步骤依据

   子空间包含零向量；视频直接写成 $0\in \operatorname{null} T$。

   视频直接表达

$T(u)=0\in \operatorname{null} T$，所以零空间在 T 下不变。

画面直接给出 $T(u)=0\in \operatorname{null} T$，与旁白结论一致。

1. 公式
   观察依据

   画面下方展示 w 与 $T(w)\in \operatorname{range} T$。

2. 声音
   观察依据

   旁白完整讲述 w=Tv 以及 $T(w)=T$(Tv) 的推理。

说明若 w 属于值域，则 $T(w)$ 仍属于值域。

1. w 属于 T 的值域

2. 存在某个向量 v，使得 w 等于 T 作用在 v 上的结果

验证 $T(w)\in \operatorname{range} T$。

1. 公式

   $$w\in \operatorname{range} T$$
   解释

   从值域中取元素 w。

   步骤依据

   示例前提。

   视频直接表达
2. 公式

   $$w=Tv$$
   解释

   由值域定义，w 是某个 v 的像。

   步骤依据

   值域定义。

   视频直接表达
3. 公式

   $$T(w)=T(Tv)$$
   解释

   将 w=Tv 代入。

   步骤依据

   代换。

   视频直接表达
4. 公式

   $$T(Tv)\in \operatorname{range} T$$
   解释

   Tv 是向量，所以它的像仍属于值域。

   步骤依据

   值域定义。

   视频直接表达

$T(w)\in \operatorname{range} T$，因此值域也是不变子空间。

画面写出 $T(w)\in \operatorname{range} T$，旁白结论与之吻合。

1. 字幕依据
   观察依据

   黑底画面中央出现黄色文字“不变子空间”。

1. 黄色标题文字“不变子空间”

1. 标题出现后淡出

1. 背景保持黑色

标明本片段主题为不变子空间。

1. 动画
   观察依据

   白色圆弧逐渐闭合成大圆，右侧标注 V。

1. 大圆

2. 标签 V

1. 圆从弧线补全为封闭圆

1. 圆心位置基本不变

用大圆表示整个向量空间 V。

1. 动画
   观察依据

   圆内出现红色竖线，上方标注 U。

1. 红色竖线

2. 标签 U

1. 红色直线由下向上延伸

1. 直线始终位于圆内

用圆内直线表示 V 的子空间 U。

1. 动画
   观察依据

   青色箭头 u 出现在红线上，随后沿红线上下移动；黄色 T 出现在红线中部；像 Tu 也标注在红线上。

1. 青色向量 u

2. 黄色算子标记 T

3. 像 Tu

4. 红色直线 U

1. u 沿 U 上下移动

2. Tu 随之出现在 U 上

1. u 与 Tu 始终在红色直线 U 上

2. V 的大圆边界不变

动画直观展示“变换下保持封闭”：U 中元素经 T 作用后仍未离开 U。

1. 字幕依据
   观察依据

   画面切回黑底，中央出现黄色标题“不变子空间定义”，下方出现“设 U 是 V 的子空间，”。

1. 后续定义文字未在本片段内完整出现。

1. 黄色标题“不变子空间定义”

2. 白色文字“设 U 是 V 的子空间，”

1. 从动画场景切换到文字定义场景

1. 背景保持黑色

从直观演示转入形式化定义。

1. 动画
   观察依据

   黑色背景上黄色标题“不变子空间定义”先出现，随后白色定义文字逐行淡入。

2. 动画
   观察依据

   约 24 秒后，$U$ 被黄色方框高亮；约 30 秒后，“任意”被绿色下划线强调；约 36 秒后，“$u \in U$，有 $Tu \in U$”被绿色方框圈出。

1. 标题“不变子空间定义”

2. 定义文字

3. 符号 $U$

4. 词语“任意”

5. 条件 $u \in U$，有 $Tu \in U$

1. 定义文字从模糊到清晰逐行出现

2. $U$ 被黄色方框突出

3. “任意”被绿色下划线突出

4. 核心条件被绿色方框圈出

1. 背景保持黑色

2. 标题位置保持在上方中央

3. 定义文本整体结构不变

视觉高亮强调不变子空间定义中的对象 $U$、全称条件“任意”以及核心封闭性条件 $Tu \in U$。

1. 动画
   观察依据

   画面切换到“平凡而重要的例子”，左侧出现红色“零子空间 $\{0\}$”，右侧出现青色“全空间 $V$”及青色圆弧。

2. 动画
   观察依据

   约 57 秒后，左侧零子空间下方依次出现 $T(0)=0$ 和 $0 \in \{0\}$。

1. 标题“平凡而重要的例子”

2. 左侧零子空间 $\{0\}$

3. 右侧全空间 $V$

4. 青色圆弧

5. 公式 $T(0)=0$

6. 公式 $0 \in \{0\}$

1. 左右两侧分别列出两个例子

2. 右侧用青色圆弧表示全空间 $V$

3. 左侧补充零子空间的验证公式

1. 左右对照布局保持不变

2. 零子空间使用红色文字，全空间使用青色文字

画面用左右对照方式引入两个平凡不变子空间例子，并先展示零子空间的验证。

1. 图示
   观察依据

   画面分为左右两部分，左侧红色文字“零子空间”及公式，右侧青色圆圈代表“全空间 V”

1. 零子空间 {0}

2. 全空间 V

3. 算子 T

1. 左侧依次出现 $T(0)=0$ 和 0∈{0]

2. 右侧圆圈下方出现 TV⊆V

1. 左右分栏的对比结构保持不变

通过左右分栏直观对比两个最基础的不变子空间例子：极小的零子空间和极大的全空间。

1. 动画
   观察依据

   画面中央出现 null T，随后 u 通过绿色箭头指向 null T，并浮现公式 $T(u)=0$∈null T

1. 核空间 null T

2. 向量 u

3. 算子 T

1. u 出现并指向 null T

2. 公式 $T(u)=0$∈null T 浮现

1. null T 作为核心集合始终居中

动画直观展示了核空间不变性的逻辑链条：u 在核空间中 -> T 将 u 映射为 0 -> 0 仍在核空间中。

1. 动画
   观察依据

   黑色背景上先出现上方绿色箭头与 null T，随后出现中部 range T 和下方黄色箭头，形成上下两组映射示意。

2. 公式
   观察依据

   上方写 $T(u)=0\in \operatorname{null} T$，下方写 $T(w)\in \operatorname{range} T$。

1. 绿色箭头

2. 黄色箭头

3. 标签 null T

4. 标签 range T

5. 公式 $T(u)=0\in \operatorname{null} T$

6. 公式 $T(w)\in \operatorname{range} T$

1. 约 00:01 起，range T 标签出现

2. 约 00:05 起，下方黄色箭头和 w 出现

3. 约 00:06 起，下方公式 $T(w)\in \operatorname{range} T$ 出现

4. 约 00:36 起，整组图形淡出

1. 上下两组分别对应零空间和值域

2. 箭头方向始终表示 T 的作用

3. 公式中的集合归属关系保持不变

该图把抽象定义可视化：上方表示零空间中的元素经 T 作用后变成 0 并仍留在零空间；下方表示值域中的元素经 T 作用后仍留在值域。

1. 字幕依据
   观察依据

   画面顶部出现标题“特征子空间：不变性的精魂”。

2. 动画
   观察依据

   一条浅蓝色直线从左下延伸到右上，黄色向量沿该直线出现并伸缩，旁边写出 Tv=$\lambda v$。

3. 公式
   观察依据

   右侧公式 Tv=$\lambda v$ 清晰可见。

1. 浅蓝色直线

2. 黄色向量 v

3. 公式 Tv=$\lambda v$

4. 标题文字“特征子空间：不变性的精魂”

1. 约 00:38 起，标题和直线出现

2. 约 00:40 起，黄色向量沿直线出现

3. 约 00:41 起，公式 Tv=$\lambda v$ 完整显示

4. 约 00:52 后，黄色向量沿同一直线伸缩，表示乘以标量 $\lambda$

1. 向量始终落在同一条直线上

2. 直线方向不变

3. 公式 Tv=$\lambda v$ 持续显示

动画用“向量只在同一直线上伸缩而不离开直线”来表现一维不变子空间：T 的作用不改变方向，只改变长度或指向，这正是特征向量关系的几何含义。

1. 动画
   观察依据

   画面中央有一条青色直线，直线上有一个黄色箭头从原点出发指向右上方，旁边标注 $\lambda v$。随后黄色箭头变为绿色，大小和方向保持不变。右侧始终显示公式 Tv = $\lambda v$。

1. 青色直线

2. 黄色/绿色箭头

3. 公式 Tv = $\lambda v$

4. 标签 $\lambda v$

1. 黄色箭头变为绿色，但长度和方向未变

1. 箭头的方向始终在青色直线上

2. 箭头的长度保持不变

3. 公式 Tv = $\lambda v$ 始终存在

直观展示了算子 T 作用在特征向量 v 上，仅仅是将其拉伸或压缩（乘以标量 $\lambda$），而不会改变其所在的方向（即保持在由 v 张成的一维子空间/直线上）。

1. 字幕依据
   观察依据

   本片段只出现“设 U 是 V 的子空间，”这一前半句，未出现完整的不变子空间判定条件。

看到“设 U 是 V 的子空间，”就以为已经给出了不变子空间的全部定义。

本片段只展示了定义的起始前提；完整定义还需要说明对任意 $u\in U$ 都有 Tu∈U，但这部分未在当前 60 秒片段内出现。

1. 声音
   观察依据

   旁白说：“这个定义中的任意二字非常重要，它意味着 $U$ 中的每一个向量都必须满足这个性质，而不是只有某些特殊的向量。”

2. 动画
   观察依据

   画面中“任意”被绿色下划线强调。

认为只要子空间中某些特殊向量经 $T$ 作用后仍在子空间内，就可以称该子空间不变。

不变子空间要求对 $U$ 中的任意向量都成立，即每个 $u \in U$ 都必须满足 $Tu \in U$。

1. 声音
   观察依据

   旁白强调“这两个例子虽然看起来显而易见，但它们是不变子空间理论的基石”

认为零子空间和全空间作为不变子空间的例子过于简单而没有意义。

视频明确指出，尽管这两个例子显而易见，但它们是不变子空间理论的基石，任何讨论都必须包含这两个极端情况。

1. 声音
   观察依据

   旁白强调“值域中的向量经 T 作用后仍在值域中”，而不是说它保持不动。

2. 公式
   观察依据

   画面写的是 $T(w)\in \operatorname{range} T$，而非 $T(w)=w$。

看到“不变子空间”时，容易误以为子空间里的每个向量在 T 作用下都保持不变。

视频实际证明的是集合层面的封闭性：只要原向量属于该子空间，它的像仍属于该子空间；向量本身可以改变，如值域中的 w 会变成 $T(w)$，零空间中的 u 会变成 0。

1. 声音
   观察依据

   旁白先总结直观特性“在变换下保持封闭”，接着说“现在让我们用精确的数学语言来描述这个现象”。

2. 字幕依据
   观察依据

   画面从动画切换到“不变子空间定义”文字卡。

视频先用陀螺与向量动画建立直观，再进入正式定义，说明形式定义是对前面直观封闭性的精确化。

1. 公式
   观察依据

   前半段给出不变子空间定义，后半段用 $T(0)=0$、$0 \in \{0\}$ 验证零子空间。

2. 声音
   观察依据

   旁白从定义转入“让我们验证几个基本的不变子空间例子”。

零子空间例子通过检查 $T(0)=0$ 且 $0 \in \{0\}$ 来应用不变子空间定义。

1. 声音
   观察依据

   旁白提到零子空间和全空间是“不变子空间理论的基石”

零子空间作为最基础的例子，应用于构建不变子空间理论的基石。

1. 声音
   观察依据

   旁白提到零子空间和全空间是“不变子空间理论的基石”

全空间作为另一个基础例子，同样应用于构建不变子空间理论的基石。

1. 声音
   观察依据

   旁白在推导核空间不变性时使用了核空间的定义

理解核空间的定义是证明核空间具有不变性的先决条件。

1. 声音
   观察依据

   旁白先讲零空间例子，再总结“值域也是不变子空间”。

2. 公式
   观察依据

   $T(u)=0\in \operatorname{null} T$ 直接体现不变性判据。

零空间是不变子空间的一个具体例子：它满足“元素经 T 作用后仍在原集合中”。

1. 声音
   观察依据

   旁白完整论证值域在 T 下封闭。

2. 公式
   观察依据

   $T(w)\in \operatorname{range} T$ 体现集合不变性。

值域也是不变子空间的一个具体例子，证明思路是通过 w=Tv 把 $T(w)$ 重新写成某个像向量。

1. 声音
   观察依据

   旁白明确说“一维不变子空间就是特征子空间”。

2. 公式
   观察依据

   Tv=$\lambda v$ 给出一维情形的代数形式。

特征子空间在这里被作为一维不变子空间来理解，是不变子空间概念在一维情形下的具体化。

1. 声音
   观察依据

   旁白由“U 一维且不变”推出“Tv 必须是 v 的某个倍数”。

2. 动画
   观察依据

   向量沿同一直线伸缩。