ВОЛОГОДСКИЙ ГОСУДАРСТВЕННЫЙ ПЕДАГОГИЧЕСКИЙ УНИВЕРСИТЕТ ФИЗИКО-МАТЕМАТИЧЕСКИЙ ФАКУЛЬТЕТ КАФЕДРА МАТЕМАТИЧЕСКОГО АНАЛИЗА Курсовая работа на тему: "Интеграл Лебега" Выполнила: студентка 3мфА Сенченко Ю. В. Проверила: Панфилова Т. Л. Вологда 2000 Содержание. 1. Введение.
    
    1.1.Простые функции.
    
    1.2.ИнтегралЛебега от простых функций. 2. Определение интнгралаЛебега. 3. Основные свойства интеграла. 4. Предельный переход под знаком интеграла. 5. Сравнение интегралов Римана и Лебега. 6. Примеры. 7. Литература.
    1. Введение
    Понятие интеграла Римана, известное из элементарного курса анализа, применимо лишь к таким функциям, которые или непрерывны или имеют "не слишком много" точек разрыва. Для измеримых функций, которые могут быть разрывны всюду, где они определены (или же вообще могут быть заданы на абстрактном множестве, так что для них понятие непрерывности просто не имеет смысла), римановская конструкция интеграла становится непригодной. Вместе с тем для таких функций имеется весьма совершенное и гибкое понятие интеграла, введенное Лебегом.
    Основная идея построения интеграла Лебега состоит в том, что здесь, в отличие от интеграла Римана, точки х группируются не по признаку их близости на оси х, а по признаку близости значений функции в этих точках. Это сразу же позволяет распространить понятие интеграла на весьма широкий класс функций.
    Кроме того, интеграл Лебега определяется совершенно одинаково для функций, заданных на любых пространствах с мерой, в то время как интеграл Римана вводится сначала для функций одного переменного, а затем уже с соответствующими изменениями переносится на случай нескольких переменных. Для функций же на абстрактных пространствах с мерой интеграл Римана вообще не имеет смысла.
    Всюду, где не оговорено противное, будет рассматриваться некоторая полная ?-аддитивная мера ?, определенная на ?-алгебре множеств с единицей X. Все рассматриваемые множества А ? Х будут предполагаться измеримыми, а функции f(x) - определенными для x? Х и измеримыми.
    1.1. Простые функции.
    Определение 1. Функция f(x), определенная на некотором пространстве Х с заданной на нем мерой, называется простой, если она измерима и принимает не более, чем счетное число значений.
    Структура простых функций характеризуется следующей теоремой.
    Теорема 1. Функция f(x), принимающая не более чем счетное число различных значений
    y1, y2, ... , yn, ... , измерима в том и только том случае, если все множества
    An={x : ?(x)=yn} измеримы.
    Доказательство. Необходимость условия ясна, так как каждое An есть прообраз одноточечного множества {yn}, а всякое одноточечное множество является борелевским. Достаточность следует из того, что в условиях теоремы прообраз f-1(B) любого борелевского множества есть объединение не более чем счетного числа измеримых множеств An, т. е. измерим.
    Использование простых функций в построении интеграла Лебега будет основано на следующей теореме.
    Теорема 2. ............