其中n是A的行向量的含有的元素個數.
我們在這裏要來證明null是一個空間.
由此可見null是一個向量空間.
-
設A的行向量空間的維度爲k,而設它的一組極大線性無關組爲
η1,η2,⋯,ηk
-
我們擴展這組極大線性無關組.是它的維度爲n,也就是A的行向量的元素個數.
η1,η2,⋯,ηk,ηk+1,⋯,ηn
-
我們現在可以改寫A的形式了 A=⎝⎜⎜⎜⎛α11η1+α12η2+⋯+α1kηkα21η1+α22η2+⋯+α2kηk⋮αm1η1+αm2η2+⋯αmkηk⎠⎟⎟⎟⎞
-
由此可見,只要c∈(η1,η2,⋯,ηk)張成的空間,那麼Ac=0.
-
另外只要,b∈(ηk+1,ηk2,⋯,ηn)張成的空間,那麼Ab=0
-
現在要來證明null和(ηk+1,ηk+2,⋯,ηn)相等.
-
你可以很容易的證明
(ηk+1,ηk+2,⋯,ηn)⊆null
-
由於(η1,η2,⋯,ηn)張成真個n維空間.我們來看看γ∈/(ηk+1,ηk+2,⋯,ηn).
-
我們先來看看,γ位於哪裏?我們第一感覺是,第一種可能γ∈(η1,η2,⋯,ηk).屬於這個空間的γ⇒Aγ=0
-
γ還可能屬於哪個空間?首先要注意.
(η1,η2,⋯,ηk) 加上
(ηk+1,ηk+2,⋯,ηn)
不等於整個n維空間.其中有一部分向量是需要各自用到這兩個空間中的向量才能表示.在這裏面的向量至少可以找到不等於0的σ,λ
使得
γ=σηi+ληj+ηd1+ηd2+⋯+ηds
但是,這裏面的γ使得Aγ=0,這個區域並不構成一個向量空間.但是裏面確實含有不少向量是不屬於null也不屬於A的行向量空間的.
-
由此可見只要Aγ=0⇒γ∈(ηk+1,ηk+2,⋯,ηn)
由此可見null∈(ηk+1,ηk+2,⋯,ηn)
-
最終可以得出結論.
rank(A)+rank(null)=n