矩阵论-20220919（1.2）---基、坐标与维数基本概念（1.1）

矩阵论

向量组的线性相关性

（1）数域P的线性空间V中的向量仍然适用于线性相关性，其定义如下：
向量β，α1，α2，……，αm，均∈V，存在一组k1，k2,……，km∈P。使得 β = k1 α1 + k2 α2 +……+km * αm ，则称 β 是向量组 α1，α2，……，αm 的一个线性组合，或β 可以由 向量组 α1，α2，……，αm线性表示。

线性相关与无关

（1）向量 α1，α2，……，αm，均∈V，若存在一组不全为0的数 k1，k2,……，km∈P ，使得
k1 α1 + k2 α2 +……+km * αm =0
则，称向量 α1，α2，……，αm 线性相关，否则线性无关。ps：线性相关，其内部的某些向量是可以被其他向量组替代（表示出）；线性无关 ，每一个向量都不可被替代。

（2）一个向量α 线性相关的充要条件是 α =0；两个以上向量α1，α2，……，αm（m>=2）线性相关的充要条件是 至少有一个向量能够被其他向量线性表示。

（3）如果α1，α2，……，αm 线性无关，但α1，α2，……，αm，β 线性相关，则 β 可由α1，α2，……，αm 线性表示，且表示法唯一。
（4）线性无关组不含0向量。 0向量是线性相关的。
（5）如果向量组α1，α2，……，αm 线性无关，并且可由向量组 β1，β2，……，βt 线性表示，则s ≤ t 。
（6）等价的线性无关向量组必定含有相同个数的向量。
（7）线性无关向量组的任何部分组线性无关，部分组线性相关的向量组整体一定线性相关。

线性空间的基与维数

基定义

（1）零空间{0} 是零维的，没有基；
（2）n维线性空间V 中最多有n个线性无关的向量；
（3）n维线性空间 V 中的任意n个线性无关的向量都是 V 的一组基；

坐标

典型例题

元素的相关性可以通过基下坐标的相关性，来求出。

类似的，元素的秩、极大无关组也可以通过基下坐标求出