向量组中向量替换的注记

设（Ｅ）：α１，α２，…，αｎ和（Ｆ）β１，β２，…βｎ是两个等价线性无关的向量组，本文证明，对于（Ｆ）中任意ｒ（１≤ｒ≤ｎ）个向量βｉ１，βｉ２，…βｉｒ，在（Ｅ）中至少有一个含ｒ个向量的部分组αｊ１，αｊ２，…，αｊｒ替换βｉ１，βｉ２，…，βｉｒ，使得αｊ１，αｊ２，…，αｊｒ，βｉｒ＋１，…，βｉｎ与（Ｅ）等价，同时指出了这种替换的条件。