假设排秩
一种是
R.。我们的做法会产生
R.在线性无关矢量
C(一种)。这将证明
暗淡(C(一种))≥暗淡(R.(一种))。通过应用同样的理由来的转
一种,我们得到了相反的不等式
暗淡(R.(一种))≥暗淡(C(一种)),因此结果;这个作品是因为服用了转只是交换行和列的空间。
一个人怎么能产生
R.在线性无关矢量
C(一种)=我是(T.)⊂R.m还是一种可能的方法是选择
R.在线性无关矢量
R.N,然后应用
T.他们每个人,希望得到
R.在载体
R.m将本身线性无关。为了确保该作品集
R.在线性无关矢量
R.N应该有一些额外的结构,我们可以一起工作;他们不能只是
R.随机向量。但是有一个很自然的一套
R.在线性无关矢量
R.N:该行空间的基
R.(一种)!!
因此,让
X1那......那XR.是一个基础
R.(一种)。我们必须证明
T.X1那......那T.XR.是线性无关。假设他们都没有;再就是
C一世∈R.(不是所有的零),使得
0.=一世=1ΣR.C一世T.X一世=T.(C1X1+⋯+CR.XR.)。
通过构造,我们知道
V.=C1X1+⋯+CR.XR.是的行空间
一种。此外,由于
T.V.=0.,计算的文章上做行和列的空间暗示
V.是正交的每一行
一种。但
V.是这些行的线性组合,所以
V.正交于本身;因此,
V.=0.。这意味着关系
C1X1+⋯+CR.XR.=0.,这是考虑收集的线性无关的荒谬
{X一世}。
□