バーンスタイン多項式

バーンスタイン多項式（バーンスタインたこうしき、）は、バーンスタイン基底関数 () の線形結合で与えられるバーンスタイン形式の多項式。セルゲイ・ベルンシュテインにちなむ。
バーンスタイン形式の数値的に安定な手法は、ド・カステリョのアルゴリズム () として知られている。
バーンスタイン形式の多項式は、ベルンシュテインによりストーン＝ワイエルシュトラスの定理の構成的な証明において初めて使用された。コンピュータ・グラフィックスの出現により、 の範囲におけるバーンスタイン多項式は、ベジェ曲線の重要な要素となった。
定義.
 次のバーンスタイン基底関数は
（ここで formula_2 は二項係数）として与えられる。
 次のバーンスタイン基底関数は、 次以下の多項式からなるベクトル空間の基底をなす。
バーンスタイン基底関数の線形結合によって与えられる
は、 次のバーンスタイン多項式と呼ばれる。また係数 βν はバーンスタイン係数、またはベジェ係数と呼ばれる。
例.
バーンスタイン基底関数は以下のような式となる。
特性.
バーンスタイン基底関数は以下のような特性を持つ。
連続関数の近似.
[0, 1] の範囲において連続な関数 を用いたバーンスタイン多項式
は、[0, 1] の範囲で以下のように、一様に収束する。 
このことは、各点収束するが一様収束はしないという命題に比べ、より強い命題である。この一様収束は、以下のように明確に示される。
上述のように、バーンスタイン多項式はストーン＝ワイエルシュトラスの定理の証明にも用いられる。
また、より一般的に、連続な k 次導関数についても、
であることが示せる。ここで formula_22 は formula_23 の固有値である。
formula_19であることの初等的な説明.
は確率 で事象 が起こる試行を 回繰り返したとき、事象 がちょうど回起こる確率を表す。試行をn回繰り返す場合において、 が 回起こったときに得られる確率変数をとすると、
は期待値を表す。
一方、 回試行を繰り返す場合、事象 が起こる回数は平均して である。よって、平均して得られる確率変数、すなわち期待値は であると考えられる。今 や は整数で、 は を分母とする有理数とは限らないので と の誤差も とは限らないが、 を大きくしていくと両者の誤差は に近づいていくと考えられるので、
が成り立つ。