数学 › 計算機援用証明 › 誤差保証つきの求積と関数近似

Chebyshev 多項式と Bernstein 楕円

定義 2.1(「誤差保証つきの求積と関数近似」§2)

T0(x)=1T_0(x)=1, T1(x)=xT_1(x)=x, Tk+1(x)=2xTk(x)−Tk−1(x)T_{k+1}(x)=2xT_k(x)-T_{k-1}(x) で定まる多項式 TkT_k を Chebyshev 多項式という。J(w)=12(w+w−1)J(w)=\tfrac12(w+w^{-1})(w≠0w\ne0)を Joukowski 変換という。r>1r\gt1 に対し、焦点 ±1\pm1、長半径 12(r+r−1)\tfrac12(r+r^{-1})、短半径 12(r−r−1)\tfrac12(r-r^{-1}) の楕円 ∂Er\partial E_r と、その内部の開領域 ErE_r を Bernstein 楕円という。

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

閉包の状態

定義

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

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

これを使っている定理

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

関連するノック 3 問