Реферат: Интеграл Лебега - текст реферата. Скачать бесплатно.
Банк рефератов, курсовых и дипломных работ. Много и бесплатно. # | Правила оформления работ | Добавить в избранное
 
 
   
Меню Меню Меню Меню Меню
   
Napishem.com Napishem.com Napishem.com

Реферат

Интеграл Лебега

Банк рефератов / Математика

Рубрики  Рубрики реферат банка

закрыть
Категория: Реферат
Язык реферата: Русский
Дата добавления:   
 
Скачать
Microsoft Word, 4840 kb, скачать бесплатно
Заказать
Узнать стоимость написания уникального реферата

Узнайте стоимость написания уникальной работы

4 ВОЛОГОДСКИЙ ГОСУДАРСТВЕННЫЙ ПЕДАГОГИЧЕСКИЙ УНИВЕРСИТЕТ ФИЗИКО-МАТЕМАТИЧЕСКИЙ ФАКУЛЬТЕТ КАФЕДРА МАТЕМАТИЧЕСКОГО АНАЛИЗА Курсовая работа на тему: «Интеграл Лебега» Выполнила: студентка 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 ), принимающая не более чем счет ное число различных значений y 1 , y 2 , … , y n , … , измерима в том и только том случае, если все множества A n = x : ( x )= y n измеримы. Доказательство. Необходимость условия ясна, так как каждое A n есть прообраз одноточечного множества y n , а вся кое одноточечное множество является борелевским. Достаточ ность следует из того, что в условиях теоремы прообраз f -1 ( B ) любого борелевского множества есть объединение не более чем счетного числа измеримых множеств A n , т. е. измерим. Использование простых функций в построении интеграла Ле бега будет основано на следующей теореме. Теорема 2. Для измеримости функции f ( x ) необходимо и достаточно, чтобы она могла быть представлена в виде предела равномерно сходящейся последовательности простых измеримых функций. Доказательство. Для доказательства необходимости рас смотрим произвольную измеримую функцию f ( x ) и положим f n (х)= m /п, если т/п f ( x ) ( m +1)/ n (здесь т - целые, а п - целые положительные). Ясно, что функции f n ( x ) простые; при п они равномерно сходятся к f ( x ), так как f ( x )- f n ( x ) 1/ n . 1.2.Интеграл Лебега для простых функций. Мы введем поня тие интеграла Лебега сначала для функций, названных выше простыми, т. е. для измеримых функций, принимающих конечное или счетное число значений. Пусть f — некоторая простая функция, принимающая зна чения y 1 , y 2 , … , y n , … ; y i y j при i j , и пусть А — некоторое измеримое подмножество X. Естественно определить интеграл от функции f по множе ству А равенством = , где A n = x : x A , f ( x )= y n , (1) если ряд справа сходится. Мы приходим к следующему опре делению (в котором по понятным причинам заранее постули руется абсолютная сходимость ряда). Определение 2. Простая функция f называется интегри руемой или суммируемой (по мере ) на множестве A, если ряд (1) абсолютно сходится. Если f интегрируема, то сумма ряда (1) называется интегралом от f по множеству А. В этом определении предполагается, что все у n различны. Можно, однако, представить значение интеграла от простой функции в виде суммы произведений вида c k ( B k ) и не предпо лагая, что все c k различны. Это позволяет сделать следующая лемма. Лемма . Пусть А= , B i B j = при i j и пусть на каждом множестве B k функция f принимает только одно значе ние c k ; тогда = , (2) причем функция f интегрируема на А в том и только том слу чае, когда ряд (2) абсолютно сходится. Доказательство . Легко видеть, что каждое множество А n = х: х А, f ( x )= y n является объединением тех B k , для которых с k = y n . Поэтому = = . Так как мера неотрицательна, то = = , т. е. ряды и абсолютно сходятся или расходятся одновременно. Лемма доказана. Установим некоторые свойства интеграла Лебега от простых функций A ) = + , причем из существования интегралов в правой части равенства следует существование интеграла в левой. Для доказательства предположим, что f принимает значения f i на множествах F i A , a g — значения g j на множествах G j A , так что J 1 = = , (3) J 2 = = . (4) Тогда в силу леммы J = = ; (5) так что из абсолютной сходимости рядов (3) и (4) следует и абсолютная сходимость ряда (5); при этом J = J 1 + J 2 . Б) Для любого постоянного k = k , причем из существования интеграла в правой части следует су ществование интеграла в левой части. (Проверяется непосред ственно.) В) Ограниченная на множестве А простая функция f инте грируема на А, причем, если f ( x ) M на A , то M ( A ). (Проверяется непосредственно.) 2. Определение интеграла Лебега Классическое определение интеграла, данное О. Коши и разви тое Б. Риманом, состоит, как известно, в следующем: рассматри вается конечная функция f ( x ), заданная на сегменте [ a , b ] ; этот сегмент разбивается на части точками x 0 = a x 1 x 2 x n = b в каждой части [ x k , x k +1 ] выбирается точка k и составляется риманова сумма = . Если сумма при стремлении к нулю числа = max ( x k +1 – x k ). стремится к конечному пределу I , не зависящему ни от способа дробления [ a , b ] , ни от выбора точек k , то этот предел I назы вается интегралом Римана функции f ( x ) и обозначается символом . Иногда, желая подчеркнуть, что речь идет именно о римановом интеграле, пишут ( R ) . Функции, для которых интеграл Римана существует, называются интегрируемыми в смысле Римана или, короче, интегрируемыми ( R ). Для интегрируемости (R) функции f ( x ) необходимо, чтобы она была ограниченной. Еще Коши установил, что всякая непрерывная функция интегри руема (R). Существуют также и разрывные функции, интегрируе мые (R). В частности, такова любая разрывная монотонная функция. Легко построить, однако, ограниченную функцию, которая не будет интегрируемой (R). Рассмотрим, например, функцию Ди рихле , которая определяется на сегменте [0, 1] следующим образом 1, если x рационально, ( x ) = 0, если x иррационально. Легко видеть, что эта функция не интегрируема (R), ибо сумма обращается в 0, если все точки иррациональны и = 1, если все рациональны. Таким образом, риманово определение интеграла страдает суще ственными недостатками - даже очень простые функции оказываются неинтегрируемыми. Нетрудно разобраться в причинах этого обстоятельства. Дело заключается в следующем: при составлении сумм Римана , мы дробим сегмент [ a , b ] на мелкие части [ x 0 , x 1 ], [ x 1 , x 2 ], ,[ x n -1 , x n ] (назовем их через e 0 , e 1 , , e n -1 ), в каждой части e k берем точку k и, составив сумму = , требуем, чтобы она имела предел, не зависящий от выбора точек k в множествах е k . Иначе говоря, каждая точка х из множества е k может быть взята за k , а варьирование этой точки не должно заметно влиять на значение суммы . А это возможно лишь в том случае, когда варьирование точки k мало изменяет величину f ( k ) . Но что же объединяет между собой различные точки х множества e k ? Их объединяет то, что они близки друг другу, ибо е k есть малый сегмент [ x k , x k +1 ]. Если функция f ( x ) непрерывна, то достаточная близость абсцисс х влечет за собой и близость соответствующих значений функции и мы вправе ждать, что изменение точки k в пределах множества e k мало влияет на величину суммы , но для функция разрывной это вовсе не так. Иначе можно сказать, что множества e k составлены так, что только для непрерывных функций значение f ( k ) можно считать нор мальным представителем других значений функции на e k . Таким образом, самое определение риманова интеграла можно считать вполне оправданным лишь для функций непрерывных, для прочих же функций оно выглядит довольно случайным. Ниже мы убедимся, что для интегрируемости ( R ) необходимо, чтобы рас сматриваемая функция не была «слишком разрывной». Желая обобщить понятие интеграла на более широкие классы функций, Лебег предложил другой процесс интегрирования, в котором точки x объединяются в множества e k не по случайному признаку своей близости на оси Ох, а по признаку достаточной близости соответствующих значений функции. С этой целью Лебег разбивает на части не сегмент [ a , b ], расположенный на оси абсцисс, а сег мент [А, В], лежащий на оси ординат и включающий все значения функции f ( x ) : A = y o y 1 y n = B Если составить множества e k так: e k = E(y k f y k+1 ), то ясно, что различный точкам х е k и в самом деле отвечают близкие значения функции, хотя, в отличие от римановского процесса, сами точки x могут быть весьма далеки друг от друга. В частности, хорошим представителем значений функции на мно жестве e k может служить, например, y k , так что естественно поло жить в основу понятия интеграла сумму . Перейдем теперь к точному изложению вопроса. Пусть на измеримом множестве E задана измеримая ограниченная функция f ( x ), причем A 0 и найдем столь малое > 0 , что mE . Фиксировав это , мы, на основании самого определения сходи мости по мере, будем иметь, что при n m A n ( ) 0 и, стало быть, для n > N окажется 2 K m A n ( ) . Для этих n неравенство (4) примет вид , что и доказывает теорему. Легко понять, что теорема остается верной и в том случае, когда неравенство K выполняется только почти везде на множестве Е. Доказательство остается прежним. Далее, поскольку сходимость по мере общее обычной сходи мости, то теорема и подавно сохраняет силу для того случая, когда f n (x) F(x) почти везде (и тем более везде). 5. Сравнение интегралов Римана и Лебега Пусть на сегменте [а, b ] задана (не обязательно конечная) функ ция f (х). Пусть x 0 [ a , b ] и > 0 . Обозначим через m ( x 0 ) и М (х 0 ) соответственно точную нижнюю и точную верхнюю границы функ ции f ( x ) на интервале (х 0 - , x 0 + ) m ( x 0 ) = inf f ( x ) , M ( x 0 ) = sup f ( x ) (х 0 - x x 0 + ). (Само собою разумеется, что мы принимаем во внимание лишь те точки интервала (х 0 - , x 0 + ), которые лежат также и на сег менте [а, b ]. ) Очевидно, m ( x 0 ) f ( x 0 ) M ( x 0 ). Если уменьшается, то m ( x 0 ) не убывает, a M ( x 0 ) не возра стает. Поэтому существуют определенные пределы m ( x 0 ) = m ( x 0 ), M ( x 0 ) = M ( x 0 ), причем, очевидно, m ( x 0 ) m ( x 0 ) f ( x 0 ) M ( x 0 ) M ( x 0 ). Определение. Функции т(х) и М(х) называются соответственно нижней и верхней функциями Бэра для функции f ( x ). Теорема 1 (Р. Бэр). Пусть функция f (х) конечна в точке х 0 . Для того чтобы f ( x ) была в этой точке непрерывна, необходимо и достаточно, чтобы было m ( x 0 ) = M ( x 0 ). (*) Доказательство. Допустим, что функция f (х) непрерывна в точке x 0 . Взяв произвольное > 0 , найдем такое > 0 , что как только , так сейчас же . Иначе говоря, для всех х (х 0 - , x 0 + ) будет f(x 0 ) - f(x) f(x 0 ) + . Но отсюда следует, что f(x 0 ) - m (x 0 ) M (x 0 ) f(x 0 ) + , а стало быть, и тем более f(x 0 ) - m(x 0 ) M(x 0 ) f(x 0 ) + , откуда, ввиду произвольности , и вытекает (*). Итак, необходимость условия (*) доказана. Пусть теперь, обратно, дано, что (*) выполнено. Тогда, оче видно, m ( x 0 ) = M ( x 0 ) = f ( x 0 ) и общее значение функций Бэра в точке x 0 конечно. Возьмем произвольное > 0 и найдем столь малое > 0 , что m ( x 0 ) - m ( x 0 ) m ( x 0 ), M ( x 0 ) M ( x 0 ) M ( x 0 ) + . Эти неравенства означают, что f(x 0 ) - m (x 0 ), M (x 0 ) f(x 0 ) + . Если теперь x (х 0 - , x 0 + ), то f ( x ) лежит между m ( x 0 ) и M ( x 0 ) , так что f(x 0 ) - f(x) f(x 0 ) + . Иначе говоря, из того, что вытекает, что , т. е. функция f ( x ) непрерывна в точке х 0 . Основная лемма. Рассмотрим последовательность дроблений сегмента [а, b ] a = = b . . . . . . . . . . . . . . . . . . . . . . . . a = = b . . . . . . . . . . . . . . . . . . . . . . . . причем при i i = max [ - ] 0. Пусть есть точная нижняя граница значений функции f ( x ) на сегменте [ , ]. Введем функцию i ( x ) , полагая i ( x ) = при x ( , ) i ( x ) = 0 при x = , , , . Если х 0 не совпадает ни с одной точкой ( I = 1, 2, 3, ; k = 0, 1, 2, , n i ) , то i (x 0 ) = m(x 0 ). Доказательство. Фиксируем какое-нибудь i и назовем че рез [ , ] тот из сегментов i -го способа дробления, который содержит точку х 0 . Так как х 0 не совпадает ни с одной из точек деления, то x 0 и, следовательно, при достаточно малых > 0 будет (х 0 - , x 0 + ) [ , ], откуда следует, что m ( x 0 ) или, что то же самое, что i (x 0 ) m (x 0 ). Устремив к нулю и перейдя к пределу, находим, что при лю бом i i (x 0 ) m(x 0 ). Этим самым лемма уже доказана для случая т(х 0 ) = . Пусть т(х 0 ) и пусть h m(x 0 ) . Тогда найдется такое > 0 , что m ( x 0 ) h . Фиксировав это , найдем столь большое i 0 , что при i i 0 будет [ , ] (х 0 - , x 0 + ), где, как и выше, [ , ] есть сегмент, содержащий точку х 0 . Существование такого i 0 следует из условия i 0 . Для таких i будет m (x 0 ) h, или, что то же самое, i (x 0 ) h. Итак, для всякого h m ( x 0 ) найдется такое i 0 , что при i i 0 h i (x 0 ) m(x 0 ), а это и значит, что i ( x 0 ) m ( x 0 ). Лемма доказана. Следствие 1. Функции Бэра т(х) и М(х) измеримы. В самом деле, множество точек деления счетно и, стало быть, имеет меру нуль. Поэтому лемма означает, что i ( x ) m ( x ) почти везде. Но i ( x ) измерима, ибо это ступенчатая функция, значит изме рима я функция т( x ). Для верхней функции Бэра М(х) рассужде ние аналогично. Следствие 2. Если в условиях леммы исходная функция f ( x ) ограничена, то ( L ) ( L ) . Действительно, если K , то, очевидно, K , K , откуда прежде всего следует, что эти функции интегрируемы ( L ) , после чего остается сослаться на теорему Лебега о предельном пе реходе под знаком интеграла. Перефразируем теперь следствие 2. Для этого заметим, что ( L ) = = = s i , где s i есть нижняя сумма Дарбу, отвечающая i -му способу дробле ния. Таким образом, следствие 2 означает, что при i s i ( L ) . Аналогично можно установить, что верхняя сумма Дарбу S i при возрастании i стремится к интегралу от верхней функции Бэра S i ( L ) . Но в таком случае S i - s i (L) . С другой стороны, в курсе Анализа устанавливается, что для того, чтобы ограниченная функция f ( x ) была интегрируема ( R ), необходимо и достаточно, чтобы было S i – s i 0 . Сопоставляя это со сказанным выше, мы видим, что для инте грируемости ( R ) функции f ( x ) необходимо и достаточно, чтобы было ( L ) = 0. (1) Условие (1) во всяком случае выполнено, если разность М(х) - т(х) эквивалентна нулю, но так как эта разность неотри цательна, то и обратно из (1) следует, что т(х) ~ М(х). (2) Итак, интегрируемость ( R ) ограниченной функции f ( x ) равно сильна соотношению (2). Сопоставив этот результат с теоремой 1, получаем следующую теорему. Теорема 2 (А. Лебег). Для того чтобы ограниченная функ ция f ( x ) была интегрируема (R),необходимо и достаточно, чтобы она была непрерывна почти везде. Эта замечательная теорема представляет собой наиболее простой и ясный признак интегрируемости ( R ) . В частности, она оправды вает сделанное в пункте 2 замечание, что интегрируемыми ( R ) могут быть только «не очень разрывные» функции. Допустим теперь, что функция f ( x ) интегрируема ( R ) . Тогда она необходимо ограничена и почти везде будет т(х) = М(х). Но ведь т(х) f ( x ) М(х). Значит, почти везде f ( x ) = m ( x ), и f ( x ) , будучи эквивалентна измеримой функции т(х), измерима сама. Так как всякая ограниченная измеримая функция интегри руема ( L ) , то такова же и f ( x ) , т. е. из интегрируемости какой-нибудь функции в смысле Римана вытекает ее интегрируемость в смысле Лебега. Наконец, из эквивалентности функций f ( x ) и т(х) следует, что ( L ) = ( L ) . Но, как известно из курса Анализа, в условиях основной леммы для интегрируемой ( R ) функции f ( x ) будет s i ( R ) , где s i есть нижняя сумма Дарбу, отвечающая i - му способу дробле ния. Сопоставляя это с тем, что, как показано нами, s i ( L ) , мы видим, что ( R ) = ( L ) . Таким образом, имеет место Теорема 3. Всякая функция, интегрируемая ( R ), необходимо интегрируема и ( L ), и оба ее интеграла равны между собой. В заключение отметим, что функция Дирихле ( x ) (равная нулю в иррациональных и единице в рациональных точках) интегри руема ( L ) (ибо она эквивалентна нулю), но, как мы видели в пункте 2, не интегрируема ( R ), так что теорема 3 не обратима. 6. Примеры 1) Вычислить интеграл Лебега от функции на интервале (1; 2). Строим срезку N , f ( x ) N , f N (x) = f(x), f(x) N. = N , x = 1 + . = , = + = Nx + = N - N + - - = + - = - + , = = , ( L ) = . 2) Суммируемы ли функции и на интервале (0; 1). f ( x ) = . Строим срезку = N , x = . = + = + = 1 - = 1 + , = = (1 + ) = + , значит функция f ( x ) = суммируемой не является. f ( x ) = . Строим срезку = N , x = . = + = - = - (1 - ) = - 1 + = = 2 - 1, = = (2 - 1) = + , значит функция f ( x ) = суммируемой не является. 3) Суммируема ли функция f ( x ) = на отрезке [-1; 1], где f (0) = 0. , x 0 0 , x 0 = = 0 , x 0 , x 0 = - . Строим срезку N = , x = . ( L ) = = = = = = = + . Строим срезку N = , x = . ( L ) = = = = = = = + , значит функция f ( x ) = не является суммируемой на [-1 ;1]. 4) Суммируема ли функция f ( x ) = на [1; 3], где f (2) = 1. , x 2 0, x 2 = 0, x 2 = 1, x = 2 , x 2 Строим срезку = N, x = 2 + . (L) = = = = = = = = = . Строим срезку = N , x = 2 - . ( L ) = = = = = функция f ( x ) суммируема на [1; 3]. 7. Литература 1) Колмогоров, Фомин «Элементы функционального анализа». 2) Натансон И. П. «Теория функций вещественной переменной», С-П, 1999. 3) Очан «Сборник задач по математическому анализу».
1Архитектура и строительство
2Астрономия, авиация, космонавтика
 
3Безопасность жизнедеятельности
4Биология
 
5Военная кафедра, гражданская оборона
 
6География, экономическая география
7Геология и геодезия
8Государственное регулирование и налоги
 
9Естествознание
 
10Журналистика
 
11Законодательство и право
12Адвокатура
13Административное право
14Арбитражное процессуальное право
15Банковское право
16Государство и право
17Гражданское право и процесс
18Жилищное право
19Законодательство зарубежных стран
20Земельное право
21Конституционное право
22Конституционное право зарубежных стран
23Международное право
24Муниципальное право
25Налоговое право
26Римское право
27Семейное право
28Таможенное право
29Трудовое право
30Уголовное право и процесс
31Финансовое право
32Хозяйственное право
33Экологическое право
34Юриспруденция
 
35Иностранные языки
36Информатика, информационные технологии
37Базы данных
38Компьютерные сети
39Программирование
40Искусство и культура
41Краеведение
42Культурология
43Музыка
44История
45Биографии
46Историческая личность
47Литература
 
48Маркетинг и реклама
49Математика
50Медицина и здоровье
51Менеджмент
52Антикризисное управление
53Делопроизводство и документооборот
54Логистика
 
55Педагогика
56Политология
57Правоохранительные органы
58Криминалистика и криминология
59Прочее
60Психология
61Юридическая психология
 
62Радиоэлектроника
63Религия
 
64Сельское хозяйство и землепользование
65Социология
66Страхование
 
67Технологии
68Материаловедение
69Машиностроение
70Металлургия
71Транспорт
72Туризм
 
73Физика
74Физкультура и спорт
75Философия
 
76Химия
 
77Экология, охрана природы
78Экономика и финансы
79Анализ хозяйственной деятельности
80Банковское дело и кредитование
81Биржевое дело
82Бухгалтерский учет и аудит
83История экономических учений
84Международные отношения
85Предпринимательство, бизнес, микроэкономика
86Финансы
87Ценные бумаги и фондовый рынок
88Экономика предприятия
89Экономико-математическое моделирование
90Экономическая теория

 Анекдоты - это почти как рефераты, только короткие и смешные Следующий
Одесса.
— Ви не подскажете, где здесь консульство?
— Какой страны?
— А какую ви таки посоветуете??
Anekdot.ru

Узнайте стоимость курсовой, диплома, реферата на заказ.

Обратите внимание, реферат по математике "Интеграл Лебега", также как и все другие рефераты, курсовые, дипломные и другие работы вы можете скачать бесплатно.

Смотрите также:


Банк рефератов - РефератБанк.ру
© РефератБанк, 2002 - 2016
Рейтинг@Mail.ru