(1) 兩個子空間的和是直和只需要證明它們的交只有零向量.
設(shè)Y∈ker(A)∩im(A),則AY = 0且存在X使Y = AX.
∵A² = A,∴Y = AX = A²X = A(AX) = AY = 0.即ker(A)∩im(A) = {0},二者的和為直和.
(2) 充分性:對X∈ker(A),AX = 0.∴A(BX) = BAX = 0,BX∈ker(A).ker(A)是B的不變子空間.
而對Y∈im(A),存在X使Y = AX,∴BY = BAX = A(BX)∈im(A).im(A)也是B的不變子空間.
必要性:ker(A)的維數(shù)為n-r(A),im(A)的維數(shù)為r(A).已證二者的和是直和,于是V = ker(A)+im(A).
對X∈ker(A),有AX = 0,∴BAX = 0.∵ker(A)是B的不變子空間,∴BX∈ker(A),∴ABX = 0 = BAX.
而對Y∈im(A),存在X使Y = AX,∴AY = A²X = AX = Y,∴BAY = BY.
∵im(A)是B的不變子空間,∴存在Z使BY = AZ,∴ABY = A²Z = AZ = BY = BAY.
AB與BA在ker(A)和im(A)上的限制相等.又∵V = ker(A)+im(A),∴在V上有AB = BA.