23/04/02 18:25:46.62 MWc2ll13.net
>>876
> Ax = 0 で非自明なベクトル解xをもつ
> ↓(非自明なベクトルxを使って)
> 非自明な行列Xが構成できて、AX=Oとできる
> 逆に
> 非自明な行列XでAX=O成立なら
> ↓(非自明な行列Xを使って)
> Ax = 0 なる非自明なベクトル解xが構成できる
> だから、両者は同値で、
それは>>874にも書いた通り、全く否定してない
つまり、上記は全く無駄な文章
> ”Ax = 0 で非自明なベクトル解x”の存在は、
>行列が零因子であることの定義に使えるね!
おかしい
零因子は環の用語
任意の環の要素がベクトル間の線形写像というわけではない
したがって、零因子という言葉の定義として
行列に限定した条件
「Ax = 0 なる非自明なベクトル解xが存在する」
を使うことはできない