数学 › 数値線形代数 › Krylov 部分空間法 I

Krylov 部分空間

定義 2.1(「Krylov 部分空間法 I」§2)

A∈Cn×nA \in \mathbb{C}^{n\times n}、b∈Cn\boldsymbol{b} \in \mathbb{C}^n、b≠0\boldsymbol{b} \ne \boldsymbol{0} とする。k≥1k \ge 1 について

Kk(A,b)=span⁡{b,Ab,…,Ak−1b}\mathcal{K}_k(A, \boldsymbol{b}) = \operatorname{span}\{\boldsymbol{b}, A\boldsymbol{b}, \ldots, A^{k-1}\boldsymbol{b}\}

を kk 次の Krylov 部分空間という。Adb∈Kd(A,b)A^{d}\boldsymbol{b} \in \mathcal{K}_d(A, \boldsymbol{b}) となる最小の d≥1d \ge 1 を b\boldsymbol{b} の次数(grade)という。

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

閉包の状態

定義

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

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

これを使っている定理

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