シフトつき逆反復

定義 4.1（「固有値の計算 I」§4）

$\mu \in \mathbb{C}$ が $A$ の固有値でないとき、 $\boldsymbol{x}_0 \ne \boldsymbol{0}$ から

(A - \mu I)\boldsymbol{y}_{k+1} = \boldsymbol{x}_k,\qquad \boldsymbol{x}_{k+1} = \frac{\boldsymbol{y}_{k+1}}{\|\boldsymbol{y}_{k+1}\|}

を繰り返す反復を、シフト $\mu$ の逆反復という。

閉包の状態

定義

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

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

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