• 引言:边听网课边看线性代数,爽!
    线代太好玩了,鉴于博主的老年记忆,赶紧记录下来
    本文主要介绍行列式的一些性质与应用,还有矩阵的一些运算
    大概是《线性代数》的精简版外加一些自己的理解
  • 行列式的定义
    线性代数初探(行列式,矩阵初等变换,矩阵的秩)_线性方程组线性代数初探(行列式,矩阵初等变换,矩阵的秩)_逆序对_02 的一个排列,排列中的逆序对个数为 线性代数初探(行列式,矩阵初等变换,矩阵的秩)_线性代数_03,那么行列式为
    线性代数初探(行列式,矩阵初等变换,矩阵的秩)_线性代数_04
    引理1:交换排列中的任意两个数 线性代数初探(行列式,矩阵初等变换,矩阵的秩)_线性方程组_05,逆序对个数奇偶性改变
    证明:相邻的时候显然会改变,不相邻的时候假设中间有 线性代数初探(行列式,矩阵初等变换,矩阵的秩)_线性代数_06 个数,需要用 线性代数初探(行列式,矩阵初等变换,矩阵的秩)_线性代数_06 次换过去再用 线性代数初探(行列式,矩阵初等变换,矩阵的秩)_逆序对_08 次换回来,得证。
  • 行列式的性质

    线性代数初探(行列式,矩阵初等变换,矩阵的秩)_线性方程组_09
    其中 线性代数初探(行列式,矩阵初等变换,矩阵的秩)_线性方程组_10 为 行列式线性代数初探(行列式,矩阵初等变换,矩阵的秩)_线性代数_11 的转置行列式。
  • 性质1:线性代数初探(行列式,矩阵初等变换,矩阵的秩)_逆序对_12
    对于 线性代数初探(行列式,矩阵初等变换,矩阵的秩)_线性代数_11 中的任意一项,线性代数初探(行列式,矩阵初等变换,矩阵的秩)_线性方程组_14,交换 线性代数初探(行列式,矩阵初等变换,矩阵的秩)_逆序对_15,意义是行标排列和列标排列做了一次相应的对换,注意到这个过程并不改变奇偶性,于是我们可以找到 线性代数初探(行列式,矩阵初等变换,矩阵的秩)_线性方程组_10 中的唯一一项 线性代数初探(行列式,矩阵初等变换,矩阵的秩)_逆序对_17 与之相等,只需要考虑每次把第 线性代数初探(行列式,矩阵初等变换,矩阵的秩)_线性代数_18 换到第 线性代数初探(行列式,矩阵初等变换,矩阵的秩)_线性代数_19 项即可。
  • 性质2:对换行列式中的两行或两列,行列式变号。
    考虑某一项 线性代数初探(行列式,矩阵初等变换,矩阵的秩)_线性方程组_14,变成 线性代数初探(行列式,矩阵初等变换,矩阵的秩)_线性代数_21 逆序对个数改变奇偶性于是 线性代数初探(行列式,矩阵初等变换,矩阵的秩)_逆序对_22,得证。
    推论:两行或两列相同行列式为 0
  • 性质3:行列式中某一行或一列乘上一个数线性代数初探(行列式,矩阵初等变换,矩阵的秩)_线性代数_23 的行列式等于用 线性代数初探(行列式,矩阵初等变换,矩阵的秩)_线性代数_23 乘上这个行列式
  • 性质4:若行列式的某一行或列都是两数的和,那么可以拆成两个行列式的和
    推论:把某一行或列的每个元素乘上 线性代数初探(行列式,矩阵初等变换,矩阵的秩)_线性代数_23 加到令一行行列式不变
  • 行列式按行(列)展开
    线性代数初探(行列式,矩阵初等变换,矩阵的秩)_线性代数_26 阶行列式中,把 线性代数初探(行列式,矩阵初等变换,矩阵的秩)_线性代数_27线性代数初探(行列式,矩阵初等变换,矩阵的秩)_线性代数_28 的第 线性代数初探(行列式,矩阵初等变换,矩阵的秩)_线性代数_18 行和第 线性代数初探(行列式,矩阵初等变换,矩阵的秩)_逆序对_30 列划去留下的 线性代数初探(行列式,矩阵初等变换,矩阵的秩)_线性代数_31 阶行列式叫做 线性代数初探(行列式,矩阵初等变换,矩阵的秩)_线性代数_27线性代数初探(行列式,矩阵初等变换,矩阵的秩)_线性代数_28 的余子式,记为 线性代数初探(行列式,矩阵初等变换,矩阵的秩)_线性方程组_34,记 线性代数初探(行列式,矩阵初等变换,矩阵的秩)_线性方程组_35,叫做 线性代数初探(行列式,矩阵初等变换,矩阵的秩)_线性代数_27线性代数初探(行列式,矩阵初等变换,矩阵的秩)_线性代数_28 的代数余子式
  • 引理:如果第线性代数初探(行列式,矩阵初等变换,矩阵的秩)_线性代数_18 行元素除了 线性代数初探(行列式,矩阵初等变换,矩阵的秩)_线性代数_28 外都为 0 ,那么 线性代数初探(行列式,矩阵初等变换,矩阵的秩)_逆序对_40
    线性代数初探(行列式,矩阵初等变换,矩阵的秩)_线性方程组_41 时显然成立,否则我们交换 线性代数初探(行列式,矩阵初等变换,矩阵的秩)_线性方程组_42 次换到第一行,交换 线性代数初探(行列式,矩阵初等变换,矩阵的秩)_线性方程组_43 次换到第一列
    定理:行列式等于它任一行(一列)的各元素对应的代数余子式乘积之和
    线性代数初探(行列式,矩阵初等变换,矩阵的秩)_逆序对_44
  • 简介:范德蒙得行列式
    线性代数初探(行列式,矩阵初等变换,矩阵的秩)_线性方程组_45
    证明:数学归纳法,当 线性代数初探(行列式,矩阵初等变换,矩阵的秩)_逆序对_46
    线性代数初探(行列式,矩阵初等变换,矩阵的秩)_线性代数_47
    假设其对 线性代数初探(行列式,矩阵初等变换,矩阵的秩)_线性代数_31 阶行列式成立,要证其对 线性代数初探(行列式,矩阵初等变换,矩阵的秩)_线性代数_26 阶成立,我们需要把 线性代数初探(行列式,矩阵初等变换,矩阵的秩)_线性代数_26 将阶(展开)
    从最后一行开始减掉上一行的 线性代数初探(行列式,矩阵初等变换,矩阵的秩)_线性方程组_51
    线性代数初探(行列式,矩阵初等变换,矩阵的秩)_逆序对_52
  • 若要计算线性代数初探(行列式,矩阵初等变换,矩阵的秩)_线性方程组_53 那么我们可以把第 线性代数初探(行列式,矩阵初等变换,矩阵的秩)_线性代数_18 行换成 线性代数初探(行列式,矩阵初等变换,矩阵的秩)_线性方程组_55 向量算行列式
    正确性显然,这就引发一个推论:当 线性代数初探(行列式,矩阵初等变换,矩阵的秩)_线性方程组_55 取行列式某一行 线性代数初探(行列式,矩阵初等变换,矩阵的秩)_线性方程组_57
    线性代数初探(行列式,矩阵初等变换,矩阵的秩)_逆序对_58
  • 这就引出了矩阵中一个特别巧妙的东西 ----伴随矩阵
    行列式 线性代数初探(行列式,矩阵初等变换,矩阵的秩)_逆序对_59 的各个元素的代数余子式 线性代数初探(行列式,矩阵初等变换,矩阵的秩)_线性代数_60 构成如下矩阵
    线性代数初探(行列式,矩阵初等变换,矩阵的秩)_线性代数_61
    称为 线性代数初探(行列式,矩阵初等变换,矩阵的秩)_逆序对_62 的伴随矩阵,那么根据之前的结论有:
    线性代数初探(行列式,矩阵初等变换,矩阵的秩)_线性方程组_63
  • 矩阵求逆:
    引理:线性代数初探(行列式,矩阵初等变换,矩阵的秩)_逆序对_64 指矩阵 线性代数初探(行列式,矩阵初等变换,矩阵的秩)_逆序对_62 乘矩阵 线性代数初探(行列式,矩阵初等变换,矩阵的秩)_线性方程组_66 的行列式等于分别的行列式的乘积,证明 线性代数初探(行列式,矩阵初等变换,矩阵的秩)_逆序对_46 的情况:
    线性代数初探(行列式,矩阵初等变换,矩阵的秩)_逆序对_68,构造一个四阶行列式:
    线性代数初探(行列式,矩阵初等变换,矩阵的秩)_逆序对_69
    对于一个 线性代数初探(行列式,矩阵初等变换,矩阵的秩)_线性代数_26 阶矩阵,如果有一个 线性代数初探(行列式,矩阵初等变换,矩阵的秩)_线性代数_26 阶矩阵 线性代数初探(行列式,矩阵初等变换,矩阵的秩)_线性方程组_66,使 线性代数初探(行列式,矩阵初等变换,矩阵的秩)_线性代数_73 则称矩阵 线性代数初探(行列式,矩阵初等变换,矩阵的秩)_逆序对_62 是可逆的,并把 线性代数初探(行列式,矩阵初等变换,矩阵的秩)_线性方程组_66 称为 线性代数初探(行列式,矩阵初等变换,矩阵的秩)_逆序对_62 的逆矩阵,骚气变换:
    线性代数初探(行列式,矩阵初等变换,矩阵的秩)_逆序对_68,构造一个四阶行列式:
    线性代数初探(行列式,矩阵初等变换,矩阵的秩)_线性代数_78
    线性代数初探(行列式,矩阵初等变换,矩阵的秩)_线性方程组_79

定理1:若矩阵 线性代数初探(行列式,矩阵初等变换,矩阵的秩)_线性代数_80 可逆,则 线性代数初探(行列式,矩阵初等变换,矩阵的秩)_线性方程组_81
证明:存在 线性代数初探(行列式,矩阵初等变换,矩阵的秩)_逆序对_82 使得 线性代数初探(行列式,矩阵初等变换,矩阵的秩)_逆序对_83,故 线性代数初探(行列式,矩阵初等变换,矩阵的秩)_线性代数_84 所以 线性代数初探(行列式,矩阵初等变换,矩阵的秩)_线性方程组_81
定理2:若 线性代数初探(行列式,矩阵初等变换,矩阵的秩)_线性方程组_81,则矩阵可逆,且 线性代数初探(行列式,矩阵初等变换,矩阵的秩)_线性代数_87,妙妙妙!

  • 克拉默法则
    解线性方程组
    线性代数初探(行列式,矩阵初等变换,矩阵的秩)_线性方程组_88
    记为线性代数初探(行列式,矩阵初等变换,矩阵的秩)_逆序对_89
    克拉默法则:如果线性代数初探(行列式,矩阵初等变换,矩阵的秩)_逆序对_90,那么方程组有唯一解
    发现线性代数初探(行列式,矩阵初等变换,矩阵的秩)_线性方程组_91,注意到
    线性代数初探(行列式,矩阵初等变换,矩阵的秩)_逆序对_92
    其中线性代数初探(行列式,矩阵初等变换,矩阵的秩)_线性方程组_93为将矩阵的第线性代数初探(行列式,矩阵初等变换,矩阵的秩)_逆序对_94列换为线性代数初探(行列式,矩阵初等变换,矩阵的秩)_逆序对_95的矩阵 ,线性代数初探(行列式,矩阵初等变换,矩阵的秩)_线性代数_96为代数余子式

矩阵初等变换与矩阵求逆看​​这里​

  • 矩阵的秩
    定义:在 线性代数初探(行列式,矩阵初等变换,矩阵的秩)_逆序对_97 的矩阵 线性代数初探(行列式,矩阵初等变换,矩阵的秩)_逆序对_62 中,任取 线性代数初探(行列式,矩阵初等变换,矩阵的秩)_线性代数_23线性代数初探(行列式,矩阵初等变换,矩阵的秩)_线性代数_23 列不改变次序算出行列式称为矩阵 线性代数初探(行列式,矩阵初等变换,矩阵的秩)_逆序对_62线性代数初探(行列式,矩阵初等变换,矩阵的秩)_线性代数_23 阶子式。
    引理:设 线性代数初探(行列式,矩阵初等变换,矩阵的秩)_线性方程组_103,则 线性代数初探(行列式,矩阵初等变换,矩阵的秩)_逆序对_62线性代数初探(行列式,矩阵初等变换,矩阵的秩)_线性方程组_66 中的非零子式的最高阶数相等。
    我们只需证明经过一次初等行变换得到的 线性代数初探(行列式,矩阵初等变换,矩阵的秩)_线性方程组_66,在交换两行或将一行乘 线性代数初探(行列式,矩阵初等变换,矩阵的秩)_线性方程组_107 时,总能找到与线性代数初探(行列式,矩阵初等变换,矩阵的秩)_线性代数_11对应的 线性代数初探(行列式,矩阵初等变换,矩阵的秩)_逆序对_109 阶子式使得 线性代数初探(行列式,矩阵初等变换,矩阵的秩)_逆序对_110
    当一行加上另一行的 线性代数初探(行列式,矩阵初等变换,矩阵的秩)_线性方程组_107 倍时,只需考虑 线性代数初探(行列式,矩阵初等变换,矩阵的秩)_逆序对_112 的特殊情况:
    线性代数初探(行列式,矩阵初等变换,矩阵的秩)_线性代数_11 不包含第一行, 那么不影响,若包涵第一行
    线性代数初探(行列式,矩阵初等变换,矩阵的秩)_线性方程组_114
    线性代数初探(行列式,矩阵初等变换,矩阵的秩)_线性方程组_115线性代数初探(行列式,矩阵初等变换,矩阵的秩)_线性代数_116,否则 线性代数初探(行列式,矩阵初等变换,矩阵的秩)_线性方程组_117线性代数初探(行列式,矩阵初等变换,矩阵的秩)_线性方程组_118 不同为 0
    挺妙的
    注意这个并没有关系非0子式,而只是关心它的阶数,于是我们定义矩阵的秩:
    设在矩阵线性代数初探(行列式,矩阵初等变换,矩阵的秩)_逆序对_62中有一个不等于0的 线性代数初探(行列式,矩阵初等变换,矩阵的秩)_逆序对_109 阶子式 线性代数初探(行列式,矩阵初等变换,矩阵的秩)_线性代数_11,且所有 线性代数初探(行列式,矩阵初等变换,矩阵的秩)_逆序对_122 阶(若存在)子式均为 0,那么 线性代数初探(行列式,矩阵初等变换,矩阵的秩)_逆序对_109 称为矩阵的秩,记做 线性代数初探(行列式,矩阵初等变换,矩阵的秩)_逆序对_124
    那么有一些性质:
    线性代数初探(行列式,矩阵初等变换,矩阵的秩)_逆序对_125
    线性代数初探(行列式,矩阵初等变换,矩阵的秩)_线性方程组_126
    线性代数初探(行列式,矩阵初等变换,矩阵的秩)_线性方程组_103,则 线性代数初探(行列式,矩阵初等变换,矩阵的秩)_线性代数_128
    线性代数初探(行列式,矩阵初等变换,矩阵的秩)_线性方程组_129
    线性代数初探(行列式,矩阵初等变换,矩阵的秩)_线性代数_130,证明:
    线性代数初探(行列式,矩阵初等变换,矩阵的秩)_线性方程组_131
    线性代数初探(行列式,矩阵初等变换,矩阵的秩)_逆序对_132
  • 矩阵的秩与线性方程组联系在一起就厉害得不行
    对于 线性代数初探(行列式,矩阵初等变换,矩阵的秩)_线性代数_26 元线性方程组 线性代数初探(行列式,矩阵初等变换,矩阵的秩)_线性代数_134
    (1) 无解的充分必要条件是 线性代数初探(行列式,矩阵初等变换,矩阵的秩)_线性方程组_135
    (2) 有唯一解的充分必要条件是 线性代数初探(行列式,矩阵初等变换,矩阵的秩)_线性方程组_136
    (3) 有无限多解的充分必要条件是 线性代数初探(行列式,矩阵初等变换,矩阵的秩)_线性代数_137
    证明略且较为显然。
  • 定理:矩阵方程 线性代数初探(行列式,矩阵初等变换,矩阵的秩)_线性代数_138 有解的充分必要条件是 线性代数初探(行列式,矩阵初等变换,矩阵的秩)_线性方程组_139
    证明:设 线性代数初探(行列式,矩阵初等变换,矩阵的秩)_逆序对_62线性代数初探(行列式,矩阵初等变换,矩阵的秩)_线性代数_141 矩阵,线性代数初探(行列式,矩阵初等变换,矩阵的秩)_线性方程组_66线性代数初探(行列式,矩阵初等变换,矩阵的秩)_逆序对_143 矩阵,则 线性代数初探(行列式,矩阵初等变换,矩阵的秩)_线性方程组_144线性代数初探(行列式,矩阵初等变换,矩阵的秩)_逆序对_145 矩阵,将 线性代数初探(行列式,矩阵初等变换,矩阵的秩)_线性代数_146 按列分块,记为:
    线性代数初探(行列式,矩阵初等变换,矩阵的秩)_线性方程组_147
    则矩阵方程 线性代数初探(行列式,矩阵初等变换,矩阵的秩)_线性代数_138 等价于 线性代数初探(行列式,矩阵初等变换,矩阵的秩)_逆序对_149 个向量方程
    线性代数初探(行列式,矩阵初等变换,矩阵的秩)_逆序对_150
    如果 线性代数初探(行列式,矩阵初等变换,矩阵的秩)_线性方程组_151,那么 线性代数初探(行列式,矩阵初等变换,矩阵的秩)_线性代数_152 的后 线性代数初探(行列式,矩阵初等变换,矩阵的秩)_逆序对_153 行为 0,那么容易发现当有解时 线性代数初探(行列式,矩阵初等变换,矩阵的秩)_线性方程组_66 的后 线性代数初探(行列式,矩阵初等变换,矩阵的秩)_逆序对_153 行一定为 0,故 线性代数初探(行列式,矩阵初等变换,矩阵的秩)_线性方程组_156
  • 定理线性代数初探(行列式,矩阵初等变换,矩阵的秩)_线性代数_157
    即矩阵方程 线性代数初探(行列式,矩阵初等变换,矩阵的秩)_逆序对_158 有解 线性代数初探(行列式,矩阵初等变换,矩阵的秩)_逆序对_159,于是有 线性代数初探(行列式,矩阵初等变换,矩阵的秩)_线性代数_160
    同理有 线性代数初探(行列式,矩阵初等变换,矩阵的秩)_线性方程组_161,故 线性代数初探(行列式,矩阵初等变换,矩阵的秩)_线性代数_157
  • 向量內积·
    记做 线性代数初探(行列式,矩阵初等变换,矩阵的秩)_逆序对_163,向量正交定义为 线性代数初探(行列式,矩阵初等变换,矩阵的秩)_线性方程组_164
    定理:若 线性代数初探(行列式,矩阵初等变换,矩阵的秩)_线性代数_26 维向量 线性代数初探(行列式,矩阵初等变换,矩阵的秩)_线性方程组_166 是一组两两正交的向量,则 线性代数初探(行列式,矩阵初等变换,矩阵的秩)_逆序对_167 线性无关
    证明:设有 线性代数初探(行列式,矩阵初等变换,矩阵的秩)_线性代数_168 使
    线性代数初探(行列式,矩阵初等变换,矩阵的秩)_逆序对_169
    线性代数初探(行列式,矩阵初等变换,矩阵的秩)_线性方程组_170 与上式两端作內积,故有 线性代数初探(行列式,矩阵初等变换,矩阵的秩)_逆序对_171,故 线性代数初探(行列式,矩阵初等变换,矩阵的秩)_逆序对_172线性代数初探(行列式,矩阵初等变换,矩阵的秩)_线性方程组_166 线性无关
  • 向量正交化
    这个构造个人觉得很巧妙,我们现在需要将 线性代数初探(行列式,矩阵初等变换,矩阵的秩)_线性方程组_166 正交化为 线性代数初探(行列式,矩阵初等变换,矩阵的秩)_线性代数_175
    那么我们构造出一组 线性代数初探(行列式,矩阵初等变换,矩阵的秩)_线性方程组_55 使得 线性代数初探(行列式,矩阵初等变换,矩阵的秩)_线性代数_177,然后构造 线性代数初探(行列式,矩阵初等变换,矩阵的秩)_线性方程组_178 满足与前 线性代数初探(行列式,矩阵初等变换,矩阵的秩)_线性方程组_179 项內积为 0,那么有:
    线性代数初探(行列式,矩阵初等变换,矩阵的秩)_线性代数_180
    线性代数初探(行列式,矩阵初等变换,矩阵的秩)_逆序对_181 变成单位长度就可以得到标准正交基
    定义:正交矩阵
    线性代数初探(行列式,矩阵初等变换,矩阵的秩)_逆序对_62 满足 线性代数初探(行列式,矩阵初等变换,矩阵的秩)_线性方程组_183,则 线性代数初探(行列式,矩阵初等变换,矩阵的秩)_逆序对_62 为正交矩阵,同时有 线性代数初探(行列式,矩阵初等变换,矩阵的秩)_逆序对_185

特征多项式的一套理论可以看这里 ​​here​

  • 相似矩阵
    定义:设线性代数初探(行列式,矩阵初等变换,矩阵的秩)_逆序对_186均为线性代数初探(行列式,矩阵初等变换,矩阵的秩)_逆序对_187阶矩阵,若有可逆矩阵线性代数初探(行列式,矩阵初等变换,矩阵的秩)_线性方程组_188使线性代数初探(行列式,矩阵初等变换,矩阵的秩)_逆序对_189,则成线性代数初探(行列式,矩阵初等变换,矩阵的秩)_逆序对_95线性代数初探(行列式,矩阵初等变换,矩阵的秩)_线性代数_191的相似矩阵
    定理:若线性代数初探(行列式,矩阵初等变换,矩阵的秩)_逆序对_187阶矩阵线性代数初探(行列式,矩阵初等变换,矩阵的秩)_逆序对_186相似,则线性代数初探(行列式,矩阵初等变换,矩阵的秩)_线性代数_191线性代数初探(行列式,矩阵初等变换,矩阵的秩)_逆序对_95的特征多项式相同
    线性代数初探(行列式,矩阵初等变换,矩阵的秩)_线性方程组_196
    我们发现,线性代数初探(行列式,矩阵初等变换,矩阵的秩)_线性代数_191是可以与如下矩阵相似的
    线性代数初探(行列式,矩阵初等变换,矩阵的秩)_逆序对_198
    其中线性代数初探(行列式,矩阵初等变换,矩阵的秩)_线性方程组_199为矩阵的特征值
    如果我们要求线性代数初探(行列式,矩阵初等变换,矩阵的秩)_线性方程组_200或是线性代数初探(行列式,矩阵初等变换,矩阵的秩)_逆序对_201,这个等价于线性代数初探(行列式,矩阵初等变换,矩阵的秩)_逆序对_202
    如何找到线性代数初探(行列式,矩阵初等变换,矩阵的秩)_线性方程组_188满足线性代数初探(行列式,矩阵初等变换,矩阵的秩)_逆序对_204为对角矩阵?
    我们有线性代数初探(行列式,矩阵初等变换,矩阵的秩)_逆序对_205
    发现线性代数初探(行列式,矩阵初等变换,矩阵的秩)_线性代数_206线性代数初探(行列式,矩阵初等变换,矩阵的秩)_线性代数_207特征值线性代数初探(行列式,矩阵初等变换,矩阵的秩)_线性方程组_199对应的特征向量