a1...as线性无关,可由b1...bt线性表示 则s<=t
同理可得逆否命题:
a1...as,可由b1...bt线性表示,且s>t,则a1...as线性相关
推论
向量个数m大于向量维数n m个n维向量一定线性相关
推论
两个等价的线性无关组,含向量个数相同
证明 等价就是可以相互线性表示
a1...as线性无关,可由b1...bt线性表示 则s<=t
b1...bt线性无关,可由a1...as线性表 则t<=s
因此t=s
a1...as线性无关,可由b1...bt线性表示 则s<=t
同理可得逆否命题:
a1...as,可由b1...bt线性表示,且s>t,则a1...as线性相关
推论
向量个数m大于向量维数n m个n维向量一定线性相关
推论
两个等价的线性无关组,含向量个数相同
证明 等价就是可以相互线性表示
a1...as线性无关,可由b1...bt线性表示 则s<=t
b1...bt线性无关,可由a1...as线性表 则t<=s
因此t=s