Re: [線代] 反矩陣的定義
既然ring都出來了，那我也來搗蛋一下好了
首先觀察：
R(R:commutative ring with 1)係數的方陣總有 AB=I→BA=I
<=> 對於module homomorphism f:R^n→R^n，若surjective，則injective。
[原因：
=> 設f的表示矩陣為A，surjective，故free basis e1,...,en都被打到
各任取一preimage b1,...,bn，排起來得到 B，則AB=I，由此得BA=I，從而f injective。
<= 以矩陣A定義f，由AB=I，知surjective，則f injective.
即 AX=AY→X=Y，今ABA=IA=AI，故BA=I。]
對於像體這麼好的ring，當然有很多性質可以用
不過我們可以只用到noetherian 這個性質。
特別的此時R^n 亦為noetherian module。
小習題：M: noetherian module，f:M→M，若f surjective，則injective。
[考慮ker f^a < ker f^(a+1)< ...必須停止，即有ker f^r = ker f^(r+1) = ...
設 x in ker f^r，則x=f^r(y), y in ker f^(2r)=ker f^r, 故 x=f^r(y)=0]
好了，證完了。
假設我們更貪心一點想丟掉討厭的noetherian 性質
也可以。
因為對於任兩方陣A、B，我們總可以將它視為
S=Z[A、B之元素] (為 R之subring)
的方陣
可是S是 noetherian！就莫名其妙的結束了。
--
代數幾何觀點！
Algebro-Geometrical Aspect!
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 75.119.2.237
推
10/21 08:10, , 1F
10/21 08:10, 1F
推
10/21 10:16, , 2F
10/21 10:16, 2F
推
10/21 10:54, , 3F
10/21 10:54, 3F
推
10/21 17:30, , 4F
10/21 17:30, 4F
推
10/23 00:16, , 5F
10/23 00:16, 5F
→
10/23 00:16, , 6F
10/23 00:16, 6F
討論串 (同標題文章)