Интегральная теорема Вейерштрасса: приближение многочленами

Под названием «интегральная теорема Вейерштрасса» в учебниках и конспектах чаще всего понимают аппроксимационную теорему Вейерштрасса - утверждение о том, что любую непрерывную на отрезке функцию можно сколь угодно точно приблизить многочленом. Слово «интегральная» здесь подчёркивает, что близость понимается в смысле приближения функции целиком на всём отрезке (равномерно), а не в отдельной точке, и что классическое доказательство опирается на интегральные свёртки с ядром. Ниже разберём, что именно утверждает теорема Вейерштрасса, чем равномерное приближение отличается от поточечного, как теорема доказывается через полиномы Бернштейна и как обобщается до теоремы Стоуна - Вейерштрасса.

Что утверждает теорема Вейерштрасса

Аппроксимационная теорема Вейерштрасса звучит так: если функция $f$ непрерывна на отрезке $[a, b]$, то для любого $\varepsilon > 0$ найдётся многочлен $P$ такой, что

$\max_{x \in [a, b]} |f(x) - P(x)| < \varepsilon.$

Иными словами, множество многочленов плотно в пространстве $C[a, b]$ непрерывных функций с равномерной (чебышёвской) нормой $\|g\| = \max_{x} |g(x)|$. Это и есть содержательное ядро теоремы Вейерштрасса: непрерывную функцию, какой бы «неполиномиальной» она ни была, всегда можно сколь угодно точно заменить многочленом сразу на всём отрезке.

Важно подчеркнуть терминологию. Карлу Вейерштрассу принадлежит несколько разных результатов, и часть из них тоже называют «теоремой Вейерштрасса»: теорема об ограниченности и достижении экстремумов непрерывной функции на отрезке, теорема Больцано - Вейерштрасса о сходящейся подпоследовательности, теорема о разложении в произведение. В этой статье речь именно об аппроксимационной теореме о приближении многочленами - её и называют «интегральной» из-за интегрального доказательства через свёртку. Чтобы прочувствовать, как растёт точность приближения с ростом степени многочлена, удобно собрать конкретный запрос на разбор - этим займётся инструмент ниже.

Равномерное приближение против поточечного

Ключевое слово в формулировке - равномерное приближение. Многочлен $P$ должен быть близок к $f$ одновременно во всех точках отрезка, а не подбираться заново под каждую точку. Формально равномерная близость означает малость именно максимума уклонения по всему отрезку, тогда как поточечная сходимость требует лишь, чтобы $P_n(x) \to f(x)$ в каждой фиксированной точке $x$.

Различие принципиально. Последовательность многочленов может сходиться к $f$ поточечно, но не равномерно - тогда «провал» приближения просто перемещается по отрезку с ростом $n$, не исчезая. Теорема Вейерштрасса утверждает гораздо более сильное свойство: можно построить последовательность $P_n$, для которой $\|f - P_n\| \to 0$, то есть наибольшее уклонение стремится к нулю. Именно равномерность делает результат полезным для численного анализа, теории приближений и обоснования рядов.

При этом теорема не утверждает, что приближающий многочлен интерполирует $f$ в каких-то узлах или совпадает с отрезком ряда Тейлора. Более того, ряд Тейлора может вообще расходиться или сходиться не к той функции - а вот вейерштрассово приближение существует для всякой непрерывной $f$, даже нигде не дифференцируемой.

Полиномы Бернштейна: конструктивное доказательство

Самое наглядное доказательство теоремы Вейерштрасса дал Сергей Бернштейн. Для функции $f$, заданной на отрезке $[0, 1]$, он явно выписал приближающие многочлены:

$B_n(f, x) = \sum_{k=0}^{n} f\!\left(\frac{k}{n}\right) \binom{n}{k} x^k (1 - x)^{n-k}.$

Эти многочлены Бернштейна имеют вероятностный смысл: $B_n(f, x)$ - это математическое ожидание $f(k/n)$, где $k$ распределено биномиально с параметрами $n$ и $x$. По закону больших чисел доля $k/n$ концентрируется около $x$, поэтому $B_n(f, x)$ стремится к $f(x)$. Аккуратная оценка через равномерную непрерывность $f$ даёт, что сходимость равномерная:

$\|f - B_n(f, \cdot)\| \to 0 \quad (n \to \infty).$

Произвольный отрезок $[a, b]$ сводится к $[0, 1]$ линейной заменой $x = a + (b - a)t$. Конструкция Бернштейна ценна тем, что не просто доказывает существование приближения, а даёт явную формулу - её можно вычислять. Если приближаемая функция связана с равномерной непрерывностью на компакте, полезно вспомнить теорему Кантора о равномерной непрерывности, на которую опирается оценка остатка.

Интегральное доказательство: свёртка с ядром

Название «интегральная теорема Вейерштрасса» отсылает к первоначальному доказательству самого Вейерштрасса. Идея в том, чтобы сгладить функцию свёрткой с гладким ядром, а затем заменить ядро его полиномиальным приближением. Классический выбор - ядро Ландау (или тепловое ядро Гаусса): рассматривают интеграл

$f_\delta(x) = \frac{1}{c_\delta} \int_{-1}^{1} f(x + t)\, (1 - t^2)^n \, dt,$

где нормировочная константа $c_\delta$ делает интеграл от ядра равным единице. При $n \to \infty$ ядро всё сильнее концентрируется около нуля, и свёртка $f_\delta$ равномерно сходится к $f$. Поскольку подынтегральное выражение - многочлен по $x$, сама $f_\delta(x)$ оказывается многочленом. Это и есть «интегральный» путь к теореме Вейерштрасса: приближение строится как интеграл, а не как явная сумма по узлам.

Оба доказательства - бернштейновское и интегральное - приводят к одному выводу, но подсвечивают разные стороны: первое конструктивно и вероятностно, второе вписывается в общую теорию аппроксимативных единиц и свёрток.

Обобщение Стоуна - Вейерштрасса

Естественный вопрос: почему именно многочлены? Маршалл Стоун обобщил теорему Вейерштрасса так, что ответ становится структурным. Теорема Стоуна - Вейерштрасса утверждает: если $A$ - подалгебра в $C(K)$ непрерывных функций на компакте $K$, которая содержит константы и разделяет точки (для любых $x \neq y$ есть $g \in A$ с $g(x) \neq g(y)$), то $A$ плотна в $C(K)$ равномерно.

Многочлены - частный случай: они образуют алгебру, содержат константы и разделяют точки отрезка (хотя бы функцией $x$). Отсюда мгновенно следует исходная теорема Вейерштрасса. Та же схема объясняет, почему тригонометрические многочлены плотны в пространстве непрерывных периодических функций - это тригонометрический вариант теоремы. Обобщение показывает: дело не в «волшебстве многочленов», а в алгебраических свойствах разделения точек и наличия констант.

Где теорема работает и где ломается

Условия теоремы Вейерштрасса существенны. Отрезок $[a, b]$ должен быть компактом - замкнутым и ограниченным. На всей прямой $\mathbb{R}$ результат неверен: непрерывную ограниченную функцию вроде $\sin x$ нельзя равномерно приблизить многочленом на всей оси, ведь нетривиальный многочлен неограничен на бесконечности. На открытом или полубесконечном промежутке нужны дополнительные ограничения (например, веса, как в теореме Бернштейна о весовом приближении).

Непрерывность тоже необходима: функцию с разрывом многочленом равномерно не приблизить, так как равномерный предел непрерывных функций непрерывен. Зато гладкости от $f$ не требуется вовсе - даже нигде не дифференцируемая непрерывная функция (как сам пример Вейерштрасса) приближается многочленами равномерно.

Частые ошибки

• Путают аппроксимационную («интегральную») теорему Вейерштрасса с теоремой об экстремумах непрерывной функции на отрезке или с теоремой Больцано - Вейерштрасса. Это разные результаты одного автора.
• Считают, что приближающий многочлен - это отрезок ряда Тейлора. Ряд Тейлора может расходиться, тогда как вейерштрассово приближение существует всегда.
• Смешивают равномерное и поточечное приближение: теорема даёт именно малость максимума уклонения по всему отрезку.
• Применяют теорему на всей прямой или на открытом интервале без оговорок - там равномерное приближение многочленом, вообще говоря, невозможно.
• Требуют от функции дифференцируемости. Достаточно одной лишь непрерывности на компакте.

FAQ

Почему теорему называют «интегральной»? Из-за классического доказательства Вейерштрасса через интегральную свёртку с концентрирующимся ядром: приближающий многочлен получается как интеграл $\int f(x+t)\,(1-t^2)^n\,dt$. Содержательно это та же аппроксимационная теорема о приближении многочленами.

В каком смысле многочлен «близок» к функции? В равномерном (чебышёвском): мал максимум разности $\max_x |f(x) - P(x)|$ по всему отрезку, а не уклонение в отдельных точках.

Можно ли приблизить разрывную функцию? Равномерно - нет: равномерный предел многочленов непрерывен. Для разрывных функций используют приближение в среднем (норма $L^p$), а не равномерное.

Коротко

Интегральная (аппроксимационная) теорема Вейерштрасса утверждает, что всякую непрерывную на отрезке функцию можно равномерно приблизить многочленом со сколь угодно малой погрешностью: многочлены плотны в $C[a, b]$. Доказывается конструктивно через полиномы Бернштейна или интегрально через свёртку с ядром, а обобщается теоремой Стоуна - Вейерштрасса до критерия плотности любой разделяющей точки подалгебры. Условия - непрерывность функции и компактность отрезка - существенны.