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

Givens 回転

定義 3.3(「QR 分解」§3)

1≤i<k≤p1\le i<k\le p、c2+s2=1c^2+s^2=1 について、単位行列の (i,i),(i,k),(k,i),(k,k)(i,i),(i,k),(k,i),(k,k) 成分を c,s,−s,cc,s,-s,c に置き換えた行列 G(i,k;c,s)∈Rp×pG(i,k;c,s)\in\mathbb{R}^{p\times p} を Givens 回転という。(a,b)≠(0,0)(a,b)\ne(0,0) に対しては r=a2+b2r=\sqrt{a^2+b^2}、c=a/rc=a/r、s=b/rs=b/r と選ぶ。

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

閉包の状態

定義

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

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

これを使っている定理

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

関連するノック 2 問