数学 › 数値線形代数 › QR 分解

古典 Gram–Schmidt と修正 Gram–Schmidt

定義 6.1(「QR 分解」§6)

列が一次独立な A=(a1,…,an)∈Rm×nA=(\boldsymbol{a}_1,\ldots,\boldsymbol{a}_n)\in\mathbb{R}^{m\times n} について、k=1,…,nk=1,\ldots,n の順に次で qk\boldsymbol{q}_k と RR の第 kk 列を作る。

  • 古典 Gram–Schmidt(CGS): rik=qiTakr_{ik}=\boldsymbol{q}_i^{\mathsf{T}}\boldsymbol{a}_k(i<ki<k)、wk=ak−∑i<krikqi\boldsymbol{w}_k=\boldsymbol{a}_k-\sum_{i<k}r_{ik}\boldsymbol{q}_i。
  • 修正 Gram–Schmidt(MGS): wk(1)=ak\boldsymbol{w}_k^{(1)}=\boldsymbol{a}_k、i=1,…,k−1i=1,\ldots,k-1 について rik=qiTwk(i)r_{ik}=\boldsymbol{q}_i^{\mathsf{T}}\boldsymbol{w}_k^{(i)}、wk(i+1)=wk(i)−rikqi\boldsymbol{w}_k^{(i+1)}=\boldsymbol{w}_k^{(i)}-r_{ik}\boldsymbol{q}_i。wk=wk(k)\boldsymbol{w}_k=\boldsymbol{w}_k^{(k)}。

どちらも rkk=∥wk∥2r_{kk}=\|\boldsymbol{w}_k\|_2、qk=wk/rkk\boldsymbol{q}_k=\boldsymbol{w}_k/r_{kk} とする。

本文で読む(前後の説明と例)→

閉包の状態

定義

定義は閉包の起点です(証明を要しません)。

印の意味: ✓公理まで証明済み ・ △証明あり(閉包未完)・ ※主張のみ。テーマごとの集計は 閉包の状況。

これを使っている定理

証明で明示的に参照している定理は、まだありません。