为什么向量组中向量个数大于维数的时候，向量组就一定线性相关呢？
个数大于维数，顶多推出它们构成的矩阵列数大于行数，此时，对应的齐次线性方程组有非零解，所以线性相关。
具体过程如下：
抽象情况下，维数的标准定义是最大线性无关向量组的大小。你这里的维数应该指的是的，即向量作为一个tuple的长度。
只考虑的情况，因此要证明的维度(最大线性无关向量组的大小)就是n。
显然，我们已经有一个标准基底。因此任意个矢量都可用标准基底唯一线性表示。假设这个矢量是线性无关的，即不存在不全为零的使得。
扩展资料：
相关定理：
对于任一向量组而言,，不是线性无关的就是线性相关的。
向量组只包含一个向量a时，a为0向量，则说A线性相关; 若a≠0, 则说A线性无关。
包含零向量的任何向量组是线性相关的。
含有相同向量的向量组必线性相关。
增加向量的个数，不改变向量的相关性。(注意，原本的向量组是线性相关的)
减少向量的个数，不改变向量的无关性。(注意，原本的向量组是线性无关的）
一个向量组线性无关，则在相同位置处都增加一个分量后得到的新向量组仍线性无关。
一个向量组线性相关，则在相同位置处都去掉一个分量后得到的新向量组仍线性相关。
参考资料来源：百度百科--最大线性无关向量
参考资料来源：百度百科--线性相关
绛旓細涓暟澶т簬缁存暟锛岄《澶氭帹鍑哄畠浠瀯鎴愮殑鐭╅樀鍒楁暟澶т簬琛屾暟锛屾鏃讹紝瀵瑰簲鐨勯綈娆＄嚎鎬ф柟绋嬬粍鏈夐潪闆惰В锛屾墍浠ョ嚎鎬х浉鍏銆傚叿浣撹繃绋嬪涓嬶細鎶借薄鎯呭喌涓嬶紝缁存暟鐨勬爣鍑嗗畾涔夋槸鏈澶х嚎鎬ф棤鍏冲悜閲忕粍鐨勫ぇ灏忋備綘杩欓噷鐨勭淮鏁板簲璇ユ寚鐨勬槸鐨勶紝鍗冲悜閲忎綔涓轰竴涓猼uple鐨勯暱搴︺傚彧鑰冭檻鐨勬儏鍐碉紝鍥犳瑕佽瘉鏄庣殑缁村害(鏈澶х嚎鎬ф棤鍏冲悜閲忕粍鐨勫ぇ灏)灏辨槸...
绛旓細涓嶇敤鍖栫畝銆鍚戦噺缁勭嚎鎬х浉鍏崇殑鍏呭垎蹇呰鏉′欢鏄畠浠墍鎷兼垚鐨勭煩闃电殑绉╁皬浜庡悜閲忕殑涓暟銆傚綋鍚戦噺涓暟澶т簬缁存暟鏃讹紝鐭╅樀鐨勭З鈮よ鏁=鍚戦噺缁存暟<鍚戦噺涓暟锛屾墍浠ュ悜閲忕粍涓瀹氱嚎鎬х浉鍏炽
绛旓細鏄殑锛鍚戦噺涓暟澶т簬鍚戦噺缁存暟鐨勫悜閲忕粍涓瀹氱嚎鎬х浉鍏銆傚洜涓轰互a,b,c,d鍒楀悜閲忕粍鎴愮殑鐭╅樀鏄3琛4鍒楃殑锛岀З鑷冲鏄3锛4锛濆悜閲忎釜鏁帮紝鎵浠ュ悜閲忕粍绾挎х浉鍏炽傚垽闄や簡鐢ㄥ畾涔変箣澶栵紝鐢ㄧЗ鍒ゆ柇绾挎х浉鍏虫椂锛屽氨鏄湅绉╂槸涓嶆槸灏忎簬鍚戦噺涓暟锛屽皬浜庡氨绾挎х浉鍏筹紝绛変簬灏辩嚎鎬ф棤鍏炽傜悊鐢卞涓嬶細鍥犱负鐢ㄥ畾涔夊垽鏂殑璇濓紝灏辨槸鐪嬮綈娆＄嚎鎬...
绛旓細鍒ゆ柇鍚戦噺缁勭殑绾挎х浉鍏虫у氨鏄湅鏂圭▼x1a1+x2a2+...+xkak=0鏈夋病鏈夐潪闆惰В銆傛妸瀹冨睍寮灏辨槸涓涓嚎鎬ф柟绋嬬粍锛岀郴鏁扮煩闃垫湁k鍒楋紝鍏惰鏁板氨鏄鍚戦噺鐨勭淮鏁銆傝嫢鍚戦噺鐨勭淮鏁板皬浜巏锛岄偅涔堟柟绋嬬粍鏈夐潪闆惰В锛堟柟绋涓暟灏忎簬鏈煡閲忎釜鏁版椂锛岄綈娆＄嚎鎬ф柟绋嬬粍闈為浂瑙ｏ紝鍥犱负绯绘暟鐭╅樀鐨勭З鈮よ鏁帮紲鏈煡閲忎釜鏁帮級...
绛旓細璁綼1,...,am涓簄缁(鍒)鍚戦噺缁,浠 = (a1,...,am),鍒橝涓簄琛宮鍒楃殑鐭╅樀.鏍规嵁瀹氫箟鍙互鐪嬪嚭 a1,...,am绾挎х浉鍏 绛変环浜 榻愭绾挎ф柟绋嬬粍Ax = 0鏈夐潪闆惰В.褰搈 > n鏃,Ax = 0纭疄鏈夐潪闆惰В,鏁卆1,...,am绾挎х浉鍏
绛旓細鍚戦噺涓暟灏辨槸鎸鍚戦噺缁鎵鍚釜鏁般3銆佸浜庣珛浣撶┖闂寸殑鎬ц川涓嶅悓銆傜敱v1锛寁2涓や釜鍚戦噺缁勬垚鐨勪簩缁寸┖闂淬傚叾瀹炶繖涓┖闂存槸鍙互鐢辨棤鏁颁釜鍚戦噺琛ㄧず鐨勶紝浣嗘槸缁濆涓嶈兘灏戜簬涓や釜锛岃繖涓滆兘鎻忚堪绌洪棿鐨勬渶灏忓悜鏉ヤ釜鏁扳濆氨鏄悜閲忕┖闂鐨勭淮鏁锛屽悓鏃朵篃鏄繖涓悜閲忕┖闂寸殑绉╂暟銆
绛旓細鎶借薄鎯呭喌涓嬶紝缁存暟鐨勬爣鍑嗗畾涔夋槸鏈澶х嚎鎬ф棤鍏鍚戦噺缁勭殑澶у皬銆備綘杩欓噷鐨勭淮鏁板簲璇ユ寚鐨勬槸鐨勶紝鍗冲悜閲忎綔涓轰竴涓猼uple鐨勯暱搴︺傚彧鑰冭檻鐨勬儏鍐碉紝鍥犳瑕佽瘉鏄庣殑缁村害(鏈澶х嚎鎬ф棤鍏冲悜閲忕粍鐨勫ぇ灏)灏辨槸銆傛樉鐒讹紝鎴戜滑宸茬粡鏈変竴涓爣鍑嗗熀搴曘傚洜姝や换鎰忎釜鐭㈤噺閮藉彲鐢ㄦ爣鍑嗗熀搴曞敮涓绾挎ц〃绀恒傚亣璁捐繖涓煝閲忔槸绾挎ф棤鍏崇殑锛屽嵆涓嶅瓨鍦ㄤ笉鍏ㄤ负...
绛旓細鏈夊叧銆傚悜閲忕粍鐨勭嚎鎬х浉鍏虫т笌鍚戦噺缁勪腑鎵鍚悜閲忕殑涓暟鏈夊叧銆備竴涓悜閲忕粍涓惈鏈夐浂鍚戦噺锛屽垯璇ュ悜閲忕粍涓瀹氱嚎鎬х浉鍏炽備竴涓悜閲忕粍涓墍鍚鍚戦噺鐨勪釜鏁板ぇ浜庡悜閲忕殑缁存暟锛屽垯璇ュ悜閲忕粍涓瀹氱嚎鎬х浉鍏炽傚悜閲忕粍涓鐨勫悜閲忎釜鏁灏忎簬鍚戦噺鐨勭淮鏁帮紝瑕佺‘瀹氬悜閲忕粍鏄惁绾挎х浉鍏筹紝闇瑕佽繘涓姝ヨ冭檻鍚戦噺缁勪腑鍚戦噺涔嬮棿鐨勫叧绯汇
绛旓細鍚戦噺缁勭殑缁存暟鏄寚鍚戦噺缁勭殑鏋佸ぇ绾挎ф棤鍏鍚戦噺缁勭殑鍚戦噺涓暟銆傝繖灏卞ソ姣旇锛屼綘鎷縩涓悜閲忥紝浠ヤ粬浠负鍒楋紝缁勬垚涓涓煩闃碉紝鐭╅樀鐨勭З灏忎簬绛変簬鐭╅樀鐨勫垪鏁般2⃣️鐭╅樀鐨勭З绛変簬鍚戦噺缁勭殑缁存暟锛岀煩闃电殑鍒楁暟绛変簬鍚戦噺涓暟n
绛旓細鍙湁褰鍚戦噺缁绾挎ф棤鍏崇殑鏃跺欙紝鍚戦噺涓暟鎵嶅拰绉╃浉绛夈傛垜浠冭檻n缁磏涓悜閲忕粍鎴鐨涓涓悜閲忕粍銆傚鏋滅嚎鎬ф棤鍏筹紝閭ｄ箞绉╀负n銆備絾鏄鏋滆繖n涓悜閲忛兘鏄痭-1缁寸殑锛屾垜浠笉濡ㄧ洿鎺ュ幓鎺夋墍鏈夊悜閲忕殑鏈鍚庝竴涓垎閲忋傞偅涔堟鏃惰繖涓悜閲忕粍涓瀹氭槸绾挎х浉鍏崇殑銆備篃灏辨槸璇达紝濡傛灉缁存暟灏忎簬鍚戦噺涓暟锛岄偅涔堝悜閲忕粍鎬庝箞鑳界嚎鎬ф棤鍏冲憿锛 灏...
