线性代数

张玮

目录

  • 1 线性方程组
    • 1.1 线性方程组的基本概念
    • 1.2 高斯消元法与阶梯型
    • 1.3 线性方程组的等价与初等变换
    • 1.4 矩阵
    • 1.5 齐次线性方程组
    • 1.6 二阶行列式
    • 1.7 三阶行列式
  • 2 集合与映射
    • 2.1 集合的基本概念
    • 2.2 集合之间的运算
    • 2.3 集合的乘积和基数
    • 2.4 映射的基本概念
    • 2.5 映射的合成
    • 2.6 逆映射
    • 2.7 对换
    • 2.8 置换的分解
    • 2.9 例子
    • 2.10 置换的符号
    • 2.11 偶置换与奇置换
    • 2.12 置换在函数上的作用
    • 2.13 等价关系
    • 2.14 商映射与序关系
    • 2.15 数学归纳法
    • 2.16 整数的算术(上)
    • 2.17 整数的算术(下)
  • 3 矩阵
    • 3.1 向量和向量空间
    • 3.2 线性组合和线性相关
    • 3.3 一些性质
    • 3.4 基
    • 3.5 维数
    • 3.6 行秩、列秩的定义及性质
    • 3.7 线性方程组的可解性准则
    • 3.8 重新理解线性方程组
    • 3.9 线性映射
    • 3.10 矩阵的运算
    • 3.11 矩阵乘积的秩
    • 3.12 矩阵的转置
    • 3.13 单位矩阵和纯量矩阵
    • 3.14 可逆矩阵
    • 3.15 一些计算
    • 3.16 初等矩阵
    • 3.17 逆矩阵的计算
    • 3.18 线性方程组的解空间
    • 3.19 解空间的基础解系
  • 4 行列式
    • 4.1 平行六面体的体积与行列式
    • 4.2 行列式的若干性质
    • 4.3 广义行列式函数
    • 4.4 行列式按一行或一列的元素展开
    • 4.5 准三角方阵的行列式
    • 4.6 方阵乘积的行列式
    • 4.7 例子
    • 4.8 可逆矩阵的行列式判别准则
    • 4.9 克拉默法则
    • 4.10 矩阵的子式与矩阵的秩的联系
  • 5 群、环、域
    • 5.1 运算
    • 5.2 结合律的性质
    • 5.3 幂与倍数
    • 5.4 可逆元素
    • 5.5 群的定义和例子
    • 5.6 循环群
    • 5.7 元素的阶
    • 5.8 循环群的子群
    • 5.9 同态与同构
    • 5.10 例子与结论
    • 5.11 半群的乘法表以及群与对称
    • 5.12 环的定义和例子
    • 5.13 整数的剩余类环
    • 5.14 零因子、整环
    • 5.15 同态
    • 5.16 域的定义,例子
    • 5.17 素域
    • 5.18 域的特征
    • 5.19 任意域上的线性方程组
  • 6 复数和多项式
    • 6.1 复数域
    • 6.2 矩阵模型
    • 6.3 复平面、棣莫弗公式
    • 6.4 共轭
    • 6.5 实数域二次扩张的唯一性
    • 6.6 有理数域的二次扩张
    • 6.7 复数的初等几何
    • 6.8 尺规作图与二次扩张
    • 6.9 定义
    • 6.10 一些术语
    • 6.11 多项式的取值
    • 6.12 带余除法
    • 6.13 多元多项式
    • 6.14 多元单项式的字典序
    • 6.15 若干术语
    • 6.16 整除的初等性质
    • 6.17 最大公因子和最小公倍元
    • 6.18 欧几里得环的唯一因子分解性
    • 6.19 整系数多项式的因式分解
    • 6.20 整环的分式域
    • 6.21 欧几里得环的分式域
    • 6.22 有理函数域
  • 7 多项式的根
    • 7.1 根与线性因子
    • 7.2 韦达公式
    • 7.3 多项式的导数与根的重数
    • 7.4 重因子
    • 7.5 多项式函数
    • 7.6 代数基本定理的叙述和一些引理
    • 7.7 代数基本定理的证明
    • 7.8 实系数多项式的虚根
    • 7.9 复数域和实数域上的最简分式
    • 7.10 实系数多项式的根(上)
    • 7.11 实系数多项式的根(中)
    • 7.12 实系数多项式的根(下)
    • 7.13 斯图姆定理的证明
    • 7.14 正根的个数与系数的关系
    • 7.15 多项式根的近似计算
    • 7.16 整系数多项式的有理根
    • 7.17 对称多项式的定义与例子
    • 7.18 对称多项式的基本定理
    • 7.19 待定系数法
    • 7.20 一元四次方程的求根问题
    • 7.21 判别式
    • 7.22 解三次方程
    • 7.23 结式(上)
    • 7.24 结式(下)
  • 8 复习
    • 8.1 复习(一)
    • 8.2 复习(二)
    • 8.3 复习(三)
    • 8.4 复习(四)
  • 9 阅读
    • 9.1 阅读
  • 10 问卷调查
    • 10.1 问卷调查
单位矩阵和纯量矩阵
  • 1 视频
  • 2 章节测验

单位矩阵在高等代数中的应用

高等代数中,在求解相应的矩阵时若添加单位矩阵然后通过初等变换进行求解往往可以使问题变得简单。

求等价标准型问题

设A是mxn矩阵,求A的等价标淮型D以及使PAQ=D成立的P与Q,按常规方法,一般会分别对A作行初等变化与列初等变化求出P、Q,而如果利用添加单位矩阵:即

当对A作行初等变换时,Im也作了相同的行初等变换,即化为P;

当对A作列初等变换时,In也作了相同的行初等变换,即化为Q。

求逆矩阵问题

设A是n阶可逆矩阵,求其逆矩阵。

一般的思想,会先求出   ,再利用   进行求解,这种方法算起来较麻烦且易出错。

可以利用   ,即把n阶单位炬阵I在A的右边,得到一个nx2n矩阵,然后对这一矩阵施行行初等变换,使得前n列变为I,这时后n列就化为   了。

如果不知A是否可逆,也可用这种方法做,只要nX2n矩阵经行初等变换左边的nxn那一块中有一行(列)的元素全为0,则A不能经过初等变换化为单位矩阵,即A不可逆。

纯量矩阵

如果对角形矩阵A中主对角线上的元素全为k,则A=kE,E为单位阵,则称A为纯量矩阵。又或者,可以这么描述:纯量矩阵是指主对角线上的元素都相同,其余元素都为0的矩阵。其数学表达形式如下:

矩阵A正好是在   的任一基中对应于比为k 的   的同位相似的矩阵。

映射k↦kE是从交换体K到全体n阶纯量矩阵之集上的同构。

纯量矩阵性质

定理1

设A是数域F上n阶矩阵,则下列命题等价:

(1) A是纯量矩阵;

(2) A与F上任一n阶矩阵都可换;

(3) A的任一相似阵必是A本身;

(4) 设   (   表示 i 行 j 列的元素为1,其余元素全为0的n阶矩阵,);

(5) 设   同(4),则   ;

(6) 设n阶矩阵:


则:AH=HA,AH'=H'A(H'为H的转置矩阵);

(7) 设n阶矩阵:


则:AU=UA,AU'=U'A(U'为U的转置矩阵);

(8)设n阶矩阵U同(7)且:

则:AU=UA,AL=LA;

(9)设n阶矩阵U同(7),且:

则:AU=UA,AQ=QA。

定理2

设A是数域F上n阶矩阵,则下列命题等价:

(1) A是纯量矩阵;

(2) A的极小多项式是一次的;

(3) A的不变因式都相等;

(4) A的不变因式都是一次的;

(5) A的行列式因子组是型如    ;

(6) A的初等因子全相等,且因子个数等于n;

(7) A的初等因子全相等,且A的初等因子全体等于A的不变因子全体。

定理3

设A是数域F上n阶矩阵,V是F上n维向量空间,线性变换A在基下的对应阵是A,则下列命题等价:

(1) A是纯量矩阵;

(2) A是纯量变换,   即(    是V的恒等变换);

(3) 设B是V的任一线性变换,则AB=BA;

(4) A在V的任一基下所对应的矩阵仍是A;

(5) V的任一子空间都是A的不变子空间;

(6) V的任一一维子空间都是A的不变子空间;

(7) 设V的基为    ,则   都是A的不变子空间;    都是A的不变子空间。

引理及定理

引理

引理 1:如果数域F 上 n 阶方阵A 与任意n阶方阵的乘法是可交换的,那么 A 一定是纯量矩阵。

引理 2:数域F 上 n 阶方阵A 为纯量矩阵的充要条件是 A 与任何 n 阶可逆矩阵的乘法可交换。

定理

(1)定理 1:数域F 上 n 阶方阵 A 为纯量矩阵的充分必要条件是:A 与所有行列式为 1 的n阶矩阵可交换。

(2)定理 2:数域 F 上 n 阶方阵 A 为纯量矩阵的充分必要条件是   中的每个非零向量都是它的特征向量。

(3)定理 3:数域 F 上 n 阶方阵 A 为纯量矩阵的充分必要条件是 A 的不变因子都不是常数。

根据定理 3 和行列式因子、初等因子、不变因子的关系,容易得到:

1)推论 1:数域 F 上 n 阶方阵 A 为纯量矩阵的充分必要条件是 A 的不变因子都是一次的。

2)推论 2:数域 F 上 n 阶方阵 A 为纯量矩阵的充分必要条件是 A 的 k 阶行列式因子都是 k 次的。

3)推论 3:数域 F 上 n 阶方阵 A 为纯量矩阵的充分必要条件是 A 的初等因子都相等,且 A 的初等因子组为 A 的不变因子全体。

数域 F 上 n 阶矩阵的相似是一个等价关系,在相似关系下, A 的等价类称为 A 的相似类。

(4)定理 4:数域 F 上 n 阶方阵 A 为纯量矩阵的充分必要条件是 A 的相似类里只有一个元素 。