1.5 基的判断
基的判斷
mmm 維空間中任意 mmm 個向量的向量組 V=(v1,?,vm)V = (\mathbf{v_1},\cdots,\mathbf{v_m})V=(v1?,?,vm?) 如何判斷其是否為基,這些線性代數(shù)一個核心問題。可以從幾何和代數(shù)兩個方面考慮。
幾何上,向量組張成整個空間,所以能張成整個空間的向量組就是基。具體判斷(或想象,因為三維以上空間只能想象)如下,向量組有 mmm 個向量,可以向一個空集每次只增加一個向量,集合每增加一個向量后,判斷集合內(nèi)向量組是否能張成“完整”子空間,如果不能,則不是基。比如第一個向量肯定可以張成完整的一維子空間(直線);增加第二個向量時,如果該向量與第一個向量共線,則集合不能張成“完整”二維子空間(平面),則向量組不是基,判斷結(jié)束。如果該向量與第一個向量不共線,則繼續(xù)增加一個向量。第三個向量如與前兩個共面,則集合不能張成“完整”三維子空間,則向量組不是基,判斷結(jié)束。如不共面,則繼續(xù)增加一個向量,依次進行,直到取完所有向量。只有當最后一個向量加入后,能張成“完整”空間,向量組才是基。
基按照上述方式看的話,每次增加的向量都不位于集合所處的子空間內(nèi),有“張角”, mmm 個向量完整地張開了整個空間,廣義體積不為0!如果 mmm 個向量不是基,則必有某個向量“躺在”集合所處的子空間內(nèi),不能完整地張開整個空間,廣義體積為0。 這種幾何圖像對后面理解矩陣可逆和行列式非常關(guān)鍵!
這種方法只適合二維空間,三維空間必須借助計算機輔助繪圖,才能觀察到,但思想很重要。
代數(shù)上,通過判斷向量組表示 0\mathbf{0}0 向量時,是否只有唯一全0表示,如果是,則是基,否則非基。這最后會歸結(jié)于求線性方程的零解。 mmm 維空間向量相等需每個分量相等,每個分量可得到一個方程,mmm 個分量得到 mmm 個方程。mmm 個向量,所以表示系數(shù)有 mmm 個,是 mmm 元方程。低元方程可用初中學過的變量代入消元法求解,高元方程用高斯消元法求解,后面有專門章節(jié)介紹。代數(shù)法的好處是可以判斷任意維度空間的向量組是否為基,代數(shù)是工具。線性代數(shù)很多問題最后都要歸結(jié)于計算問題,計算只是工具,幾何才是靈魂。
mmm 維空間中 mmm 個向量的向量組 V=(v1,?,vm)V = (\mathbf{v_1},\cdots,\mathbf{v_m})V=(v1?,?,vm?) ,其線性組合表示 0\mathbf{0}0 向量為
0=α1v1+?+αmvm\mathbf{0} =\alpha_1\mathbf{v_1}+\cdots+\alpha_m\mathbf{v_m} 0=α1?v1?+?+αm?vm?
這時必須把向量拆開,看到每個分量才能解方程。令 vi=(Vi1,?,Vij,?,Vim)\mathbf{v_i} = (\mathbf{V_{i1}},\cdots,\mathbf{V_{ij}},\cdots,\mathbf{V_{im}})vi?=(Vi1?,?,Vij?,?,Vim?) ,即第 jjj 個分量為 Vij\mathbf{V_{ij}}Vij? 。根據(jù)向量數(shù)乘、加法和相等規(guī)則,可得
α1V11+?+αiVi1+?+αmVm1=0α1V12+?+αiVi2+?+αmVm2=0?α1V1m+?+αiVim+?+αmVmm=0\alpha_1\mathbf{V_{11}}+\cdots+\alpha_i\mathbf{V_{i1}}+\cdots+\alpha_m\mathbf{V_{m1}} = 0 \\ \alpha_1\mathbf{V_{12}}+\cdots+\alpha_i\mathbf{V_{i2}}+\cdots+\alpha_m\mathbf{V_{m2}} = 0 \\ \vdots \\ \alpha_1\mathbf{V_{1m}}+\cdots+\alpha_i\mathbf{V_{im}}+\cdots+\alpha_m\mathbf{V_{mm}} = 0 α1?V11?+?+αi?Vi1?+?+αm?Vm1?=0α1?V12?+?+αi?Vi2?+?+αm?Vm2?=0?α1?V1m?+?+αi?Vim?+?+αm?Vmm?=0
mmm 個方程 mmm 個未知數(shù)。注意與未知數(shù) αi\alpha_iαi? 相乘的系數(shù)只有向量 vi\mathbf{v_i}vi? 的分量。
例如,二維空間中,向量組 V=(v1,v2),v1=(1,2)\mathbf{V} = (\mathbf{v_1},\mathbf{v_2}), \mathbf{v_1} = (1,2)V=(v1?,v2?),v1?=(1,2) 和 v2=(3,4)\mathbf{v_2} = (3,4)v2?=(3,4) ,對應(yīng)方程為
1α1+3α2=02α1+4α2=01\alpha_1+3\alpha_2 = 0 \\ 2\alpha_1+4\alpha_2 = 0 \\ 1α1?+3α2?=02α1?+4α2?=0
只有唯一0解,向量組是基。
例如,三維空間中,向量組 V=(v1,v2,v3),v1=(1,2,3)\mathbf{V} = (\mathbf{v_1},\mathbf{v_2},\mathbf{v_3}), \mathbf{v_1} = (1,2,3)V=(v1?,v2?,v3?),v1?=(1,2,3) , v2=(4,5,6)\mathbf{v_2} = (4,5,6)v2?=(4,5,6) 和 v3=(10,14,18)\mathbf{v_3} = (10,14,18)v3?=(10,14,18) 對應(yīng)方程為
1α1+4α2+10α3=02α1+5α2+14α3=03α1+6α2+18α3=01\alpha_1+4\alpha_2+10\alpha_3 = 0 \\ 2\alpha_1+5\alpha_2+14\alpha_3 = 0 \\ 3\alpha_1+6\alpha_2+18\alpha_3 = 0 1α1?+4α2?+10α3?=02α1?+5α2?+14α3?=03α1?+6α2?+18α3?=0
有非0解 (2,2,?1)(2,2,-1)(2,2,?1) ,向量組不是基。
無關(guān)組是基的子集,判斷 n<mn < mn<m 個向量是否為無關(guān)組,方法完全相同!幾何上,只有整個向量組能張成“完整”子空間(“完整”子空間維度等于向量數(shù)量),向量組才是無關(guān)組。代數(shù)上,通過判斷向量組表示 0\mathbf{0}0 向量時,是否只有唯一全0表示,只不過未知數(shù)只有 nnn 個。
例如,三維空間中,向量組 v1=(1,2,3)\mathbf{v_1} = (1,2,3)v1?=(1,2,3) , v2=(4,5,6)\mathbf{v_2} = (4,5,6)v2?=(4,5,6) 對應(yīng)方程為
1α1+4α2=02α1+5α2=03α1+6α2=01\alpha_1+4\alpha_2 = 0 \\2\alpha_1+5\alpha_2 = 0 \\3\alpha_1+6\alpha_2 = 0 1α1?+4α2?=02α1?+5α2?=03α1?+6α2?=0
只有唯一0解,向量組是無關(guān)組。
總結(jié)