[补充内容]关于使用matlab进行方程组求解的线性代数相关知识补充——线性方程组

前言

根据李永乐老师课程学习。主要记载线性方程组相关的性质、定理等知识，不会进行定理推导、证明。

Ax=0解的性质

有解判定：
 如果η是Ax=0的解，即Aη=0，可以得出
  A(kη)=kAη=kX0=0即kη也是Ax=0的解。
 如果η₁η₂都是Ax=0的解，可以得出
  η₁和η₂的线性组合也是Ax=0的解。
定理：如果其次方程组系数矩阵的秩r(A)=r<n，则方程组有n-r个线性无关的解，且方程组的任一个解都可以由这n-r个线性无关的解线性表出。
这里面n-r个无关的解统称为基础解系（其次方程组的解的极大无关组）。
基础解系的特点：
 η₁η₂…η_t是齐次方程Ax=0的基础解析，它满足：
  (1)η₁η₂…η_t是Ax=0的解；
  (2)η₁η₂…η_t线性无关；
  (3)Ax=0的任一个解均可由η₁η₂…η_t线性表出。

Ax=b解的性质

有解判定：
$\overline{\text{A}}$=[A|b]
 Ax=b有解⇔r(A)=r($\overline{\text{A}}$) 上划线的写法Markdown没有，是通过借助Latex公式参考文章
 Ax=b存在唯一解：r(A)=r($\overline{\text{A}}$)=n
 Ax=b存在无穷解：r(A)=r($\overline{\text{A}}$)<n
齐次方程组也成为它对应的非齐次方程组的导出组。
解的性质：
 如果ξ₁，ξ₂是Ax=b的解，则ξ₁-ξ₂是导出组Ax=0的解。
 如果ξ是Ax=b的解，η是Ax=0的解，则ξ+kη是Ax=b的解
定理（解的结构）：非齐次线性方程组Ax=b，若r(A)=r($\overline{\text{A}}$)=r<n,且已知η₁η₂…η_n-r是导出组Ax=0的基础解析，α₀是Ax=b的一个解，则方程组Ax=b的通解：
    α₀+k₁η₁+k₂η₂+…+k_n-rη_n-r
其中k₁,k₂…k_n-r是任意实数。

向量空间

所有的n维向量，带上加法和数乘运算的结构，叫做向量空间。
W是n维向量的费控集合，且
 （1）任意的α，β∈W可以推出α+β∈W（称为这个集合对加法是封闭的）
 （2）任意的α∈W，对于任意的k，可以推出kα∈W（称为这个集合对数乘是封闭的）
  则称W是n维向量空间的子空间。
封闭是什么意思？ 封闭就是存在于这个集合当中，永远不会超出。
{Ax=0的解向量}就是一个解空间
如果向量空间V中的向量α₁α₂…α_m满足
 （1）α₁α₂…α_m线性无关；
 （2）V中任意向量β可由α₁α₂…α_m线性表出，即
   x₁α₁+x₂α₂+…+x_mα_m=β
 则称α₁α₂…α_m是向量空间的基。
 m称为向量空间的维数，V是m维向量空间。
 数组x₁x₂…x_m称为向量β在基α₁α₂…α_m下的坐标。
如果α₁，α₂，α₃与β₁，β₂，β₃是R的两个基，
设β₁=c₁₁α₁+c₁₂α₂+c₁₃α₃
 β₂=c₂₁α₁+c₂₂α₂+c₂₃α₃
  β₃=c₃₁α₁+c₃₂α₂+c₃₃α₃
可以写成
C称为由基α₁，α₂，α₃到基β₁，β₂，β₃的过度矩阵。