一个n维向量组线性无关，则个数小于等于维数，为什么？求推导 证明：向量个数大于向量维数的向量组线性相关。拜托了各位 谢谢
\u5982\u679c\u4e00\u4e2a\u5411\u91cf\u7ec4\u7ef4\u6570\u5927\u4e8e\u4e2a\u6570\uff0c\u5219\u5411\u91cf\u7ec4\u4e00\u5b9a\u7ebf\u6027\u65e0\u5173\u5417\uff1f\u4e0d\u4e00\u5b9a\u3002\u4f8b\u5982\uff0ca=(1,2,3),b=ma,\u5176\u4e2dm\u662f\u975e\u96f6\u5b9e\u6570\uff0c
a,b\u90fd\u662f3\u7ef4\u5411\u91cf\uff0c\u4f46\u5411\u91cf\u7ec4a,b\u7ebf\u6027\u76f8\u5173\u3002
\u82e5\u5411\u91cf\u7ec4a1,a2......ar\u53ef\u7531\u5411\u91cf\u7ec4b1,b2......bs\u7ebf\u6027\u8868\u51fa\uff0c\u4e14a1,a2......ar\u7ebf\u6027\u65e0\u5173\uff0c\u5219r\u2264s\u3002\u8fd9\u4e2a\u6027\u8d28\u4f60\u77e5\u9053\u5417\uff1f\u77e5\u9053\u8fd9\u4e2a\uff0c\u4e0a\u9762\u7684\u7ed3\u8bba\u5c31\u5f88\u7b80\u5355\u4e86\u3002 \u8ffd\u95ee\uff1a \u8fd9\u4e2a\u77e5\u9053\uff0c\u4e66\u4e0a\u5c31\u662f\u4f5c\u4e3a\u5b83\u7684\u63a8\u8bba\u51fa\u73b0\u7684\uff0c\u53ef\u662f\u6211\u8fd8\u662f\u4e0d\u592a\u660e\u767d\uff0c\u80fd\u5177\u4f53\u8bf4\u8bf4\u5417\uff1f\u8c22\u8c22 \u56de\u7b54\uff1a \u73b0\u5728\u5047\u8bbe\u6709n+1\u4e2an\u7ef4\u5411\u91cf\uff0c\u4e8b\u5b9e\u4e0a\uff0c\u6bcf\u4e2an\u7ef4\u5411\u91cf\u90fd\u53ef\u4ee5\u88abn\u7ef4\u5355\u4f4d\u5411\u91cfe1,e2,......en\u7ebf\u6027\u8868\u51fa\uff0c\u4e5f\u5c31\u662f\u8bf4\uff0c\u8fd9n+1\u4e2an\u7ef4\u5411\u91cf\u53ef\u7531e1,e2,......en\u7ebf\u6027\u8868\u51fa\uff0c\u4e14n+1>n\uff0c\u6240\u4ee5\u5229\u7528\u4e0a\u9762\u6027\u8d28\u9a6c\u4e0a\u5c31\u77e5\u9053\uff0c\u8fd9n+1\u4e2an\u7ef4\u5411\u91cf\u7ebf\u6027\u65e0\u5173\u3002\u8fd9\u4e2a\u5730\u65b9\u662f\u5229\u7528\u4e86\u4e0a\u9762\u6027\u8d28\u7684\u9006\u5426\u547d\u9898\u3002
以列向量为例。一个n维列向量组中一共有m个向量的话，其构成的矩阵实一个m*n的矩阵A。
如果该向量组线性无关r(A)=n，考虑到r(A)<=min{m,n}
于是n=min{m,n}，即n<=m
因为个数大于维数的时候必有一个向量可以由其他向量表出，所以相关，因此它的逆否命题就是答案
绛旓細鐢卞悜閲忕粍鐨勭З灏忎簬s鍙互寰楀嚭杩欎釜鍚戦噺缁勭嚎鎬х浉鍏銆傝繖鏄З鐨勫畾涔夊喅瀹氱殑锛岀З鏄悜閲忕粍鏋佸ぇ绾挎ф棤鍏崇粍鐨勫悜閲涓暟銆傚鏋滃悜閲忕粍鐨勭З灏忎簬s锛岃鏄庝粬鐨勬瀬澶х嚎鎬ф棤鍏崇粍鐨勫悜閲忎釜鏁板皬浜巗锛岄偅涔坰涓悜閲忚偗瀹氬浣欐瀬澶х嚎鎬ф棤鍏崇粍鐨勫悜閲忎釜鏁般
绛旓細濂戒簡锛屽鏋滅幇鍦ㄦ湁涓や釜鍚戦噺缁A,B锛屽畠浠悇鑷兘寮犳垚鐨勭┖闂翠竴瀹氶兘鏄n缁鐨勶紝浣嗙З涓嶄竴瀹氫竴鏍枫傚鏋淎缁勭殑鍚戦噺澶氾紝B缁勫悜閲灏戯紝鍒橝缁勯噷绾挎ф棤鍏鐨勫悜閲忓杩嘊缁勯噷绾挎ф棤鍏冲悜閲忕殑鍙兘鎬у氨澶с傚彧瑕丄缁勯噷绾挎ф棤鍏崇殑鍚戦噺姣擝缁勯噷鐨勫锛孉缁勫紶鎴愮殑绌洪棿鐨勭З灏辨瘮B缁勮兘寮犳垚鐨勭┖闂寸殑绉╁ぇ锛孊绌洪棿瑕佸寘鍚垨瑕嗙洊A绌洪棿...
绛旓細浠庤屽悜閲忕粍a1,a2,鈥,an涔熸槸绾挎ф棤鍏崇粍.蹇呰鎬 鑻n缁村悜閲忕粍a1,a2,鈥,an绾挎ф棤鍏,鍙堜换鎰弉+1涓猲缁村悜閲蹇绾挎х浉鍏,璁綼鏄换涓n缁村悜閲,鍒欏悜閲忕粍a,a1,a2,鈥,an绾挎х浉鍏,鏁卆鍙互鐢盿1,a2,鈥,an绾挎ц〃绀.1銆佸洜涓轰换鎰弉+1涓猲缁村悜閲忎竴瀹绾挎х浉鍏筹紝璁綼鏄换鎰涓涓猲缁村悜閲忥紝鍒鍚戦噺缁刟,a1.a2鈥n蹇...
绛旓細鍗虫槸瑕佽瘉鏄: 鍚戦噺鐨涓暟澶т簬鍚戦噺鐨勭淮鏁版椂, 鍚戦噺缁勭嚎鎬х浉鍏 璇佹槑:璁 伪1,...,伪m 鏄n缁鍒楀悜閲 浠 A=(伪1,...,伪m).鍒 r(A) 鈮 min{m,n} [ 鐭╅樀鐨勭З涓嶈秴杩囧畠鐨勮鏁板拰鍒楁暟 ]鍥犱负 m>n 鎵浠 r(A) 鈮 n < m.鎵浠 r(伪1,...,伪m) =r(A)<m. [ 鐭╅樀鐨勭З绛変簬鍏跺垪绉╁拰...
绛旓細鍚戦噺缁鐨涓暟鎸囩殑鏄繖缁勫悜閲鐨勬渶澶绾挎ф棤鍏缁勭殑涓暟銆傛瘮濡俛1=锛1锛0锛0锛夛紝a1=锛0锛1锛0锛夛紝a3=锛0锛0锛1锛夛紝鍒檃1锛宎2锛宎3鐨勭淮鏁版槸3銆傚悜閲忕殑缁存暟鎸囩殑鏄繖涓悜閲忓惈鍑犱釜鍒嗛噺锛屾瘮濡俠=锛坸1锛寈2锛寈3锛寈4锛夌殑缁存暟灏辨槸4銆傚湪绌洪棿鐩磋鍧愭爣绯讳腑锛屽垎鍒彇涓巟杞淬亂杞达紝z杞存柟鍚戠浉鍚岀殑3涓崟浣嶅悜閲...
绛旓細璇佹槑锛1锛夊厖鍒嗘ф樉鐒讹紝鍥犱负n+1涓猲缁村悜閲蹇呭畾绾挎х浉鍏筹紝鎵浠鍙敱a1,a2,鈥︹,an绾挎ц〃绀 2锛夊繀瑕佹э細鍥犱负a鏄换鎰弉缁村悜閲忥紝鎵浠鍙敱a1,a2,鈥︹,an绾挎ц〃绀烘剰鍛崇潃a1,a2,鈥︹,an鑳借〃鍑烘暣涓猲缁寸┖闂淬傝嫢a1,a2,鈥︹,an绾挎х浉鍏筹紝鍒鏋佸ぇ绾挎ф棤鍏崇粍涓暟灏戜簬n锛屾墍浠缁寸┖闂村彲鐢卞皯浜巒涓鍚戦噺绾挎琛ㄧず锛...
绛旓細浠讳綍涓涓悜閲忎笌鍩哄悎鍦ㄤ竴璧风粍鎴愮殑n+1涓悜閲忕殑鍚戦噺缁勶紝蹇呭畾鏄绾挎х浉鍏鐨勶紒鍏跺疄n缁绌洪棿閲岋紝浠讳綍n+1涓悜閲忔瀯鎴愮殑鍚戦噺缁勶紝閮藉繀瀹氱嚎鎬х浉鍏炽傛崲鍙ヨ瘽璇达紝n缁寸┖闂撮噷鑷冲鑳芥壘鍑簄涓绾挎ф棤鍏鐨勫悜閲忔潵锛
绛旓細鍚戦噺缁剓an}绾挎ф棤鍏 鍋囪閮ㄥ垎鍚戦噺缁 {ani}, {ni}鏄1,2,...,n鐨勪竴涓瓙闆 鑻ani}绾挎х浉鍏 鍒欏瓨鍦ㄤ笉鍏ㄤ负闆剁殑鏁板垪锛寋kni} 浣垮緱sigma kni ani =0 鐒跺悗鎶婂悜閲忕粍琛ュ叏锛屼护琛ヤ笂鐨勫悜閲忕殑kn鍏ㄦ槸0 锛坘ni渚濇棫涓嶅彉锛夋垜浠氨鏈 sigma kn an =0, 鍏朵腑kn涓嶅叏涓洪浂锛岃繖涓庡師绾挎鍚戦噺缁勭嚎鎬ф棤鍏鐭涚浘 ...
绛旓細璁拌繖涓鍚戦噺缁涓篈 r锛圓锛宎锛夆墺r锛圓锛=n 锛屽張r锛圓锛宎锛夆墹n 鏁卹锛圓锛宎锛=n=r锛圓锛夛紝鏁卆鍙敱A绾挎ц〃鍑猴紝鐢变簬A绾挎ф棤鍏筹紝A锛宎绾挎х浉鍏筹紝鏁卆鍙敱A绾挎ц〃鍑猴紝涓旇〃娉曞敮涓銆
绛旓細n涓猲缁村悜閲忕嚎鎬ф棤鍏,璇存槑杩檔涓猲缁村悜閲忕殑绉╀负n锛坣涓瀬澶х嚎鎬ф棤鍏崇粍锛夋棦鐒舵弧绉,閭ｅ氨鎰忓懗鐫瀵瑰簲琛屽垪寮忎负0!
