Keyboard shortcuts

Press ← or → to navigate between chapters

Press S or / to search in the book

Press ? to show this help

Press Esc to hide this help

全章知识地图

第一章六节(七份)课件的概念链条一环扣一环:前三节先搭好线性结构与坐标系统,第 1.4 节用内积为这个坐标世界加入几何,1.5 从内积里提炼出长度、夹角与正交并给出正交化算法,1.6 研究拆法唯一的和与投影——从幂等矩阵一直收束到正交补与四个基本子空间。学习时建议按箭头顺序自检「前一环是否真正懂了」。

第一章概念链条地图 按箭头顺序展示第一章六节的概念依赖:1.1 线性空间 → 1.2 线性子空间 → 1.3 基与坐标 → 1.4 内积空间 → 1.5 长度与夹角 → 1.6 直和与投影;每个方框内是该节的枢纽概念。 数域 F(1.1) 集合 + 运算(1.1) 线性空间(八条公理,1.1) 常见空间例库(1.1) 线性组合 / 线性表示(1.1) 子空间 + 判定定理(1.2) 交空间 / 和空间(1.2) span 张成(1.2) N(A) 零空间(1.2) R(A) 列空间(1.2) 线性相关 / 无关(1.3) 极大无关组与秩(1.3) 基(1.3) 坐标(1.3) 过渡矩阵(1.3) 维数 + 维数公式(1.3)
图 0-1 · 第一章线性结构主干(1.1 → 1.2 → 1.3)
从线性结构到内积几何的概念链 基与坐标连接到内积,再连接到正定 Hermite 矩阵和度量矩阵;换基时度量矩阵作合同变换。 基与坐标线性结构(1.3) 内积四公理加入几何(1.4) 正定 Hermite 矩阵构造内积 度量(Gram)矩阵坐标中的内积 换基:合同变换同一几何,不同坐标
图 0-2 · 第 1.4 节把「抽象内积」翻译成「坐标里的正定 Hermite 矩阵」
从内积到长度、正交、直和与投影 内积给出长度与 Cauchy–Schwarz,由此得到夹角与正交;正交化把基化为标准正交基,使度量矩阵成为单位矩阵;子空间的和在交为零时成为直和,直和分解给出投影,幂等矩阵把投影编码进矩阵;正交补让投影成为「垂直落下」的法定运算,任意方阵自带 N(A) 与 R(Aᴴ) 的正交分解。 内积四公理几何的起点(1.4) 长度 + C-S 不等式全部几何不等式的源头(1.5) 夹角 + 正交夹角限实空间,正交通用(1.5) 正交组 / Gram–Schmidt正交组必无关;正交化(1.5) 标准正交基 ⟺ G = I内积退化为坐标内积(1.5) 直和(交为零 + 维数相加)拆法唯一的和(1.6) 投影:幂等 A² = AR(A) ∔ N(A);例 1.6.7(1.6)
图 0-3 · 第 1.5 节把内积「榨」成几何量,第 1.6 节把子空间的和升级为直和与投影,并收束到四个基本子空间

一句话主线:先规定「什么样的集合能做线性运算」(1.1),再找出其中封闭的部分(1.2),用基给空间装上坐标系并得到维数(1.3);内积赋予长度、夹角与正交(1.4),从中提炼出 Cauchy–Schwarz、正交化与标准正交基(1.5);最后研究拆法唯一的和(直和)与投影——幂等矩阵 A2=AA^2=A 一次把分解与投影全部编码,正交补让投影「垂直落下」,任意方阵自带 Cn=N(A)⊕R(AH)\mathbb C^n=N(A)\oplus R(A^{\mathrm H})(1.6)。

第二章 · 线性映射与矩阵(2.1–2.5)

第一章给单个空间装上坐标;第二章把两个空间连起来。已整理部分的概念链:

先备好映射的语言(2.1:单射 / 满射 / 双射 → 复合与逆 → 变换,并用「双射」这把尺子量无穷集合;多项式工具箱就位)→ 再给映射加上与线性运算相容的要求(2.2:定义 → 十二个例子 → 保持线性组合 → 单射判据 → 线性映射空间 L(V,W)L(V,W))→ 用零空间与值域两个不变量收束,亏加秩定理给出维数守恒:dim⁡N(T)+dim⁡R(T)=dim⁡V\dim N(T)+\dim R(T)=\dim V → 取定基,把这一切「翻译」成矩阵(2.3:矩阵的列就是基像的坐标 → 存在唯一性 → 同构 ⟺ 维数相等 → 坐标公式 β=Aα\beta=A\alpha → 换基 B=P−1AQB=P^{-1}AQ 与相似)→ 面对相似,自然要问「能否相似于对角阵」,于是把「方向不变」翻译成特征值与特征向量(2.4:特征对 → 特征子空间 → 几何 / 代数重数 → 设计基使矩阵为指定形式)→ 在内积空间里进一步要求基变换保持长度与夹角,得到正交与酉变换(2.5:正交 / 酉矩阵 → 四条等价刻画 → Givens 旋转与 Householder 反射)。

2.3 是三件事的合流:映射的语言(2.1)、线性与不变量(2.2)、坐标与基(第一章 1.3)在「矩阵」这个对象上会师——从此抽象的线性问题可以拿笔算。

2.4–2.5 把「选一组好基」变成一门正经的学问:相似不变的是特征值,而在保持度量的前提下换基(正交 / 酉变换)既不改变长度与夹角,也把特征值逼到单位圆上——Givens 与 Householder 是两种可精确控制、可手算的初等酉变换。

向下游:应用:图的矩阵表示(2.6)→ 章节测验(2.7)。待素材到位后,本节地图与结构图将同步补全。

第三章 · 矩阵分解(3.1–3.5)

前两章把矩阵讲成「线性映射的坐标版」;第三章换一个方向:不再问矩阵表示什么,而问它能拆成什么。已整理四节的概念链:

把矩阵分解为较简单或具有某种特性的若干矩阵的乘积或和(课件的类比:36=4×9=22×3236=4\times9=2^2\times3^2——同一个对象,换一种写法就多看见一层性质)→ 最朴素的分解是「相抵」:左右各乘可逆矩阵,把任何矩阵压成只由秩决定的标准形 Γ\Gamma(3.1:A=P−1ΓQA=P^{-1}\Gamma Q → 分解式不唯一、标准形唯一 → 相抵   ⟺  \iff 同秩 → 分块矩阵法求 PP、QQ → 用它解方程组、判单侧逆(右逆   ⟺  \iff 行满秩,左逆   ⟺  \iff 列满秩)→ 秩等式 rank⁡(A)=rank⁡(AHA)\operatorname{rank}(A)=\operatorname{rank}(A^{\mathrm H}A) 给出闭式单侧逆)→ 再换一副「眼镜」:不许乘可逆矩阵,把 AA 直接写成两个满秩矩阵之积 A=BCA=BC(3.2:BB 的列是 R(A)R(A) 的基、CC 是坐标表 → 两条构造与 RREF 算法 → 不唯一的精确刻画:相差可逆因子 DD → 应用 AXA=AAXA=A 与伪逆雏形)→ 第三副眼镜把骨架掰直:左因子换成标准正交基(3.4:QR 分解定义与「正线」约定 → QR 分解定理:GS 即算法、RR 是过渡矩阵、正线下唯一 → 去正线差对角酉阵 → 不满秩与长方阵的推广(列正交规范、推论 3.4.1)→ QR 算法:反复分解把特征值挤上对角线)→ 第四副眼镜把「对角化」放松成「三角化」:人人有份(3.5:两个 Schur 引理——相似 / 酉相似于上三角 → 实阵边界(旋转阵反例)→ 谱映射 → Hamilton–Cayley 定理 → 逆矩阵公式 → 零化多项式与最小多项式(候选法))。

四副眼镜都由同一个动作造出来:选基——3.1 的引理证明选了一组让映射变成 Γ\Gamma 的基,3.2 的方法 2 选了列空间的一组基,3.4 用 Gram–Schmidt 把基掰成正交,3.5 逐个吃掉特征向量再正交化(其证明还回头借了 3.4 的 QR 分解);而选基的学问正是第一章的主题(1.3)。

考试向的收束在考场竞技场:必考点清单 + 三轮限时赛(概念 / 计算 / 证明)+ 步骤分引擎——把「会做」练成「限时拿分」。

向下游:三角分解(3.3,课件暂缺)、奇异值分解、广义逆——待素材到位后,本节地图与结构图将同步补全。