假设的行秩
一个是
r。我们的方法是生产
r线性无关向量
C(一个)。这将证明
昏暗的(C(一个))≥昏暗的(R(一个))。通过对转置矩阵应用相同的论证
一个,则得到逆不等式
昏暗的(R(一个))≥昏暗的(C(一个)),因此产生了结果;这是可行的,因为取转置简单地交换行和列空间。
怎样才能生产
r线性无关向量
C(一个)=即时通讯(T)⊂R米?一个可能的方法是选择
r线性无关向量
Rn,然后应用
T对他们每个人,希望结果
r向量
R米它们是线性无关的。为了确保这一工作,集合
r线性无关向量
Rn应该有一些我们可以使用的附加结构;他们不能只是
r随机向量。但是有一种很自然的
r线性无关向量
Rn:行空间的一组基
R(一个)!
因此,让
x1,...,xr成为…的基础
R(一个)。我们必须证明
Tx1,...,Txr是线性无关的。假设他们没有;还有
c我∈R(不是全部为零)这样
0=我=1∑rc我Tx我=T(c1x1+⋯+crxr)。
通过构造,我们知道
v=c1x1+⋯+crxr在行空间中
一个。此外,由于
Tv=0,本文中所做的计算行和列空间意味着
v正交于每一行
一个。但
v是这些行的线性组合吗
v正交于自身;因此,
v=0。这意味着
c1x1+⋯+crxr=0,这是荒谬的,因为它是线性独立的集合
{x我}。
□