数学 › 計算機援用証明 › 誤差保証つきの求積と関数近似
Chebyshev 多項式と Bernstein 楕円
定義 2.1(「誤差保証つきの求積と関数近似」§2)
T0(x)=1, T1(x)=x, Tk+1(x)=2xTk(x)−Tk−1(x) で定まる多項式 Tk を Chebyshev 多項式という。J(w)=21(w+w−1)(w=0)を Joukowski 変換という。r>1 に対し、焦点 ±1、長半径 21(r+r−1)、短半径 21(r−r−1) の楕円 ∂Er と、その内部の開領域 Er を Bernstein 楕円という。
本文で読む(前後の説明と例)→
閉包の状態
定義
定義は閉包の起点です(証明を要しません)。
印の意味: ✓公理まで証明済み ・ △証明あり(閉包未完)・ ※主張のみ。テーマごとの集計は 閉包の状況。
これを使っている定理
証明で明示的に参照している定理は、まだありません。
関連するノック 3 問