向量组的维数大于向量的个数为什么线性相关呢？
个数大于维数，顶多推出它们构成的矩阵列数大于行数，此时，对应的齐次线性方程组有非零解，所以线性相关。
抽象情况下，维数的标准定义是最大线性无关向量组的大小。这里的维数应该指的是的，即向量作为一个tuple的长度。
只考虑的情况，因此要证明的维度(最大线性无关向量组的大小)就是n。
显然，我们已经有一个标准基底。因此任意个矢量都可用标准基底唯一线性表示。假设这个矢量是线性无关的，即不存在不全为零的使得。
相关定理：
对于任一向量组而言，不是线性无关的就是线性相关的。
向量组只包含一个向量a时，a为0向量，则说A线性相关；若a≠0，则说A线性无关。
包含零向量的任何向量组是线性相关的。
含有相同向量的向量组必线性相关。
增加向量的个数，不改变向量的相关性。
减少向量的个数，不改变向量的无关性。
一个向量组线性无关，则在相同位置处都增加一个分量后得到的新向量组仍线性无关。
一个向量组线性相关，则在相同位置处都去掉一个分量后得到的新向量组仍线性相关。
绛旓細鍚戦噺鐨勪釜鏁(4)澶т簬缁存暟(3)鏃朵竴瀹氱嚎鎬х浉鍏.杩欐槸涓煡璇嗙偣.浜嬪疄涓, 涓涓鍚戦噺缁绾挎х浉鍏崇殑鍏呭垎蹇呰鏉′欢鏄 榻愭绾挎ф柟绋嬬粍 (a1,...,as)x=0 鏈夐潪闆惰В.褰撳悜閲忕殑涓暟s (涔熸槸鏈煡閲忕殑涓暟) 澶т簬鍚戦噺鐨勭淮鏁(鏂圭▼鐨勪釜鏁) 鏃,绯绘暟鐭╅樀鐨勭З r(a1,...,as) <= min{ 涓暟, 缁存暟} <= 涓暟s ...
绛旓細鍚戦噺鐨勭淮鏁灏辨槸鍚戦噺涓惈鏈夊垎閲忕殑涓暟锛庡悜閲忕┖闂寸殑缁存暟鏄悜閲忕┖闂翠换浣曚竴涓熀涓惈鐨鍚戦噺鐨勪釜鏁锛庡垽鏂鍚戦噺缁勭殑绾挎х浉鍏虫у氨鏄湅鏂圭▼x1A1锛媥2A2锛嬶紟锛庯紟锛媥kAk锛0鏈夋病鏈夐潪闆惰В锛庢妸瀹冨睍寮灏辨槸涓涓嚎鎬ф柟绋嬬粍锛岀郴鏁扮煩闃垫湁k鍒楋紝鍏惰鏁板氨鏄悜閲忕殑缁存暟銆傝嫢鍚戦噺鐨勭淮鏁板皬浜巏锛岄偅涔堟柟绋嬬粍鏈夐潪闆惰В锛堟柟绋嬩釜...
绛旓細鍚戦噺缁勭殑涓暟鎸囩殑鏄繖缁勫悜閲忕殑鏈澶х嚎鎬ф棤鍏崇粍鐨勪釜鏁般傛瘮濡俛1=锛1锛0锛0锛夛紝a1=锛0锛1锛0锛夛紝a3=锛0锛0锛1锛夛紝鍒檃1锛宎2锛宎3鐨勭淮鏁版槸3銆鍚戦噺鐨勭淮鏁鎸囩殑鏄繖涓悜閲忓惈鍑犱釜鍒嗛噺锛屾瘮濡俠=锛坸1锛寈2锛寈3锛寈4锛夌殑缁存暟灏辨槸4銆傚湪绌洪棿鐩磋鍧愭爣绯讳腑锛屽垎鍒彇涓巟杞淬亂杞达紝z杞存柟鍚戠浉鍚岀殑3涓崟浣嶅悜閲...
绛旓細鏈夊叧銆鍚戦噺缁勭殑绾挎х浉鍏虫т笌鍚戦噺缁勪腑鎵鍚悜閲忕殑涓暟鏈夊叧銆備竴涓悜閲忕粍涓惈鏈夐浂鍚戦噺锛屽垯璇ュ悜閲忕粍涓瀹氱嚎鎬х浉鍏炽備竴涓悜閲忕粍涓墍鍚鍚戦噺鐨勪釜鏁板ぇ浜庡悜閲忕殑缁存暟锛屽垯璇ュ悜閲忕粍涓瀹氱嚎鎬х浉鍏炽傚悜閲忕粍涓殑鍚戦噺涓暟灏忎簬鍚戦噺鐨勭淮鏁帮紝瑕佺‘瀹氬悜閲忕粍鏄惁绾挎х浉鍏筹紝闇瑕佽繘涓姝ヨ冭檻鍚戦噺缁勪腑鍚戦噺涔嬮棿鐨勫叧绯汇
绛旓細涓嶇敤鍖栫畝銆鍚戦噺缁绾挎х浉鍏崇殑鍏呭垎蹇呰鏉′欢鏄畠浠墍鎷兼垚鐨勭煩闃电殑绉╁皬浜鍚戦噺鐨勪釜鏁銆傚綋鍚戦噺涓暟澶т簬缁存暟鏃讹紝鐭╅樀鐨勭З鈮よ鏁=鍚戦噺缁存暟<鍚戦噺涓暟锛屾墍浠ュ悜閲忕粍涓瀹氱嚎鎬х浉鍏炽
绛旓細鏄殑锛屽悜閲涓暟澶т簬鍚戦噺缁存暟鐨勫悜閲忕粍涓瀹氱嚎鎬х浉鍏炽傚洜涓轰互a,b,c,d鍒楀悜閲忕粍鎴愮殑鐭╅樀鏄3琛4鍒楃殑锛岀З鑷冲鏄3锛4锛濆悜閲忎釜鏁帮紝鎵浠ュ悜閲忕粍绾挎х浉鍏炽傚垽闄や簡鐢ㄥ畾涔変箣澶栵紝鐢ㄧЗ鍒ゆ柇绾挎х浉鍏虫椂锛屽氨鏄湅绉╂槸涓嶆槸灏忎簬鍚戦噺涓暟锛屽皬浜庡氨绾挎х浉鍏筹紝绛変簬灏辩嚎鎬ф棤鍏炽傜悊鐢卞涓嬨傚洜涓虹敤瀹氫箟鍒ゆ柇鐨勮瘽锛屽氨鏄湅榻愭绾挎...
绛旓細鍗虫槸瑕佽瘉鏄: 鍚戦噺鐨勪釜鏁板ぇ浜庡悜閲忕殑缁存暟鏃, 鍚戦噺缁绾挎х浉鍏 璇佹槑:璁 伪1,...,伪m 鏄痭缁村垪鍚戦噺 浠 A=(伪1,...,伪m).鍒 r(A) 鈮 min{m,n} [ 鐭╅樀鐨勭З涓嶈秴杩囧畠鐨勮鏁板拰鍒楁暟 ]鍥犱负 m>n 鎵浠 r(A) 鈮 n < m.鎵浠 r(伪1,...,伪m) =r(A)<m. [ 鐭╅樀鐨勭З绛変簬鍏跺垪绉╁拰...
绛旓細鍚戦噺涓暟澶т簬鍚戦噺缁存暟鐨勫悜閲忕粍涓瀹氱嚎鎬х浉鍏炽傚洜涓轰互a锛宐锛宑锛宒鍒楀悜閲忕粍鎴愮殑鐭╅樀鏄3琛4鍒楃殑锛岀З鑷冲鏄3锛4锛濆悜閲忎釜鏁帮紝鎵浠ュ悜閲忕粍绾挎х浉鍏炽傚鏋滃悜閲忕粍绾挎х浉鍏筹紝閭ｅ氨鏄瓨鍦ㄤ竴缁勪笉鍏ㄤ负0鐨勬暟k1锛庯紟锛巏n锛屼娇寰梜1a1锛嬶紟锛庯紟锛媖nan锛0锛屽叾涓璦1锛庯紟锛巃n鏄垪鍚戦噺銆傜幇鍦ㄥ鏋渁1锛庯紟锛巃n閲岄潰鏈変竴涓浂...
绛旓細閫氳繃鍚戦噺缁勬瀯鎴愮殑榻愭绾挎ф柟绋嬬粍瑙ｇ殑鎯呭喌鍒ゆ柇鍚戦噺缁勭殑绾挎х浉鍏虫э紱绾挎ф柟绋嬬粍鏈夐潪闆惰В鍚戦噺缁勫氨绾挎х浉鍏筹紝鍙嶄箣锛岀嚎鎬ф棤鍏炽傞氳繃鍚戦噺缁勭殑绉╃爺绌跺悜閲忕粍鐨勭浉鍏虫с傝嫢鍚戦噺缁勭殑绉╃瓑浜鍚戦噺鐨勪釜鏁锛屽垯璇ュ悜閲忕粍鏄嚎鎬ф棤鍏崇殑锛岃嫢鍚戦噺缁勭殑绉╁皬浜庡悜閲忕殑涓暟锛屽垯璇ュ悜閲忕粍鏄嚎鎬х浉鍏崇殑銆傚畾涔 鑻1=c1锛寈2=c2锛屸...
绛旓細鍚戦噺缁勭殑缁存暟鏄寚鍚戦噺缁勭殑鏋佸ぇ绾挎ф棤鍏冲悜閲忕粍鐨鍚戦噺涓暟銆傝繖灏卞ソ姣旇锛屼綘鎷縩涓悜閲忥紝浠ヤ粬浠负鍒楋紝缁勬垚涓涓煩闃碉紝鐭╅樀鐨勭З灏忎簬绛変簬鐭╅樀鐨勫垪鏁般2⃣️鐭╅樀鐨勭З绛変簬鍚戦噺缁勭殑缁存暟锛岀煩闃电殑鍒楁暟绛変簬鍚戦噺涓暟n
