验证c和c的逆矩阵之积是否为单位矩阵_高等代数教学笔记4：矩阵 I

对于一般的线性方程组 (行列式为零或方程与未知量不一样多), Cramer 法则 不能 (直接) 应用, 于是需要新的方法, 对方程组的系数进行处理. 代数学处理问题的方式一般是整体考 虑, 记  为数域 上的 m×n 矩阵的全体, 先研究这个集合的整体性质, 然后 再分别考虑特殊的矩阵. 而在代数层面上, 集合的整体性质是通过其中的运算关系来展示的, 所以 我们需要研究矩阵集合上的运算.

矩阵的运算

在 上有自然定义的加法运算

并且满足 如下性质 . 问题4.1 (1) 交换律: A + B = B + A;(2) 结合律: (A + B) + C = A + (B + C);(3) 零矩阵: 0 + A = A, 这里的 0 是所有元素都是 0 的矩阵;(4) 负元 (可以定义减法): 存在 B 使得 B + A = 0. (唯一的! 记为 -A.)这些性质的验证非常简单, 不过有必要提醒一下: 从现在开始, 我们会慢慢走进抽象的数学领域, 当然, 这个抽象的过程是一步步实现的, 不能一蹴而就. 最自然的抽象过程是在很多数学对象中寻找共性, 提炼出来就是一个抽象的数学概念. 比如, 上述的四个性质是代数学中所讨论的加法的共性, 这一类对象以后会有一个共同的名字——Abel 群; 更一般地, 只满足~(2)-(4), 不满足交换律的对象就是今后需要研究的群. 在  上可以定义数乘运算 ◦ (通常省略):

数乘运算不再是矩阵内部的运算, 而是常数与矩阵之间的运算. 而 上有加 法和乘法运算, 上有刚刚定义的加法运算, 因此我们需要考虑所有这些运算 之间的关系. 另外, 数域中有一个特殊元素 1, 它在数乘中的地位也是比较特殊的.  这些结合起来就自然有如下问题. 问题4.2 (5) 单位 1: 1 ◦ A = A;(6) (结合律) (kl) ◦ A = k ◦ (l ◦ A);(7) (分配律一) k ◦ (A + B) = k ◦ A + k ◦ B;(8) (分配律二) (k + l) ◦ A = k ◦ A + l ◦ A.我们将会发现, 满足加法和数乘运算及如上性质 (1) − (8) 的研究对象越来越 多, 比如前面提到的数域、多项式、平面向量、空间向量等, 它们最终融汇成一个 抽象的概念——线性空间, 这将把高等代数的研究提到一个新的高度. 矩阵中更重要的运算自然是 Cayley 利用变量替换方式引入的矩阵乘法. 按照 惯例, 我在上课时让学生们计算了两三个变量时的替换, 并且要求他们在课堂上计 算出结果. 这不是一个困难的过程, 学生们基本能得到结果, 如下图所示.