《线性代数及其应用》阅读笔记：第一章 线性代数中的线性方程组

《线性代数及其应用》阅读笔记（知识梳理）：

第一章 线性代数中的线性方程组

1.1 线性方程组

涉及如下概念：

提纲
1、什么是线性方程？	。
2、什么是线性方程组？	。
3、线性方程组解的三种情况	无解/唯一解/无穷多解
4、相容/不相容	有解(1or无穷个)/无解
5、矩阵表示线性方程组	系数矩阵/增广矩阵

• 6、解线性方程组

解线性方程组的基本思路：将方程组用一个更容易解的等价方程组代替。

线性方程组的变换对应于增广矩阵的行变换。
—— 把线性方程组对应的增广矩阵中的系数矩阵整理成三角矩阵/对角矩阵，增广矩阵中最后一列即为线性方程组的解。

线性方程组	线性方程组的解
$$\{\begin{array}{l}{a}_{11}x1+a_{12}x2+a_{13}x3=w1\\ a_{21}x1+a_{22}x2+a_{23}x3=w2\\ a_{31}x1+a_{32}x2+a_{33}x3=w3\end{array}$$	$$\{\begin{array}{l}x1=z1\\ x2=z2\\ x3=z3\end{array}$$
增广矩阵表示原方程组	化简成上三角矩阵从最后一行往上代入求得解
$$\left[\begin{array}{cccc}{a}_{11}& a_{12}& a_{13}& w_1\\ a_{21}& a_{22}& a_{23}& w_2\\ a_{31}& a_{32}& a_{33}& w_3\end{array}\right]$$	$$\left[\begin{array}{cccc}{a}_{11}^{\prime }& a_{12}^{\prime }& a_{13}^{\prime }& z_1^{\prime }\\ 0& a_{22}^{\prime }& a_{23}^{\prime }& z_2^{\prime }\\ 0& 0& a_{33}^{\prime }& z_3^{\prime }\end{array}\right]$$
增广矩阵表示原方程组	化简成对角矩阵求得解
$$\left[\begin{array}{cccc}{a}_{11}& a_{12}& a_{13}& w_1\\ a_{21}& a_{22}& a_{23}& w_2\\ a_{31}& a_{32}& a_{33}& w_3\end{array}\right]$$	$$\left[\begin{array}{cccc}1& 0& 0& z_1\\ 0& 1& 0& z_2\\ 0& 0& 1& z_3\end{array}\right]$$

结合《矩阵论》所学，突然想到：
1、【任意一个n阶矩阵都和一个三角矩阵相似】
2、【n阶矩阵A与一个对角矩阵相似$\iff$当矩阵A有n个线性无关的特征向量时】
3、【任意矩阵A在某组基下，可以与一个Jordan标准型矩阵(类三角矩阵)相似】

1.2 行化简与阶梯矩阵

提出的目的：行化简算法可以求解任意线性方程组。

1、阶梯矩阵和简化阶梯矩阵的定义

任一矩阵	阶梯形/行阶梯型矩阵	简化阶梯形矩阵
	定义	定义
2. 各类型矩阵间关系	任何非零矩阵可通过行简化（利用初等变换）成阶梯矩阵。不同方法可得到不同的阶梯形矩阵。	一个矩阵只能化为唯一的简化阶梯矩阵。
3. 主元位置和主元列：是对原矩阵中的定义	主元： 是对化简后的阶梯形/简化阶梯形中主元位置元素的定义	主元
4. 线性方程组的求解	主用行化简算法对方程组的增广矩阵求解

2、行化简算法的步骤

行化简算法的步骤	阶梯形/行阶梯型矩阵
向前步骤	目的：化简得到阶梯形矩阵
1）	从最左侧非零列开始：那么这就是一个主元列，主元位置在最顶端
2）	选主元元素：主元列选最大的非0元素，对换使其在主元位置
3）	主元下方元素 $\to$ 0
4）	忽略主元所在行和列，对子矩阵重复如上步骤
向后步骤 /矩阵算法	目的：得到简化阶梯矩阵
5）	从最右侧主元开始，依次：主元上方元素 $\to$ 0，主元位置元素 $\to$ 1

3、应用行化简算法解线性方程

应用行化简算法解线性方程组：
1）线性方程组 $\to$ 一般的增广矩阵。
2）一般的增广矩阵 $\to$ 阶梯矩阵；确定方程组是否相容，不相容则无解，相容则进行下一步。
3）阶梯矩阵 $\to$ 简化阶梯矩阵。
4）写出由简化阶梯矩阵对应的方程组。
5）表示原方程所有变量$\to$用任意自由变量表示基本变量；
6）得到通解。

1.3 向量方程

• 提出的目的：
  用向量方程表示一组有序数，将线性方程组与向量方程联系起来。

1.3 提纲	向量方程
1 $R^n$中的向量定义与表示	仅含一列的矩阵称为列向量，简称向量 。$A=\left[\begin{array}{c}{a}_1\\ a_2\\ ⋮\\ a_n\end{array}\right]$ 或为节省篇幅，表示成空间中坐标的形式：$A=(a_1,a_2,...,a_n)$
2向量的几何意义与表示	1）空间中的点表示向量：(1,1)； 2）空间中的箭头表示向量。
3 线性组合	$\vec{y}=c_1{\vec{v}}_1+c_2{\vec{v}}_2+...+c_n{\vec{v}}_n$ 每个基向量×相应权重之和
4 向量方程	$x_1{\vec{a}}_1+x_2{\vec{a}}_2+...+x_n{\vec{a}}_n=\vec{b}$ 其增广矩阵为：$[{\vec{a}}_1{\vec{a}}_2...{\vec{a}}_n\vec{b}]$
5 向量方程的解法	对增广矩阵进行行阶梯化简。
6 生成/张成子空间	由${\vec{v}}_1、{\vec{v}}_2、...、{\vec{v}}_n$所生成的$R^n$的子集

1.4 矩阵方程

• 提出的目的：
  线性代数中的一个基本思想是把响亮的线性组合看做是矩阵与向量的乘积。也即满足$A\vec{x}=\vec{b}$的形式，其中的A就是系数矩阵，从而引出矩阵方程的概念。

1.4 提纲	矩阵方程
1 矩阵方程的定义	形如$A\vec{x}=\vec{b}$的方程叫矩阵方程, 其中，$A\vec{x}=[{\vec{a}}_1{\vec{a}}_2...{\vec{a}}_n]\left[\begin{array}{c}{x}_1\\ x_2\\ ⋮\\ x_n\end{array}\right]=x_1{\vec{a}}_1+x_2{\vec{a}}_2+...+x_n{\vec{a}}_n$
2 与向量方程/线性方程组的关系	矩阵方程：$A\vec{x}=\vec{b}$ 与 向量方程：$x_1{\vec{a}}_1+x_2{\vec{a}}_2+...+x_n{\vec{a}}_n=\vec{b}$ 与增广矩阵为$[{\vec{a}}_1{\vec{a}}_2...{\vec{a}}_n\vec{b}]$的线性方程组解集相同
3 矩阵方程的解法	矩阵×向量： $A\vec{x}$中第i个元素是A中第i行元素与$\vec{x}$乘积之和。 $A\vec{x}=\left[\begin{array}{ccc}{a}_{11}& a_{12}& a_{13}\\ ⋮& ⋮& ⋮\end{array}\right]\left[\begin{array}{c}{x}_1\\ x_2\\ x_3\end{array}\right]=\left[\begin{array}{ccc}{a}_{11}{x}_1& a_{12}{x}_2& a_{13}{x}_1\\ ⋮& ⋮& ⋮\end{array}\right]$

总结：

• 线性方程组的三种不同观点：
  线性方程组、向量方程、矩阵方程。

• 线性方程组的通用解法：
  行化简算法化简增广矩阵。[是线性方程组—>矩阵的转变]

1.5 线性方程组的解集

1.5.1 齐次线性方程组

1.5.2 非齐次线性方程组

参见：线性方程组的解集

1.5.3 参数向量形式

把(相容方程组的)解集表示成参数向量形式
1. 增广矩阵化简成行阶梯矩阵
2.将每个基本变量用自由变量表示
3. 将一般解$\vec{x}$表示成向量，若有自由向量，其元素依赖于自由向量。
4. 将$\vec{x}$分解成向量的线性组合，用自由变量做参数。

1.7 线性无关

1.7.1 向量的线性无关与线性相关

向量组	$\vec{x}=$ { ${\vec{x}}_1,{\vec{x}}_2,...,{\vec{x}}_n$ }
向量方程	$c_1{\vec{x}}_1+c_2{\vec{x}}_2+...+c_n{\vec{x}}_n=\vec{0}$
线性无关	仅有平凡解：$\vec{x}=\vec{0}$
线性相关	权$c_i$不全为0

1.7.2 矩阵各列的线性无关与线性相关

矩阵	$A=$[${\vec{a}}_1,{\vec{a}}_2,...,{\vec{a}}_n$]
矩阵方程	$A\vec{x}=\vec{0}$ $c_1{\vec{a}}_1+c_2{\vec{a}}_2+...+c_n{\vec{a}}_n=\vec{0}$
矩阵各列线性无关	$A\vec{x}=\vec{0}$ 仅有平凡解：$\vec{x}=\vec{0}$
矩阵各列线性相关	权$c_i$不全为0

1.7.3 判断线性无关与线性相关

• 一个或两个向量的集合：
  观察法：一个向量是否是另一个的倍数。

• 两个或更多向量的集合：
  向量组中存在某一个向量是其他向量的线性组合。
  但去验证某特定向量是其他向量的线性组合是不对的。

• 判断线性相关：
  方程组数目小于变量数目。
  向量组中向量数目多于每个向量元素个数。
  [向量组表现为：长＞宽的矩形].

1.8 线性变换介绍

对于式子“ $A\vec{x}=\vec{b}$ ”，可以理解为：把矩阵A看做一个对象，它通过乘法运算“作用”到$\vec{x}$上，从而产生新的向量$\vec{b}$。这就是一个线性变换的过程。

• 对线性变换的理解：
  $\vec{x}\to A\vec{x}$对应从一个向量集合$R^n$到另一个向量集合$R^m$的“函数”变换过程。

函数$A\vec{x}=\vec{b}$	理解
$T(\vec{x})$	映射规则为：$T$； T的定义域：$R^n$； T的余定义域：$R^m$上的全体向量； $\vec{x}$的像：$R^m$中的向量$T(\vec{x})$； T的值域：所有像$T(\vec{x})$的集合。

对于映射规则“$T$”常用$A\vec{x}$计算得到，其中$A$为m*n阶矩阵。
对应于T的定义域维度为A的列数n$\to R^n$；
对应于T的余定义域维度为A的行数m$\to R^m$；

• 线性变换的性质：

$T(c\vec{u}+d\vec{v})=c\ast T(\vec{u})+d\ast T(\vec{v})$

1.9 线性变换的矩阵

• 提出的目的：
  线性变换T是从几何中提出来的，用语言来叙述，但这往往很抽象，不具化。我们希望可以用有关T(x)的公式来形象化表达。
  从$R^n\to R^m$的每个线性变换实际上都是一个矩阵变换：$\vec{x}\to A\vec{x}$。

设T为$R^n\to R^m$的线性变换，则存在唯一的矩阵A，使得对$R^n$中的所有$\vec{x}$，满足$T(\vec{x})=A\vec{x}$。
对向量$\vec{x}=x_1{\vec{e}}_1+x_2{\vec{e}}_2+..+x_n{\vec{e}}_n$，
$T(\vec{x})=T(x_1{\vec{e}}_1+x_2{\vec{e}}_2+..+x_n{\vec{e}}_n)=x_{1}T({\vec{e}}_1)+x_{2}T({\vec{e}}_2)+...+x_{n}T({\vec{e}}_n)$
$$=[T({\vec{e}}_1)T({\vec{e}}_2)...T({\vec{e}}_n)]\left[\begin{array}{c}{x}_1\\ x_2\\ ...\\ x_n\end{array}\right]=A\vec{x}$$

A称作线性变换T的标准矩阵。

第一章毕。