Perron-Frobenius定理

提供: ORWiki
2007年9月20日 (木) 21:16時点におけるSaru (トーク | 投稿記録)による版
ナビゲーションに移動 検索に移動

【 ぺろん-ふろべにうすていり (Perron-Frobenius theorem) 】

フロベニウス(Frobenius)により明らかにされた非負行列の固有値の諸性質は 数多くのフロベニウス定理として広く知られている. その中で,ペロン-フロベニウス(Perron-Frobenius)定理は非負行列の絶対値 最大固有値の上下限を最適化問題の最適値として与えるものである. 本定理はそもそもペロンが正行列に対して証明した内容をフロベニウスが 非負行列にまで拡張したものであり,その定理は以下の通りである.

非負次正方行列は既約とする. 行列の絶対値最大固有値であり, に対応する固有ベクトルはスカラー倍を除いて一意である. ここで,は転置を示す.さらに, 成分が全て正である任意の次元ベクトル に対して,

が成立し,

が成立する.上式のに関する最大化問題と最小化問題のいずれの 最適解に対応する固有ベクトルのスカラー倍に限る.