如何证明每个向量组的极大线性无关组都含有相同个数的向量?
1个回答
2023-05-06
展开全部
设一个向量组有两个极大线性无关组
(a1,a2,...,am)
(b1,b2,...,bn),其中m<n
根据极大线性无关组性质,b1,b2,...,bn都可以由(a1,a2,...,am)线性表示,即存在矩阵C,满足
AC=B
其中A是以(a1,a2,...,am)为列向量的矩阵
C是mxn的系数矩阵
B是以(b1,b2,...,bn)为列向量的矩阵
根据极大线性无关组概念,r(B)=n, r(A)=m, r(C)<=m
显然根据r(B)=r(AC)<=min(r(A),r(C)) <=m矛盾
所以m=n
(a1,a2,...,am)
(b1,b2,...,bn),其中m<n
根据极大线性无关组性质,b1,b2,...,bn都可以由(a1,a2,...,am)线性表示,即存在矩阵C,满足
AC=B
其中A是以(a1,a2,...,am)为列向量的矩阵
C是mxn的系数矩阵
B是以(b1,b2,...,bn)为列向量的矩阵
根据极大线性无关组概念,r(B)=n, r(A)=m, r(C)<=m
显然根据r(B)=r(AC)<=min(r(A),r(C)) <=m矛盾
所以m=n
推荐律师服务:
若未解决您的问题,请您详细描述您的问题,通过百度律临进行免费专业咨询