304
правки
Изменения
→Теорема о существовании искомого полинома
|statement=
Пусть функция <tex>f</tex> - непрерывна на <tex>[a; b]</tex>. Тогда <tex>\forall \varepsilon > 0 \ \exists P(x)</tex> - полином, такой, что <tex>\forall x \in [a; b] \Rightarrow |f(x) - P(x)| < \varepsilon</tex>
|proof=
Рассмотри функцию <tex>f(x)</tex> - непрерывную на <tex>[0; 1]</tex>. Определим полиномы:
:<tex>B_n(f, x) = \sum\limits_{k = 0}^{n}f\left(\frac kn \right)C_n^k x^k (1 - x)^{n - k}</tex>, которые называются полиномами Бернштейна функции <tex>f</tex>.
Заметим, что <tex>\sum\limits_{k = 0}^{n} C_n^k x^k (1 - x)^{n - k} = \left[ x + (1 - x) \right ] ^ n = 1, \qquad \forall x \in [0; 1]</tex>.
Далее, для сокращения записи положим <tex>P_{n, k}(x) = C_n^k x^k (1 - x)^{n - k}</tex>.
:<tex>f(x) = \sum\limits_{k = 0}^{n} f(x) P_{n, k}(x), \qquad f(x) - B_n(f, x) = \sum\limits_{k = 0}^{n}\left(f(x) - f \left( \frac k n \right ) \right ) P_{n, k}(x)</tex>.
:<tex>\forall x', x'' \in [0; 1] \Rightarrow |f(x'')-f(x')| \le \omega(f, |x''-x'|)</tex>
:<tex>|f(x) - B_n(f, x)| \le \sum\limits_{k = 0}^{n} \left |f(x) - f\left ( \frac k n \right ) \right | P_{n, k}(x) \le \sum\limits_{k = 0}^n P_{n, k}(x)\omega(f, \left|x - \frac kn\right|)</tex>.
}}
[[Категория:Математический анализ 1 курс]]
