next up previous
Next: A..4 misc Up: A. 雑題 Previous: A..2 Rayleigh 商と min-max

A..3 正値対称行列, Cholesky 分解

Cholesky 分解については桂田 [7] を見よ。

$A=(a_{ij})\in M^{n\times n}$ が上三角行列であるとは、 対角線より下にあるすべての成分が $0$, つまり

\begin{displaymath}
i>j\quad\Then\quad a_{ij}=0
\end{displaymath}

を満たすことをいう。


\begin{jproposition}[正値対称行列の Cholesky 分解の存在]
$A\in\R^{n...
...0$ であるものに限ると $U$ は一意的である。
\end{jproposition}

与えられた $A$ に対して、 (7) を満たす $U$ を 求めることを「$A$ を Cholesky 分解する」 という。


\begin{jproposition}[正値対称行列の平方根]
$A\in\R^{n\times n}$ が...
...aymath}を満たす正値対称行列 $B$ が存在する。
\end{jproposition}

\begin{proof}
$A$ が実対称であるから、
ある実直交行列 $P$ ...
...iag(\lambda_1,\lambda_2,\cdots,\lambda_n) P^T=A. \qed
\end{eqnarray*}\end{proof}


next up previous
Next: A..4 misc Up: A. 雑題 Previous: A..2 Rayleigh 商と min-max
桂田 祐史
2014-05-27