next up previous contents
Next: 4.5.1.0.2 別証明 Up: 4.5.1 正則行列の QR 分解 Previous: 4.5.1 正則行列の QR 分解

4.5.1.0.1 証明

$A=QR$

\begin{displaymath}
\Vector{a}_{k}=\sum_{i=1}^k r_{ik}\Vector{q}_i\quad\mbox{($k=1,2,\cdots,n$)}
\end{displaymath}

と書ける。$k=1$ についての条件

\begin{displaymath}
\Vector{a}_1=r_{11}\Vector{q}_1
\end{displaymath}

から

\begin{displaymath}
r_{11}=\vert r_{11}\vert=\frac{\Vert\Vector{a}_1\Vert}{\Vert\Vector{q}_1\Vert}=\Vert\Vector{a}_1\Vert,
\end{displaymath}


\begin{displaymath}
\Vector{q}_1=\frac{\Vector{a}_1}{r_{11}}.
\end{displaymath}

次に $k=2$ についての条件

\begin{displaymath}
\Vector{a}_2=r_{12}\Vector{q}_1+r_{22}\Vector{q}_2
\end{displaymath}

から、まず $\Vector{q}_1$ との内積を取って、

\begin{displaymath}
r_{12}=\langle{\Vector{a}_1,\Vector{q}_1},{.}\rangle
\end{displaymath}

これから

\begin{displaymath}
\Vector{v}_2\DefEq\Vector{a}_2-r_{12}\Vector{q}_1
\end{displaymath}

は計算できて、

\begin{displaymath}
\Vector{v}_2=r_{22}\Vector{q}_2
\end{displaymath}

であるから、

\begin{displaymath}
r_{22}=\vert r_{22}\vert=\frac{\Vert\Vector{v}_2\Vert}{\Ver...
...r{v}_2\Vert,
\quad
\Vector{q}_2=\frac{\Vector{v}_2}{r_{22}}.
\end{displaymath}

以下 $k=3$, $\cdots$, $n$ と順に同様に計算できる。
next up previous contents
Next: 4.5.1.0.2 別証明 Up: 4.5.1 正則行列の QR 分解 Previous: 4.5.1 正則行列の QR 分解
Masashi Katsurada
平成17年6月2日