05/10/13 17:47:48
中山の補題(>>242)の別証１
>>242の記号を使う。
a_(1,1) x_1 + a_(1,2) x_2 + ... + a_(1,n) x_n = x_1 より、
(a_(1,1) - 1) x_1 + a_(1,2) x_2 + ... + a_(1,n) x_n = 0
a_(1,1) - 1 は可逆(>>240)だから、
x_1 ∈ Ax_2 + ... + A x_n となる。
よって、M = Ax_2 + ... + A x_n となる。
これから、n に関する帰納法より、M = 0 となる。
証明終