Программа курса «Действительный анализ».
Мех-мат. 2 курс, 2 поток, весна 2010/11 уч.г.
Лектор - к.ф.-м.н., доцент А.Н.Бахвалов.
- Системы множеств (полукольца, кольца, алгебры, σ-алгебры и т.д.).
Примеры. Теорема о минимальном кольце, порожденном полукольцом.
- Меры на полукольцах и на кольцах. Примеры. Продолжение меры с полукольца на минимальное кольцо. Свойства мер.
Полнота мер.
- Связь σ-аддитивности и непрерывности.
Стандартная мера на полукольце промежутков в Rn и ее σ-аддитивность.
- Внешняя мера Лебега и ее свойства. Измеримые множества.
Алгебра измеримых множеств.
- Мера Лебега и корректность ее определения.
Измеримость счетного объединения измеримых множеств. Счётная аддитивность меры Лебега.
- σ-конечные меры и их продолжение по Лебегу.
- Теорема о структуре измеримых множеств. Описание мер Лебега.
- Измеримые функции. Элементарные свойства измеримых функций.
- Измеримость предела последовательности измеримых функций.
Сходимость почти всюду.
Критерий сходимости почти всюду на множестве конечной меры.
- Сходимость по мере.
Связь между сходимостью по мере и сходимостью почти всюду.
Теорема Егорова. Теорема Лузина (без док-ва).
- Интеграл Лебега для простых функций и его свойства.
- Определение интеграла Лебега в общем случае.
Свойства интеграла Лебега на заданном множестве.
- Свойства интеграла Лебега как функции множества.
Неравенство Чебышёва.
- Теорема об интеграле по лебеговскому продолжению меры. Теорема Лебега о предельном переходе.
- Теорема Б. Леви о предельном переходе. Теорема Фату.
- Прямые произведения мер.
- Теорема о выражении меры множества через меры сечений. Теорема Фубини.
- Заряды. Разложения Хана и Жордана.
- Абсолютно непрерывные заряды. Теорема Радона - Никодима.
- Неравенства Гёльдера и Минковского. Пространства Lp.
- Полнота пространств Lp.
- Теорема Витали о покрытии.
- Дифференцируемость монотонных функций почти всюду.
- Функции ограниченной вариации и их свойства. Непрерывность вариации с переменным верхним пределом
для непрерывной функции.
- Связь интеграла Римана --- Стилтьеса с интегралом Лебега по мере Стилтьеса.
Связь между интегралами Римана и Лебега на отрезке. Критерий Лебега интегрируемости по Риману.
- Абсолютно непрерывные функции. Теорема об абсолютно непрерывной функции
с производной, равной нулю почти всюду.
- Производная неопределенного интеграла Лебега.
Критерий представимости функции в виде неопределенного интеграла Лебега от
своей производной.
Интегрирование по частям в интеграле Лебега.