08/01/03 11:54:58
>>398
>（実の）不動点は [2^(2/3),2^(1/3),1] だけだから、(中略)
>A を何回も施すと P^2 の点 [2^(2/3),2^(1/3),1] に収束しそうだな。
不動点がちょうど1つ、というだけでは収束は保証されないよ。
対応する固有値の絶対値が、虚数固有値の絶対値より大きいからOK。
> 同じく、行列 B(中略)を実射影空間 P^3 の射影変換と見ると、
>（実の）不動点は [n^(3/4), n^(2/4), n^(1/4), 1] だけだから、
[ - n^(3/4), n^(2/4), - n^(1/4), 1] も実不動点だよ。でも
[ n^(3/4), n^(2/4), n^(1/4), 1 ] は固有値(の絶対値)が最大なので
収束はこっち。