R 次数

定義 2.2（「非線形方程式の反復解法」§2）

$x_k \to x^*$ とする。 $p \gt 1$ について、定数 $A \gt 0$ と $0 \lt q \lt 1$ があってすべての $k$ で

|e_k| \le A\, q^{p^k}

が成り立つとき、列は R 次数 $p$ 以上で収束するという。 $p = 1$ では $|e_k| \le A q^k$ を条件とする。

閉包の状態

定義

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

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