线性代数
2023-02-01 12:54:47 0 举报
AI智能生成
线性代数所有课程的思维导图
作者其他创作
大纲/内容
习题课三
4 特征值与特征向量
矩阵的特征值与特征向量
定义
设<span class="equation-text" data-index="0" data-equation="A" contenteditable="false"><span></span><span></span></span>是<span class="equation-text" data-index="1" data-equation="n" contenteditable="false"><span></span><span></span></span>阶矩阵,如果数<span class="equation-text" data-index="2" data-equation="\lambda" contenteditable="false"><span></span><span></span></span>和<span class="equation-text" data-index="3" data-equation="n" contenteditable="false"><span></span><span></span></span>维非零列向量<span class="equation-text" data-index="4" data-equation="\boldsymbol{x}" contenteditable="false"><span></span><span></span></span>使关系式:<br><span class="equation-text" data-index="5" data-equation="A\boldsymbol{x}=\lambda\boldsymbol{x}" contenteditable="false"><span></span><span></span></span><br>成立,那么这样的数<span class="equation-text" data-index="6" data-equation="\lambda" contenteditable="false"><span></span><span></span></span>称为矩阵<span class="equation-text" data-index="7" data-equation="A" contenteditable="false"><span></span><span></span></span>的<font color="#ff0000">特征值</font>,非零向量<span class="equation-text" data-index="8" data-equation="\boldsymbol{x}" contenteditable="false"><span></span><span></span></span>称为<span class="equation-text" data-index="9" data-equation="A" contenteditable="false"><span></span><span></span></span>的对应于<span class="equation-text" data-index="10" data-equation="\lambda" contenteditable="false"><span></span><span></span></span>的<font color="#ff0000">特征向量</font>。<br>
由特征向量和特征值的定义式可以推出:<span class="equation-text" data-index="0" data-equation="A\boldsymbol{x}=\lambda\boldsymbol{x}\implies (\lambda E-A)\boldsymbol{x}=0" contenteditable="false"><span></span><span></span></span>,<br>对于这个齐次方程组,有非零解(特征向量不能是零向量)的条件是:<span class="equation-text" contenteditable="false" data-index="1" data-equation="|\lambda E-A|=0"><span></span><span></span></span><br>
即:<span class="equation-text" data-index="0" data-equation="f(\lambda)=\begin{vmatrix} \lambda-a_{11}&a_{12}&\cdots&a_{1n}\\ a_{21}&\lambda-a_{22}&\cdots&a_{2n}\\ \vdots&\vdots&\quad&\vdots\\ a_{n1}&a_{n2}&\cdots&\lambda-a_{nn}\end{vmatrix}=0" contenteditable="false"><span></span><span></span></span>,<br><span class="equation-text" data-index="1" data-equation="f(\lambda)" contenteditable="false"><span></span><span></span></span>是一元<span class="equation-text" data-index="2" data-equation="n" contenteditable="false"><span></span><span></span></span>次多项式,称为矩阵<span class="equation-text" data-index="3" data-equation="A" contenteditable="false"><span></span><span></span></span>的<font color="#ff0000">特征多项式</font>。而下面是<font color="#ff0000">特征方程</font>,特征方程是一个一元<span class="equation-text" data-index="4" data-equation="n" contenteditable="false"><span></span><span></span></span>次方程:<span class="equation-text" data-index="5" data-equation="f(\lambda)=0" contenteditable="false"><span></span><span></span></span><br>
性质
若入是矩阵<span class="equation-text" data-index="0" data-equation="A" contenteditable="false"><span></span><span></span></span>的特征值,<span class="equation-text" data-index="1" data-equation="\alpha" contenteditable="false"><span></span><span></span></span>是<span class="equation-text" data-index="2" data-equation="A" contenteditable="false"><span></span><span></span></span>的对应于特征值<span class="equation-text" contenteditable="false" data-index="3" data-equation="\lambda"><span></span><span></span></span>的特征向量,则
<span class="equation-text" data-index="0" data-equation="k\lambda" contenteditable="false"><span></span><span></span></span>是<span class="equation-text" data-index="1" data-equation="kA" contenteditable="false"><span></span><span></span></span>对应于特征向量<span class="equation-text" contenteditable="false" data-index="2" data-equation="\alpha"><span></span><span></span></span>的特征值(<span class="equation-text" data-index="3" data-equation="k" contenteditable="false"><span></span><span></span></span>是任意常数)<br>
<span class="equation-text" data-index="0" data-equation="k^m" contenteditable="false"><span></span><span></span></span>是<span class="equation-text" data-index="1" data-equation="A^m" contenteditable="false"><span></span><span></span></span>对应于特征向量<span class="equation-text" data-index="2" data-equation="\alpha" contenteditable="false"><span></span><span></span></span>的特征值(<span class="equation-text" contenteditable="false" data-index="3" data-equation="m"><span></span><span></span></span>是任意正整数)<br>
若<span class="equation-text" data-index="0" data-equation="A" contenteditable="false"><span></span><span></span></span>是可逆的,<span class="equation-text" data-index="1" data-equation="\frac{1}{\lambda}" contenteditable="false"><span></span><span></span></span>是<span class="equation-text" contenteditable="false" data-index="2" data-equation="A^{-1}"><span></span><span></span></span>对应于特征向量<span class="equation-text" data-index="3" data-equation="\alpha" contenteditable="false"><span></span><span></span></span>的特征值<br>
若矩阵多项式<span class="equation-text" data-index="0" data-equation="\varphi(\boldsymbol{A})=a_{0} \boldsymbol{E}+a_{1} \boldsymbol{A}+a_{2} \boldsymbol{A}^{2}+\cdots+a_{n} \boldsymbol{A}^{n}" contenteditable="false"><span></span><span></span></span>,则<span class="equation-text" data-index="1" data-equation="\varphi(\lambda)=a_{0}+a_{1} \lambda+a_{2} \lambda^{2}+\cdots+a_{n} \lambda^{n}" contenteditable="false"><span></span><span></span></span>是<span class="equation-text" contenteditable="false" data-index="2" data-equation="\varphi(A)"><span></span><span></span></span>的特征值.<br>
<span class="equation-text" data-index="0" data-equation="n" contenteditable="false"><span></span><span></span></span>阶方阵<span class="equation-text" data-index="1" data-equation="A" contenteditable="false"><span></span><span></span></span>与其转置矩阵<span class="equation-text" contenteditable="false" data-index="2" data-equation="A^T"><span></span><span></span></span>有相同的特征值
<span class="equation-text" data-index="0" data-equation="n" contenteditable="false"><span></span><span></span></span>阶方阵<span class="equation-text" data-index="1" data-equation="A" contenteditable="false"><span></span><span></span></span>互不相同的特征值<span class="equation-text" data-index="2" data-equation="\lambda_{1}, \lambda_{2}, \cdots, \lambda_{s}" contenteditable="false"><span></span><span></span></span>对应的特征向量<span class="equation-text" contenteditable="false" data-index="3" data-equation="x_{1}, x_{2}, \cdots, x_{s}"><span></span><span></span></span>线性无关
相似矩阵
定义
设<span class="equation-text" data-index="0" data-equation="A,B" contenteditable="false"><span></span><span></span></span>都是<span class="equation-text" data-index="1" data-equation="n" contenteditable="false"><span></span><span></span></span>阶矩阵,若有可逆矩阵<span class="equation-text" data-index="2" data-equation="P" contenteditable="false"><span></span><span></span></span>,使:<span class="equation-text" data-index="3" data-equation="P^{-1}AP=" contenteditable="false"><span></span><span></span></span>B<br>则称<span class="equation-text" data-index="4" data-equation="P" contenteditable="false"><span></span><span></span></span>为<font color="#ff0000">相似变换矩阵</font>,称<span class="equation-text" data-index="5" data-equation="B" contenteditable="false"><span></span><span></span></span>是<span class="equation-text" data-index="6" data-equation="A" contenteditable="false"><span></span><span></span></span>的<font color="#ff0000">相似矩阵</font>,<br>显然,相似矩阵必然也是等价矩阵。
性质
反身性<br>
对称性
传递性
定理
相似矩阵有相同的特征多项式,从而有相同的特征值
推论:若<span class="equation-text" data-index="0" data-equation="n" contenteditable="false"><span></span><span></span></span>阶矩阵<span class="equation-text" data-index="1" data-equation="A" contenteditable="false"><span></span><span></span></span>与对角阵<span class="equation-text" data-index="2" data-equation="\boldsymbol{\Lambda}=\left(\begin{array}{llll}\lambda_{1} & & & \\& \lambda_{2} & & \\& & \ddots & \\& & & \lambda_{n}\end{array}\right)" contenteditable="false"><span></span><span></span></span>相似,则<span class="equation-text" data-index="3" data-equation="\lambda_{1}, \lambda_{2}, \cdots, \lambda_{n}" contenteditable="false"><span></span><span></span></span>是<span class="equation-text" data-index="4" data-equation="A" contenteditable="false"><span></span><span></span></span>的<span class="equation-text" contenteditable="false" data-index="5" data-equation="n"><span></span><span></span></span>个特征值
<span class="equation-text" data-index="0" data-equation="n" contenteditable="false"><span></span><span></span></span>阶矩阵<span class="equation-text" data-index="1" data-equation="A" contenteditable="false"><span></span><span></span></span>与对角矩阵相似(<span class="equation-text" data-index="2" data-equation="A" contenteditable="false"><span></span><span></span></span>可对角化)的<font color="#0000ff">充分必要条件</font>是<span class="equation-text" data-index="3" data-equation="A" contenteditable="false"><span></span><span></span></span>有<span class="equation-text" contenteditable="false" data-index="4" data-equation="n"><span></span><span></span></span>个线性无关的特征向量.
推论:如果<span class="equation-text" data-index="0" data-equation="n" contenteditable="false"><span></span><span></span></span>阶矩阵A的<span class="equation-text" data-index="1" data-equation="n" contenteditable="false"><span></span><span></span></span>个特征值互不相同,则<span class="equation-text" contenteditable="false" data-index="2" data-equation="A"><span></span><span></span></span>与对角矩阵相似
实对称矩阵的相似矩阵
定义
内积
向量<span class="equation-text" data-index="0" data-equation="\boldsymbol{x}=\begin{pmatrix}x_1\\\vdots\\x_n\end{pmatrix}" contenteditable="false"><span></span><span></span></span>和 <span class="equation-text" data-index="1" data-equation="\boldsymbol{y}=\begin{pmatrix}y_1\\\vdots\\y_n\end{pmatrix}" contenteditable="false"><span></span><span></span></span>的<font color="#f44336">点积(dot product)</font>,或称<font color="#f44336">内积(inner product)</font>,定义为:<span class="equation-text" data-index="2" data-equation="\boldsymbol{x}\cdot\boldsymbol{y}=x_1y_1+\cdots+x_ny_n=\displaystyle\sum_{i=1}^{n}x_iy_i" contenteditable="false"><span></span><span></span></span><br>也可以写作<span class="equation-text" contenteditable="false" data-index="3" data-equation="x^Ty"><span></span><span></span></span>,点积还可以称为<font color="#f44336">数量积</font>或者<font color="#f44336">标量积</font>,这是因为两个向量通过点积运算之后的结果是<font color="#f44336">数量(标量)</font>。
性质
<span class="equation-text" contenteditable="false" data-index="0" data-equation="\begin{array}{c|c} \hline \\ \quad 交换律\quad&\quad \boldsymbol{a}\cdot\boldsymbol{b}=\boldsymbol{b}\cdot\boldsymbol{a}\quad\\ \quad 数乘结合律\quad&\quad (k\boldsymbol{a})\cdot\boldsymbol{b}=k(\boldsymbol{b}\cdot\boldsymbol{a})\quad\\ \quad 分配律\quad&\quad (\boldsymbol{a}+\boldsymbol{b})\cdot\boldsymbol{c}=\boldsymbol{a}\cdot\boldsymbol{c}+\boldsymbol{b}\cdot\boldsymbol{c}\quad\\ \\ \hline\end{array}"><span></span><span></span></span>
正交
设<span class="equation-text" data-index="0" data-equation="\alpha,\beta" contenteditable="false"><span></span><span></span></span>为<span class="equation-text" data-index="1" data-equation="n" contenteditable="false"><span></span><span></span></span>维向量,如果<span class="equation-text" contenteditable="false" data-index="2" data-equation="\alpha^T\beta=0"><span></span><span></span></span>,则称<span class="equation-text" data-index="3" data-equation="\alpha" contenteditable="false"><span></span><span></span></span>和<span class="equation-text" data-index="4" data-equation="\beta" contenteditable="false"><span></span><span></span></span><font color="#f44336">正交</font>
长度
数<span class="equation-text" data-index="0" data-equation="\sqrt{\alpha^T\alpha}" contenteditable="false"><span></span><span></span></span>称为<span class="equation-text" data-index="1" data-equation="\alpha" contenteditable="false"><span></span><span></span></span>的<font color="#f44336">长度</font>或<font color="#f44336">范数</font>,记为<span class="equation-text" data-index="2" data-equation="||\alpha||" contenteditable="false"><span></span><span></span></span>。长度为1的向量称为<font color="#f44336">单位向量</font>
性质
<span class="equation-text" data-index="0" data-equation="||\alpha||\ge0" contenteditable="false"><span></span><span></span></span>,且<span class="equation-text" contenteditable="false" data-index="1" data-equation="||\alpha||=0\Leftrightarrow\alpha=0"><span></span><span></span></span>
<span class="equation-text" data-index="0" data-equation="||k\alpha||=|k|\quad||\alpha||" contenteditable="false"><span></span><span></span></span>,<span class="equation-text" contenteditable="false" data-index="1" data-equation="k"><span></span><span></span></span>为数
如果<span class="equation-text" data-index="0" data-equation="n" contenteditable="false"><span></span><span></span></span>阶矩阵<span class="equation-text" data-index="1" data-equation="A" contenteditable="false"><span></span><span></span></span>满足:<span class="equation-text" contenteditable="false" data-index="2" data-equation="A^TA=E(即A^{-1}=A^T)"><span></span><span></span></span>,则称<span class="equation-text" data-index="3" data-equation="A" contenteditable="false"><span></span><span></span></span>为<font color="#f44336">正交矩阵</font>
<font color="#f44336">判断</font>:<span class="equation-text" data-index="0" data-equation="n" contenteditable="false"><span></span><span></span></span>阶矩阵<span class="equation-text" data-index="1" data-equation="A" contenteditable="false"><span></span><span></span></span>为正交矩阵的充要条件是<span class="equation-text" data-index="2" data-equation="A" contenteditable="false"><span></span><span></span></span>的列向量是<font color="#f44336">两两正交的单位向量</font><br>
定理
设<span class="equation-text" contenteditable="false" data-index="0" data-equation="n"><span></span><span></span></span>维向量<span class="equation-text" data-index="1" data-equation="\boldsymbol{\alpha}_{1}, \boldsymbol{a}_{2}, \cdots, \boldsymbol{a}_{r}" contenteditable="false"><span></span><span></span></span>是一组两两正交的非零向量,则<span class="equation-text" data-index="2" data-equation="\boldsymbol{\alpha}_{1}, \boldsymbol{a}_{2}, \cdots, \boldsymbol{a}_{r}" contenteditable="false"><span></span><span></span></span>线性无关
对称矩阵的特征值都是实数
对称矩阵属于k重特征值的线性无关特征向量的个数是k个
对称矩阵<span class="equation-text" contenteditable="false" data-index="0" data-equation="A"><span></span><span></span></span>的对应于不同特征值的特征向量必正交
施密特正交化
设<span class="equation-text" data-index="0" data-equation="\boldsymbol{\alpha}_{1}, \boldsymbol{\alpha}_{2}, \cdots, \boldsymbol{\alpha}_{r}" contenteditable="false"><span></span><span></span></span>是线性无关的向量组(未必正交),可导出正交单位向量,该过程称为<font color="#f44336">施密特正交化过程</font>
正交化
<span class="equation-text" contenteditable="false" data-index="0" data-equation="\boldsymbol{\beta}_{1}=\boldsymbol{\alpha}_{1}"><span></span><span></span></span>
<span class="equation-text" contenteditable="false" data-index="0" data-equation="\boldsymbol{\beta}_{2}=\boldsymbol{\alpha}_{2}-\frac{\boldsymbol{\beta}_{1}^{\mathrm{T}} \boldsymbol{\alpha}_{2}}{\boldsymbol{\beta}_{1}^{\mathrm{T}} \boldsymbol{\beta}_1} \boldsymbol{\beta}_{1}"><span></span><span></span></span><br>
<span class="equation-text" contenteditable="false" data-index="0" data-equation="\boldsymbol{\beta}_{3}=\boldsymbol{\alpha}_{3}-\frac{\boldsymbol{\beta}_{1}^{\mathrm{T}} \boldsymbol{\alpha}_{3}}{\boldsymbol{\beta}_{\mathbf{1}}^{\mathrm{T}} \boldsymbol{\beta}_{1}} \boldsymbol{\beta}_{1}-\frac{\boldsymbol{\beta}_{2}^{\mathrm{T}} \boldsymbol{\alpha}_{3}}{\boldsymbol{\beta}_{2}^{\mathrm{T}} \boldsymbol{\beta}_{2}} \boldsymbol{\beta}_{2}"><span></span><span></span></span>
<span class="equation-text" contenteditable="false" data-index="0" data-equation="\cdots"><span></span><span></span></span>
<span class="equation-text" contenteditable="false" data-index="0" data-equation="\boldsymbol{\beta}_{r}=\boldsymbol{\alpha}_{r}-\frac{\boldsymbol{\beta}_{1}^{\mathrm{T}} \boldsymbol{\alpha}_{r}}{\boldsymbol{\beta}_{\mathbf{1}}^{\mathrm{T}} \boldsymbol{\beta}_{1}} \boldsymbol{\beta}_{1}-\frac{\boldsymbol{\beta}_{2}^{\mathrm{T}} \boldsymbol{\alpha}_{r}}{\boldsymbol{\beta}_{2}^{\mathrm{T}} \boldsymbol{\beta}_{2}} \boldsymbol{\beta}_{2}-\cdots-\frac{\boldsymbol{\beta}_{r-1}^{\mathrm{T}} \boldsymbol{\alpha}_{r}}{\boldsymbol{\beta}_{r-1}^{\mathrm{T}} \boldsymbol{\beta}_{r-1}} \boldsymbol{\beta}_{r-1}"><span></span><span></span></span>
单位化
<span class="equation-text" contenteditable="false" data-index="0" data-equation="\boldsymbol{e}_{1}=\frac{1}{\left\|\boldsymbol{\beta}_{1}\right\|} \boldsymbol{\beta}_{1}, \quad \boldsymbol{e}_{2}=\frac{1}{\left\|\boldsymbol{\beta}_{2}\right\|} \boldsymbol{\beta}_{2}, \quad \cdots, \quad \boldsymbol{e}_{r}=\frac{1}{\left\|\boldsymbol{\beta}_{r}\right\|} \boldsymbol{\beta}_{r}"><span></span><span></span></span>
习题四
5 二次型
二次型与对称矩阵
定义
二次型
<font color="#ff0000">定义</font>:<span class="equation-text" data-index="0" data-equation="n" contenteditable="false"><span></span><span></span></span>个变量<span class="equation-text" data-index="1" data-equation="x_1,x_2,\dots,x_n" contenteditable="false"><span></span><span></span></span>的二次齐次函数:<span class="equation-text" data-index="2" data-equation="\begin{aligned} f(x_1,x_2,\cdots,x_n) &=a_{11}x_1^2+a_{22}x_2^2+\cdots+a_{nn}x_n^2 +2a_{12}x_1x_2+2a_{13}x_1x_3+\cdots+2a_{n-1,n}x_{n-1}x_n\end{aligned}" contenteditable="false"><span></span><span></span></span>或者二次齐次方程称为<font color="#f44336">二次型</font>
如果二次型只有二次项:<span class="equation-text" data-index="0" data-equation="k_1x_1^2+k_2x_2^2+\cdots+k_nx_n^2" contenteditable="false"><span></span><span></span></span>则称为二次型的<font color="#f44336">标准型</font><br>
如果标准型的系数只在1,-1,0三个数中取值,也就是上式变为:<span class="equation-text" data-index="0" data-equation="y_1^2+\cdots+y_p^2-y_{p+1}^2-\cdots-y_r^2" contenteditable="false"><span></span><span></span></span>则上式为二次型的<font color="#f44336">规范型</font>
根据矩阵乘法的知识,二次型可写成矩阵乘法形式:<span class="equation-text" data-index="0" data-equation="f=\left(x_{1}, x_{2}, \cdots, x_{n}\right)\left(\begin{array}{cccc}a_{11} & a_{12} & \cdots & a_{1 n} \\a_{12} & a_{22} & \cdots & a_{2 n} \\\vdots & \vdots & & \vdots \\a_{1 n} & a_{2 n} & \cdots & a_{n n}\end{array}\right)\left(\begin{array}{c}x_{1} \\x_{2} \\\vdots \\x_{n}\end{array}\right)=\boldsymbol{x}^{\mathrm{T}} \boldsymbol{A} \boldsymbol{x}" contenteditable="false"><span></span><span></span></span><br>式子中<span class="equation-text" data-index="1" data-equation="A" contenteditable="false"><span></span><span></span></span>以及<span class="equation-text" data-index="2" data-equation="A" contenteditable="false"><span></span><span></span></span>的秩分别称为<font color="#f44336">二次型<span class="equation-text" data-index="3" data-equation="f" contenteditable="false"><span></span><span></span></span>的矩阵和秩</font><br>
<font color="#f44336">标准型对应的矩</font>阵就是:<span class="equation-text" data-index="0" data-equation="\Lambda=\begin{pmatrix} k_1&0&\cdots&0\\ 0&k_2&\cdots&0\\ \vdots&\vdots&\quad&\vdots\\ 0&0&\cdots&k_n\end{pmatrix}" contenteditable="false"><span></span><span></span></span>
合同<br>
定义
设<span class="equation-text" data-index="0" data-equation="A" contenteditable="false"><span></span><span></span></span>和<span class="equation-text" data-index="1" data-equation="B" contenteditable="false"><span></span><span></span></span>是<span class="equation-text" data-index="2" data-equation="n" contenteditable="false"><span></span><span></span></span>阶矩阵,若有可逆矩阵<span class="equation-text" data-index="3" data-equation="P" contenteditable="false"><span></span><span></span></span>,使<span class="equation-text" data-index="4" data-equation="B=P^\mathrm{T}AP" contenteditable="false"><span></span><span></span></span>,则称矩阵<span class="equation-text" data-index="5" data-equation="A" contenteditable="false"><span></span><span></span></span>与<span class="equation-text" contenteditable="false" data-index="6" data-equation="B"><span></span><span></span></span><font color="#f44336">合同</font>
性质
反身性<br>
对称性
传递性
辨析(合同、等价、相似)
相似是一种特殊的等价,合同也是一种特殊的等价 <br>
对称矩阵和它的对角阵即相似又合同<br>
定理
任给可逆矩阵<span class="equation-text" data-index="0" data-equation="C" contenteditable="false"><span></span><span></span></span>,令<span class="equation-text" data-index="1" data-equation="B=C^TAC" contenteditable="false"><span></span><span></span></span>,如果<span class="equation-text" data-index="2" data-equation="A" contenteditable="false"><span></span><span></span></span>为对称矩阵,则<span class="equation-text" data-index="3" data-equation="B" contenteditable="false"><span></span><span></span></span>亦为对称矩阵,且<span class="equation-text" contenteditable="false" data-index="4" data-equation="R(B)=R(A)"><span></span><span></span></span>
任何实对称矩阵<span class="equation-text" data-index="0" data-equation="A" contenteditable="false"><span></span><span></span></span>都合同于对角矩阵,即存在可逆矩阵<span class="equation-text" data-index="1" data-equation="C" contenteditable="false"><span></span><span></span></span>,使得<span class="equation-text" data-index="2" data-equation="\boldsymbol{C}^{\mathrm{T}} \boldsymbol{A} \boldsymbol{C}=\left(\begin{array}{llll}d_{1} & & & \\& d_{2} & & \\& & \ddots & \\& & & d_{n}\end{array}\right)" contenteditable="false"><span></span><span></span></span>,从而任何实二次型<span class="equation-text" data-index="3" data-equation="x^TAx" contenteditable="false"><span></span><span></span></span>都可用可逆线性变换化为标准型<span class="equation-text" contenteditable="false" data-index="4" data-equation="f\left(x_{1}, x_{2}, \cdots, x_{n}\right)=\boldsymbol{x}^{\mathrm{T}} \boldsymbol{A} \boldsymbol{x} \stackrel{\boldsymbol{x}=\boldsymbol{C}_{y}}{=} d_{1} y_{1}^{2}+d_{2} y_{2}^{2}+\cdots+d_{n} y_{n}^{2}"><span></span><span></span></span>
化二次型为标准形的三种方法
定理
任何二次型<span class="equation-text" data-index="0" data-equation="f=\boldsymbol{x}^{\mathrm{T}} \boldsymbol{A} \boldsymbol{x}" contenteditable="false"><span></span><span></span></span>,总有正交矩阵<span class="equation-text" data-index="1" data-equation="P" contenteditable="false"><span></span><span></span></span>,使<span class="equation-text" data-index="2" data-equation="f" contenteditable="false"><span></span><span></span></span>经过正交变换<span class="equation-text" data-index="3" data-equation="x=Py" contenteditable="false"><span></span><span></span></span>化为标准型<span class="equation-text" data-index="4" data-equation="f=\lambda_{1} y_{1}^{2}+\lambda_{2} y_{2}^{2}+\cdots+\lambda_{n} y_{n}^{2}" contenteditable="false"><span></span><span></span></span>,其中<span class="equation-text" data-index="5" data-equation="\lambda_{1}, \lambda_{2}, \cdots, \lambda_{n}" contenteditable="false"><span></span><span></span></span>是<span class="equation-text" contenteditable="false" data-index="6" data-equation="A"><span></span><span></span></span>的特征值
正交变换法
1 将二次型表示为矩阵形式<span class="equation-text" contenteditable="false" data-index="0" data-equation="f=x^TAx"><span></span><span></span></span>,求出<span class="equation-text" data-index="1" data-equation="A" contenteditable="false"><span></span><span></span></span>
2. 求出对称阵<span class="equation-text" data-index="0" data-equation="A" contenteditable="false"><span></span><span></span></span>的全部不同的特征值<span class="equation-text" contenteditable="false" data-index="1" data-equation="\lambda_1,\lambda_2,...,\lambda_n"><span></span><span></span></span><br>
3 求出对应各个特征值的线性无关的特征向量<span class="equation-text" contenteditable="false" data-index="0" data-equation="v_1,v_2,...,v_n"><span></span><span></span></span>
4 将特征向量<span class="equation-text" data-index="0" data-equation="v_1,v_2,...,v_n" contenteditable="false"><span></span><span></span></span>正交化,单位化,得<span class="equation-text" data-index="1" data-equation="\beta_1,\beta_2,...,\beta_n" contenteditable="false"><span></span><span></span></span>,记<span class="equation-text" contenteditable="false" data-index="2" data-equation="P=(\beta_1,\beta_2,...,\beta_n)"><span></span><span></span></span>
5 作正交变换<span class="equation-text" data-index="0" data-equation="x=Py" contenteditable="false"><span></span><span></span></span>,则得<span class="equation-text" data-index="1" data-equation="f" contenteditable="false"><span></span><span></span></span>的标准型:<span class="equation-text" contenteditable="false" data-index="2" data-equation="f=\lambda_1y_1^2+\lambda_2y_2^2+...+\lambda_ny_n^2"><span></span><span></span></span>
配方法
1 若二次型含有<span class="equation-text" data-index="0" data-equation="x_i" contenteditable="false"><span></span><span></span></span>的平方项,则先把含有<span class="equation-text" contenteditable="false" data-index="1" data-equation="x_i"><span></span><span></span></span>的乘积项集中,然后配方,再对其余的变量同<br>样进行,直到都配成平方项为止,经过可逆线性变换,就得到标准形
2 若二次型中不含有平方项,但是<span class="equation-text" data-index="0" data-equation="a_{ij}\ne0(i\ne j)" contenteditable="false"><span></span><span></span></span>则先作可逆线性变换<br><span class="equation-text" contenteditable="false" data-index="1" data-equation="\left\{\begin{array}{l}\boldsymbol{x}_{i}=\boldsymbol{y}_{i}-y_{j} \\\boldsymbol{x}_{j}=\boldsymbol{y}_{i}+y_{j} \quad(\boldsymbol{k}=1,2, \cdots, n \text { 且 } k \neq i, j)\end{array}\right."><span></span><span></span></span><br>化二次型为含有平方项的二次型,然后再按1中方法配方<br>
初等变换法
1 对<span class="equation-text" data-index="0" data-equation="2 n \times n" contenteditable="false"><span></span><span></span></span>矩阵<span class="equation-text" data-index="1" data-equation="\left(\begin{array}{l}\boldsymbol{A} \\\boldsymbol{E}\end{array}\right)" contenteditable="false"><span></span><span></span></span>作相应右乘<span class="equation-text" contenteditable="false" data-index="2" data-equation="\boldsymbol{P}_{1}, \boldsymbol{P}_{2}, \cdots, \boldsymbol{P}_{s}"><span></span><span></span></span>的初等列变换
2 再<span class="equation-text" data-index="0" data-equation="A" contenteditable="false"><span></span><span></span></span>对做相应左乘<span class="equation-text" contenteditable="false" data-index="1" data-equation="\boldsymbol{P}_{1}^{\mathrm{T}}, \boldsymbol{P}_{2}^{\mathrm{T}}, \cdots, \boldsymbol{P}_{\boldsymbol{s}}^{\mathrm{T}}"><span></span><span></span></span>的初等行变换
3 矩阵<span class="equation-text" data-index="0" data-equation="A" contenteditable="false"><span></span><span></span></span>变为对角阵,而单位矩阵<span class="equation-text" data-index="1" data-equation="E" contenteditable="false"><span></span><span></span></span>在相应的列变换下就变成所要求的可逆矩阵<span class="equation-text" contenteditable="false" data-index="2" data-equation="C"><span></span><span></span></span>
正定二次型
定义
设有二次型<span class="equation-text" data-index="0" data-equation="f=\boldsymbol{x}^{\mathrm{T}} \boldsymbol{A} \boldsymbol{x}" contenteditable="false"><span></span><span></span></span>,如果对于任何<span class="equation-text" data-index="1" data-equation="x\ne 0" contenteditable="false"><span></span><span></span></span>,都有<span class="equation-text" data-index="2" data-equation="\boldsymbol{x}^{\mathrm{T}} \boldsymbol{A} \boldsymbol{x}>0" contenteditable="false"><span></span><span></span></span>,则称<span class="equation-text" data-index="3" data-equation="f" contenteditable="false"><span></span><span></span></span>为<font color="#f44336">正定二次型</font>,称<span class="equation-text" data-index="4" data-equation="A" contenteditable="false"><span></span><span></span></span>为<font color="#f44336">正定矩阵</font><font color="#000000">;如果对于任何</font><span class="equation-text" data-index="5" data-equation="x\ne 0" contenteditable="false"><span></span><span></span></span>,都有<span class="equation-text" data-index="6" data-equation="\boldsymbol{x}^{\mathrm{T}} \boldsymbol{A} \boldsymbol{x}<0" contenteditable="false"><span></span><span></span></span>,则称<span class="equation-text" data-index="7" data-equation="f" contenteditable="false"><span></span><span></span></span>为<font color="#f44336">负定二次型</font>,称<span class="equation-text" data-index="8" data-equation="A" contenteditable="false"><span></span><span></span></span>为<font color="#f44336">负定矩阵</font>
二次型<span class="equation-text" data-index="0" data-equation="f\left(x_{1}, x_{2}, \cdots, x_{n}\right)" contenteditable="false"><span></span><span></span></span>的标准型中,系数为正的平方项的个数<span class="equation-text" data-index="1" data-equation="p" contenteditable="false"><span></span><span></span></span>称为二次型的<font color="#ff0000">正惯性指数</font>,系数为负的平方项的个数<span class="equation-text" data-index="2" data-equation="r-p" contenteditable="false"><span></span><span></span></span>称为负惯性指数,<span class="equation-text" data-index="3" data-equation="s=2p-r" contenteditable="false"><span></span><span></span></span>称为符号差。这里<span class="equation-text" contenteditable="false" data-index="4" data-equation="r"><span></span><span></span></span>为二次型的秩。<br>
设<span class="equation-text" data-index="0" data-equation="A=(a)_{ij}" contenteditable="false"><span></span><span></span></span>为<span class="equation-text" data-index="1" data-equation="n" contenteditable="false"><span></span><span></span></span>阶对称阵,下面<span class="equation-text" data-index="2" data-equation="n" contenteditable="false"><span></span><span></span></span>个行列式<br><span class="equation-text" data-index="3" data-equation="\left|\boldsymbol{A}_{1}\right|=a_{11}, \quad\left|\boldsymbol{A}_{2}\right|=\left|\begin{array}{ll}a_{11} & a_{12} \\a_{21} & a_{22}\end{array}\right|, \quad \cdots, \quad\left|\boldsymbol{A}_{n}\right|=\left|\begin{array}{ccc}a_{11} & \cdots & a_{1 n} \\\vdots & & \vdots \\a_{n 1} & \cdots & a_{n n}\end{array}\right|" contenteditable="false"><span></span><span></span></span><br>分别称为A的k阶<font color="#ff0000">顺序主子式</font><span class="equation-text" data-index="4" data-equation="(k=1,2, \cdots, n)" contenteditable="false"><span></span><span></span></span><br>
定理
惯性定理
设二次型<span class="equation-text" data-index="0" data-equation="f=\boldsymbol{x}^{\mathrm{T}} \boldsymbol{A} \boldsymbol{x}" contenteditable="false"><span></span><span></span></span>的秩为<span class="equation-text" data-index="1" data-equation="r" contenteditable="false"><span></span><span></span></span>,有两个可逆变换<span class="equation-text" data-index="2" data-equation="x=Py" contenteditable="false"><span></span><span></span></span>及<span class="equation-text" data-index="3" data-equation="x=Cz" contenteditable="false"><span></span><span></span></span>使<span class="equation-text" data-index="4" data-equation="f=k_{1} y_{1}^{2}+k_{2} y_{2}^{2}+\cdots+k_{r} y_{r}^{2}, \quad k_{i} \neq 0, i=1,2, \cdots, r" contenteditable="false"><span></span><span></span></span>及<span class="equation-text" data-index="5" data-equation="f=\lambda_{1} z_{1}^{2}+\lambda_{2} z_{2}^{2}+\cdots+\lambda_{r} z_{r}^{2}, \quad k_{i} \neq 0, i=1,2, \cdots, r" contenteditable="false"><span></span><span></span></span>,则<span class="equation-text" data-index="6" data-equation="k_{1}, k_{2}, \cdots, k_{r}" contenteditable="false"><span></span><span></span></span>中正数的个数与<span class="equation-text" contenteditable="false" data-index="7" data-equation="\lambda_{1}, \lambda_{2}, \cdots, \lambda_{r}"><span></span><span></span></span>中正数的个数相同
二次型<span class="equation-text" data-index="0" data-equation="f\left(x_{1}, x_{2}, \cdots, x_{n}\right)=\boldsymbol{x}^{\mathrm{T}} \boldsymbol{A} \boldsymbol{x} " contenteditable="false"><span></span><span></span></span>为正定的充分必要条件是它的正惯性指数等于<span class="equation-text" contenteditable="false" data-index="1" data-equation="n"><span></span><span></span></span>
推论
对称矩阵<span class="equation-text" data-index="0" data-equation="A" contenteditable="false"><span></span><span></span></span>为正定的充要条件是<span class="equation-text" contenteditable="false" data-index="1" data-equation="A"><span></span><span></span></span>的特征值全为正
<span class="equation-text" data-index="0" data-equation="n" contenteditable="false"><span></span><span></span></span>阶对称矩阵<span class="equation-text" data-index="1" data-equation="A" contenteditable="false"><span></span><span></span></span>为正定的充要条件是有可逆矩阵<span class="equation-text" data-index="2" data-equation="C" contenteditable="false"><span></span><span></span></span>使<span class="equation-text" contenteditable="false" data-index="3" data-equation="C^TAC=E_n"><span></span><span></span></span>
赫尔维茨定理
对称矩阵<span class="equation-text" data-index="0" data-equation="A" contenteditable="false"><span></span><span></span></span>正定的充分必要条件是<span class="equation-text" contenteditable="false" data-index="1" data-equation="A"><span></span><span></span></span>的各阶顺序主子式都为正,即<span class="equation-text" data-index="2" data-equation="\left|\boldsymbol{A}_{k}\right|>0(k=1,2, \cdots, n)" contenteditable="false"><span></span><span></span></span>;<br><span class="equation-text" data-index="3" data-equation="A" contenteditable="false"><span></span><span></span></span>负定的充分必要条件是<span class="equation-text" data-index="4" data-equation="A" contenteditable="false"><span></span><span></span></span>的奇数阶顺序主子式为负,偶数阶顺序主子式为正,即<span class="equation-text" data-index="5" data-equation="(-1)^{k}\left|\boldsymbol{A}_{k}\right|>0(k=1,2, \cdots, n)" contenteditable="false"><span></span><span></span></span><br>
习题五
总复习
1 行列式
2/3阶行列式
二阶行列式的计算
计算公式
记忆方法(对角线法则)
三阶行列式的计算
计算公式
记忆方法(对角线法则)
<span class="equation-text" contenteditable="false" data-index="0" data-equation="n"><span></span><span></span></span>阶行列式
n阶行列式的计算
计算公式
其中<font color="#f44336">余子式<span class="equation-text" data-index="0" data-equation="M_{ij}" contenteditable="false"><span></span><span></span></span></font>的定义
例题:<font color="#ff0000">上三角行列式</font>的值<font color="#ff0000">等于</font><font color="#000000">主</font>对角线上各个元素的乘积
举例子:三阶行列式
行列式按列(行)展开
<font color="#ff0000">代数余子式</font>的定义:<font color="#ff0000"> <span class="equation-text" data-index="0" data-equation="A_{ij}=(-1)^{i+j}M_{ij} " contenteditable="false"><span></span><span></span></span></font>
<font color="#0000ff">引理:</font>互换行列式的任意两列<span class="equation-text" data-index="0" data-equation="c_{i} \leftrightarrow c_{j}" contenteditable="false"><span></span><span></span></span>(或两行<span class="equation-text" data-index="1" data-equation="r_{i} \leftrightarrow r_{j}" contenteditable="false"><span></span><span></span></span>),行列式的值变号。<font color="#ff0000">(注意:必须整行或整列一起换。)</font><br>
<font color="#f44336">定理 </font><span class="equation-text" contenteditable="false" data-index="0" data-equation="n"><span></span><span></span></span>阶行列式按任何一列或任何一行的展开式均相等
按任意一列展开:<span class="equation-text" contenteditable="false" data-index="0" data-equation="\Sigma_{i=1}^{n}a_{ij}A_{ij}(j = 1,2, \cdots ,n)"><span></span><span></span></span><br>
按任意一行展开:<span class="equation-text" contenteditable="false" data-index="0" data-equation="\Sigma_{j=1}^{n}a_{ij}A_{ij}(i = 1,2, \cdots ,n)"><span></span><span></span></span>
行列式的性质
<font color="#0000ff">性质1:</font><font color="#ff0000">互换</font>行列式的<font color="#ff0000">任两列或两行</font>,行列式<font color="#ff0000">变号</font>。
<font color="#0000ff">推论1:</font>若行列式 <span class="equation-text" contenteditable="false" data-index="0" data-equation="D"><span></span><span></span></span> 两行(列)对应元素完全相同,则<span class="equation-text" data-index="1" data-equation="D=0" contenteditable="false"><span></span><span></span></span><br>
<font color="#0000ff">性质2:</font>行列式与它的转置行列式相等。(<span class="equation-text" contenteditable="false" data-index="0" data-equation="D=D^T"><span></span><span></span></span>)
例题:<font color="#ff0000">下三角行列式</font>的值<font color="#ff0000">等于</font><font color="#000000">主</font>对角线上各个元素的乘积
<font color="#0000ff">性质3:</font>行列式 <span class="equation-text" contenteditable="false" data-index="0" data-equation="D"><span></span><span></span></span> 的某一行(列)的所有元素同乘以一个常数<span class="equation-text" data-index="1" data-equation=" k" contenteditable="false"><span></span><span></span></span> ,则等于<span class="equation-text" data-index="2" data-equation=" kD" contenteditable="false"><span></span><span></span></span><br>
<font color="#0000ff">推论2:</font>行列式某一行(列)的所有元素的公因子可以提到行列式符号的外面<br>
<font color="#0000ff">推论3:</font>若行列式<span class="equation-text" data-index="0" data-equation="D" contenteditable="false"><span></span><span></span></span>的两行(列)元素成比例,则<span class="equation-text" data-index="1" data-equation="D=0" contenteditable="false"><span></span><span></span></span><br>
<font color="#0000ff" style="font-size: inherit;">性质4:</font><span style="font-size: inherit;">若行列式 某一行(列)的所有元素都是两个数的和,则此行列式等于两个行列式的和。<br>这两个行列式的这一行(列)的元素分别为对应的两个加数之一,其余各行(列)的元素与原行列式相同</span><br>
<font color="#0000ff">性质5:</font>行列式<span class="equation-text" data-index="0" data-equation="D" contenteditable="false"><span></span><span></span></span>的某一行(列)的所有元素都乘以数<span class="equation-text" contenteditable="false" data-index="1" data-equation="k"><span></span><span></span></span>加到另一行(列)的相应元素上, 行列式的值不变
<font color="#0000ff">性质6:</font>行列式中某一行(列)的所有元素与另一行(列) 对应元素的代数余子式乘积之和为零
行列式的计算
<font color="#ff00ff">方法一:</font>利用<font color="#ff0000">性质5</font><span class="equation-text" data-index="0" data-equation="\left(r_{i}+k r_{j}, c_{i}+k c_{j}\right)" contenteditable="false"><span></span><span></span></span>把行列式化为<font color="#ff0000">上 (下) 三角形行列式</font><br>
<font color="#ff00ff">方法二:</font>结合<font color="#ff0000">性质5</font>以及按行(列)展开定理,进行降阶,直到降为二阶行列式为止
克拉默法则
<font color="#f44336">定理</font><font color="#ff0000">(克拉默法则)</font> 如果<span class="equation-text" contenteditable="false" data-index="0" data-equation="n"><span></span><span></span></span>元线性方程组<span class="equation-text" data-index="1" data-equation="\left\{\begin{array}{c}a_{11} x_{1}+a_{12} x_{2}+\cdots+a_{1 n} x_{n}=\color{red}b_{1} \\a_{21} x_{1}+a_{22} x_{2}+\cdots+a_{2 n} x_{n}=\color{red}b_{2} \\\cdots \cdots \cdots \cdot \cdot \\a_{n 1} x_{1}+a_{n 2} x_{2}+\cdots+a_{n n} x_{n}=\color{red}b_{n}\end{array}\right." contenteditable="false"><span></span><span></span></span><span class="equation-text" data-index="2" data-equation="\cdots" contenteditable="false"><span></span><span></span></span>(1) 的<font color="#ff0000">系数行列式</font><span class="equation-text" data-index="3" data-equation="D=\left|\begin{array}{cccc}a_{11} & a_{12} & \cdots & a_{1 n} \\a_{21} & a_{22} & \cdots & a_{2 n} \\\vdots & \vdots & & \vdots \\a_{n 1} & a_{n 2} & \cdots & a_{n n}\end{array}\right| \neq 0" contenteditable="false"><span class="katex"></span><font color="#000000"></font></span>,则方程组有唯一解,<span class="equation-text" data-index="4" data-equation="x_{1}=\frac{D_{1}}{D}, x_{2}=\frac{D_{2}}{D}, \cdots, x_{n}=\frac{D_{n}}{D}" contenteditable="false"><span></span><span></span></span><span class="equation-text" data-index="5" data-equation="\cdots" contenteditable="false"><span></span><span></span></span>(2),其中<span class="equation-text" data-index="6" data-equation="D_j(j=1,2,…,n)" contenteditable="false"><span></span><span></span></span>是把系数行列式<span class="equation-text" data-index="7" data-equation="D" contenteditable="false"><span></span><span></span></span>中第<span class="equation-text" data-index="8" data-equation="j" contenteditable="false"><span></span><span></span></span>列的元素换成方程组的常数项<span class="equation-text" data-index="9" data-equation="\color{red}{b_1,b_2,\dots,b_n}" contenteditable="false"><span></span><span></span></span>所构成的<span class="equation-text" data-index="10" data-equation="n" contenteditable="false"><span></span><span></span></span>阶行列式,即<span class="equation-text" data-index="11" data-equation="D_{j}=\left|\begin{array}{cccc} a_{11}&\cdots&a_{1,j-1}&{\color{red}{b_1}}&a_{1,j+1}&\cdots&a_{1n}\\ \vdots&&\vdots&{\color{red}{\vdots}}&\vdots&&\vdots\\ a_{n1}&\cdots&a_{n,j-1}&{\color{red}{b_n}}&a_{n,j+1}&\cdots&a_{nn} \end{array}\right|" contenteditable="false"><span></span><span></span></span> <br>
第一层含义:系数行列式不等于0时方程组(1)有唯一解<br>
第二层含义:方程组的解可以由(2)得到
习题课一
作业一
2 矩阵
矩阵的概念
定义
由<span class="equation-text" data-index="0" data-equation="m\times n" contenteditable="false"><span></span><span></span></span>个数<span class="equation-text" data-index="1" data-equation="a_{ij}(i=1,2,\dots,m;j=1,2,\dots,n)" contenteditable="false"><span></span><span></span></span>排成的<span class="equation-text" data-index="2" data-equation="m" contenteditable="false"><span></span><span></span></span>行<span class="equation-text" data-index="3" data-equation="n" contenteditable="false"><span></span><span></span></span>列的<font color="#f44336">数表</font><font color="#000000">: </font><span class="equation-text" data-index="4" data-equation="\begin{array}{cccc}a_{11} & a_{12} & \cdots & a_{1 n} \\a_{21} & a_{22} & \cdots & a_{2 n} \\\vdots & \vdots & & \vdots \\a_{m 1} & a_{m 2} & \cdots & a_{m n}\end{array}" contenteditable="false"><span></span><span></span></span><font color="#000000"> 称为</font><font color="#ff0000"><span class="equation-text" data-index="5" data-equation="m" contenteditable="false"><span class="katex"></span></span>行<span class="equation-text" data-index="6" data-equation="n" contenteditable="false"><span></span><span></span></span>列矩阵</font>,<br>简称<span class="equation-text" data-index="7" data-equation="m\times n" contenteditable="false"><span></span><span></span></span>矩阵,记作:<span class="equation-text" data-index="8" data-equation="A=\left(\begin{array}{cccc}a_{11} & a_{12} & \cdots & a_{1 n} \\a_{21} & a_{22} & \cdots & a_{2 n} \\\cdots & \cdots & \cdots & \cdots \\a_{m 1} & a_{m 1} & \cdots & a_{m n}\end{array}\right)" contenteditable="false"><span></span><span></span></span>。简记为:<span class="equation-text" contenteditable="false" data-index="9" data-equation="A=A_{m \times n}=\left(a_{i j}\right)_{m \times n}=\left(a_{i j}\right)"><span></span><span></span></span>
注意矩阵和行列式的<font color="#ff0000">区别</font>
特殊矩阵
<font color="#ff0000">方阵</font>
行数与列数<font color="#ff0000">都等于<span class="equation-text" data-index="0" data-equation="n" contenteditable="false"><span></span><span></span></span></font>的矩阵,称为<font color="#ff0000"><span class="equation-text" data-index="1" data-equation="n" contenteditable="false"><span></span><span></span></span>阶方阵</font>.可记作<span class="equation-text" data-index="2" data-equation="A_n" contenteditable="false"><span></span><span></span></span>
<font color="#ff0000">三角矩阵</font>
上/下三角行列式变成矩阵的中括号
<font color="#ff0000">对角阵</font>:除主对角线上元素外,其余元素都是零,<br>记作:<span class="equation-text" data-index="0" data-equation="A = {\rm{diag}}({a_{11}},{a_{22}}, \cdots ,{a_{nn}})" contenteditable="false"><span></span><span></span></span>
<font color="#ff0000">数量矩阵</font>:对角矩阵中<span class="equation-text" data-index="0" data-equation="{a_{11}} = {a_{22}} = \cdots = {a_{nn}} = a" contenteditable="false"><span></span><span></span></span>
<font color="#ff0000">单位阵</font>:对角矩阵中<span class="equation-text" data-index="0" data-equation="{a_{11}} = {a_{22}} = \cdots = {a_{nn}} = 1" contenteditable="false"><span></span><span></span></span>,<font color="#000000">记作</font><font color="#ff0000">:<span class="equation-text" data-index="1" data-equation="E_n" contenteditable="false"><span></span><span></span></span></font><font color="#000000">或</font><span class="equation-text" data-index="2" data-equation="I_n" contenteditable="false"><span></span><span></span></span>
<font color="#ff0000">行</font>矩阵/<font color="#ff0000">列</font>矩阵
只有一行的矩阵<span class="equation-text" data-index="0" data-equation="A=(a_1,a_2,\dots,a_n)" contenteditable="false"><span></span><span></span></span>称为<font color="#ff0000">行矩阵</font>(或<font color="#ff0000">行向量</font>)。<br>
只有一列的矩阵<span class="equation-text" data-index="0" data-equation="B=\left(\begin{array}{c}a_{1} \\a_{2} \\\vdots \\a_{n}\end{array}\right)" contenteditable="false"><span></span><span></span></span>称为<font color="#ff0000">列矩阵</font>(或<font color="#ff0000">列向量</font>)
<font color="#ff0000">零矩阵</font>
元素全是零的矩阵称为<font color="#ff0000">零距阵</font>。可记作<span class="equation-text" contenteditable="false" data-index="0" data-equation="O"><span></span><span></span></span>
例如:<span class="equation-text" data-index="0" data-equation="\boldsymbol{O}_{2 \times 2}=\left(\begin{array}{ll}0 & 0 \\0 & 0\end{array}\right)" contenteditable="false"><span></span><span></span></span>, <span class="equation-text" contenteditable="false" data-index="1" data-equation="O_{1 \times 4}=(0,0,0,0)"><span></span><span></span></span>
矩阵的运算
两个矩阵的<font color="#ff0000">行数列数都相等</font>时,称为<font color="#ff0000">同型矩阵</font>
同型矩阵<span class="equation-text" data-index="0" data-equation="A=(a_{ij})" contenteditable="false"><span></span><span></span></span>与<span class="equation-text" data-index="1" data-equation="B=(b_{ij})" contenteditable="false"><span></span><span></span></span>对应元素相等,即:<span class="equation-text" data-index="2" data-equation="a_{i j}=b_{i j}(i=1,2, \cdots, m ; j=1,2, \cdots, n)" contenteditable="false"><span></span><span></span></span>,<br>称矩阵<span class="equation-text" data-index="3" data-equation="A" contenteditable="false"><span></span><span></span></span>与<span class="equation-text" data-index="4" data-equation="B" contenteditable="false"><span></span><span></span></span><font color="#ff0000">相等</font>,记作 <span class="equation-text" data-index="5" data-equation="A = B" contenteditable="false"><span></span><span></span></span>
矩阵<font color="#ff0000">加法(同型矩阵才能相加减) </font>
设有两个<span class="equation-text" data-index="0" data-equation="m\times n" contenteditable="false"><span></span><span></span></span>矩阵<span class="equation-text" data-index="1" data-equation="A=(a_{ij})" contenteditable="false"><span></span><span></span></span>和<span class="equation-text" data-index="2" data-equation="B=(b_{ij})" contenteditable="false"><span></span><span></span></span>,那么矩阵<span class="equation-text" data-index="3" data-equation="A" contenteditable="false"><span></span><span></span></span>和<span class="equation-text" data-index="4" data-equation="B" contenteditable="false"><span></span><span></span></span>的和记做<span class="equation-text" data-index="5" data-equation="A_{mn}+B_{mn}" contenteditable="false"><span></span><span></span></span>,规定为:<br><span class="equation-text" contenteditable="false" data-index="6" data-equation="A_{mn}+B_{mn}=\begin{pmatrix}a_{11}+b_{11}&a_{12}+b_{12}&...&a_{1n}+b_{1n}\\a_{21}+b_{21}&a_{22}+b_{22}&...&a_{2n}+b_{2n}\\...&...&&...\\a_{m1}+b_{m1}&a_{m2}+b_{m2}&...&a_{mn}+b_{mn}\end{pmatrix}"><span></span><span></span></span>
<span class="equation-text" contenteditable="false" data-index="0" data-equation="\begin{array}{c|c} \hline \\ \quad 交换律\quad&\quad A+B=B+A\quad\\ \quad 结合律\quad&\quad (A+B)+C=A+(B+C)\quad\\ \\ \hline\end{array}"><span></span><span></span></span><br>
矩阵<font color="#ff0000">减法</font>
<span class="equation-text" data-index="0" data-equation="-A" contenteditable="false"><span></span><span></span></span>称为矩阵<span class="equation-text" data-index="1" data-equation="A" contenteditable="false"><span></span><span></span></span>的负矩阵,根据数乘规则有<span class="equation-text" contenteditable="false" data-index="2" data-equation="-A=(-a_{ij})"><span></span><span></span></span><br>
定义矩阵<span class="equation-text" data-index="0" data-equation=" A" contenteditable="false"><span></span><span></span></span> 与<span class="equation-text" contenteditable="false" data-index="1" data-equation=" B"><span></span><span></span></span>的差为:<br><br><span class="equation-text" data-index="2" data-equation="A_{m \times n}-B_{m \times n}=A_{m \times n}+\left(-B_{m \times n}\right)=\left(\begin{array}{cccc}a_{11}-b_{11} & a_{12}-b_{12} & \cdots & a_{1 n}-b_{1 n} \\a_{21}-b_{21} & a_{22}-b_{22} & \cdots & a_{2 n}-b_{2 n} \\\ldots & \cdots & \cdots & \ldots \\a_{m 1}-b_{m 1} & a_{m 2}-b_{m 2} & \cdots & a_{m n}-b_{m n}\end{array}\right)" contenteditable="false"><span></span><span></span></span>
矩阵<font color="#ff0000">数乘</font>
数<span class="equation-text" data-index="0" data-equation="k" contenteditable="false"><span></span><span></span></span>与矩阵<span class="equation-text" data-index="1" data-equation="A的" contenteditable="false"><span></span><span></span></span>乘积记作:<span class="equation-text" data-index="2" data-equation="kA" contenteditable="false"><span></span><span></span></span>或<span class="equation-text" contenteditable="false" data-index="3" data-equation="Ak"><span></span><span></span></span>规定为:<br><span class="equation-text" data-index="4" data-equation="kA=Ak=\begin{pmatrix} ka_{11}&ka_{12}&\cdots&ka_{1n}\\ ka_{21}&ka_{22}&\cdots&ka_{2n}\\ \cdots&\cdots& &\cdots\\ ka_{m1}&ka_{m2}&\cdots&ka_{mn}\end{pmatrix}" contenteditable="false"><span></span><span></span></span><br>
<span class="equation-text" contenteditable="false" data-index="0" data-equation="\begin{array}{c|c} \hline \\ \quad 结合律\quad&\quad (\lambda\mu) A=\lambda(\mu A)\quad\\ \\ \quad 分配律\quad&\quad \begin{aligned}(\lambda+\mu) A=\lambda A+\mu A\\\lambda(A+B)=\lambda A+\lambda B\end{aligned}\quad\\ \\ \hline\end{array}"><span></span><span></span></span>
矩阵<font color="#ff0000">乘法</font>
设<span class="equation-text" data-index="0" data-equation="A = {({a_{i\,j}})_{\textcolor{blue}m \times \textcolor{red}{s}}}" contenteditable="false"><span></span><span></span></span>, <span class="equation-text" data-index="1" data-equation="B = {({b_{i\,j}})_{\textcolor{red}{s} \times \textcolor{blue}n}}" contenteditable="false"><span></span><span></span></span>,则定义矩阵<span class="equation-text" data-index="2" data-equation="A" contenteditable="false"><span></span><span></span></span>与矩阵<span class="equation-text" data-index="3" data-equation="B " contenteditable="false"><span></span><span></span></span>的乘积为<span class="equation-text" data-index="4" data-equation="\textcolor{blue}{m×n}" contenteditable="false"><span></span><span></span></span> <br>矩阵<span class="equation-text" contenteditable="false" data-index="5" data-equation="C = {({c_{i\,j}})_\textcolor{blue}{m \times n}}"><span></span><span></span></span>,其中<span class="equation-text" data-index="6" data-equation="{c_{i\,j}} = {a_{i1}}{b_{1j}} + {a_{i2}}{b_{2j}} + \cdots + {a_{is}}{b_{sj}}" contenteditable="false"><span></span><span></span></span><br>
<span class="equation-text" contenteditable="false" data-index="0" data-equation="\begin{array}{c|c} \hline \\ \quad 交换律\quad&\quad 不一定满足\quad\\ \quad 数乘交换律\quad&\quad \lambda(AB)=(\lambda A)B=A(\lambda B)(其中\lambda是数)\quad\\ \quad 结合律\quad&\quad (AB)C=A(BC)\quad\\ \quad 分配律\quad&\quad A(B+C)=AB+AC\quad\\ \\ \hline\end{array}"><span></span><span></span></span>
图示例子
矩阵的转置
<font color="#ff0000">定义</font>:把矩阵<span class="equation-text" data-index="0" data-equation="A " contenteditable="false"><span></span><span></span></span>的行换成同序数的列得到的新矩阵叫做<span class="equation-text" data-index="1" data-equation="A" contenteditable="false"><span></span><span></span></span>的<font color="#ff0000">转置矩阵</font>,记作<span class="equation-text" data-index="2" data-equation="A^\mathrm{T}" contenteditable="false"><span></span><span></span></span>
性质
<span class="equation-text" contenteditable="false" data-index="0" data-equation="(A^\mathrm{T})^\mathrm{T}=A"><span></span><span></span></span>
<span class="equation-text" contenteditable="false" data-index="0" data-equation="(AB)^\mathrm{T}=B^\mathrm{T}A^\mathrm{T}"><span></span><span></span></span>
<span class="equation-text" contenteditable="false" data-index="0" data-equation="(A^\mathrm{T})^n=(A^n)^\mathrm{T}"><span></span><span></span></span>
<span class="equation-text" contenteditable="false" data-index="0" data-equation="(A+B)^\mathrm{T}=A^\mathrm{T}+B^\mathrm{T}"><span></span><span></span></span>
对称阵: <span class="equation-text" data-index="0" data-equation="A" contenteditable="false"><span></span><span></span></span>为<span class="equation-text" data-index="1" data-equation="n" contenteditable="false"><span></span><span></span></span>阶方阵,如果满足<span class="equation-text" data-index="2" data-equation="A=A^T" contenteditable="false"><span></span><span></span></span>,那么A称为<font color="#ff0000">对称阵</font>
例子
反对称阵: 如果满足 <span class="equation-text" data-index="0" data-equation="A = -A^T" contenteditable="false"><span></span><span></span></span>,那么 <span class="equation-text" contenteditable="false" data-index="1" data-equation="A "><span></span><span></span></span>称为<font color="#ff0000">反对称阵</font>
例子
<font color="#ff0000">方阵</font>的特殊运算
<font color="#ff0000">方阵</font>的幂运算<br>
若<span class="equation-text" data-index="0" data-equation=" A" contenteditable="false"><span></span><span></span></span> 是 <span class="equation-text" data-index="1" data-equation="n " contenteditable="false"><span></span><span></span></span>阶方阵,<span class="equation-text" data-index="2" data-equation="k" contenteditable="false"><span></span><span></span></span>为正整数,定义<span class="equation-text" data-index="3" data-equation="A^{k}=\underbrace{A A \cdots A}_{k}" contenteditable="false"><span></span><span></span></span>
<font color="#ff0000">方阵</font>的<span class="equation-text" contenteditable="false" data-index="0" data-equation="m"><span></span><span></span></span>次多项式<br>
若<span class="equation-text" data-index="0" data-equation="A" contenteditable="false"><span></span><span></span></span>是方阵,<span class="equation-text" data-index="1" data-equation="f\left( x \right) = {a_0} + {a_1}x + \cdots + {a_m}{x^m}" contenteditable="false"><span></span><span></span></span> 为<span class="equation-text" data-index="2" data-equation="m" contenteditable="false"><span></span><span></span></span>次多项式,记<span class="equation-text" data-index="3" data-equation="f\left( A \right) = {a_0}E + {a_1}A + \cdots + {a_m}{A^m}" contenteditable="false"><span></span><span></span></span>,称矩阵<span class="equation-text" data-index="4" data-equation="f(A)" contenteditable="false"><span></span><span></span></span>为矩阵<span class="equation-text" data-index="5" data-equation="A" contenteditable="false"><span></span><span></span></span>的<span class="equation-text" contenteditable="false" data-index="6" data-equation="m"><span></span><span></span></span>次多项式<br>
<font color="#ff0000">方阵</font>的行列式
由<span class="equation-text" data-index="0" data-equation="n" contenteditable="false"><span></span><span></span></span>阶方阵的元素所构成的行列式,叫做方阵<span class="equation-text" data-index="1" data-equation="A" contenteditable="false"><span></span><span></span></span>的行列式,记作<span class="equation-text" data-index="2" data-equation="|A|" contenteditable="false"><span></span><span></span></span>或<span class="equation-text" contenteditable="false" data-index="3" data-equation="detA"><span></span><span></span></span>
性质
<span class="equation-text" contenteditable="false" data-index="0" data-equation="\left|A^{T}\right|=|A|"><span></span><span></span></span>
<span class="equation-text" contenteditable="false" data-index="0" data-equation="|\lambda A|=\lambda^{n}|A|"><span></span><span></span></span>
<span class="equation-text" contenteditable="false" data-index="0" data-equation="|A B|=|A||B|"><span></span><span></span></span>
<span class="equation-text" contenteditable="false" data-index="0" data-equation="\Rightarrow|A B|=|B A|"><span></span><span></span></span>
可逆矩阵(只讨论<font color="#ff0000">方阵</font>)
概念
<font color="#ff0000">定义1</font>:<span class="equation-text" data-index="0" data-equation="n " contenteditable="false"><span></span><span></span></span>阶方阵 <span class="equation-text" data-index="1" data-equation="A" contenteditable="false"><span></span><span></span></span> 称为<font color="#ff0000">可逆的</font>,如果有<span class="equation-text" data-index="2" data-equation=" n" contenteditable="false"><span></span><span></span></span> 阶方阵 <span class="equation-text" data-index="3" data-equation="B" contenteditable="false"><span></span><span></span></span>使得<span class="equation-text" data-index="4" data-equation="\boldsymbol{A B}=\boldsymbol{B} \boldsymbol{A}=\boldsymbol{E}(E是n阶单位阵)" contenteditable="false"><span></span><span></span></span>。<br>如果矩阵 <span class="equation-text" data-index="5" data-equation="B " contenteditable="false"><span></span><span></span></span>满足上述等式,那么 <span class="equation-text" data-index="6" data-equation="B" contenteditable="false"><span></span><span></span></span> 就称为 <span class="equation-text" data-index="7" data-equation="A " contenteditable="false"><span></span><span></span></span>的逆矩阵,记作<span class="equation-text" data-index="8" data-equation="A^{-1}" contenteditable="false"><span></span><span></span></span><br>
结论:若<span class="equation-text" data-index="0" data-equation="n" contenteditable="false"><span></span><span></span></span> 阶方阵 <span class="equation-text" data-index="1" data-equation="A" contenteditable="false"><span></span><span></span></span>可逆,则其逆矩阵 <span class="equation-text" contenteditable="false" data-index="2" data-equation="B "><span></span><span></span></span>是<font color="#ff0000">唯一的</font>
<font color="#ff0000">定义2</font>:矩阵<span class="equation-text" data-index="0" data-equation="A^{*}=\left(\begin{array}{cccc}A_{11} & A_{21} & \cdots & A_{n 1} \\A_{12} & A_{22} & \cdots & A_{n 2} \\\cdots & \cdots & \cdots & \cdots \\A_{1 n} & A_{2 n} & \cdots & A_{n n}\end{array}\right)" contenteditable="false"><span></span><span></span></span>称为矩阵<span class="equation-text" data-index="1" data-equation="A" contenteditable="false"><span></span><span></span></span>的<font color="#ff0000">伴随矩阵</font><font color="#000000">。<span class="equation-text" data-index="2" data-equation="A_{ij}" contenteditable="false"><span></span><span></span></span></font>为<span class="equation-text" data-index="3" data-equation="A" contenteditable="false"><span></span><span></span></span>中元素<span class="equation-text" data-index="4" data-equation="a_{ij}" contenteditable="false"><span></span><span></span></span>的<font color="#0000ff">代数余子式</font>
<font color="#ff0000">定理1</font>:<span class="equation-text" data-index="0" data-equation="A A^{*}=A^{*} A=|A| E" contenteditable="false"><span></span><span></span></span><br>
<font color="#ff0000">定理2</font>:<span class="equation-text" data-index="0" data-equation="n" contenteditable="false"><span></span><span></span></span>阶方阵 <span class="equation-text" data-index="1" data-equation="A" contenteditable="false"><span></span><span></span></span> 可逆的充要条件是<span class="equation-text" data-index="2" data-equation="|A|\ne 0" contenteditable="false"><span></span><span></span></span>且<span class="equation-text" data-index="3" data-equation="A^{-1}=\frac{1}{|A|} A^{*}" contenteditable="false"><span></span><span></span></span>(<font color="#ff0000">伴随矩阵法</font>)
推论1:对于<span class="equation-text" data-index="0" data-equation="n" contenteditable="false"><span></span><span></span></span> 阶方阵<span class="equation-text" data-index="1" data-equation="A、B," contenteditable="false"><span></span><span></span></span>如果<span class="equation-text" data-index="2" data-equation="AB=E" contenteditable="false"><span></span><span></span></span>,那么<span class="equation-text" contenteditable="false" data-index="3" data-equation="A、B"><span></span><span></span></span>都是可逆矩阵,并且它们互为逆矩阵。<br>
<font color="#ff0000">定义3</font>:若<span class="equation-text" data-index="0" data-equation="|A|\ne 0" contenteditable="false"><span></span><span></span></span> ,称矩阵<span class="equation-text" data-index="1" data-equation="A" contenteditable="false"><span></span><span></span></span>为非奇异矩阵.否则称矩阵<span class="equation-text" data-index="2" data-equation="A" contenteditable="false"><span></span><span></span></span>为<font color="#ff0000">奇异矩阵</font> <br>
矩阵<span class="equation-text" data-index="0" data-equation="A" contenteditable="false"><span></span><span></span></span>可逆<span class="equation-text" data-index="1" data-equation="\iff" contenteditable="false"><span></span><span></span></span> 矩阵<span class="equation-text" data-index="2" data-equation="A" contenteditable="false"><span></span><span></span></span>为<font color="#ff0000">非奇异矩阵</font>
性质
若<span class="equation-text" data-index="0" data-equation="A" contenteditable="false"><span></span><span></span></span><font color="#0000ff">可逆</font>,则<span class="equation-text" data-index="1" data-equation="A^{-1}" contenteditable="false"><span></span><span></span></span>也<font color="#0000ff">可逆</font>,且:<span class="equation-text" data-index="2" data-equation="(A^{-1})^{-1}=A" contenteditable="false"><span></span><span></span></span>
若<span class="equation-text" data-index="0" data-equation="A" contenteditable="false"><span></span><span></span></span><font color="#0000ff">可逆</font>,数<span class="equation-text" data-index="1" data-equation="\lambda\ne 0" contenteditable="false"><span></span><span></span></span>,则<span class="equation-text" data-index="2" data-equation="\lambda A" contenteditable="false"><span></span><span></span></span><font color="#0000ff">可逆</font>,且:<span class="equation-text" data-index="3" data-equation="(\lambda A)^{-1}=\frac{1}{\lambda}A^{-1}" contenteditable="false"><span></span><span></span></span>
若<span class="equation-text" data-index="0" data-equation="A" contenteditable="false"><span></span><span></span></span>、<span class="equation-text" data-index="1" data-equation="B" contenteditable="false"><span></span><span></span></span>为<font color="#0000ff">同阶方阵</font>且均<font color="#0000ff">可逆</font>,则<span class="equation-text" data-index="2" data-equation="AB" contenteditable="false"><span></span><span></span></span>也<font color="#0000ff">可逆</font>,且:<span class="equation-text" data-index="3" data-equation="(AB)^{-1}=B^{-1}A^{-1}" contenteditable="false"><span></span><span></span></span>
若<span class="equation-text" data-index="0" data-equation="A" contenteditable="false"><span></span><span></span></span><font color="#0000ff">可逆</font>,则<span class="equation-text" data-index="1" data-equation="A^\mathrm{T}" contenteditable="false"><span></span><span></span></span>也<font color="#0000ff">可逆</font>,且:<span class="equation-text" data-index="2" data-equation="(A^\mathrm{T})^{-1}=(A^{-1})^\mathrm{T}" contenteditable="false"><span></span><span></span></span>
矩阵的分块
常见分块方法
矩阵乘法的行观点<br>
右矩阵按行分块
例子
左矩阵第一行和右矩阵相乘
左矩阵第二行和右矩阵相乘<br>
应用场景
<span class="equation-text" contenteditable="false" data-index="0" data-equation="\boldsymbol{x}A=\begin{pmatrix}\color{blue}{x_1}&\color{blue}{x_2}&\cdots&\color{blue}{x_m}\end{pmatrix}\begin{pmatrix}a_{11}&a_{12}&\cdots&a_{1n}\\ a_{21}&a_{22}&\cdots&a_{2n}\\ \vdots&\quad&\quad&\vdots\\ a_{m1}&a_{m2}&\cdots&a_{mn} \end{pmatrix}=\color{blue}{x_1}\begin{pmatrix}a_{11}&a_{12}&\cdots&a_{1n}\end{pmatrix}+\color{blue}{x_2}\begin{pmatrix}a_{21}&a_{22}&\cdots&a_{2n}\end{pmatrix}+\cdots+\color{blue}{x_m}\begin{pmatrix}a_{m1}&a_{m2}&\cdots&a_{mn}\end{pmatrix}"><span></span><span></span></span>
矩阵乘法的列观点
左矩阵按列拆分
例子
右矩阵每一列和左矩阵分别相乘
应用场景
<span class="equation-text" contenteditable="false" data-index="0" data-equation="A\boldsymbol{x}=\begin{pmatrix}a_{11}&a_{12}&\cdots&a_{1n}\\ a_{21}&a_{22}&\cdots&a_{2n}\\ \vdots&\quad&\quad&\vdots\\ a_{m1}&a_{m2}&\cdots&a_{mn}\end{pmatrix}\begin{pmatrix}\color{blue}{x_1}\\\color{blue}{x_2}\\\vdots\\\color{blue}{x_n}\end{pmatrix}=\color{blue}{x_1}\begin{pmatrix}a_{11}\\a_{21}\\\vdots\\a_{m1}\end{pmatrix}+\color{blue}{x_2}\begin{pmatrix}a_{12}\\a_{22}\\\vdots\\a_{m2}\end{pmatrix}+\cdots+\color{blue}{x_n}\begin{pmatrix}a_{1n}\\a_{2n}\\\vdots\\a_{mn}\end{pmatrix}"><span></span><span></span></span>
矩阵的初等变换与初等矩阵
初等变换
定义:矩阵的初等列变换与初等行变换统称为<font color="#ff0000">初等变换</font><br>
对调两行(列)<br>
以数<span class="equation-text" contenteditable="false" data-index="0" data-equation="k"><span></span><span></span></span>乘以某一行(列)的所有元素<br>
把某一行(列)所有元素的<span class="equation-text" contenteditable="false" data-index="0" data-equation="k"><span></span><span></span></span>倍加到另一行(列)处
矩阵经过初等变换跟原矩阵一般不相等,因此用只能用箭头“→ ”或 “~”连接<br>
等价矩阵
定义:如果矩阵<span class="equation-text" data-index="0" data-equation="A" contenteditable="false"><span></span><span></span></span>经过有限次初等变换变成矩阵<span class="equation-text" data-index="1" data-equation="B" contenteditable="false"><span></span><span></span></span>,则矩阵<span class="equation-text" data-index="2" data-equation="A" contenteditable="false"><span></span><span></span></span>与<span class="equation-text" data-index="3" data-equation="B" contenteditable="false"><span></span><span></span></span>等价,记作:<span class="equation-text" contenteditable="false" data-index="4" data-equation="A\sim B"><span></span><span></span></span>
性质
反身性:<span class="equation-text" contenteditable="false" data-index="0" data-equation="A\sim A"><span></span><span></span></span><br>
对称性:若<span class="equation-text" data-index="0" data-equation="A\sim B" contenteditable="false"><span></span><span></span></span>,则<span class="equation-text" contenteditable="false" data-index="1" data-equation="B\sim A"><span></span><span></span></span>
传递性:若<span class="equation-text" data-index="0" data-equation="{\rm{A}} \sim {\rm{B,}}\;{\rm{B}} \sim {\rm{C}}" contenteditable="false"><span></span><span></span></span>,则<span class="equation-text" contenteditable="false" data-index="1" data-equation="A\sim C"><span></span><span></span></span>
行阶梯矩阵(<font color="#ff0000">不唯一</font>)
<font color="#ff0000">定义</font>:(1)每一个非零行在零行之上<br>(2)从第一行起,每一行首个非零元前面零元的个数<font color="#ff0000">逐行增加</font>
简化行阶梯矩阵(<font color="#ff0000">唯一</font>)
<font color="#ff0000">定义</font>:行阶梯基础上(1)每一个非零行第一个非零元是1<br>(2)非零元1所在列的其他元素都是零<br>
矩阵的<font color="#f44336">标准形或最简形</font><font color="#ff0000">定义</font>(<font color="#ff0000">唯一</font>):简化行阶梯形基础上经过有限次初等<font color="#ff0000">列</font>变换为<br><font color="#ff0000">左上角是单位阵</font>,其余元素均为零的矩阵
<font color="#ff0000">定理</font>:任何矩阵都可以经过有限次初等行变换把它变为<font color="#ff0000">行阶梯形</font>和<font color="#ff0000">唯一简化行阶梯形</font>矩阵<br>
初等矩阵
<font color="#ff0000">定义:</font>由<font color="#ff0000">单位矩阵</font><span class="equation-text" data-index="0" data-equation="E" contenteditable="false"><span></span><span></span></span>经过<font color="#ff0000">一次初等变换</font>得到的<font color="#ff0000">方阵</font>称为初等矩阵
三种初等变换对应着三种初等矩阵,对单位矩阵<span class="equation-text" contenteditable="false" data-index="0" data-equation="E"><span></span><span></span></span> 施行一次初等变换
性质
初等矩阵的转置仍为初等矩阵<br>
初等矩阵都是可逆矩阵,且逆矩阵还是初等矩阵
<span class="equation-text" contenteditable="false" data-index="0" data-equation="E{(i,j)^{ - 1}} = E(i,j)"><span></span><span></span></span>
<span class="equation-text" contenteditable="false" data-index="0" data-equation="E{(i(k))^{ - 1}} = E(i(\frac{1}{k}))"><span></span><span></span></span><br>
<span class="equation-text" contenteditable="false" data-index="0" data-equation="E{(i,j(k))^{ - 1}} = E(i,j( - k))"><span></span><span></span></span>
<font color="#ff0000">定理</font>:设<span class="equation-text" data-index="0" data-equation="A" contenteditable="false"><span></span><span></span></span>是<span class="equation-text" contenteditable="false" data-index="1" data-equation="m×n"><span></span><span></span></span>矩阵
对<span class="equation-text" data-index="0" data-equation="A" contenteditable="false"><span></span><span></span></span>施行一次初等行变换,相当于矩阵<span class="equation-text" data-index="1" data-equation="A" contenteditable="false"><span></span><span></span></span>左乘以同种类的<span class="equation-text" contenteditable="false" data-index="2" data-equation="m"><span></span><span></span></span>阶初等矩阵
对<span class="equation-text" data-index="0" data-equation="A" contenteditable="false"><span></span><span></span></span>施行一次初等列变换,相当于矩阵<span class="equation-text" data-index="1" data-equation="A" contenteditable="false"><span></span><span></span></span>右乘以同种类的<span class="equation-text" contenteditable="false" data-index="2" data-equation="n"><span></span><span></span></span>阶初等矩阵
利用初等变换求逆
(1)构造矩阵<span class="equation-text" contenteditable="false" data-index="0" data-equation="(A|E)"><span></span><span></span></span><br>
(2)对<span class="equation-text" data-index="0" data-equation="(A|E)" contenteditable="false"><span></span><span></span></span>进行初等行变换,将<span class="equation-text" data-index="1" data-equation="A" contenteditable="false"><span></span><span></span></span>化为单位矩阵<span class="equation-text" data-index="2" data-equation="E" contenteditable="false"><span></span><span></span></span>后,右边<span class="equation-text" contenteditable="false" data-index="3" data-equation="E"><span></span><span></span></span>对应部分即为<span class="equation-text" data-index="4" data-equation="A^{-1}" contenteditable="false"><span></span><span></span></span><br>
矩阵的秩
定义
设矩阵 <span class="equation-text" data-index="0" data-equation="A" contenteditable="false"><span></span><span></span></span> 中存在一个 <span class="equation-text" data-index="1" data-equation="r" contenteditable="false"><span></span><span></span></span> 阶子式 <span class="equation-text" data-index="2" data-equation="D" contenteditable="false"><span></span><span></span></span>不为零,任何 <span class="equation-text" data-index="3" data-equation="r+1" contenteditable="false"><span></span><span></span></span> 阶子式(若存在)都为零,<span class="equation-text" data-index="4" data-equation="D" contenteditable="false"><span></span><span></span></span> 称为矩阵<span class="equation-text" data-index="5" data-equation="A" contenteditable="false"><span></span><span></span></span> 的最高阶非零子式,<span class="equation-text" data-index="6" data-equation="D" contenteditable="false"><span></span><span></span></span>的阶数 <span class="equation-text" data-index="7" data-equation="r " contenteditable="false"><span></span><span></span></span>称为矩阵 <span class="equation-text" data-index="8" data-equation="A" contenteditable="false"><span></span><span></span></span> 的<font color="#f44336">秩</font>, 记作:<span class="equation-text" data-index="9" data-equation="R(A)=r " contenteditable="false"><span></span><span></span></span>(规定:零矩阵的秩等于零)
<span class="equation-text" data-index="0" data-equation="k" contenteditable="false"><span></span><span></span></span>阶子式: 在<span class="equation-text" data-index="1" data-equation="m\times n" contenteditable="false"><span></span><span></span></span> 的矩阵 <span class="equation-text" data-index="2" data-equation="A" contenteditable="false"><span></span><span></span></span> 中,位于任意取定的 <span class="equation-text" data-index="3" data-equation="k" contenteditable="false"><span></span><span></span></span>行和 <span class="equation-text" data-index="4" data-equation="k" contenteditable="false"><span></span><span></span></span> 列交叉点上的元素,按原来的相对位置组成的<font color="#ff0000"><span class="equation-text" data-index="5" data-equation="k" contenteditable="false"><span></span><span></span></span> 阶行列式</font>,称为 <span class="equation-text" data-index="6" data-equation="A" contenteditable="false"><span></span><span></span></span> 的一个<font color="#ff0000"> <span class="equation-text" data-index="7" data-equation="k" contenteditable="false"><span></span><span></span></span> 阶子式</font><br>
定理
<span class="equation-text" data-index="0" data-equation="R(A)=r" contenteditable="false"><span></span><span></span></span> 的充要条件是 <span class="equation-text" data-index="1" data-equation="A" contenteditable="false"><span></span><span></span></span> 中有一个<span class="equation-text" data-index="2" data-equation="r " contenteditable="false"><span></span><span></span></span>阶子式<span class="equation-text" contenteditable="false" data-index="3" data-equation="D_r\ne 0"><span></span><span></span></span>且所有<span class="equation-text" data-index="4" data-equation="r+1" contenteditable="false"><span></span><span></span></span> 阶子式(若存在的话)全为零<br>
若 <span class="equation-text" data-index="0" data-equation="A" contenteditable="false"><span></span><span></span></span> 中所有 <span class="equation-text" data-index="1" data-equation="r+1" contenteditable="false"><span></span><span></span></span> 阶子式全为零,则<span class="equation-text" contenteditable="false" data-index="2" data-equation="R(A)\le r"><span></span><span></span></span>
若<span class="equation-text" contenteditable="false" data-index="0" data-equation=" A"><span></span><span></span></span> 中有某个<span class="equation-text" data-index="1" data-equation=" r" contenteditable="false"><span></span><span></span></span> 阶子式不等于零,则<span class="equation-text" data-index="2" data-equation="R(A)\ge r" contenteditable="false"><span></span><span></span></span>
若 <span class="equation-text" data-index="0" data-equation="A" contenteditable="false"><span></span><span></span></span> 为 <font color="#0000ff"><span class="equation-text" data-index="1" data-equation="n" contenteditable="false"><span></span><span></span></span> 阶方阵</font>,则<span class="equation-text" data-index="2" data-equation=" R(A) < n" contenteditable="false"><span></span><span></span></span> 充要条件是<span class="equation-text" contenteditable="false" data-index="3" data-equation="|A|=0"><span></span><span></span></span><br>
注意
<span class="equation-text" data-index="0" data-equation="R(A) = n" contenteditable="false"><span></span><span></span></span> 的充要条件是 <span class="equation-text" data-index="1" data-equation=" |A|≠0" contenteditable="false"><span></span><span></span></span> ,可逆矩阵(非奇异矩阵)又称为<font color="#ff0000">满秩矩阵</font><br>
<span class="equation-text" data-index="0" data-equation="R(A) < n" contenteditable="false"><span></span><span></span></span> 的充要条件是 <span class="equation-text" contenteditable="false" data-index="1" data-equation="|A| = 0"><span></span><span></span></span>,不可逆矩阵(奇异矩阵)又称为<font color="#ff0000">降秩矩阵</font><br>
任意 矩阵<span class="equation-text" data-index="0" data-equation="A" contenteditable="false"><span></span><span></span></span> ,<span class="equation-text" contenteditable="false" data-index="1" data-equation="R(A)=R(A^T)"><span></span><span></span></span>
如何求矩阵的秩
定理:<span class="equation-text" data-index="0" data-equation="\boldsymbol{A} \stackrel{\text { 初等变换 }}{\longrightarrow} \boldsymbol{B}" contenteditable="false"><span></span><span></span></span>,则<span class="equation-text" data-index="1" data-equation="R(A)=R(B)" contenteditable="false"><span></span><span></span></span>,即:<font color="#ff0000">初等变换不改变矩阵的秩</font><br>
为求矩阵的秩,只要用初等行变换把矩阵化成行阶梯形矩阵,<font color="#ff0000">行阶梯形矩阵中非<br>零行的行数即为该矩阵的秩</font>
性质
若<span class="equation-text" data-index="0" data-equation=" A " contenteditable="false"><span></span><span></span></span>为 <span class="equation-text" data-index="1" data-equation="m×n" contenteditable="false"><span></span><span></span></span> 矩阵,则 <span class="equation-text" contenteditable="false" data-index="2" data-equation="0≤ R(A) ≤ min(m, n)"><span></span><span></span></span><br>
<span class="equation-text" contenteditable="false" data-index="0" data-equation="R(A^T) = R(A)"><span></span><span></span></span><br>
若<span class="equation-text" data-index="0" data-equation=" A\sim B" contenteditable="false"><span></span><span></span></span>,则 <span class="equation-text" contenteditable="false" data-index="1" data-equation="R(A) = R(B)"><span></span><span></span></span><br>
若 <span class="equation-text" data-index="0" data-equation="P、Q " contenteditable="false"><span></span><span></span></span>可逆,则<span class="equation-text" contenteditable="false" data-index="1" data-equation=" R(PAQ) = R(A)"><span></span><span></span></span><br>
<span class="equation-text" data-index="0" data-equation="max\{R(A), R(B)\} ≤ R(A, B) ≤R(A)+R(B)" contenteditable="false"><span></span><span></span></span> .<br> 特别地,当 <span class="equation-text" data-index="1" data-equation="B = b " contenteditable="false"><span></span><span></span></span>为非零列向量时,有<br> <span class="equation-text" contenteditable="false" data-index="2" data-equation="R(A) ≤ R(A, b) ≤ R(A)+1"><span></span><span></span></span>
<span class="equation-text" contenteditable="false" data-index="0" data-equation="R(A+B) ≤ R(A)+R(B)"><span></span><span></span></span>
<span class="equation-text" contenteditable="false" data-index="0" data-equation="R(AB) ≤ min\{ R(A), R(B) \}"><span></span><span></span></span>
若 <span class="equation-text" data-index="0" data-equation="A_{m×n} B_{n×l} = O" contenteditable="false"><span></span><span></span></span>,则 <span class="equation-text" contenteditable="false" data-index="1" data-equation="R(A)+R(B) ≤ n"><span></span><span></span></span>
习题课二
作业二
3 线性方程组
高斯消元法
线性方程组的矩阵形式
含有<span class="equation-text" data-index="0" data-equation="n" contenteditable="false"><span></span><span></span></span>个未知数,<span class="equation-text" data-index="1" data-equation="m" contenteditable="false"><span></span><span></span></span>个一次方程的线性方程组:<span class="equation-text" data-index="2" data-equation="\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 \cdots \cdots \cdots \\a_{m 1} x_{1}+a_{m 2} x_{2}+\cdots+a_{m n} x_{n}=b_{m}\end{array}\right." contenteditable="false"><span></span><span></span></span>如果<span class="equation-text" data-index="3" data-equation="b" contenteditable="false"><span></span><span></span></span>不全为零,则称为<font color="#ff0000">非齐次线性方程组</font>,矩阵<span class="equation-text" data-index="4" data-equation="\boldsymbol{A}=\left[\begin{array}{cccc}a_{11} & a_{12} & \cdots & a_{1 n} \\a_{21} & a_{22} & \cdots & a_{2 n} \\\vdots & \vdots & & \vdots \\a_{m 1} & a_{m 2} & \cdots & a_{m n}\end{array}\right]" contenteditable="false"><span></span><span></span></span>和<span class="equation-text" data-index="5" data-equation="\boldsymbol{B}=\left[\begin{array}{ccccc}a_{11} & a_{12} & \cdots & a_{1 n} & b_{1} \\a_{21} & a_{22} & \cdots & a_{2 n} & b_{2} \\\vdots & \vdots & & \vdots & \vdots \\a_{m 1} & a_{m 2} & \cdots & a_{m n} & b_{m}\end{array}\right]" contenteditable="false"><span></span><span></span></span>分别称为该线性方程组的<font color="#ff0000">系数矩阵</font>和<font color="#ff0000">增广矩阵</font>,<span class="equation-text" data-index="6" data-equation="b" contenteditable="false"><span></span><span></span></span>全为零则是<font color="#ff0000">齐次线性方程组</font><br>
<font color="#ff0000">非齐次线性方程组</font>可以通过矩阵的形式写成:<span class="equation-text" data-index="0" data-equation="Ax=b" contenteditable="false"><span></span><span></span></span>,其中:<span class="equation-text" data-index="1" data-equation="\boldsymbol{x}=\left(x_{1}, x_{2}, \cdots, x_{n}\right)^{T}" contenteditable="false"><span></span><span></span></span>,<span class="equation-text" data-index="2" data-equation="\boldsymbol{b}=\left(b_{1}, b_{2}, \cdots, b_{m}\right)^{T}" contenteditable="false"><span></span><span></span></span><br>类似的,<font color="#ff0000">其次线性方程组</font>可以写成:<span class="equation-text" contenteditable="false" data-index="3" data-equation="Ax=0"><span></span><span></span></span><br>
定义<br>
<font color="#ff0000">增广矩阵</font>经过初等<font color="#ff0000">行</font>变换为<font color="#f44336">简化行阶梯矩阵</font>来求解线性方程组的方法
定理
<font color="#ff0000">非齐次线性方程组</font>
有解的充要条件是:<span class="equation-text" data-index="0" data-equation="R(A)=R(B)=r" contenteditable="false"><span></span><span></span></span>
<span class="equation-text" contenteditable="false" data-index="0" data-equation="r<n"><span></span><span></span></span>时有无穷多解
<span class="equation-text" contenteditable="false" data-index="0" data-equation="r=n"><span></span><span></span></span>时有唯一解
<span class="equation-text" data-index="0" data-equation="n" contenteditable="false"><span></span><span></span></span>元<font color="#ff0000">齐次线性方程组</font>
<font color="#ff0000"></font><span class="equation-text" data-index="0" data-equation="Ax=0" contenteditable="false"><span></span><span></span></span>有非零解的充要条件系数矩阵<span class="equation-text" data-index="1" data-equation="A" contenteditable="false"><span></span><span></span></span>的秩<span class="equation-text" contenteditable="false" data-index="2" data-equation="R(A)<n"><span></span><span></span></span>
推论1:方程个数<span class="equation-text" data-index="0" data-equation="m" contenteditable="false"><span></span><span></span></span>少于未知量个数<span class="equation-text" contenteditable="false" data-index="1" data-equation="n"><span></span><span></span></span>,则必有非零解
推论2:方程个数<span class="equation-text" data-index="0" data-equation="m" contenteditable="false"><span></span><span></span></span>等于未知量个数<span class="equation-text" data-index="1" data-equation="n" contenteditable="false"><span></span><span></span></span>,且系数行列式<span class="equation-text" contenteditable="false" data-index="2" data-equation="|A|=0"><span></span><span></span></span>,则方程组必有非零解
<font color="#ff0000">矩阵方程</font>
<br><span class="equation-text" data-index="0" data-equation="AX=B" contenteditable="false"><span></span><span></span></span>有解的充要条件是<span class="equation-text" contenteditable="false" data-index="1" data-equation="R(A)=R(A,B)"><span></span><span></span></span>
<span class="equation-text" contenteditable="false" data-index="0" data-equation="n"><span></span><span></span></span>维向量组的线性相关性
<span class="equation-text" contenteditable="false" data-index="0" data-equation="n"><span></span><span></span></span>维向量
定义
<span class="equation-text" data-index="0" data-equation="n" contenteditable="false"><span></span><span></span></span>个有序的数<span class="equation-text" data-index="1" data-equation="a_1,a_2,...,a_n" contenteditable="false"><span></span><span></span></span>所组成的数组称为<span class="equation-text" contenteditable="false" data-index="2" data-equation="n"><span></span><span></span></span>维向量,这<span class="equation-text" data-index="3" data-equation="n" contenteditable="false"><span></span><span></span></span>个数称为该向量的<span class="equation-text" data-index="4" data-equation="n" contenteditable="false"><span></span><span></span></span>个分量,第<span class="equation-text" data-index="5" data-equation="i" contenteditable="false"><span></span><span></span></span>个数<span class="equation-text" data-index="6" data-equation="a_i" contenteditable="false"><span></span><span></span></span>称为第<span class="equation-text" data-index="7" data-equation="i" contenteditable="false"><span></span><span></span></span>个分量。<br><span class="equation-text" data-index="8" data-equation="n" contenteditable="false"><span></span><span></span></span>维向量可写成一行,也可写成一列。分别称为<font color="#ff0000">行向量</font>和<font color="#ff0000">列向量</font>:
<span class="equation-text" contenteditable="false" data-index="0" data-equation="n"><span></span><span></span></span>维列向量<span class="equation-text" data-index="1" data-equation="\begin{pmatrix}a_1\\a_2\\\vdots\\a_n\end{pmatrix}" contenteditable="false"><span></span><span></span></span>
<span class="equation-text" contenteditable="false" data-index="0" data-equation="n"><span></span><span></span></span>维行向量<span class="equation-text" data-index="1" data-equation="(a_1,a_2,...,a_n)\quad 或\quad \begin{pmatrix}a_1&a_2&\cdots&a_n\end{pmatrix}" contenteditable="false"><span></span><span></span></span>
<span class="equation-text" contenteditable="false" data-index="0" data-equation="n"><span></span><span></span></span>维向量的运算
<span class="equation-text" contenteditable="false" data-index="0" data-equation="\begin{array}{c|c} \hline \\ \quad 加法\quad & \quad\begin{aligned} 交换律\\ 结合律 \end{aligned}\quad & \quad\begin{aligned}\boldsymbol{v}+\boldsymbol{u}=\boldsymbol{u}+\boldsymbol{v}\qquad\quad\\ \boldsymbol{u}+\boldsymbol{v}+\boldsymbol{w}=\boldsymbol{u}+(\boldsymbol{v}+\boldsymbol{w}) \end{aligned}\quad\\ \\ \hline \\ \quad 数乘\quad & \quad\begin{aligned} 交换律\\ 结合律\\分配律 \end{aligned}\quad & \quad\begin{aligned}k\cdot\boldsymbol{u}=\boldsymbol{u}\cdot k\qquad\ \ \\ k\cdot m\cdot\boldsymbol{u}=k\cdot(m\cdot\boldsymbol{u})\\k(\boldsymbol{u}+\boldsymbol{v})=k\boldsymbol{u}+k\boldsymbol{v}\ \ \end{aligned}\quad\\ \\ \hline\end{array}"><span></span><span></span></span>
<span class="equation-text" contenteditable="false" data-index="0" data-equation="n"><span></span><span></span></span>维向量的线性相关性
定义
线性相关/线性无关
<font color="#ff0000">向量组的定义</font>:若干<font color="#ff0000">同维数</font>的列向量(或者同维数的行向量)所组成的集合,叫做<font color="#ff0000">向量组</font>。比如同维数的向量<span class="equation-text" data-index="0" data-equation="\boldsymbol{a_1},\boldsymbol{a_2},...\boldsymbol{a_m}" contenteditable="false"><span></span><span></span></span>,可以组成向量组<span class="equation-text" data-index="1" data-equation="\mathcal{A}" contenteditable="false"><span></span><span></span></span>,通常记作:<span class="equation-text" contenteditable="false" data-index="2" data-equation="\mathcal{A}:\boldsymbol{a_1},\boldsymbol{a_2},...,\boldsymbol{a_m}\quad 或\quad \mathcal{A}=\{\boldsymbol{a_1},\boldsymbol{a_2},...,\boldsymbol{a_m}\}"><span></span><span></span></span><br>
给定<font color="#ff0000">向量组</font><span class="equation-text" data-index="0" data-equation="\mathcal{A}=\{\boldsymbol{a_1},\boldsymbol{a_2},...,\boldsymbol{a_m}\}" contenteditable="false"><span></span><span></span></span>和向量<span class="equation-text" data-index="1" data-equation="\boldsymbol{b_{}}" contenteditable="false"><span></span><span></span></span>,如果存在一组实数<span class="equation-text" data-index="2" data-equation="k_1,k_2,...k_m" contenteditable="false"><span></span><span></span></span>,使:<span class="equation-text" data-index="3" data-equation="\boldsymbol{b_{}}=k_1\boldsymbol{a_1}+k_2\boldsymbol{a_2}+...+k_m\boldsymbol{a_m}" contenteditable="false"><span></span><span></span></span><br>则称向量<span class="equation-text" data-index="4" data-equation="\boldsymbol{b_{}}" contenteditable="false"><span></span><span></span></span>能由向量组<span class="equation-text" data-index="5" data-equation="\mathcal{A}" contenteditable="false"><span></span><span></span></span><font color="#ff0000">线性表示</font>,或称向量<span class="equation-text" data-index="6" data-equation="\boldsymbol{b_{}}" contenteditable="false"><span></span><span></span></span>是向量组<span class="equation-text" data-index="7" data-equation="\mathcal{A}" contenteditable="false"><span></span><span></span></span>的<font color="#ff0000">线性组合</font>。<br>
给定<font color="#ff0000">向量组</font><span class="equation-text" data-index="0" data-equation="\mathcal{A}=\{\boldsymbol{a_1},\boldsymbol{a_2},...,\boldsymbol{a_m}\}" contenteditable="false"><span></span><span></span></span>,如果存在不全为零的实数<span class="equation-text" data-index="1" data-equation="k_1,k_2,...k_m" contenteditable="false"><span></span><span></span></span>,使:<span class="equation-text" data-index="2" data-equation="k_1\boldsymbol{a_1}+k_2\boldsymbol{a_2}+...+k_m\boldsymbol{a_m}=\boldsymbol{0}" contenteditable="false"><span></span><span></span></span><br>则称向量组<span class="equation-text" data-index="3" data-equation="\mathcal{A}" contenteditable="false"><span></span><span></span></span>是线<font color="#ff0000">性相关</font>的,否则称它为<font color="#ff0000">线性无关</font>。<br>
定理
线性方程组<span class="equation-text" data-index="0" data-equation="Ax=b" contenteditable="false"><span></span><span></span></span>中,向量<span class="equation-text" data-index="1" data-equation="b" contenteditable="false"><span></span><span></span></span>可由向量组<span class="equation-text" contenteditable="false" data-index="2" data-equation="A"><span></span><span></span></span>线性表示的充要条件是系数矩阵<span class="equation-text" data-index="3" data-equation="\mathcal{A}=\{\boldsymbol{a_1},\boldsymbol{a_2},...,\boldsymbol{a_n}\}" contenteditable="false"><span></span><span></span></span>的秩等于增广矩阵<span class="equation-text" data-index="4" data-equation="\mathcal{B}=\{\boldsymbol{a_1},\boldsymbol{a_2},...,\boldsymbol{a_n},b\}" contenteditable="false"><span></span><span></span></span>的秩
向量组<span class="equation-text" contenteditable="false" data-index="0" data-equation="B"><span></span><span></span></span>可由向量组<span class="equation-text" data-index="1" data-equation="A" contenteditable="false"><span></span><span></span></span>线性表示的充要条件是:矩阵<span class="equation-text" data-index="2" data-equation="A" contenteditable="false"><span></span><span></span></span>的秩等于矩阵<span class="equation-text" data-index="3" data-equation="(A,B)" contenteditable="false"><span></span><span></span></span>的秩,即:<span class="equation-text" data-index="4" data-equation="R(A)=R(A,B)" contenteditable="false"><span></span><span></span></span>
<font color="#ff0000">一个向量组线性相关</font>的充分必要条件是这个向量组中至少有一个向量可由其余向量线性表示
设向量组<span class="equation-text" data-index="0" data-equation="a_1,a_2,...,a_n" contenteditable="false"><span></span><span></span></span>构成的矩阵<span class="equation-text" data-index="1" data-equation="A" contenteditable="false"><span></span><span></span></span>的秩为<span class="equation-text" data-index="2" data-equation="r" contenteditable="false"><span></span><span></span></span>,则该向量组线性相关(无关)的充要条件是<span class="equation-text" data-index="3" data-equation="r<n(r=n)" contenteditable="false"><span></span><span></span></span>,即<span class="equation-text" contenteditable="false" data-index="4" data-equation="A"><span></span><span></span></span>的秩小于(等于)向量的个数
极大线性无关组
定义
设有两个<span class="equation-text" data-index="0" data-equation="n" contenteditable="false"><span></span><span></span></span>维向量组<span class="equation-text" data-index="1" data-equation="A" contenteditable="false"><span></span><span></span></span>及<span class="equation-text" data-index="2" data-equation="B" contenteditable="false"><span></span><span></span></span>,若向量组<span class="equation-text" data-index="3" data-equation="A" contenteditable="false"><span></span><span></span></span>与向量组<span class="equation-text" data-index="4" data-equation="B" contenteditable="false"><span></span><span></span></span>能相互线性表示,则称向量组<span class="equation-text" data-index="5" data-equation="A" contenteditable="false"><span></span><span></span></span>与向量组<span class="equation-text" data-index="6" data-equation="B" contenteditable="false"><span></span><span></span></span><font color="#ff0000">等价</font>
设向量组<span class="equation-text" data-index="0" data-equation="A" contenteditable="false"><span></span><span></span></span>,若在<span class="equation-text" data-index="1" data-equation="A" contenteditable="false"><span></span><span></span></span>中存在<span class="equation-text" data-index="2" data-equation="r" contenteditable="false"><span></span><span></span></span>个向量的向量组<span class="equation-text" data-index="3" data-equation="A_0" contenteditable="false"><span></span><span></span></span>满足:(1)向量组<span class="equation-text" data-index="4" data-equation="A_0" contenteditable="false"><span></span><span></span></span>线性无关(2)向量组<span class="equation-text" data-index="5" data-equation="A" contenteditable="false"><span></span><span></span></span>中任意<span class="equation-text" data-index="6" data-equation="r+1" contenteditable="false"><span></span><span></span></span>个向量都线性相关。<br>则向量组<span class="equation-text" data-index="7" data-equation="A_0" contenteditable="false"><span></span><span></span></span>是向量组<span class="equation-text" data-index="8" data-equation="A" contenteditable="false"><span></span><span></span></span>的<font color="#ff0000">极大线性无关组</font>。
(2)说明向量组中任意一个向量可由<span class="equation-text" contenteditable="false" data-index="0" data-equation="A_0"><span></span><span></span></span>线性表示
定理
矩阵的秩=列向量组的秩=行向量组的秩
向量组<span class="equation-text" data-index="0" data-equation="A" contenteditable="false"><span></span><span></span></span>可由向量组<span class="equation-text" data-index="1" data-equation="B" contenteditable="false"><span></span><span></span></span>线性表示,则向量组<span class="equation-text" data-index="2" data-equation="A" contenteditable="false"><span></span><span></span></span>的秩不大于向量组<span class="equation-text" contenteditable="false" data-index="3" data-equation="B"><span></span><span></span></span>的秩
向量组<span class="equation-text" data-index="0" data-equation="A" contenteditable="false"><span></span><span></span></span>与向量组<span class="equation-text" data-index="1" data-equation="B" contenteditable="false"><span></span><span></span></span>等价的充要条件是:<span class="equation-text" contenteditable="false" data-index="2" data-equation="R(A)=R(B)=R(A,B)"><span></span><span></span></span>
向量空间
定义
封闭
向量空间
线性方程组解的结构
定义
设<span class="equation-text" data-index="0" data-equation="{\xi _1} = {\left( {{\xi _{11}},{\xi _{21}}, \cdot \cdot \cdot ,{\xi _{n1}}} \right)^T}" contenteditable="false"><span></span><span></span></span>是方程组<span class="equation-text" contenteditable="false" data-index="1" data-equation="Ax=0的"><span></span><span></span></span>的解,则<span class="equation-text" data-index="2" data-equation="\xi _1" contenteditable="false"><span></span><span></span></span>是方程组<span class="equation-text" data-index="3" data-equation="Ax=" contenteditable="false"><span></span><span></span></span>0的一个<font color="#ff0000">解向量</font><br>
性质
若<span class="equation-text" data-index="0" data-equation="\boldsymbol{x}=\boldsymbol{\xi}_{1}, \boldsymbol{x}=\boldsymbol{\xi}_{2}" contenteditable="false"><span></span><span></span></span>是<span class="equation-text" data-index="1" data-equation="Ax=0" contenteditable="false"><span></span><span></span></span>的解,则<span class="equation-text" data-index="2" data-equation="\boldsymbol{x}=\boldsymbol{\xi}_{1}+\boldsymbol{\xi}_{2}" contenteditable="false"><span></span><span></span></span>也是<span class="equation-text" contenteditable="false" data-index="3" data-equation="Ax=0"><span></span><span></span></span>的解
若<span class="equation-text" data-index="0" data-equation="\boldsymbol{x}=\boldsymbol{\xi}_{1}" contenteditable="false"><span></span><span></span></span>是<span class="equation-text" data-index="1" data-equation="Ax=0" contenteditable="false"><span></span><span></span></span>的解,则<span class="equation-text" data-index="2" data-equation="\boldsymbol{x}=k\boldsymbol{\xi}_{1}" contenteditable="false"><span></span><span></span></span>也是<span class="equation-text" contenteditable="false" data-index="3" data-equation="Ax=0"><span></span><span></span></span>的解<br>
方程组<span class="equation-text" data-index="0" data-equation=" Ax = 0" contenteditable="false"><span></span><span></span></span> 的全体解向量构成的集合称为<font color="#ff0000">解向量组</font>; 记为:<span class="equation-text" data-index="1" data-equation="N(A) = \left\{ {x|Ax = 0} \right\}" contenteditable="false"><span></span><span></span></span><br>
方程组<span class="equation-text" data-index="0" data-equation="Ax = 0" contenteditable="false"><span></span><span></span></span>的一组解向量<span class="equation-text" data-index="1" data-equation="{\xi _1},\;{\xi _2}, \cdots ,\;{\xi _s}" contenteditable="false"><span></span><span></span></span>若满足:(1)<span class="equation-text" data-index="2" data-equation="{\xi _1},\;{\xi _2}, \cdots ,\;{\xi _s}" contenteditable="false"><span></span><span></span></span>线性无关(2)任一解向量均可被<span class="katex"><span class="katex-html" aria-hidden="true"><span class="base"><span class="mord"><span class="mord"><span class="mord mathdefault" style="margin-right:0.04601em;">ξ</span><span class="msupsub"><span class="vlist-t vlist-t2"><span class="vlist-r"><span class="vlist" style="height:0.30110799999999993em;"><span style="top:-2.5500000000000003em;margin-left:-0.04601em;margin-right:0.05em;"><span class="pstrut" style="height:2.7em;"></span><span class="sizing reset-size6 size3 mtight"><span class="mord mtight">1</span></span></span></span><span class="vlist-s"></span></span><span class="vlist-r"><span class="vlist" style="height:0.15em;"></span></span></span></span></span></span><span class="mpunct">,</span><span class="mspace" style="margin-right:0.16666666666666666em;"></span><span class="mspace" style="margin-right:0.2777777777777778em;"></span><span class="mord"><span class="mord"><span class="mord mathdefault" style="margin-right:0.04601em;">ξ</span><span class="msupsub"><span class="vlist-t vlist-t2"><span class="vlist-r"><span class="vlist" style="height:0.30110799999999993em;"><span style="top:-2.5500000000000003em;margin-left:-0.04601em;margin-right:0.05em;"><span class="pstrut" style="height:2.7em;"></span><span class="sizing reset-size6 size3 mtight"><span class="mord mtight">2</span></span></span></span><span class="vlist-s"></span></span><span class="vlist-r"><span class="vlist" style="height:0.15em;"></span></span></span></span></span></span><span class="mpunct">,</span><span class="mspace" style="margin-right:0.16666666666666666em;"></span><span class="minner">⋯</span><span class="mspace" style="margin-right:0.16666666666666666em;"></span><span class="mspace" style="margin-right:0.16666666666666666em;"></span><span class="mpunct">,</span><span class="mspace" style="margin-right:0.16666666666666666em;"></span><span class="mspace" style="margin-right:0.2777777777777778em;"></span><span class="mord"><span class="mord"><span class="mord mathdefault" style="margin-right:0.04601em;">ξ</span><span class="msupsub"><span class="vlist-t vlist-t2"><span class="vlist-r"><span class="vlist" style="height:0.151392em;"><span style="top:-2.5500000000000003em;margin-left:-0.04601em;margin-right:0.05em;"><span class="pstrut" style="height:2.7em;"></span><span class="sizing reset-size6 size3 mtight"><span class="mord mathdefault mtight">s</span></span></span></span><span class="vlist-s"></span></span><span class="vlist-r"><span class="vlist" style="height:0.15em;"></span></span></span></span></span></span></span></span></span>线性表示<br>则称<span class="katex"><span class="katex-html" aria-hidden="true"><span class="base"><span class="mord"><span class="mord"><span class="mord mathdefault" style="margin-right:0.04601em;">ξ</span><span class="msupsub"><span class="vlist-t vlist-t2"><span class="vlist-r"><span class="vlist" style="height:0.30110799999999993em;"><span style="top:-2.5500000000000003em;margin-left:-0.04601em;margin-right:0.05em;"><span class="pstrut" style="height:2.7em;"></span><span class="sizing reset-size6 size3 mtight"><span class="mord mtight">1</span></span></span></span><span class="vlist-s"></span></span><span class="vlist-r"><span class="vlist" style="height:0.15em;"></span></span></span></span></span></span><span class="mpunct">,</span><span class="mspace" style="margin-right:0.16666666666666666em;"></span><span class="mspace" style="margin-right:0.2777777777777778em;"></span><span class="mord"><span class="mord"><span class="mord mathdefault" style="margin-right:0.04601em;">ξ</span><span class="msupsub"><span class="vlist-t vlist-t2"><span class="vlist-r"><span class="vlist" style="height:0.30110799999999993em;"><span style="top:-2.5500000000000003em;margin-left:-0.04601em;margin-right:0.05em;"><span class="pstrut" style="height:2.7em;"></span><span class="sizing reset-size6 size3 mtight"><span class="mord mtight">2</span></span></span></span><span class="vlist-s"></span></span><span class="vlist-r"><span class="vlist" style="height:0.15em;"></span></span></span></span></span></span><span class="mpunct">,</span><span class="mspace" style="margin-right:0.16666666666666666em;"></span><span class="minner">⋯</span><span class="mspace" style="margin-right:0.16666666666666666em;"></span><span class="mspace" style="margin-right:0.16666666666666666em;"></span><span class="mpunct">,</span><span class="mspace" style="margin-right:0.16666666666666666em;"></span><span class="mspace" style="margin-right:0.2777777777777778em;"></span><span class="mord"><span class="mord"><span class="mord mathdefault" style="margin-right:0.04601em;">ξ</span><span class="msupsub"><span class="vlist-t vlist-t2"><span class="vlist-r"><span class="vlist" style="height:0.151392em;"><span style="top:-2.5500000000000003em;margin-left:-0.04601em;margin-right:0.05em;"><span class="pstrut" style="height:2.7em;"></span><span class="sizing reset-size6 size3 mtight"><span class="mord mathdefault mtight">s</span></span></span></span><span class="vlist-s"></span></span><span class="vlist-r"><span class="vlist" style="height:0.15em;"></span></span></span></span></span></span></span></span></span>为方程组<span class="equation-text" data-index="3" data-equation="Ax=0" contenteditable="false"><span></span><span></span></span>的一个<font color="#ff0000">基础解系</font><br>
<font color="#ff0000">基础解系即为解向量组的极大无关组</font>
定理
<span class="equation-text" data-index="0" data-equation="n" contenteditable="false"><span></span><span></span></span>元齐次线性方程组<span class="equation-text" data-index="1" data-equation="Ax=0" contenteditable="false"><span></span><span></span></span>的全体解集<span class="equation-text" data-index="2" data-equation="N(A)" contenteditable="false"><span></span><span></span></span>是一个解空间,若<span class="equation-text" data-index="3" data-equation="R(A)=r<n" contenteditable="false"><span></span><span></span></span>,则解空间的维数<span class="equation-text" data-index="4" data-equation="dimN(A)=n-r" contenteditable="false"><span></span><span></span></span>;若<span class="equation-text" data-index="5" data-equation="r=n" contenteditable="false"><span></span><span></span></span>,则解空间仅有零解,即<span class="equation-text" contenteditable="false" data-index="6" data-equation="N(A)=\{0\}"><span></span><span></span></span><font color="#ff0000">【秩-零化度定理】</font>
解的结构定理:设非齐次详细方程组<span class="equation-text" contenteditable="false" data-index="0" data-equation="Ax=b"><span></span><span></span></span>有解,则其通解为:<span class="equation-text" data-index="1" data-equation="\boldsymbol{x}=\boldsymbol{\eta}+\tilde{\boldsymbol{x}}" contenteditable="false"><span></span><span></span></span>。其中<span class="equation-text" data-index="2" data-equation="\boldsymbol{\eta}" contenteditable="false"><span></span><span></span></span>是<span class="equation-text" data-index="3" data-equation="Ax=b" contenteditable="false"><span></span><span></span></span>的一个特解(可将自由未知量全取为零的解),<span class="equation-text" data-index="4" data-equation="\tilde{\boldsymbol{x}}" contenteditable="false"><span></span><span></span></span>是导出组<span class="equation-text" data-index="5" data-equation="Ax=0" contenteditable="false"><span></span><span></span></span>的通解。<br>
0 条评论
下一页