Perron-Frobenius定理とは何？わかりやすく解説 Weblio辞書

索引トップ用語の索引ランキングカテゴリー

Perron-Frobenius定理

読み方：ぺろん－ふろべにうすていり
【英】：Perron-Frobenius theorem

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

非負 $n$ 次正方行列 $[a_{ij}]$ は既約とする．行列 $[a_{ij}]$ の絶対値最大固有値 $\lambda$ は $\lambda>0$ であり， $\lambda$ に対応する固有ベクトル $[z_1,\ldots,z_n]^{\top}$ はスカラー倍を除いて一意である．ここで， $^{\top}$ は転置を示す．さらに，成分が全て正である任意の $n$ 次元ベクトル $[x_1,\ldots,x_n]^{\top}$ に対して,

$\min_{i=1,\ldots,n} \left\{ \frac{\sum_{j=1}^n a_{1j}x_j}{x_1} \cdots, \frac{\sum_{j=1}^n a_{nj}x_j}{x_n} \right\} \leq \lambda \leq \max_{i=1,\ldots,n} \left\{ \frac{\sum_{j=1}^n a_{1j}x_j}{x_1} \cdots, \frac{\sum_{j=1}^n a_{nj}x_j}{x_n} \right\}$

が成立し，

$\max_{x_1>0,\ldots,x_n>0}\min_{i=1,\ldots,n} \left\{ \frac{\sum_{j=1}^n a_{1j}x_j}{x_1}, \cdots, \frac{\sum_{j=1}^n a_{nj}x_j}{x_n} \right\} \quad= \lambda = \min_{x_1>0,\ldots,x_n>0} \max_{i=1,\ldots,n} \left\{ \frac{\sum_{j=1}^n a_{1j}x_j}{x_1}, \cdots, \frac{\sum_{j=1}^n a_{nj}x_j}{x_n} \right\}$

が成立する．上式の $[x_1,\cdots,x_n]^{\top}$ に関する最大化問題と最小化問題のいずれの最適解も $\lambda$ に対応する固有ベクトル $[z_1,\ldots,z_n]^{\top}$ のスカラー倍に限る．

「OR事典」の他の用語

AHP(階層的意思決定法)：

AHP絶対評価法 ANP CIミニマム法 Perron-Frobenius定理グループAHP ファジィAHP ランダム整合度

>> 「Perron-Frobenius定理」を含む用語の索引
Perron-Frobenius定理のページへのリンク

Perron-Frobenius定理とは？わかりやすく解説