摘要 本课开启课程的第四单元,该单元讨论矩阵与代数结构。它介绍组成本单元的七节课以及贯穿其中的主线:线性方程组的系数表变成具有自身运算的对象,行列式判定系数矩阵为方阵的方程组何时有唯一解,逆矩阵一举求出这个解,矩阵被解读为平面变换,复数作为一族矩阵重新出现,而所有这些计算的共同之处凝结为代数意义上的群、环与域的概念。它回顾这些思想的历史背景,从《九章算术 》到凯莱、伽罗瓦和诺特;准确地提出催生这些思想的两个问题,即线性方程组的求解与多项式方程的根式求解;并指出这些思想在哪里再次得到运用:在本课程中,特别是在作为课程结尾的空间解析几何中,在本站的其他课程中,以及在科学与技术中。
学习目标 描述本单元各课的顺序,并解释每一课对研究线性方程组、平面变换和代数结构的贡献。 把矩阵、行列式和群的概念放到其历史背景中,并说出每个概念当初所要解决的问题。 把一个含三个未知量的经典问题写成矩阵方程,并用消元法和行列式求解。 以二次方程为例,解释为什么对方程根的置换的研究导向了群的概念,并指出矩阵与代数结构的当代应用。 入门测评 在学习本单元之前,先测一测自己的起点是有益的。前九道题涉及七节内容课,其中两节核心课,即关于行列式的课与关于逆矩阵的课,各出两道题;第十道题是一道建模题,要求用矩阵乘法为一个实际情境建立数学表述;同样的技能会在最后的总结课中再次测量。最后三道题检查本单元默认已从课程 I 以及关于复数的极坐标形式的单元中掌握的内容。这份自测不计分数:它的作用是让人知道自己掌握了什么、该在哪里停下来细看。
开始本单元之前,先测一测你的起点。这是一次简短的自我测评:不计分,结果只保存在你的浏览器中。
第 1 题 设 A = ( 1 2 3 4 ) A = \begin{pmatrix} 1 & 2 \\ 3 & 4 \end{pmatrix} A = ( 1 3 2 4 ) ,B = ( 0 1 2 1 ) B = \begin{pmatrix} 0 & 1 \\ 2 & 1 \end{pmatrix} B = ( 0 2 1 1 ) 。乘积 A B AB A B 是什么?
( 3 4 5 8 ) \begin{pmatrix} 3 & 4 \\ 5 & 8 \end{pmatrix} ( 3 5 4 8 ) 这是乘积
B A BA B A ,次序相反。矩阵乘法不可交换,而在
A B AB A B 中,行取自
A A A 。
( 2 4 4 10 ) \begin{pmatrix} 2 & 4 \\ 4 & 10 \end{pmatrix} ( 2 4 4 10 ) 把
A A A 的行与
B B B 的行结合起来了,这得到
A B T AB^{\mathsf{T}} A B T 。元素
( i , j ) (i, j) ( i , j ) (属于
A B AB A B )用的是第
j j j 列(属于
B B B )。
每个元素把
A A A 的一行与
B B B 的一列结合起来:元素
( 1 , 1 ) (1, 1) ( 1 , 1 ) 是
1 ⋅ 0 + 2 ⋅ 2 = 4 1 \cdot 0 + 2 \cdot 2 = 4 1 ⋅ 0 + 2 ⋅ 2 = 4 ,元素
( 1 , 2 ) (1, 2) ( 1 , 2 ) 是
1 ⋅ 1 + 2 ⋅ 1 = 3 1 \cdot 1 + 2 \cdot 1 = 3 1 ⋅ 1 + 2 ⋅ 1 = 3 ,元素
( 2 , 1 ) (2, 1) ( 2 , 1 ) 是
3 ⋅ 0 + 4 ⋅ 2 = 8 3 \cdot 0 + 4 \cdot 2 = 8 3 ⋅ 0 + 4 ⋅ 2 = 8 ,元素
( 2 , 2 ) (2, 2) ( 2 , 2 ) 是
3 ⋅ 1 + 4 ⋅ 1 = 7 3 \cdot 1 + 4 \cdot 1 = 7 3 ⋅ 1 + 4 ⋅ 1 = 7 。
复习: 矩阵及其运算
第 2 题 考虑方程组 x + y + z = 1 x + y + z = 1 x + y + z = 1 、x + 2 y + 3 z = 2 x + 2y + 3z = 2 x + 2 y + 3 z = 2 与 2 x + 3 y + 4 z = k 2x + 3y + 4z = k 2 x + 3 y + 4 z = k 。k k k 取哪些值时它相容?此时它有多少个解?
仅当 k = 3 k = 3 k = 3 时相容,此时有唯一解。 相容并不蕴含唯一:当
k = 3 k = 3 k = 3 时,共同的秩为
2 2 2 ,小于未知量个数,有无穷多解。
系数的第三行是前两行之和,化为阶梯形后剩下行
( 0 , 0 , 0 , k − 3 ) \left( 0, 0, 0, k - 3 \right) ( 0 , 0 , 0 , k − 3 ) 。若
k ≠ 3 k \neq 3 k = 3 ,增广矩阵的秩为
3 3 3 ,而系数矩阵的秩为
2 2 2 ,方程组不相容;若
k = 3 k = 3 k = 3 ,两个秩都等于
2 2 2 ,小于未知量个数,由鲁歇-弗罗贝尼乌斯定理有
3 − 2 = 1 3 - 2 = 1 3 − 2 = 1 个自由参数。
复习: 线性方程组与高斯-若尔当消元法
第 3 题 计算行为 ( 2 , 1 , 1 ) \left( 2, 1, 1 \right) ( 2 , 1 , 1 ) 、( 1 , 3 , − 1 ) \left( 1, 3, -1 \right) ( 1 , 3 , − 1 ) 与 ( 0 , 1 , 4 ) \left( 0, 1, 4 \right) ( 0 , 1 , 4 ) 的矩阵的行列式。
正确答案: 23 23 23
按第一行展开,
2 ⋅ ( 3 ⋅ 4 − ( − 1 ) ⋅ 1 ) − 1 ⋅ ( 1 ⋅ 4 − ( − 1 ) ⋅ 0 ) + 1 ⋅ ( 1 ⋅ 1 − 3 ⋅ 0 ) = 26 − 4 + 1 = 23 2 \cdot \left( 3 \cdot 4 - (-1) \cdot 1 \right) - 1 \cdot \left( 1 \cdot 4 - (-1) \cdot 0 \right) + 1 \cdot \left( 1 \cdot 1 - 3 \cdot 0 \right) = 26 - 4 + 1 = 23 2 ⋅ ( 3 ⋅ 4 − ( − 1 ) ⋅ 1 ) − 1 ⋅ ( 1 ⋅ 4 − ( − 1 ) ⋅ 0 ) + 1 ⋅ ( 1 ⋅ 1 − 3 ⋅ 0 ) = 26 − 4 + 1 = 23 。得到
31 31 31 的人忘记了展开式第二项的交错符号。
复习: 行列式:性质与克拉默法则
第 4 题 设 A A A 是 3 3 3 阶矩阵,且 det A = 2 \det A = 2 det A = 2 。det ( 3 A T ) \det\left( 3 A^{\mathsf{T}} \right) det ( 3 A T ) 等于多少?
正确答案: 54 54 54
转置矩阵的行列式不变,而把矩阵乘以
3 3 3 就是把它的三行各乘以
3 3 3 ;由对每一行的线性,行列式乘以
3 3 = 27 3^3 = 27 3 3 = 27 ,等于
27 ⋅ 2 = 54 27 \cdot 2 = 54 27 ⋅ 2 = 54 。得到
6 6 6 的人只乘了一次
3 3 3 ,仿佛
3 A 3A 3 A 只有一行被乘过。
复习: 行列式:性质与克拉默法则
第 5 题 矩阵 A = ( 3 5 1 2 ) A = \begin{pmatrix} 3 & 5 \\ 1 & 2 \end{pmatrix} A = ( 3 1 5 2 ) 的逆矩阵是什么?
行列式为
3 ⋅ 2 − 5 ⋅ 1 = 1 3 \cdot 2 - 5 \cdot 1 = 1 3 ⋅ 2 − 5 ⋅ 1 = 1 ;按二阶公式,交换主对角线上的元素,改变另一条对角线上元素的符号,再除以
1 1 1 。它与
A A A 的乘积是单位矩阵。
复习: 逆矩阵
第 6 题 设 A A A 、B B B 与 C C C 是同阶方阵,且 A A A 与 B B B 可逆。方程 A X B = C AXB = C A X B = C 的解是什么?
X = B − 1 C A − 1 X = B^{-1} C A^{-1} X = B − 1 C A − 1 两个逆矩阵放到了相反的两侧。由于乘法不可交换,为了消去
A A A (它位于
X X X 的左边),必须在左边乘以
A − 1 A^{-1} A − 1 。
X = A − 1 B − 1 C X = A^{-1} B^{-1} C X = A − 1 B − 1 C 全部都是在左边相乘。用
B − 1 B^{-1} B − 1 在
A X B AXB A X B 的左边相乘,消不掉
B B B ,因为它位于
X X X 的右边。
在左边乘以
A − 1 A^{-1} A − 1 ,即
A A A 所在的一侧,在右边乘以
B − 1 B^{-1} B − 1 ,即
B B B 所在的一侧;由结合律,
A − 1 ( A X B ) B − 1 = X A^{-1}(AXB)B^{-1} = X A − 1 ( A X B ) B − 1 = X 。
复习: 逆矩阵
第 7 题 把每个向量绕原点按逆时针方向旋转四分之一周、然后关于横轴反射的平面变换,其矩阵是什么?
( 0 1 − 1 0 ) \begin{pmatrix} 0 & 1 \\ -1 & 0 \end{pmatrix} ( 0 − 1 1 0 ) 这是按顺时针方向转四分之一周的旋转。它的行列式为
1 1 1 ,而旋转与反射的复合使定向反转,因此其行列式为
− 1 -1 − 1 。
反射
S S S (行为
1 , 0 1, 0 1 , 0 与
0 , − 1 0, -1 0 , − 1 )在旋转
R R R (行为
0 , − 1 0, -1 0 , − 1 与
1 , 0 1, 0 1 , 0 )之后的复合,其矩阵为
S R SR S R :先作用的因子放在右边。它的列是向量
e ⃗ 1 \vec{e}_1 e 1 的像,该向量先变为
( 0 , 1 ) (0, 1) ( 0 , 1 ) ,再变为
( 0 , − 1 ) (0, -1) ( 0 , − 1 ) ;以及向量
e ⃗ 2 \vec{e}_2 e 2 的像,该向量变为
( − 1 , 0 ) (-1, 0) ( − 1 , 0 ) ,之后不再改变。
复习: 作为平面变换的矩阵
第 8 题 设 M ( z ) M(z) M ( z ) 是乘以复数 z z z 的矩阵。计算 det M ( 3 − 4 i ) \det M(3 - 4i) det M ( 3 − 4 i ) 。
正确答案: 25 25 25
a + b i a + bi a + bi 的矩阵的行为
a , − b a, -b a , − b 与
b , a b, a b , a ,其行列式为
a 2 + b 2 = ∣ z ∣ 2 a^2 + b^2 = \abs{z}^2 a 2 + b 2 = ∣ z ∣ 2 ;这里
9 + 16 = 25 9 + 16 = 25 9 + 16 = 25 。得到
− 7 -7 − 7 的人算的是
a 2 − b 2 a^2 - b^2 a 2 − b 2 ,忘了元素
− b -b − b 的符号;得到
5 5 5 的人取的是模而不是模的平方。
复习: 作为矩阵的复数
第 9 题 下列集合连同所给的运算,哪一个是群?
整数,对乘法。 整数的乘法满足结合律,有单位元
1 1 1 ,但
2 2 2 没有逆元,因为没有整数
b b b 满足
2 b = 1 2b = 1 2 b = 1 。
Z 6 \mathbb{Z}_6 Z 6 的非零余数,对乘法。这个集合不封闭:
2 ⋅ 3 = 0 2 \cdot 3 = 0 2 ⋅ 3 = 0 (在
Z 6 \mathbb{Z}_6 Z 6 中),而这个结果不属于该集合。零因子使非零余数无法构成群。
因为
7 7 7 是素数,
Z 7 \mathbb{Z}_7 Z 7 是域:两个非零余数的乘积不为零,乘法满足结合律,有单位元
1 1 1 ,并且每个非零余数都有逆元。
复习: 代数结构:群、环与域
第 10 题 某城市的市中心有 600 600 600 千名居民,郊区有 400 400 400 千名居民。每年,市中心百分之 10 10 10 的居民迁往郊区,郊区百分之 20 20 20 的居民迁往市中心;此外没有人迁入或迁出。若这些比例保持不变,两年后市中心将有多少千名居民?
正确答案: 634 634 634
设向量
x k x_k x k 记录市中心与郊区的人口(在
k k k 年之后),则它每年乘以转移矩阵
T T T (行为
0.9 0.9 0.9 、
0.2 0.2 0.2 与
0.1 0.1 0.1 、
0.8 0.8 0.8 ),该矩阵的第
j j j 列分配区域
j j j 的居民;由乘法结合律,
x 2 = T 2 x 0 x_2 = T^2 x_0 x 2 = T 2 x 0 。第一年得
620 620 620 与
380 380 380 ,第二年得
0.9 ⋅ 620 + 0.2 ⋅ 380 = 634 0.9 \cdot 620 + 0.2 \cdot 380 = 634 0.9 ⋅ 620 + 0.2 ⋅ 380 = 634 与
366 366 366 ,总数
1000 1000 1000 保持不变。得到
620 620 620 的人只算了一年;得到
566 566 566 的人用了
T T T 的转置,其各列之和不是
1 1 1 ,因而总数不守恒。
复习: 矩阵及其运算
第 11 题 来自前面的单元 用克拉默法则解方程组 2 x + 3 y = 7 2x + 3y = 7 2 x + 3 y = 7 ,x − y = 1 x - y = 1 x − y = 1 ,并给出 x x x 的值。
正确答案: 2 2 2
方程组的行列式是
D = 2 ⋅ ( − 1 ) − 3 ⋅ 1 = − 5 D = 2 \cdot (-1) - 3 \cdot 1 = -5 D = 2 ⋅ ( − 1 ) − 3 ⋅ 1 = − 5 ,把
x x x 的那一列换成常数项后得到的行列式是
D x = 7 ⋅ ( − 1 ) − 3 ⋅ 1 = − 10 D_x = 7 \cdot (-1) - 3 \cdot 1 = -10 D x = 7 ⋅ ( − 1 ) − 3 ⋅ 1 = − 10 ;由此
x = − 10 − 5 = 2 x = \frac{-10}{-5} = 2 x = − 5 − 10 = 2 ,并且
y = 1 y = 1 y = 1 。得到
− 2 -2 − 2 的人在计算其中一个行列式时,把两条对角线的乘积按相反的次序相减了。
复习: 一次方程、一次不等式与线性方程组
第 12 题 来自前面的单元 求 4 4 4 模 9 9 9 的逆元,即余数 x x x (介于 0 0 0 与 8 8 8 之间),它满足 4 x ≡ 1 ( m o d 9 ) 4x \equiv 1 \pmod{9} 4 x ≡ 1 ( mod 9 ) 。
正确答案: 7 7 7
因为
gcd ( 4 , 9 ) = 1 \operatorname{gcd}(4, 9) = 1 gcd ( 4 , 9 ) = 1 ,逆元存在,而且
4 ⋅ 7 = 28 = 3 ⋅ 9 + 1 4 \cdot 7 = 28 = 3 \cdot 9 + 1 4 ⋅ 7 = 28 = 3 ⋅ 9 + 1 。回答
1 4 \frac{1}{4} 4 1 的人是在有理数中找倒数,而不是找模
9 9 9 的余数。
复习: 同余与模算术
第 13 题 来自前面的单元 1 + i 3 1 + i\sqrt{3} 1 + i 3 的极坐标形式是什么?
2 ( cos π 6 + i sin π 6 ) 2\left( \cos \frac{\pi}{6} + i \sin \frac{\pi}{6} \right) 2 ( cos 6 π + i sin 6 π ) 余弦与正弦弄反了:
cos π 6 = 3 2 \cos \frac{\pi}{6} = \frac{\sqrt{3}}{2} cos 6 π = 2 3 对应的应是实部,但实部是
1 1 1 。
2 ( cos 2 π 3 + i sin 2 π 3 ) 2\left( \cos \frac{2\pi}{3} + i \sin \frac{2\pi}{3} \right) 2 ( cos 3 2 π + i sin 3 2 π ) 这是第二象限的复数
− 1 + i 3 -1 + i\sqrt{3} − 1 + i 3 ;
1 + i 3 1 + i\sqrt{3} 1 + i 3 的实部为正,位于第一象限。
模是
1 + 3 = 2 \sqrt{1 + 3} = 2 1 + 3 = 2 ,辐角是第一象限中余弦为
1 2 \frac{1}{2} 2 1 、正弦为
3 2 \frac{\sqrt{3}}{2} 2 3 的角,即
π 3 \frac{\pi}{3} 3 π 。
复习: 复数的极坐标形式
检查答案 重新作答
本课节其余部分
本单元的内容 历史背景 系数表 行列式 矩阵 群、环与域 催生本单元的问题群 求解线性方程组 求解多项式方程 本单元的意义 在本课程中 在本站的其他课程中 在科学与技术中 使用免费账户继续阅读
创建免费账户后,您可以阅读本课节全文和每门课程的前几个课节,并保存您的进度。
获取完整课程
本课节的其余部分属于订阅内容。 订阅后,您可以学习每门课程的全部课节,附带习题与证明。
获取完整课程
本课节的其余部分属于订阅内容。 订阅后,您可以学习每门课程的全部课节,附带习题与证明。
每月 US$19.00 或每年 US$149.00
正在加载内容…