Perron-Frobenius定理のソースを表示

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

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

非負<math>n</math>次正方行列<math>[a_{ij}]</math>は既約とする．
行列<math>[a_{ij}]</math>の絶対値最大固有値<math>\lambda</math>は<math>\lambda>0</math>であり，
<math>\lambda</math>に対応する固有ベクトル<math>[z_1,\ldots,z_n]^{\top}</math>はスカラー倍を除いて一意である．
ここで，<math>^{\top}</math>は転置を示す．さらに，
成分が全て正である任意の<math>n</math>次元ベクトル
<math>[x_1,\ldots,x_n]^{\top}</math>に対して,
<table align="center">
<tr>
<td><math>\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\}</math>
</td>
</tr>
</table>
が成立し，
<table align="center">
<tr>
<td><math>\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\}</math>
</td>
</tr>
</table>
が成立する．上式の<math>[x_1,\cdots,x_n]^{\top}</math>に関する最大化問題と最小化問題のいずれの
[[最適解]]も<math>\lambda</math>に対応する固有ベクトル<math>[z_1,\ldots,z_n]^{\top}</math>のスカラー倍に限る．

[[category:AHP(階層的意思決定法)|ぺろん－ふろべにうすていり]]