[線代] 關於linear map的一個證明

看板Math作者 (self)時間14年前 (2011/05/31 23:00), 編輯推噓2(2010)
留言12則, 4人參與, 最新討論串1/1
題目是在證一個corollary: 如果V及W是兩個finite-dimensional的vector space 而且已知dimV > dimW 那麼不會存在任何一個linear map, T, from V to W 是injective 他的方法是: 假設有一個linear map T from V to W, where dimV >dimW 因為其實已經知道說dimV = dim nullT + dim rangeT 所以-->dim nullT = dimV - dim rangeT >=dimV - dimW (rangeT是W的subspace,故dim rangeT<=dim W) >0 (由假設) 因此dim nullT > 0 然後它就說 "故nullT中must contain vectors other than 0 又0在nullT中 故not injective" 我的問題就是 大於0 可以是1吧 然後其實 0必定會在nullT之中(T(0)=T(0+0)=T(0)+T(0)(linear map) -->T(0)=0必成立) 如果dim nullT就是1 又0已經在nullT中 那我可不可以說 nullT中 就只有0 沒有"vectors other than 0" 然後0就是nullT的basis 這樣不僅dim nullT=1 0也span了整個nullT 這樣想有錯嗎? 但我實在找不到其他方法可以反駁我這個反例 然後就一直卡在這個證明上 有人可以解救我嗎 -- -- ※ 發信站: 批踢踢實業坊(ptt.cc) ◆ From: 140.112.239.241

05/31 23:02, , 1F
{0} 的維度定義成 0, 不是 1
05/31 23:02, 1F

05/31 23:05, , 2F
你搞錯 dimension 的定義, 只有 0 的話 dimension=0
05/31 23:05, 2F

05/31 23:12, , 3F
dim=1的basis是單位向量不是0
05/31 23:12, 3F

05/31 23:16, , 4F
剛回頭去看了一下,可不可以這樣說:因為empty list()
05/31 23:16, 4F

05/31 23:17, , 5F
被declare成與{0}同義,又因()的length是0,所以{0}的
05/31 23:17, 5F

05/31 23:18, , 6F
長度也是0?
05/31 23:18, 6F

05/31 23:21, , 7F
好像有點說錯......是()的span被定義成與{0}一樣.又
05/31 23:21, 7F

05/31 23:22, , 8F
dimension的定義是linear independent spanning list
05/31 23:22, 8F

05/31 23:23, , 9F
的長度,所以{0}的dimension才會被認做是0...這樣對嗎
05/31 23:23, 9F

05/31 23:24, , 10F
還是說其實這很intuitive而trivial的.未需仔細深究?
05/31 23:24, 10F

05/31 23:53, , 11F
還是大謝上三樓......一語點醒夢中人......
05/31 23:53, 11F

06/01 00:20, , 12F
這要看你的線代課本是怎麼寫的...反正 {0} 是零維
06/01 00:20, 12F
文章代碼(AID): #1DvGADEW (Math)