
- •III. Основные теоремы о пространствах
- •3.1. Полные метрические пространства
- •1. Из элементов данного неполного метрического пространства построим некоторое пространство .
- •2.2. Независимость от выбора представителей.
- •2.3. Проверим выполнение аксиом метрики.
- •3.2. Понятие меры
- •3.3. Понятие меры Лебега
- •3.4. Понятие измеримой функции
- •3.5. Схема построения интеграла Лебега (На множестве конечной меры)
- •3.6. Конструкция интеграла Лебега
- •3.7. Компактность в метрических пространствах
- •Культурный минимум.
- •Вопросы.
- •Задачи.
Культурный минимум.
Что такое категория пространства.
Что такое пополнение метрического пространства?
Что такое мера?
Что такое метод палеток?
Алгоритм введения меры Лебега.
Сформулировать теорему Лебега о аддитивности меры.
Что такое множество лебеговой меры ноль?
Какие утверждения верны почти всюду? Какие функции называются эквивалентными, измеримыми?
Свойства измеримых функций.
Сформулировать критерий Лузина измеримости функций, теорему Егорова о сходимости почти всюду, теоремы Лебега о сходимости почти всюду и о сходимости по мере.
Схема построения интеграла Лебега на множествах конечной меры.
Конструкция интеграла Лебега на множествах конечной меры.
Что такое компакт, предкомпакт? Примеры.
Что такое счётный и конечный скелеты? Что такое вполне ограниченное множество?
Что такое открытое покрытие множества?
Что такое равномерная ограниченность и равностепенная непрерывность.
Вопросы.
Доказать критерий полноты Кантора.
Доказать теорему Бэра о категориях.
Теорема Хаусдорфа о пополнении. Как строится пространство .
Теорема Хаусдорфа о пополнении. Показать, что пространство существует.
Теорема Хаусдорфа о пополнении. Показать, что метрическое пространство всюду плотно в метрическом пространстве и эти пространства изомерны.
Теорема Хаусдорфа о пополнении. Показать, что метрическое пространство полно и единственно.
Доказать, что если множество компакт, то оно замкнуто и ограничено.
Доказать Теорему Кантора о пересечении замкнутых, вложенных шаров.
Доказать, что вполне ограниченное множество ограничено. Верно ли обратное?
Доказать, что компактное метрическое пространство сепарабельно.
Доказать критерий Фреше – Хаусдорфа.
Доказать критерий компактности Гейне Бореля.
Доказать, что любой компакт гомеоморфен канторову дисконтинууму.
Доказать теорему Вейерштрасса о функционале, непрерывном на компакте.
Критерий компактности Арцела Асколи. Доказать необходимость.
Критерий компактности Арцела
Асколи. Доказать достаточность.
Задачи.
Найти меру Жордана канторова дисконтинуума.
Применить процедуру Кантора для построения неизмеримого по Жордану множества.
Показать неизмеримость по Жордану множества рациональных чисел.
Показать неизмеримость по Жордану множества иррациональных чисел.
Найти меру Лебега множества рациональных и иррациональных чисел.
Показать, что канторов дисконтинуум есть замкнутое, совершенное, нигде не плотное множество лебеговой меры ноль и мощности континуума.
Исследовать сходимость последовательности
Построить на отрезке замкнутое, совершенное, нигде не плотное множество мощности континуума и с заданной мерой .
Взять интеграл Лебега
, если
Показать некомпактность последовательности в пространстве .
Показать некомпактность последовательности в пространстве .
Показать, что функционал в пространстве не достигает инфинума.
Показать, что в пространстве последовательность равномерно ограничена, но не равностепенно непрерывна.