├── README.md └── img └── 2.3.Determinant-rules.png /README.md: -------------------------------------------------------------------------------- 1 | # 丘维声《高等代数》学习笔记 2 | 3 | 《高等代数》，丘维声，北京大学，视频：共151讲，[B站视频链接](https://www.bilibili.com/video/av39523603) 4 | 5 | 6 | 7 | - [丘维声《高等代数》学习笔记](#丘维声高等代数学习笔记) 8 | - [前言](#前言) 9 | - [第一章 线性方程组的解法](#第一章-线性方程组的解法) 10 | - [1. .1 解线性方程组的矩阵消元法](#1-1-解线性方程组的矩阵消元法) 11 | - [加减消元法](#加减消元法) 12 | - [矩阵的初等行变化](#矩阵的初等行变化) 13 | - [在有理数集内解线性方程组](#在有理数集内解线性方程组) 14 | - [1.2 线性方程组解的情况及其判别情况](#12-线性方程组解的情况及其判别情况) 15 | - [1.3 数域](#13-数域) 16 | - [习题1.3 思路](#习题13-思路) 17 | - [第二章 行列式](#第二章-行列式) 18 | - [2.1 n元排列](#21-n元排列) 19 | - [习题 2.1](#习题-21) 20 | - [2.2 n阶行列式的定义](#22-n阶行列式的定义) 21 | - [习题2.2](#习题22) 22 | - [2.3 行列式的性质](#23-行列式的性质) 23 | - [习题 2.3](#习题-23) 24 | - [2.4 行列式按一行（列）展开](#24-行列式按一行列展开) 25 | - [习题2.4](#习题24) 26 | - [2.5 克莱姆法则](#25-克莱姆法则) 27 | - [习题2.5](#习题25) 28 | - [2.6 行列式按k行（列）展开](#26-行列式按k行列展开) 29 | - [第三章 线性空间](#第三章-线性空间) 30 | - [3.1 线性空间的定义](#31-线性空间的定义) 31 | - [习题3.1](#习题31) 32 | - [3.2 线性子空间](#32-线性子空间) 33 | - [习题8.1](#习题81) 34 | - [习题 8.2](#习题-82) 35 | - [3.3 线性相关与线性无关的向量组](#33-线性相关与线性无关的向量组) 36 | - [习题 3.2](#习题-32) 37 | - [3.4 极大线性无关组和向量组的秩](#34-极大线性无关组和向量组的秩) 38 | - [3.5 基与维数](#35-基与维数) 39 | - [习题3.3](#习题33) 40 | - [3.6 矩阵的秩](#36-矩阵的秩) 41 | - [3.7 线性方程组有解的判别](#37-线性方程组有解的判别) 42 | - [3.8 齐次线性方程组解集的结构](#38-齐次线性方程组解集的结构) 43 | - [3.9 非齐次线性方程组的解集结构](#39-非齐次线性方程组的解集结构) 44 | - [3.10 子空间的运算](#310-子空间的运算) 45 | - [3.11 线性空间的同构](#311-线性空间的同构) 46 | - [3.12 映射的乘法，可逆映射](#312-映射的乘法可逆映射) 47 | - [参考](#参考) 48 | 49 | 50 | 51 | ## 前言 52 | 53 | > 视频1、2 54 | 55 | * n元线性方程组和其解法 56 | * 矩阵的定义（由n元线性方程组的系数得到） 57 | * 通常由 _A_ 表示 58 | * 对于线性方程组，可以得到**增广矩阵** 59 | * **高等代数研究对象**： 60 | * **n元线性方程组** 61 | * 研究**解的情况的判别**和**解集的结构** 62 | * **矩阵** 63 | * **n维向量空间** 64 | * **线性空间**（由n维向量空间抽象而来） 65 | * **线性映射**（研究线性空间，就离不开线性映射） 66 | * **双线性函数** 67 | * **具有度量的线性空间** 68 | * 欧几里得空间 69 | * 酉空间 70 | * 等等 71 | * **与度量有关的线性变换** 72 | * 正交变换 73 | * 对称变换 74 | * 酉变换 75 | * Hermite变换 76 | * **线性代数的主线：** 77 | * 线性空间 78 | * 线性映射 79 | * 一元高次方程的求根 80 | * 一元多项式环 81 | * 环的概念 82 | * 域的概念 83 | * 群的概念 84 | * **数学的思维方式** 85 | * 观察客观现象 86 | * 提出研究的问题 87 | * 抓住主要特征 88 | * 抽象出概念或建立模型 89 | * 探索 90 | * 运用直觉、类比、归纳、联想、推理 91 | * 猜测（可能的规律） 92 | * 论证 93 | * 深入分析 94 | * 运用定义、公理、已证明的定理进行推理 95 | * 揭示事物内在规律 96 | 97 | ## 第一章 线性方程组的解法 98 | 99 | ### 1. .1 解线性方程组的矩阵消元法 100 | 101 | > 视频3、4、5 102 | 103 | #### 加减消元法 104 | 105 | * 不同方程的乘以系数后和其他方程加减，以消除方程中某个（些）系数 106 | * 如果以矩阵方式来写，把矩阵转换为阶梯型矩阵，即左下角的元素全为0 107 | * 首先针对矩阵第一列，其次第二列，直到最后一列 108 | * 当主元全是1，其他元素都是0 时，增广矩阵的最后一列即为X的解 109 | 110 | #### 矩阵的初等行变化 111 | 112 | 1. 把一行的倍数加到另外一行 113 | 2. 两行互换 114 | 3. 一行乘以一个非零系数 115 | 116 | **结论**：矩阵的初等行变换得到的解与原方程组同解 117 | 118 | 作业，习题1.1的1和2 119 | 120 | #### 在有理数集内解线性方程组 121 | 122 | **有且只有如下三种情况：** 123 | 124 | * **无解**：阶梯形方程组无解，从而原方程组无解 125 | * 视频中的例子是最后一行：_0 x3= -2_ 126 | * **有无穷多个解**，从而原方程有无穷多个解 127 | * 视频的例子是最后一行：_0 x2 = 0_ 128 | * _x2_ 是自由未知量（主变量以外的未知量） 129 | * _x1, x3_ 是主变量（以主元为系数的未知量） 130 | * **有唯一的解** 131 | 132 | 当有解的时候，要么有一个解，要么有无穷多个解。 133 | 134 | > 从两条直线来考虑这个问题，它们要么相交，要么重叠，要么平行。 135 | 136 | **方程组是否有解的总结：** 137 | 138 | * 如果线性方程的增广矩阵经过初等变换成阶梯矩阵后 139 | * 相应的阶梯矩阵方程组如果出现 _0 = d_ （其中 _d_ 是非零数），那么原方程组无解，否则有解。 140 | * 当有解时 141 | * 若阶梯形矩阵的非零行的数目 _r = n_ （未知量数目），那么方程有唯一解 142 | * 如 _r < n_，那么方程有无穷多个解。 143 | 144 | ### 1.2 线性方程组解的情况及其判别情况 145 | 146 | > 视频5、6 147 | 148 | 证明：n元线形方程组的增广矩阵经过初等行变换成阶梯矩阵有 _r_ 个非零行，显然有 _n + 1_ 列。 149 | 150 | * 情况1： *"0 = d"*，无解 151 | * 情况2： 不出现*"0 = d"* 152 | * 由于 _J_ 的第 _r_ 个主元 _brt_ 不能位于第 _n+1_ 列，因此 _t ≤ n_ 153 | * 因为只能位于对角线的右上方，所以有 _t ≥ r_ 154 | * 情况 2.1：_r = n_ 155 | * _J1_ 有n个主元，最后一列的 _(C1, C2, ..., Cn)_ 是方程唯一解 156 | * 情况 2.2：_r < n_ 157 | * 有 _n - r_个自由未知量 158 | 159 | ### 1.3 数域 160 | 161 | > 视频7 162 | 163 | 定义1：复数集的一个非空子集K，如果满足： 164 | 165 | （1）*0， 1 ∈ K* 166 | 167 | （2）*a，b ∈ K* → *a ± b, ab ∈ K* 168 | 169 | （3）*a，b ∈ K*，且 *b ≠ 0 → a/b ∈ K* 170 | 171 | 上面 *K* 是一个数域 172 | 173 | **数域举例：** 174 | 175 | - 有理数域 *Q* （最小的数域） 176 | - 实数域 *R* 177 | - 复数域 *C* （最大的数域） 178 | 179 | 对于例子： 180 | 181 | - _a11x1 + a12x2 = b1_ 182 | - _a21x1 + a22x2 = b2_ 183 | 184 | 其增广矩阵转化为阶梯矩阵后可得 185 | 186 | $$ 187 | \begin{pmatrix} a_{11} & a_{12} & b_1\\ 0 & a_{22} - \frac{a_{21}}{a_{11}}a_{12} & b_2 - \frac{a_{21}}{a_{11}}b_1 \end{pmatrix} 188 | $$ 189 | 190 | 191 | 所以需要第二行第二个元素部位*0*，意味着 192 | 193 | * _( a11a22 - a21a12 / a11 ) ≠ 0_，即 194 | * _a11a22 - a21a12 ≠ 0_ 195 | 196 | 表达式_a11a22 - a21a12 ≠ 0_ 用 _|A|_ 来表示，称为**行列式**，这里是**二阶行列式** 197 | 198 | #### 习题1.3 思路 199 | 200 | 1. 令 *Q(i) = {a + bi | a, b ∈ Q}*, 证明 *Q(i)* 是一个数域 201 | 202 | 证明思路： 203 | 204 | * 0 = 0 + 0i ∈ Q(i), 1 = 1 + 0 i ∈ Q(i) 205 | * α = a + bi, β = c + di 206 | - α ± β = (a ± c) + (b ± d)i ∈ Q(i) 207 | - αβ = (ac - bd) + (ad + bc)i ∈ Q(i) 208 | - β ≠ 0，则c、d不全为0，则$ \frac{\alpha}{\beta} = \frac{a+bi}{c+di} = \frac{(a+bi)(c-di)}{(c+di)(c-di)}=\frac{ac+bd}{c^2+d^2}+\frac{(bc-ad)}{c^2+d^2}i \in Q(i) $ 209 | 210 | 2. 令 $F=\{\frac{a_0+a_1e+\cdots+a_ne^n}{b_0+b_1e+\cdots+b_ne^n}$ ，n、m为任意非负整数，ai，bi 数域 Z，0 ≤ i ≤ n, 0 ≤ j ≤ m。证明F是一个数域，其中e是自然对数的底。 211 | 212 | 证明思路： 213 | 214 | * 对于 0、1∈ F的思路同上题目 215 | * 对于F中的两个数 α、β 216 | * 令$\alpha=\frac{a_0+a_1e+\cdots+a_{n_\alpha}e^{n_\alpha}}{b_0+b_1e+\cdots+b_{n_\alpha}e^n_{n_\alpha}}, \beta=\frac{a_0+a_1e+\cdots+a_{n_\beta}e^{n_\beta}}{b_0+b_1e+\cdots+b_{n_\beta}e^n_{n_\beta}}$ 217 | * 则 $\alpha\beta=\frac{a_0^2+2a_0a_1e+\cdots+a_{n_\alpha}a_{n_\beta}e^{n_\alpha+n_\beta}}{b_0^2+2b_0b_1e+\cdots+b_{n_\alpha}b_{n_\beta}e^n_{n_\alpha+n_\beta}}$，所以 αβ ∈ F 218 | * 同样的思路 α ± β ∈ F，α/β ∈ F 219 | 220 | ## 第二章 行列式 221 | 222 | 先研究属于 _K_ 上二元一次方程组，例子： 223 | 224 | - _a11x1 + a12x2 = b1_ 225 | - _a21x1 + a22x2 = b2_ 226 | 227 | 在 1.3节中讨论过 当 _a11a22 - a21a12 ≠ 0_时方程有唯一解；_a11a22 - a21a12 = 0_是有无穷多个解，为了方便记忆，把表达式 _a11a22 - a21a12_写作： 228 | 229 | $$ 230 | \left|\begin{array}{ll}{a_{11}} & {a_{12}} \\ {a_{21}} & {a_{22}}\end{array}\right|=a_{11}a_{22}-a_{12}a_{21} 231 | $$ 232 | 233 | 这是**2阶行列式**。把系数矩阵记作_A_，那么它对应的行列式记作 _|A|_ 或 det(A)。 234 | 235 | **数域 _K_ 上的系数矩阵 _A_ 有唯一解 <==> _|A| ≠ 0_** 236 | 237 | ### 2.1 n元排列 238 | 239 | **_n_元排列**：_1, 2, ..., n_ 的一个全排列。排列个数有 _n!_ 个。 240 | 241 | **排列方法**： 242 | 243 | 1. **顺序**：数字从小到大排列（对 a1, a2, ..., an，任取一对数_aiaj_，如果_aij_，则称这一对数构成一个顺序 244 | 2. **逆序**：数字从大到小排列（对 a1, a2, ..., an，任取一对数_aiaj_，如果_ai>aj_，则称这一对数构成一个逆序 245 | 246 | **逆序数**：一个 _n_ 元排列中逆序的总数称为**逆序数**，记作_**τ(a1, a2, ..., an)**_。 247 | 248 | * 例如_τ(2431) = 2_，因为有24、31这两个逆序数对。 249 | 250 | **偶（奇）排列：**逆序数个数为偶（奇）数，那么这个排列称为**偶（奇）排列**。 251 | 252 | **对换：**一个排列里的两个数字互换位置，称为一次**对换**。 253 | 254 | **定理1：对换会改变数列奇偶性。** 255 | 256 | **定理2：任一n元排列与排列123...n可经过一系列对换互变，并且所做对换的次数与这个n元排列有相同的奇偶性。** 257 | 258 | #### 习题 2.1 259 | 260 | 2\. (1) $\tau = \frac{(n-1)(n-2)}{2}$, (2) $\tau=n-1$ 261 | 4\. (1) k - 2, (2) n - k - 1 262 | 6\. $|A| = 2*4 + 15 = 23$，因此有唯一解$x_1 = 2, x_2 = -1$ 263 | 264 | 265 | ### 2.2 n阶行列式的定义 266 | 267 | 定义1：n阶行列式 268 | 269 | $$ 270 | \left| 271 | \begin{array}{cccc} 272 | {a_{11}} & {a_{12}} & {\cdots} & {a_{1n}} \\ 273 | {a_{21}} & {a_{22}} & {\cdots} & {a_{2n}} \\ 274 | {\vdots} & {\vdots} & & {\vdots} \\ 275 | {a_{n1}} & {a_{n2}} & {\cdots} & {a_{mn}} 276 | \end{array} 277 | \right| 278 | = \sum_{j_1j_2\vdots j_n}(-1)^{\tau(j_1j_2\cdots j_n)}a_{1j_1}a_{2j_2}\cdots a_{nj_n} 279 | $$ 280 | 281 | 简记作$|A|$或 $\mathbb{det} A$。 282 | 283 | **命题1**：n阶上三角形行列式的值等于它的主对角线上n个元素的乘积。 284 | 285 | #### 习题2.2 286 | 287 | 2\. (1) -49, (2) 103, (3) $a_{11}a_{22}a_{33}$, (4) $ca_1b_2 - ca_2b_1$ 288 | 289 | 可以用下面的Python代码来验证结果： 290 | 291 | ``` python 292 | import numpy as np 293 | A = np.array([[1, 4, 2],[3, 5, 1],[2, 1, 6]]) 294 | print(np.linalg.det(a)) 295 | ``` 296 | 297 | 4\. 不是 298 | 299 | 5\. 四次，5和5 300 | 301 | 6\. 如果元素相同，|A| = 0，为偶数 302 | 303 | ### 2.3 行列式的性质 304 | 305 | > [视频12](https://www.bilibili.com/video/av39523603/?p=12) 306 | 307 | **性质1**：行列互换（矩阵转置），行列式的值不变。 308 | $$ 309 | |A| = |A^T| 310 | $$ 311 | 312 | **性质2**：行列式一行的公因子可以提出去。即为 313 | $$ 314 | \left| \begin{array}{cccc}{a_{11}} & {a_{12}} & {\cdots} & {a_{1 n}} \\ {\vdots} & {\vdots} & & {\vdots} \\ {k a_{i 1}} & {k a_{i 2}} & {\cdots} & {k a_{i n}} \\ {\vdots} & {\vdots} & & {\vdots} \\ {a_{n 1}} & {a_{n 2}} & {\cdots} & {a_{nn}}\end{array}\right|=k \left| \begin{array}{cccc}{a_{11}} & {a_{12}} & {\cdots} & {a_{1 n}} \\ {\vdots} & {\vdots} & & {\vdots} \\ {a_{i 1}} & {a_{i 2}} & {\cdots} & {a_{i n}} \\ {\vdots} & {\vdots} & & {\vdots} \\ {a_{n 1}} & {a_{n 2}} & {\cdots} & {a_{nn}}\end{array}\right| 315 | $$ 316 | 317 | **性质3**：行列式中若有某一行是两组数的和，则此行列式等于两个行列式的和，这两个行列式的这一行分别是第一组数和第二组数，而其余各行于原来行列式的相应各行相同，即 318 | $$ 319 | \left| \begin{array}{cccc}{a_{11}} & {a_{12}} & {\cdots} & {a_{1 n}} \\ {\vdots} & {\vdots} & & {\vdots} \\ {b_{1} + c_1} & {b_{2}+c_2} & {\cdots} & {b_{n}+c_n} \\ {\vdots} & {\vdots} & & {\vdots} \\ {a_{n 1}} & {a_{n 2}} & {\cdots} & {a_{nn}}\end{array}\right|=\left| \begin{array}{cccc}{a_{11}} & {a_{12}} & {\cdots} & {a_{1 n}} \\ {\vdots} & {\vdots} & & {\vdots} \\ {b_{1}} & {b_{2}} & {\cdots} & {b_{n}} \\ {\vdots} & {\vdots} & & {\vdots} \\ {a_{n 1}} & {a_{n 2}} & {\cdots} & {a_{nn}}\end{array}\right| + \left| \begin{array}{cccc}{a_{11}} & {a_{12}} & {\cdots} & {a_{1 n}} \\ {\vdots} & {\vdots} & & {\vdots} \\ {c_1} & {c_2} & {\cdots} & {c_n} \\ {\vdots} & {\vdots} & & {\vdots} \\ {a_{n 1}} & {a_{n 2}} & {\cdots} & {a_{nn}}\end{array}\right| 320 | $$ 321 | 322 | **性质4**：两行互换，行列式反号，即 323 | $$ 324 | \left|\begin{array}{cccc}{a_{11}} & {a_{12}} & {\cdots} & {a_{1 n}} \\ {\vdots} & {\vdots} & & {\vdots} \\ {a_{i 1}} & {a_{i 2}} & {\cdots} & {a_{i n}} \\ {\vdots} & {\vdots} & & {\vdots} \\ {a_{k 1}} & {a_{k 2}} & {\cdots} & {a_{k n}} \\ {\vdots} & {\vdots} & & {\vdots} \\ {a_{n 1}} & {a_{n 2}} & {\cdots} & {a_{m}}\end{array}\right| = - 325 | \left| \begin{array}{cccc}{a_{11}} & {a_{12}} & {\cdots} & {a_{1 n}} \\ {\vdots} & {\vdots} & & {\vdots} \\ {a_{k 1}} & {a_{k 2}} & {\cdots} & {a_{k n}} \\ {\vdots} & {\vdots} & & {\vdots} \\ {a_{i 1}} & {a_{i 2}} & {\cdots} & {a_{i n}} \\ {\vdots} & {\vdots} & & {\vdots} \\ {a_{n 1}} & {a_{n 2}} & {\cdots} & {a_{m}}\end{array}\right| 326 | $$ 327 | 328 | **性质5**：两行相同，行列式的值为0。即 329 | $$ 330 | \left|\begin{array}{cccc}{a_{11}} & {a_{12}} & {\cdots} & {a_{1 n}} \\ {\vdots} & {\vdots} & & {\vdots} \\ {a_{i 1}} & {a_{i 2}} & {\cdots} & {a_{i n}} \\ {\vdots} & {\vdots} & & {\vdots} \\ {a_{i 1}} & {a_{i 2}} & {\cdots} & {a_{i n}} \\ {\vdots} & {\vdots} & & {\vdots} \\ {a_{n 1}} & {a_{n 2}} & {\cdots} & {a_{m}}\end{array}\right| = 0 331 | $$ 332 | 333 | **性质6**：两行成比例，行列式的值为0。 334 | 335 | **性质7**：把一行的倍数加到另一行上，行列式的值不变。（根据性质3和性质5可以证明） 336 | 337 | 上述七个行列式性质可以总结为如下的图： 338 | 339 | ![2.3.Determinant-rules](img/2.3.Determinant-rules.png) 340 | 341 | #### 习题 2.3 342 | 343 | 2\. (1) $(a + n-1)(a - 1)^{n-1}$，思路为把所有行加到第一行，第一行的每一个元素相同，可以提取出一个倍数$(a+n-1)$，第一行元素全为1，再把所有行减去第一行，因此仅剩右对角线上元素为$a-1$，可得 344 | 345 | 2\. (2) $\left((\sum_{i=1}^na_i)-b\right)(-b)^{(n-1)}$，同上，把所有的列加到第一列 346 | 347 | 3\. (1) 所有列相加得0，所以为0 348 | 349 | 3\. (2) 利用性质7，做列的加减 350 | 351 | 4\. (1) $a_1 - \sum_{i=2}^{n}a_ib_i$，利用性质7做列加减，让第一列除了第一个元素外其他元素都为0 352 | 353 | 4\. (2) 0，利用性质3，把第一行的每个元素拆分为2个，因此有两个行列式，发现两个行列式的除了第一行外都成比例，根据性质6，分别为0。 354 | 355 | ### 2.4 行列式按一行（列）展开 356 | 357 | > [视频14](https://www.bilibili.com/video/av39523603/?p=14) 358 | 359 | **定义1**：n阶行列式$|A|$中，花去第$i$行和第$j$列，剩下的元素按原来次序组成的$n-1$阶行列式称为矩阵$A$的$(i, j)$的**余子式**，记作$M_{ij}$。令 360 | $$ 361 | A_{ij} = (-1)^{i+j}M_{ij} 362 | $$ 363 | 364 | 称为$A_{ij}$是$A$的$(i, j)$的**代数余子式**。 365 | 366 | 对于一个$n=3$的矩阵有，$|A| = a_{11}A_{11}+a_{12}A_{12}+a_{13}A_{13}$，可以推广得到 367 | 368 | **定理1**：n阶行列式$|A|$等于它的第$i$行元素与自己的代数余子式的乘积之和，即 369 | $$ 370 | |A| = \sum_{j=1}^{n} a_{ij}A_{ij} 371 | $$ 372 | 373 | **定理2**：n阶行列式$|A|$等于它的第$j$列元素与自己的代数余子式的乘积之和，即 374 | $$ 375 | |A| = \sum_{l=1}^{n} a_{lj}A_{lj} 376 | $$ 377 | 378 | **定理3**：n阶行列式$|A|$的第$i$行元素与第$k$行相应元素的**代数余子式**的乘积之和等于0，即 379 | $$ 380 | a_{i1}A_{k1}+a_{i2}A_{k2}+\cdots+a_{in}A_{kn}=0，当k\neq i. 381 | $$ 382 | 383 | **定理4**：n阶行列式$|A|$的第$j$列元素与第$l$列（$l \neq j$）相应元素的**代数余子式**的乘积之和等于0，即 384 | $$ 385 | a_{1j}A_{1l}+a_{2j}A_{2l}+\cdots+a_{nj}A_{nl}=0，当l\neq i. 386 | $$ 387 | 388 | **范德蒙行列式**： 389 | $$ 390 | \left| \begin{array}{ccccc}{1} & {1} & {1} & {\cdots} & {1} \\ {a_{1}} & {a_{2}} & {a_{3}} & {\cdots} & {a_{n}} \\ {a_{1}^{2}} & {a_{2}^{2}} & {a_{3}^{2}} & {\cdots} & {a_{n}^{2}} \\ {\vdots} & {\vdots} & {\vdots} & { } & {\vdots} \\ {a_{1}^{n-2}} & {a_{2}^{n-2}} & {a_{3}^{n-2}} & {\cdots} & {a_{n}^{n-2}} \\ {a_{1}^{n-1}} & {a_{2}^{r-1}} & {a_{3}^{n-1}} & {\cdots} & {a_{n}^{n-1}}\end{array}\right| 391 | = \prod_{1 \leq j [视频16](https://www.bilibili.com/video/av39523603/?p=16) 422 | 423 | **定理1**：数域$K$上$n$个方程的$n$元线性方程组有唯一解的充分必要条件是它的系数行列式（即系数矩阵$A$的行列式$|A|$）不等于0。 424 | 425 | **推论1**：数域$K$上$n$个方程的$n$元齐次线性方程组只有零解的充分必要条件是它的系数行列式不等于0.它有非零解的充分必要条件是它的系数行列式等于0。 426 | 427 | #### 习题2.5 428 | 429 | 2\. 有唯一解 430 | 431 | 4\. a = 1 或 b = 0 432 | 433 | ### 2.6 行列式按k行（列）展开 434 | 435 | 概念类似于行列式按一行（列）展开。 436 | 437 | **定义1**：$n$阶行列式$|A|$中任意取定$k$行、$k$列（$1\leq k T （2）[0 0 0 0]0 506 | 2\. (-21 7 15 13) 507 | 3\. （2）不能 508 | 6\. 加法和乘法后仍属于$U$ 509 | 7\. 是 510 | 511 | ### 3.2 线性子空间 512 | 513 | > 这部分内容对应下册8.2节 514 | 515 | **定义**：设$V$是数域$K$上的一个线性空间。$U$是$V$的一个非空子集。如果$U$对于$V$的加法和数量乘法也称为数域$K$上的一个线性空间，那么称$U$是$V$的一个**线性子空间**。 516 | 517 | **定理**1：设$U$是域$F$上线性空间$V$的一个非空子集，则$U$是$V$的一个子空间的充分必要条件是：$U$**对于$V$的加法和纯量乘法都封闭**，即 518 | 519 | * $\alpha, \beta \in U \Rightarrow \alpha + \beta \in U$ 520 | * $\alpha \in U, k \in F \Rightarrow k \alpha \in U$ 521 | 522 | 在$K^n$中，给定向量组$\alpha_1, \cdots, \alpha_s$, $\beta \in K^n \Leftrightarrow$存在$K$中一组数$l_1, l_2, \cdots, l_s$，使得$\beta = l_1\alpha_1 + \cdots + l_s\alpha_s$，此时称$\beta$可以由向量组$\alpha_1, \cdots, \alpha_s$**线性表出**。 523 | 524 | 数域$K$上的$n$元线性方程组 525 | $$ 526 | \left\{\begin{array}{l}{a_{11} x_{1}+a_{12} x_{2}+\cdots+a_{1 n} x_{n}=b_{1}} \\ {a_{21} x_{1}+a_{22} x_{2}+\cdots+a_{2 n} x_{n}=b_{2}} \\ {\cdots} \\ {a_{s 1} x_{1}+a_{s 2} x_{2}+\cdots+a_{s n} x_{n}=b_{s}}\end{array}\right. 527 | $$ 528 | 可以写成$x_{1} \boldsymbol{\alpha}_{1}+x_{2} \boldsymbol{a}_{2}+\cdots+x_{n} \boldsymbol{\alpha}_{n}=\boldsymbol{\beta}$，其**有解** 529 | 530 | $\Longleftrightarrow$有$K$种一组数$c_1, c_2, \cdots, c_n$使得下式成立： 531 | $$ 532 | c_{1} \boldsymbol{a}_{1}+c_{2} \boldsymbol{a}_{2}+\cdots+c_{n} \boldsymbol{a}_{n}=\boldsymbol{\beta} 533 | $$ 534 | $\Longleftrightarrow \beta$可以由$\boldsymbol{\alpha}_{1}, \boldsymbol{\alpha}_{2}, \cdots, \boldsymbol{\alpha}_{n}$**线性表出**。 535 | 536 | #### 习题8.1 537 | 538 | 1\. (1) Yes (2) Yes (3) Yes (4) No (5) Yes 539 | 2\. 540 | 3\. (1) Yes (2) Yes (3) Yes 541 | 7\. 542 | 8\. 线性相关 543 | 9\. （1）相关：$cos2x = 2cos^2x-1$（2）相关：$cos(3x) = 4cos^3(x) - 3cosx$ （3）无关 (4) 有关 (5) 有关 (6)有关 (7)有关 544 | 545 | #### 习题 8.2 546 | 547 | 1. （1） 不是，例如 (1, ..., 1)、(-1, ..., 1)的和即不符合（2） 是 548 | 549 | ### 3.3 线性相关与线性无关的向量组 550 | 551 | > 视频23，对应教材3.2节 552 | 553 | $\overrightarrow{c}$与$\overrightarrow{a}$**共线** $\Longleftrightarrow$ 有不全为0的实数$k_1$, $k_2$使得 $k_1\overrightarrow{c}+k_2\overrightarrow{a}=\overrightarrow{0}$； 554 | 555 | $\overrightarrow{c}$与$\overrightarrow{a}$**不共线** $\Longleftrightarrow$ $k_1\overrightarrow{c}+k_2\overrightarrow{a}=\overrightarrow{0}$ 可推出$k_1$, $k_2=0$。 556 | 557 | **定义1**：设$V$是数域$K$上的一个线性空间，$V$中的一个向量组$\alpha_1, \alpha_2, \cdots, \alpha_s (S \geq 1)$，如果有$K$中不全为0的书$k_1, \cdots, k_s$，使得 558 | $$ 559 | k_{1} \boldsymbol{\alpha}_{1}+\cdots+k_{s} \boldsymbol{\alpha}_{s}=\mathbf{0} 560 | $$ 561 | 则称向量组$\boldsymbol{\alpha}_{1}, \cdots, \boldsymbol{\alpha}_{s}(s \geqslant 1)$**线性相关**（否则称**线性无关**） 562 | 563 | $\Longleftrightarrow$ 齐次线性方程组 $x_{1} \boldsymbol{\alpha}_{1}+\cdots+x_{s} \boldsymbol{a}_{s}=\mathbf{0}$ 有非零解。 564 | 565 | $\Longleftrightarrow$以$\alpha_1, \cdots, \alpha_n$为列向量的矩阵$A$的行列式等于0。 566 | 567 | 568 | 569 | $K^s$中，列向量方程组$\alpha_1, \cdots, \alpha_n$线性无关 570 | 571 | $\Longleftrightarrow$ 线性方程组$x_{1} \boldsymbol{\alpha}_{1}+\cdots+x_{s} \boldsymbol{a}_{s}=\mathbf{0}$ 只有零解。 572 | 573 | 574 | 575 | 设$V$施数域$K$上的一个线性空间： 576 | 577 | 1. $\alpha$线性相关$\Longleftrightarrow$有$k \neq 0$使得$k\alpha=0$ $\Longrightarrow \alpha=0$ 578 | 579 | $\alpha$线性无关$\Longleftrightarrow \alpha \neq 0$ 580 | 581 | 2. 向量组$\alpha_1, \cdots, \alpha_{s}$如果有一个***部分组***线性相关，那么$\alpha_1, \cdots, \alpha_{s}$线性相关。从而，如果$\alpha_1, \cdots, \alpha_{s}$线性无关，任何一个***部分组***都线性无关。 582 | 583 | 3. 凡是含有$0$的向量组，都是线性相关。 584 | 585 | 4. 向量组$\alpha_1, \cdots, \alpha_{s} (s \ge 2)$线性相关$\Longleftrightarrow$其中至少有一个向量可以由其余的向量线性表出。 586 | 587 | 证明：有$K$中不全为0的数$k_1, \cdots, k_s$，使得$k_1\alpha_1+\cdots+k_s\alpha_s=0$，设$k_i \neq 0$，由(1)式得$\alpha_i=-\frac{k_1}{k_i}\alpha_1-\cdots-\frac{k_{i-1}}{k_i}\alpha_{i-1}-\frac{k_{i+1}}{k_i}\alpha_{i-1}-\cdots-\frac{k_{s}}{k_i}\alpha_{s}$ 588 | 589 | 5. 向量组$\alpha_1, \cdots, \alpha_{s} (s \ge 2)$线性无关$\Longleftrightarrow$每一个向量不可以由其余的向量线性表出。 590 | 591 | **命题1**：设$\beta$可以由$\alpha_1, \cdots, \alpha_{s}$线性表出，则表出方式唯一$\Longleftrightarrow$$\alpha_1, \cdots, \alpha_{s}$线性无关。 592 | 593 | **命题2**：设$\alpha_1, \cdots, \alpha_{s}$线性无关，$\alpha_1, \cdots, \alpha_{s}, \beta$线性相关$\Longleftrightarrow$设$\beta$可以由$\alpha_1, \cdots, \alpha_{s}$线性表出。 594 | 595 | #### 习题 3.2 596 | 597 | 1\. (1) No (2) No (3) Yes 598 | 2\. (2) 线性相关，行列式为0 599 | 5\. 线性无关，行列式不为0 600 | 9\.行列式为23 601 | 12\. 范德蒙行列式 $\prod_{1 \leq j 视频25第20分钟起 606 | 607 | $<\alpha_1, \cdots, \alpha_s>=\{k_1\alpha_1+\cdots+k_s\alpha_s|k_i \in K, i=1,\cdots,s\}$ 608 | 609 | 当$\alpha_1, \cdots, \alpha_{s}$线性相关时 610 | 611 | **定义1**：向量组$\alpha_1, \cdots, \alpha_{s}$的一个部分组称为，这个向量组的一个***极大线性无关组***，如果满足： 612 | 613 | 1. 这个部分组线性无关； 614 | 2. 从向量组的其余向量（如果有的话）中，任取一个添进来，得到的新的部分组都线性相关。 615 | 616 | **定义3**：向量组$\alpha_1, \cdots, \alpha_{s}$的任意一个极大线性无关组所含向量的个数称为向量组$\alpha_1, \cdots, \alpha_{s}$的**秩**。记作： 617 | 618 | * $rank\{\alpha_1, \cdots, \alpha_{s}\}$ 619 | 620 | **只含0向量的向量的秩为0。** 621 | 622 | **命题3**：向量组$\alpha_1, \cdots, \alpha_{s}$*线性无关*$\Longleftrightarrow$那么$\alpha_1, \cdots, \alpha_{s}$是向量$\alpha_1, \cdots, \alpha_{s}$的一个*极大线性无关组*。$\Longleftrightarrow$$rank\{\alpha_1, \cdots, \alpha_{s}\} = s$。 623 | 624 | **命题4**：若向量组（$I$）可以由向量组（$II$）线性表出，则$rank(I) \leq rank(II)$ 625 | 626 | **推论4**：等价的向量组有相等的秩。 627 | 628 | ### 3.5 基与维数 629 | 630 | 设$V$是数域$K$上的线性空间。 631 | 632 | **定义1**：$V$的一个有限子集$\{\alpha_1, \cdots, \alpha_{s}\}$线性相（无）关$\Longleftrightarrow$$\alpha_1, \cdots, \alpha_{s}$线性相（无）关。 633 | 634 | $V$的一个无限子集$S$线性无关$\Longleftrightarrow$$S$有一个有限子集线性无关$\Longleftrightarrow$$V$的无线子集$S$线性无关。$\Longleftrightarrow$$S$任意一个有限子集线性无关。 635 | 636 | 空集$\phi$定义为线性无关。 637 | 638 | **定义2**：设$V$是数域$K$上的线性空间，$V$的一个子集$S$如果满足下述两个条件： 639 | 640 | 1. $S$是线性无关的 641 | 2. $V$中任意一个向量可以由$S$中的向量线性表出 642 | 643 | 则称$S$是$V$的一个**基**。 644 | 645 | 在定义2中，如果$S=\{\alpha_1, \cdots, \alpha_{s}\}$，则向量组$\alpha_1, \cdots, \alpha_{s}$是$V$的一个有序基。 646 | 647 | $\{0\}$的一个基规定为$\phi$（空集）。 648 | 649 | **定理1**：任何一个数域上的任一个线性空间$K^n$都有一个基。 650 | 651 | **定义3**：若$V$有一个基是有限子集，则称$V$是**有限维的**。若$V$有一个基是无限子集，则称$V$是**无限维的**。 652 | 653 | **定理2**：若$V$是*有限维*的，则$V$的**任意两个基所含向量的个数相等**。 654 | 655 | **定义4**：$K^n$的非零子空间$U$的一个基所含向量的个数称为$U$的维数，记作$\mathbb{dim}_kU$。 656 | 657 | 几何空间中三个不共面向量是一个基，从而集合空间是三维的。 658 | 659 | **命题2**：如果$\mathbb{dim} V=n$，则$V$中任意$n$个线性无关的向量都是$V$的一个基。 660 | 661 | **命题3**：设$\mathbb{dim} V=n$，若$V$中每一个向量可以由向量组$\alpha_1, \cdots, \alpha_{n}$线性表出，$\alpha_1, \cdots, \alpha_n$是$V$的一个基。 662 | 663 | **命题4**：设$\mathbb{dim} V=n$，则$V$中任意一个线性无关的向量组都可以扩充成$V$的一个基。 664 | 665 | #### 习题3.3 666 | 667 | 1. $\{\alpha_1, \alpha_2\}$, $rank\{\dots\}=2$. 668 | 2. $\{\alpha_1, \alpha_3\}$, $rank\{\dots\}=2$. 669 | 3. (1) $det([3,-1],[4,3]) != 0$ (2) $\{\alpha_1, \alpha_2, \alpha_3, \alpha_4\}$ 670 | 671 | 设向量组$\alpha_1, \cdots, \alpha_{s}$的一个极大线性无关组（不妨设）为：$\alpha_1, \cdots, \alpha_{m} (m \leq s)$。 672 | 673 | * 由于$\alpha_j=0\alpha1+\cdots+0\alpha_{j-1}+1\alpha_j+0\alpha_{j+1}+\cdots+0\alpha_s$。因此，$\alpha_1, \cdots, \alpha_{m}$中的每一个向量都可以由向量组$\alpha_1, \cdots, \alpha_{s}$线性表出。 674 | * 反之，$\alpha_j (1 \leq i \leq M)$，可由$\alpha_1, \cdots, \alpha_{m}$线性表出。对于$\alpha_j (M < i \leq s)$ ，根据定义，$\alpha_1, \cdots, \alpha_{m}, \alpha_j$是线性相关。因此，可由可由$\alpha_1, \cdots, \alpha_{m}$线性表出（根据上一节的命题2）。 675 | 676 | **定义2**：若向量组$\alpha_1, \cdots, \alpha_{s}$中的每一个向量都可以由向量组$\beta_1, \cdots, \beta_{r}$线性表出，则称$\alpha_1, \cdots, \alpha_{s}$可由$\beta_1, \cdots, \beta_{r}$线性表出。若向量组$\alpha_1, \cdots, \alpha_{s}$与$\beta_1, \cdots, \beta_{r}$可以**互相线性表出**，则称这两个向量组**等价**。 677 | 678 | **命题1**：向量组$\alpha_1, \cdots, \alpha_{s}$与它的任意一个极大线性无关组**等价**。 679 | 680 | 向量组的等价具有性质： 681 | 682 | 1. 每一个向量组与自身等价（反身性） 683 | 2. 若$\alpha_1, \cdots, \alpha_{s} \cong \beta_1, \cdots, \beta_{r}$，那么$\beta_1, \cdots, \beta_{r} \cong \alpha_1, \cdots, \alpha_{s}$（对称性） 684 | 3. $\alpha_1, \cdots, \alpha_{s} \cong \beta_1, \cdots, \beta_{r}$，$\gamma_1, \cdots, \gamma_{s} \cong \beta_1, \cdots, \beta_{r}$，那么$\gamma_1, \cdots, \gamma_{s} \cong \alpha_1, \cdots, \alpha_{s}$（传递性） 685 | 686 | **命题2**：向量组$\alpha_1, \cdots, \alpha_{s}$的任意两个个极大线性无关组**等价**。 687 | 688 | **引理1**：设$\beta_1, \cdots, \beta_{r}$可由$\alpha_1, \cdots, \alpha_{s}$线性表出，如果$r > s$，那么$\beta_1, \cdots, \beta_{r}$线性相关。 689 | 690 | --- 691 | 692 | > [视频32](https://www.bilibili.com/video/av39523603/?p=32) 693 | 694 | **定义5**：设$V$是数域$K$上的线性空间，$V$的一个非空子集$S$如果满足两个条件： 695 | 696 | 1. $S$线性无关， 697 | 2. 对于$\beta \notin S$（若有的话），有$S \cup\{\beta\}$**线性相关**，那么$S$是$V$的一个**极大线性无关集**。 698 | 699 | 当$V \notin \{0\}$，$S$是$V$的一个基 $\Longleftrightarrow$ $S$是$V$的一个极大线性无关集。 700 | 701 | **命题6**：$<\alpha_1, \dots, \alpha_s>=\{k_1\alpha_1+\dots+k_s\alpha_s|k_1,\dots,k_s \in K\}$, 则$\alpha_1, \dots, \alpha_s$的一个极大线性无关组是$<\alpha_1, \dots, \alpha_s>$的一个基，从而$dim<\alpha_1, \dots, \alpha_s> = Rank\{\alpha_1, \dots, \alpha_s\}$。 702 | 703 | --- 704 | 705 | > [视频33](https://www.bilibili.com/video/av39523603/?p=33) 706 | 707 | **命题7**：$<\alpha_1, \dots, \alpha_s>=<\beta_1, \dots, \beta_r> \Longleftrightarrow \{\alpha_1, \dots, \alpha_s\} \cong \{\beta_1, \dots, \beta_r\}$。 708 | 709 | 710 | 711 | 对于一个矩阵$A$，有 712 | 713 | * 列秩等于列空间的维度，$rank\{\alpha_1, \dots, \alpha_n\} = dim<\alpha_1, \dots, \alpha_n>$； 714 | * 行秩等于行空间的维度，$rank\{\gamma_1, \dots, \gamma_n\}=dim<\gamma_1, \dots, \gamma_n>$。 715 | 716 | 数域$K$上$S \times n$阶梯矩阵$J$，设$J$的非零行的个数为$r$，从而$J$有$r$个主元。 717 | 718 | $$J=\left(\begin{array}{cccccc} 719 | {0} & \cdots & {c_{1j_1}} & \cdots & {c_{1j_2}} & {\dots} & {c_{1, j_{r}}} & \cdots & {c_{1 n}} \\ 720 | {0} & \cdots & {0} & \cdots & {c_{23}} & {\dots} & {c_{2,n-1}} & \cdots & {c_{2 n}} \\ 721 | {\vdots} & \cdots & {\vdots} & \cdots & {\vdots} & \cdots & {\vdots} & \cdots & {\vdots} \\ 722 | {0} & \cdots & {0} & \cdots & {0} & {\cdots} & {0} & \cdots & {c_{n-1, n}} \\ 723 | {0} & \cdots & {0} & \cdots & {0} & {\cdots} & {0} & \cdots & {0}\end{array}\right)$$ 724 | 725 | 列向量表示为$\alpha_1, \dots, \alpha_{j_1}, \dots, \alpha_{j_2}, \dots, \alpha_{j_r}, \dots, \alpha_{n}$；行向量表示为$\gamma_1, \gamma_2, \dots, \gamma_{r}$。 726 | 727 | 对于**主元构成的列向量组**，组成的矩阵式上三角矩阵，因此这些向量组**线性无关**。 728 | 729 | 它们的延伸组$\alpha_{j_1}, \alpha_{j_2}, \dots, \alpha_{j_r}$也线性无关，从而$rank\{\alpha_{j_1}, \alpha_{j_2}, \dots, \alpha_{j_r}\}=r$。 730 | 731 | 732 | 733 | 考虑集合 734 | 735 | $$U= 736 | \begin{Bmatrix} 737 | \left. 738 | \begin{pmatrix} 739 | a_1\\ 740 | \vdots\\ 741 | a_r\\ 742 | 0\\ 743 | \vdots\\ 744 | 0 745 | \end{pmatrix} \right| a_1, \dots, a_r \in K 746 | \end{Bmatrix} \subseteq K^s$$ 747 | 748 | 对于其中的每个向量，可以表示为 $a_1\epsilon_1+\dots+a_r\epsilon_r$，那么$U$的一个基是$\epsilon_1, \dots, \epsilon_r$，从而$\mathbb{dim}U = r$。 749 | 750 | --- 751 | 752 | > [视频34](https://www.bilibili.com/video/av39523603/?p=34) 753 | 754 | ### 3.6 矩阵的秩 755 | 756 | **定理1**：阶梯型矩阵$J$的行秩和列秩相等，它们都等于$J$的非零行个数；并且$J$的主元所在的列构成列向量组的一个极大线性无关组。 757 | 758 | **定理**2：矩阵的初等行变换不改变矩阵的行秩。 759 | 760 | **定理3**：矩阵的初等行变换不改变矩阵的列向量的线性相关性，从而不改变矩阵的秩。即 761 | 762 | * 设矩阵$C$经过初等行变换变成矩阵$D$，则$C$的列向量组线性相关当且仅当$D$的列向量组线性相关； 763 | * 设矩阵$A$经过初等行变换变成矩阵$B$，并且设$B$的第$j_1, j_2, \dots, j_r$列构成$B$的列向量组的一个极大线性无关组，则$A$的第$j_1, j_2, \dots, j_r$列构成$A$的列向量的一个极大线性无关组；从而$A$的秩等于$B$的秩。 764 | 765 | --- 766 | 767 | > [视频35](https://www.bilibili.com/video/av39523603/?p=35) 768 | 769 | **定理4**：**任意矩阵的行秩等于它的列秩**。 770 | 771 | **定义1**：矩阵$A$的行秩与列秩统称为$A$的秩。 772 | 773 | **推论1**：设矩阵$A$经过初等行变换化成阶梯矩阵$J$，则$A$的秩等于$J$的非零行个数。设$J$的主元所在的列示第$j_1, \dots, j_r$列，则$j_1, \dots, j_r$列构成$A$的列向量组的一个极大线性无关组。 774 | 775 | --- 776 | 777 | > [视频36](https://www.bilibili.com/video/av39523603/?p=36) 778 | 779 | 矩阵转置不改变其秩：$$\mathtt{rank}(A)=\mathtt{rank}(A')$$ 780 | 781 | **推论2**：矩阵的初等列变换不改变矩阵的秩。 782 | 783 | **定理5**：任一非零矩阵的秩等于它的不为零的子式的最高阶数。 784 | 785 | --- 786 | 787 | > [视频37](https://www.bilibili.com/video/av39523603/?p=37) 788 | 789 | **推论3**：设$s \times n$矩阵$A$的秩为$r$，则$A$的不等于零的$r$阶子式所在的列（行）构成$A$的列（行）向量组的一个极大线性无关组。 790 | 791 | **满秩矩阵**：矩阵的秩等于级数时，其为满秩矩阵。 792 | 793 | **推论1**：$n$级矩阵$A$满秩的充分必要条件是$|A| \neq 0$。 794 | 795 | ### 3.7 线性方程组有解的判别 796 | 797 | **定理1（线性方程组有解判别定理）**：数域$K$上线性方程组有解的充要条件是：它的系数矩阵与增广矩阵的秩相等。 798 | 799 | > [视频38](https://www.bilibili.com/video/av39523603/?p=38) 800 | 801 | **定理2**：数域$K$上$n$元线性方程组有解时： 802 | 803 | * 如果系数矩阵$A$的秩**等于**$n$，那么方程组有**唯一解**； 804 | * 如果$A$的秩**小于**$n$，那么方程组有**无穷多个解**。 805 | 806 | ### 3.8 齐次线性方程组解集的结构 807 | 808 | 数域$K$上的$n$元齐次线性方程组 809 | $$ 810 | x_1\alpha_1+\dots+x_n\alpha_n=0 \tag{1} 811 | $$ 812 | 的解集记作$W$。 813 | 814 | 设（1）有非零解，$W \subseteq K^n$ 815 | 816 | **性质1**：若$\gamma, \delta \in \boldsymbol{W}$，则$\gamma + \delta \in W$。 817 | 818 | **性质2**：若$\gamma \in \boldsymbol{W}, k \in K$，则$k\gamma\in W$。 819 | 820 | 因此，齐次线性方程组的解集$W$是$K^n$的一个子空间，称它为方程组（1）的**解空间**。 821 | 822 | * 如果方程组的系数矩阵A的秩等于n，那么W={0}。 823 | * 如果$\mathtt{rank}(A) < n$，那么$W$是非零子空间，此时把解空间$W$的一个基称为齐次线性方程组的一个**基础解系**。 824 | 825 | **定义1**：齐次线性方程组有非零解时，如果它的有限多个解${\eta}_{1}, {\eta}_{2}, \cdots, {\eta}_{t}$满足： 826 | 827 | * ${\eta}_{1}, {\eta}_{2}, \cdots, {\eta}_{t}$线性无关 828 | * 齐次线性方程组的每个解都可以由${\eta}_{1}, {\eta}_{2}, \cdots, {\eta}_{t}$线性表出。 829 | 830 | 那么${\eta}_{1}, {\eta}_{2}, \cdots, {\eta}_{t}$是齐次线性方程组的一个**基础解系**。 831 | 832 | **定理1**：数域$K$上$n$元齐次线性方程组的解空间W的维数为$\mathtt{dim} W = n - \mathtt{rank}(A)$。 833 | 834 | --- 835 | 836 | > [视频39](https://www.bilibili.com/video/av39523603/?p=39) 837 | 838 | ### 3.9 非齐次线性方程组的解集结构 839 | 840 | 数域$K$上的$n$元齐次线性方程组 841 | $$ 842 | x_1\alpha_1+\dots+x_n\alpha_n=\beta \tag{1} 843 | $$ 844 | 的解集定义为$U$。上述非齐次方程组的导出组为： 845 | $$ 846 | x_1\alpha_1+\dots+x_n\alpha_n = 0 \tag{2} 847 | $$ 848 | 的解空间记作$W$。 849 | 850 | **性质1**：若$\gamma, \delta \in \boldsymbol{W}$，则$\gamma - \delta \in W$。 851 | 852 | --- 853 | 854 | > [视频40](https://www.bilibili.com/video/av39523603/?p=40) 855 | 856 | **性质2**：若$\gamma \in \boldsymbol{U}, \eta \in \boldsymbol{W}$，$\gamma=(a_1, \dots, a_n)', \eta=(c_1, \dots, c_n)'$, 则$\gamma + \eta \in \boldsymbol{U}$。 857 | 858 | **定理1**：如果数域$K$上$n$元非齐次方程组（1）有解，那么它的解集$U$为： 859 | $$ 860 | U = \{\boldsymbol{\gamma}_0 + \boldsymbol{\eta} | \boldsymbol{\eta} \in W\} 861 | $$ 862 | 其中$\eta_0$是非齐次线性方程组(1)的一个解（称为**特解**），$W$是方程组(1)的导出组的解空间。 863 | 864 | ### 3.10 子空间的运算 865 | 866 | > 见教材下册 8.2 867 | 868 | **定理1**：设$V_1$与$V_2$都是V的子空间，则$V_1 \cap V_2$也是$V$的子空间。 869 | 870 | 多个子空间的交： 871 | $$ 872 | V_1 \cap V_2 \cap \cdots \cap V_s 873 | $$ 874 | 记作$\bigcap_{i=1}^{s}$，其也是$V$的一个子空间。 875 | 876 | --- 877 | 878 | > [视频41](https://www.bilibili.com/video/av39523603/?p=41) 879 | 880 | 但注意，并集$\cup$运算后的空间不是子空间，因为不满足加法封闭。 881 | 882 | > 可参考线性子空间的定义：[3.2 线性子空间](#32-线性子空间) 883 | 884 | **定理2**：设$V_1$与$V_2$都是V的子空间，则$V_1 + V_2$也是$V$的子空间，称为**子空间的和**。 885 | 886 | **命题1**：设$V_1, V_2, V_3$都是域$F$上线性空间$V$的子空间，则 887 | $$ 888 | V_1 \cap (V_2 + V_3) \supseteq (V_1 \cap V_2) + (V_1 \cap V_3),\\ 889 | V_1 + (V_2 \cap V_3) \subseteq (V_1 + V_2) \cap (V_1 + V_3) 890 | $$ 891 | **命题2**：设$\alpha_1, \dots, \alpha_s$和$\beta_1, \dots, \beta_s$是域$F$上线性空间$V$的两个向量组，则 892 | $$ 893 | <\alpha_1, \cdots, \alpha_s> + <\beta_1, \cdots, \beta_s> = <\alpha_1, \cdots, \alpha_s,\beta_1, \cdots, \beta_s> 894 | $$ 895 | **定理4**（子空间的维数公式）：设$V_1, V_2$都是域$F$上线性空间$V$的有限子空间，则$V_1 \cap V2， V_1+V_2$也是有限维的，并且 896 | $$ 897 | \dim V_1 + \dim V_2 = \dim(V_1 + V_2) + \dim(V_1 \cap V_2) 898 | $$ 899 | 900 | --- 901 | 902 | > [视频42](https://www.bilibili.com/video/av39523603/?p=42) 903 | 904 | **推论1**：设$V_1, V_2$都是域$F$上线性空间$V$的有限子空间，则 905 | $$ 906 | \dim(V_1 + V_2) = \dim V_1 + \dim V_2 \Longleftrightarrow V_1 \cap V_2 = 0 907 | $$ 908 | 909 | --- 910 | 911 | **子空间的直和** 912 | 913 | **定义1**：设$V_1, V_2$都是域$F$上线性空间$V$的有限子空间，如果$V_1 + V_2$中每个向量$\alpha$都可以唯一的表示为 914 | $$ 915 | \alpha = \alpha_1 + \alpha_2, \quad \alpha_1 \in V_1, \alpha_2 \in V_2, 916 | $$ 917 | 那么和$V_1 + V_2$称为**直和**，记作$V_1 \bigoplus V_2$。称$V_1$为$V_2$的一个**补空间**，反之亦然。 918 | 919 | **定理5**：设$V_1, V_2$都是域$F$上线性空间$V$的有限子空间，则下述命题互相等价： 920 | 921 | 1. 和$V_1 + V_2$是直和； 922 | 2. 和$V_1 + V_2$中零向量的表法唯一； 923 | 3. $V_1 \cap V_2 = 0$ 924 | 925 | --- 926 | 927 | > [视频43](https://www.bilibili.com/video/av39523603/?p=43) 928 | 929 | 4. 设有$V1$的基$S_1$和$V2$的基$S_2$，如果任何一个$S_1 \cup S_2$的子集线性无关，那么$S_1 \cup S_2$线性无关。 930 | 931 | **定理6**：设$V_1, V_2$都是域$F$上线性空间$V$的有限维子空间，则下述命题互相等价： 932 | 933 | 1. 和$V_1 + V_2$是直和； 934 | 2. $\dim (V_1 + V_2) = \dim V_1 + \dim V_2$； 935 | 3. $V_1$的一个基与$V_2$的一个基合起来是$V_1 + V_2$的一个基。 936 | 937 | **命题3**：设$V$是域$F$上的n维线性空间，则$V$的每一个子空间$U$都有补空间。 938 | 939 | --- 940 | 941 | > [视频44](https://www.bilibili.com/video/av39523603/?p=44) 942 | 943 | **定理7**：设$V_1, V_2$都是域$F$上线性空间$V$的无限维子空间，则下述命题互相等价： 944 | 945 | 1. 和$V_1 + V_2$是直和； 946 | 2. $V_1$的一个基与$V_2$的一个基合起来是$V_1 + V_2$的一个基。 947 | 948 | **命题4**：设$V$是域$F$上的无线维线性空间，则$V$的每一个子空间$U$都有补空间。 949 | 950 | **定义2**：设$V_1, V_2, \cdots, V_s$都是域$F$上线性空间$V$的子空间，如果$V_1 + V_2 + \cdots + V_s$中每个向量$\alpha$都可以唯一的表示为 951 | $$ 952 | \alpha = \alpha_1 + \alpha_2 + \cdots + \alpha_s, \quad \alpha_i \in V_i, i=1, 2, \cdots, s, 953 | $$ 954 | 那么和$V_1 + V_2 + \cdots + V_s$称为**直和**，记作$V_1 \bigoplus V_2 \bigoplus \cdots \bigoplus V_s$或$\bigoplus_{i=1}^s V_i$。 955 | 956 | **定理8**：设$V_1, V_2, \cdots, V_s$都是域$F$上线性空间$V$的子空间，则下述命题互相等价： 957 | 958 | 1. 和$V_1 + V_2 + \cdots + V_s$是直和； 959 | 2. 和$\sum^s_{i=1} V_i$中零向量的表法唯一； 960 | 3. $V_i \cap (\sum_{j \neq i} V_j) = 0, i \neq 1,2,\cdots,s$。 961 | 962 | **定理9**：设$V_1, V_2, \cdots, V_s$都是域$F$上线性空间$V$的有限维子空间，则下述命题互相等价： 963 | 964 | 1. 和$V_1 + V_2 + \cdots + V_s$是直和； 965 | 2. $\dim (V_1 + V_2 + \cdots + V_s) = \dim V_1 + \dim V_2 + \cdots + \dim V_s$； 966 | 3. $V_1$的一个基，$V_2$的一个基，$\cdots$，$V_s$的一个基，合起来是$V_1 + V_2 + \cdots + V_s$的一个基。 967 | 968 | --- 969 | 970 | > [视频45](https://www.bilibili.com/video/av39523603/?p=45) 971 | 972 | ### 3.11 线性空间的同构 973 | 974 | 设$V_1$和$V'$都是数域$K$上的线性空间，如果$V$到$V'$有一个双射$\sigma$，并且满足： 975 | 976 | * **保持加法运算**：$\sigma(\alpha + \beta) = \sigma(\alpha) + \sigma(\beta)$ 977 | * **保持加法数乘**：$\sigma(k\alpha) = k \sigma(\alpha)$ 978 | 979 | 那么称$\sigma$是$V$到$V'$的一个同构映射，此时称呼$V$与$V'$是同构的，记作$V \cong V'$。 980 | 981 | 设$\sigma$是$V$到$V'$的一个同构映射，那么有： 982 | 983 | **性质1**：$\sigma(0) = 0'$ 984 | 985 | **性质2**：$\sigma(-\alpha) = -\sigma(\alpha), \quad \forall \alpha \in V$ 986 | 987 | --- 988 | 989 | > [视频46](https://www.bilibili.com/video/av39523603/?p=46) 990 | 991 | **性质3**：对于$V$中任一向量组$\alpha_1, \alpha_2, \cdots, \alpha_s$，$F$中任意一组元素$k_1, k_2, \cdots, k_s$，有 992 | $$ 993 | \alpha(k_1\alpha_1+\cdots+k_s\alpha_s) = k_1\sigma(\alpha_1)+\cdots+k_s\sigma(\alpha_s) 994 | $$ 995 | **性质4**：$V$中的向量组$\alpha_1, \alpha_2, \cdots, \alpha_s$线性相关当且仅当$\sigma(\alpha_1), \sigma(\alpha_2), \cdots, \sigma(\alpha_s)$是$V'$中线性相关的向量组。 996 | 997 | **性质5**：如果$\alpha_1, \alpha_2, \cdots, \alpha_s$是$V$的一个基，那么$\sigma(\alpha_1), \sigma(\alpha_2), \cdots, \sigma(\alpha_s)$是$V'$的一个基。 998 | 999 | **定理1**：域$F$上两个有限维线性空间**同构的充分必要条件**是它们的**维数相等**。 1000 | 1001 | --- 1002 | 1003 | > [视频47](https://www.bilibili.com/video/av39523603/?p=47) 1004 | 1005 | **推论1**：数域$K$上任何一个$n$维的线性空间$V$与$K^n$**同构**。 1006 | 1007 | **命题1**：设$\sigma$是域$F$上线性空间$V$到$V'$的一个同构映射，如果$U$是$V$的一个子空间，那么$\sigma(U)$是$V'$的一个子空间；如果$U$是有限维的，那么$\sigma(U)$也是有限维的，并且$\dim \sigma(U) = \dim U$。 1008 | 1009 | > [视频48](https://www.bilibili.com/video/av39523603/?p=48) 1010 | 1011 | ### 3.12 映射的乘法，可逆映射 1012 | 1013 | **定义1**（**映射的乘法**）：设$f: A \rightarrow B, g: B \rightarrow C$，令$(gf)(a) := g(f(a)), \forall a \in A$，则称$gf$为$g$与$f$的乘法。 1014 | 1015 | > 可以理解为相继做了两次映射（或合成） 1016 | > 1017 | > $h(gf) = (hg)f$ 1018 | 1019 | **定义2**（**恒等变换**）：线性空间$V$上的任意向量$\alpha$均映射成自身，那么这一线性变换为**恒等变换**，记作$I$。 1020 | 1021 | **命题1**：假设$f: A \rightarrow B$，则$f I_A = f, I_B f = f$ 1022 | 1023 | > 可以理解恒等变换类似实数1，和任何数相乘仍为此数 1024 | 1025 | **定义3**：设$f: A \rightarrow B$，如果存在$g: B \rightarrow A$，使得$gf = I_A$，且$fg=I_B$，那么称$f$是**可逆映射**，把$g$称为$f$的**逆映射**。 1026 | 1027 | 若$f$可逆，则$f$的逆映射唯一，把$f$的逆映射记作$f^{-1}$，此时有 1028 | $$ 1029 | f^{-1}f = I_A, ff^{-1} = I_B 1030 | $$ 1031 | 因此$f^{-1}$也是可逆映射，并且$(f^{-1})^{-1} = f$。 1032 | 1033 | --- 1034 | 1035 | > [视频49](https://www.bilibili.com/video/av39523603/?p=49) 1036 | 1037 | **定理1**：$f: A \rightarrow B$是**可逆映射** $\Longleftrightarrow$ $f$是**双射**（单射+满射）。 1038 | 1039 | > 可以根据可逆映射的概念来理解，可逆且唯一 1040 | 1041 | ### 3.13 集合的划分，等价关系 1042 | 1043 | >[视频50](https://www.bilibili.com/video/av39523603/?p=50) 1044 | 1045 | **定义1**：如果集合$S$是它的一些非空子集的并集，其中每两个不相等的子集的交是空集（称为不相交），那么把这些子集组成的集合称为$S$的一个**划分**。 1046 | 1047 | > 这里举了个例子：日期以星期几作为一个划分 1048 | 1049 | 探索集合的划分 1050 | 1051 | * a与b在同一个子集 $\Longleftrightarrow$ a与b模T同余，记作$a \equiv b \quad(\text{mod } T)$。 1052 | * a与b模T同余$\Longleftrightarrow$$(a, b) \in (H_0 \times H_0)\cup(H_1 \times H_1)\cup \cdots \cup(H_6 \times H_6)$ 1053 | 1054 | **定义2**：设$S$是一个非空集合，$S \times S$的一个子集$W$称为$S$上的**二元关系**： 1055 | 1056 | * 若$(a, b) \in W$，则称a与b有W关系，记作$a \widetilde{w} b$，或$a \sim b$； 1057 | * 若$(a, b) \notin W$，则称a与b没有W关系； 1058 | 1059 | **定义3**：$S$上的一个二元关系$\sim$如果满足如下性质： 1060 | 1061 | * $a \sim a, \forall a \in S$（反射性） 1062 | * 若$a \sim b$，则$b \sim a$（对称性） 1063 | * 若$a \sim b$且$b \sim c$，则$a \sim c$（传递性） 1064 | 1065 | 那么称$\sim$是S上的**等价关系**。 1066 | 1067 | --- 1068 | 1069 | > [视频51](https://www.bilibili.com/video/av39523603/?p=51) 1070 | 1071 | **定义4**：设$\sim$是S上的一个等价关系，任给$a \in S$，令$\bar{a} := \{x \in S | x \sim a\}$，则把$\bar{a}$称为$a$的**等价类**。 1072 | 1073 | 由于$a \sim a$，因此$a \in \bar{a}$，把$a$称为$\bar{a}$的一个**代表**。 1074 | 1075 | **性质1**：$\bar{a} = \bar{b} \Longleftrightarrow a \sim b$。 1076 | 1077 | **性质2**：若$\bar{a} \neq \bar{b}$，则$\bar{a} \cap \bar{b} = \phi$。 1078 | 1079 | **定理1**：如果集合$S$上有一个等价关系，那么所有等价类组成的集合是$S$的一个划分。 1080 | 1081 | > $U_{a \in S} \bar{a} := \{x \in S| \exist c \in S, x \in \bar{c}\}$ 1082 | 1083 | 线性空间同构是一个等价关系。 1084 | 1085 | 3.14 商集 1086 | 1087 | **定义1**：集合S的一个划分也称为S的一个商集。 1088 | 1089 | **定理1**：设V是n维线性空间，W是V的一个子空间， 1090 | 1091 | **定理2**：如果V/W的一个基为$\beta_1+W, \cdots, \beta_t+W$，令$U=<\beta_1, \cdots, \beta_t>$，则$V=W \bigoplus U$，且$\beta_1, \cdots, \beta_t$是$U$的一个基。 1092 | 1093 | ## 第四章 矩阵的运算 1094 | 1095 | > [视频55](https://www.bilibili.com/video/av39523603/?p=55) 1096 | 1097 | ### 4.1 矩阵的运算 1098 | 1099 | 两个矩阵相等 <==> 行数、列数和对应的元素相等。 1100 | 1101 | **定义1**（矩阵加法）：设$A=(a_{ij}), B=(b_{ij})$都是数域$K$上的$s\times n$矩阵，令 1102 | $$ 1103 | C=(a_{ij} + b_{ij})_{s\times n} 1104 | $$ 1105 | 则称矩阵$C$是矩阵$A$和$B$的和，记作$C=A+B$。 1106 | 1107 | **定义2**（数量乘积）：设$A=(a_{ij})$是数域$K$上的$s\times n$矩阵，$k\in K$，令 1108 | $$ 1109 | M=(ka_{ij})_{s\times n} 1110 | $$ 1111 | 称矩阵$M$是$k$与矩阵$A$的数量乘积，记作$M=kA$。 1112 | 1113 | **定义3**（矩阵乘法）：设$A=(a_{ij}), B=(b_{ij})$都是数域$K$上的$s\times n$矩阵，令 1114 | $$ 1115 | C=(a_{ij} + b_{ij})_{s\times n} 1116 | $$ 1117 | 其中 1118 | $$ 1119 | c_{ij}=a_{i1}b_{1j}+a_{i2}b_{2j}+\cdots+a_{in}b_{nj}=\sum^{n}_{k=1}a_{ik}b_{kj} 1120 | $$ 1121 | 其中$i=1,2,\cdots,s; j=1,2,\cdots,m$。则称矩阵$C$是矩阵$A$和$B$的乘积，记作$C=AB$。 1122 | 1123 | **定律** 1124 | 1125 | * 结合律：$(AB)C = A(BC)$ 1126 | * 分配律：$A(B+C)=AB+AC$ 1127 | * **单位矩阵**：对角线的元素为1，其他为0，记作$I$，$IA=AI=A$ 1128 | * 矩阵乘法与数量乘法：$k(AB)=(kA)B=A(kB)$ 1129 | * 矩阵转置 1130 | * $(A+B)'=A'+B'$ 1131 | * $(kA)'=kA'$ 1132 | * $(AB)'=B'A'$ 1133 | 1134 | 若$AB = C$，则$C$可由$A$线性表出，$Rank(AB) \le Rank(A)$。 1135 | 1136 | ### 4.2 特殊矩阵 1137 | 1138 | **对角矩阵**：除对角线以外的所有元素全为0，记作$\text{diag}\{d_1, d_2, \cdots, d_n\}$。 1139 | 1140 | **基本矩阵**：只有一个元素是1，其余元素全为0。 1141 | 1142 | **上（下）三角矩阵**：主对角线下（上）的元素全为0。 1143 | 1144 | * 两个n级上三角矩阵A与B的乘积仍为上三角矩阵，并且AB的主对角线元等于A与B的相应主对角元的乘积。 1145 | 1146 | **初等矩阵**：由单位矩阵经过一次初等行（列）变换得到的矩阵为初等矩阵。 1147 | 1148 | * **定理1**：初等矩阵左（右）乘一个矩阵A，就相当于A作了一次相应的初等行（列）变换。 1149 | 1150 | **对称矩阵**：如果一个矩阵满足$A' = A$，那么为对称矩阵 1151 | 1152 | **斜对称矩阵**：如果一个矩阵满足$A' = -A$，那么为斜对称矩阵 1153 | 1154 | ### 4.3 可逆矩阵 1155 | 1156 | 定义1：设$A \in M_n(K)$，如果存在$B \in M_n(K)$，使得 1157 | $$ 1158 | AB=BA=I 1159 | $$ 1160 | 那么称$A$是可逆矩阵，$B$称为$A$的可逆矩阵。 1161 | 1162 | 把$A$的逆矩阵记作$A^{-1}$。 1163 | 1164 | 矩阵$A$可逆的必要条件是$|A| \neq 0$，满秩$Rank(A)=n$。 1165 | 1166 | **伴随矩阵**：对于$A$有$AA^*=|A|I$，那么$A^*$为$A$的伴随矩阵。 1167 | 1168 | 因此有 1169 | $$ 1170 | A^{-1} = \frac{1}{|A|}A^* 1171 | $$ 1172 | **逆矩阵性质**： 1173 | 1174 | * 初等矩阵都可逆 1175 | * 单位阵可逆，$I^{-1} = I$ 1176 | * 如果$A$可逆，那么$A^{-1}$也可逆，且$(A^{-1})^{-1} = A$ 1177 | * 如果n级矩阵A、B可逆，那么$AB$也可逆，并且$(AB)^{-1}=B^{-1}A^{-1}$ 1178 | * $(A')^{-1}=(A^{-1})'$ 1179 | * 矩阵$A$可逆的充要条件是它可以表示成一些初等矩阵的乘积 1180 | * 用一个可逆矩阵左（右）乘一个矩阵$A$，不改变$A$的秩 1181 | * 一种求逆矩阵的方法，初等变换法 1182 | 1183 | ### 4.4 矩阵的分块 1184 | 1185 | 分块矩阵的初等行（列）变换不改变矩阵的秩。 1186 | 1187 | ### 4.5 矩阵乘积的行列式 1188 | 1189 | 定理1：$rank(AB) \le \min\{rank(A), rank(B)\}$ 1190 | 1191 | 定理2：设$A=(a_{ij})_{n\times n}, B=(b_{ij})_{n\times n}$，则 1192 | $$ 1193 | |AB|=|A||B| 1194 | $$ 1195 | 1196 | ## 第五章 一元多项式 1197 | 1198 | ### 5.1 一元多项式 1199 | 1200 | 1201 | 1202 | ## 参考 1203 | 1204 | 1. [数学学习小组](https://github.com/yuerYDP/Math_learning_group) 1205 | 1206 | [回到顶部](#丘维声高等代数学习笔记) 1207 | 1208 | -------------------------------------------------------------------------------- /img/2.3.Determinant-rules.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/loveunk/math-advanced-algebra-notes/30df5f9e2499083df8b42bcc992724ee9c13fe73/img/2.3.Determinant-rules.png --------------------------------------------------------------------------------