Классическая теорема Вейерштрасса об аппроксимации и обобщённая теорема Стоуна–Вейерштрасса
[8/75%]Опишите многочлены Бернштейна для двух функций и на .
Докажите, что для всех и каждого положительного целого .
Завершите доказательство первой леммы, использованной при доказательстве теоремы Стоуна--Вейерштрасса, показав, что описанная функция удовлетворяет условиям (i)-(iii).
Завершите доказательство второй леммы, использованной в той же теореме.
В теореме Вейерштрасса об аппроксимации принципиально важно, что промежуток компактен, — это обстоятельство рассматривается в обобщении Стоуна. Одно из наших любимых некомпактных подмножеств — это сам . Покажите, что равномерная полиномиальная аппроксимация на гарантирована не всегда. Вот два подхода:
придумайте функцию из , которую нельзя равномерно приблизить многочленами.
покажите, что равномерный предел многочленов также является многочленом.
Выведите теорему Вейерштрасса об аппроксимации из теоремы Стоуна--Вейерштрасса (тем самым показав, что первая действительно является частным случаем второй).
Рассмотрим совокупность всех чётных многочленов.
Используя теорему Стоуна--Вейерштрасса, покажите, что плотно в .
Объясните, почему теорему Стоуна--Вейерштрасса нельзя использовать, чтобы показать, что плотно в .
Остаётся следующий вопрос: плотно ли в ? Ответьте на этот вопрос и докажите своё утверждение.
Пусть таково, как в условиях теоремы Бишопа.
Докажите, что функции вида , где , вещественнозначны и разделяют точки .
Выведите, что -симметричное подмножество должно быть одноточечным.
Найдите (в другой книге) ещё одно доказательство теоремы Вейерштрасса об аппроксимации. Изложите это доказательство своими словами. Например, если вы прочитали последний раздел главы, вы можете поискать доказательство, использующее преобразование Фурье.