证明矩阵向量组线性无关,就是把这些向量组成一个矩阵,然后用初等行变换将之变成只含1和0的矩阵;然后观察每列的元素,如果某一列能够被其他列线性计算表示,则说明是线性相关,反之线性无关。
证明举例:A=[1 0 0]T 和B= [010]T 和C= [001]T, 他们之间是没办法 用 A = b*B+c*C 来表示的,或者找不到b和c,使得 A = b*B+c*C成立, 此时说明A和B C线性无关。 反之,如果能找到b和c,使得 A = b*B+c*C成立,那么A和B C线性无关。
矩阵向量线性相关定理:
1、向量a1,a2, ···,an(n≧2)线性相关的充要条件是这n个向量中的一个为其余(n-1)个向量的线性组合。
2、一个向量线性相关的充分条件是它是一个零向量。
3、两个向量a、b共线的充要条件是a、b线性相关。
4、三个向量a、b、c共面的充要条件是a、b、c线性相关。
5、n+1个n维向量总是线性相关,个数大于维数必相关。
6、若向量组所包含向量个数等于分量个数时,判定向量组是否线性相关即是判定这些向量为列组成的行列式是否为零。若行列式为零,则向量组线性相关;否则是线性无关的。
参考资料:百度百科—线性相关