数学 › 数値解析の基礎 › 多項式補間

差分商

定義 3.1(「多項式補間」§3)

相異なる点 x0,…,xkx_0, \ldots, x_k と関数 ff について、ff をこの k+1k+1 点で補間する Pk\mathcal{P}_k の元の xkx^k の係数を f[x0,…,xk]f[x_0, \ldots, x_k] と書き、ff の kk 階の差分商という。f[x0]=f(x0)f[x_0] = f(x_0) である。

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

閉包の状態

定義

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

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

これを使っている定理

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