Главная » Просмотр файлов » Т.П. Лукашенко - Лекционный курс

Т.П. Лукашенко - Лекционный курс (1114487), страница 4

Файл №1114487 Т.П. Лукашенко - Лекционный курс (Т.П. Лукашенко - Лекционный курс) 4 страницаТ.П. Лукашенко - Лекционный курс (1114487) страница 42019-04-28СтудИзба
Просмтор этого файла доступен только зарегистрированным пользователям. Но у нас супер быстрая регистрация: достаточно только электронной почты!

Текст из файла (страница 4)

Само множество R можно покрыть системой интервалов { (i − 1, i + 2)} , i ∈ Z. Этой же системой можнопокрыть и любое подмножество E ⊆ R. Таким образом, множество систем интервалов, покрывающих E, непусто, и, значит, множество G ⊂ R сумм длин интервалов таких систем не пусто и ограничено снизу нулем. Поэтому по принципу полноты Вейерштрасса множество G имеет точную нижнюю грань, которая по определениюи будет внешней мерой Лебега множества Е . Поскольку ноль является нижней гранью множества G, точнаянижняя грань G не может быть меньше нуля.2. Ясно, что от введения бесконечных интервалов мера никакого множества не уменьшится — ведь, покрываямножество бесконечными интервалами, мы никак не получим меру меньше, чем была (бесконечность не меньшеникакого числа). В то же время мера не может увеличится, потому что никто не заставляет использоватьбесконечные интервалы, если и без них хорошо.3.

Пустое множество можно покрыть, например, пустой системой интервалов, а точку — ее окрестностьюрадиуса меньше ε.Утверждения доказаны.Утверждение.Если в определении внешней меры Лебега заменить интервалы отрезками, то получится эквивалентное определение.Доказательство.Обозначим меру по отрезкам через µ∗s , а меру по интервалам — через µ∗i . Пусть E ⊆ R. Требуется доказатьдве вещи.1. µ∗s E 6 µ∗i E. Действительно, пусть {ℓi }, i ∈ N — любая система интервалов, покрывающих E. Тогда, добавивк каждому интервалу его концы, получим систему отрезков {ℓ′i }, i ∈ N, покрывающих E.

Таким образом, отрезкиничуть не хуже интервалов. 2. µ∗i E 6 µ∗s E. Возьмем любое ε > 0. Пусть ℓi , i ∈ N — любая система отрезков, покрывающихE. Тогда построим систему интервалов {ℓi }, i ∈ N, где ℓi ⊂ ℓi для всех i ∈ N и при этом |ℓi | 6 ℓi + 2εi . Тогда система{ℓi }, i ∈ N покрывает E, и при этом X XX ℓi + ε.ℓi + ε 6|ℓi | 6i2iiiВ силу произвольности ε > 0, переходя к точным нижним граням, получаем, что мера по интервалам будетне меньше меры по отрезкам.Утверждение доказано.11Утверждение.SPЕсли {Ei }, i ∈ N — не более чем счетная система множеств, E = Ei , то µ∗ E 6 µ∗ Ei .iiДоказательство. Возьмем любое ε > 0, и пусть для всех i ∈ N выбрана покрывающая Ei система интервалов ℓij , такая, чтоX ℓij < µ∗ Ei + ε .2ij Тогда совокупность всех интервалов ℓij , j ∈ N, i ∈ N покрывает E, и при этомX XX Xε X ∗ℓij 6ℓij 6µ∗ Ei + i 6µ Ei + ε.2i,jijiiУстремляя ε к нулю, получаем требуемое утверждение.

В этой выкладке первое неравенство требует отдельного рассмотрения: требуется показать, что бесконечная сумма действительно не зависит слишком сильноот порядка суммирования, то есть мы в этот момент утверждаем, что сумма при любом порядке суммирования не превышает написанную справа. Действительно, для любой конечной суммы можно проделать такуюформальную выкладку:n XX i XX i i (k) ℓj 6ℓj .ℓj (k) 6k=1i6max{i (k)}j6max{j (k)}ijТаким образом, неравенство сохранится и для бесконечной суммы как предела конечных сумм. Когда-нибудьмы сможем ссылаться на теорему Коши о перестановке членов абсолютно сходящегося ряда, которая утверждает, что на самом деле эти суммы равны, но пока достаточно более слабого утверждения.Утверждение доказано.Утверждения.1.

Если E ⊆ F ⊆ R, то µ∗ E 6 µ∗ F . В частности, если µ∗ F = 0, то и µ∗ E = 0.S2. Если {Ei }, i ∈ N — не более чем счетная система подмножеств R, все Ei имеют меру нуль, и E ⊆ Ei , тоiµ∗ E = 0.3. Не более чем счетные множества имеют меру нуль по Лебегу.Доказательства.1. Множество E содержится в объединении не более чем счетной системы множеств, состоящей из одногомножества {F }, поэтому µ∗ E 6 µ∗ F . В частности, если µ∗ F = 0, то 0 6 µ∗ E 6 µ∗ F = 0.P2. 0 6 µ∗ E 6 µ∗ Ei = 0.iS3. Если E = {ei } ⊂ R, то E = ei .iУтверждения доказаны.Определение. Если какое-то свойство выполняется для всех точек множества E ⊆ R, кроме некоторогоподмножества F ⊆ E, и при этом µ∗ F = 0, то будем говорить, что это свойство выполняется почти всюду на E.3.2.

Достаточное условие интегрируемости.Лемма.nЕсли {∆i }i=1 — разбиение отрезка [a, b], отрезок [c, d ] ⊆ [a, b], то невырожденные отрезки [c, d ] ∩ ∆i образуютразбиение отрезка [c, d ], и сумма их длин равна d − c.Доказательство.Пусть ∆i = [ai−1 , ai ], где i = 1, . . . , n, иa = a0 < a1 < a2 < · · · < an = b.Тогда найдутся такие числа k и l, что ak−1 6 c < ak и al−1 < d 6 al . В этом случае невырожденнымиотрезками будут (только) отрезки[c, ak ] , ∆k+1 , . .

. , ∆l−1 , [al−1 , d ] .Они образуют разбиение [c, d ], и сумма их длин равна (ak − c) + (ak+1 − ak ) + · · · + (d − al−1 ) = d − c.Лемма доказана.12Теорема 1. (достаточное условие интегрируемости)Если f ограничена на отрезке [a, b] и непрерывна почти всюду на [a, b], то f интегрируема на [a, b] по Римануи Мак-Шейну (и, следовательно, по Курцвейлю – Хенстоку).Доказательство.Возьмем любое ε > 0. Найдем не более чем счетную систему интервалов {ℓi }, i ∈ N, покрывающую все точкиразрыва функции f , такую, чтоXε.(1)|ℓi | 68·sup|f |i[a, b]Здесь мы воспользовались ограниченностью функции f . A для любой точки отрезка [a, b], в которой функцияf непрерывна, найдем такое число γ (x), чтобыεf B3γ (x) (x) ⊆ B 4 (b−a)(f (x))(2)Таким образом, выбрана система интервалов {ℓi } ∪ Bγ (x) (x) , покрывающая отрезок [a, b].

По теоремеГейне – Бореля можно выбрать конечное подпокрытие отрезка [a, b], состоящее, например, из таких интервалов:ℓi1 , . . . , ℓip ,Bγ (x1 ) (x1 ) , . . . , Bγ (xq ) (xq ) .Снова пользуясь ограниченностью функции f , выберем число δ > 0 так, чтобы выполнялись два условия:ε,(3)2·p·δ <8 · sup |f |[a, b]δ < min {γ (xk )} .(4)16k6q— два разбиения ХенстокаА вот теперь проверим критерий Коши. Пусть T = {(∆i ; ξi )} и T′ = ∆′j ; ξj′(Мак-Шейна) отрезка [a, b] мельче δ (согласованные с масштабом δ (x) ≡ δ). Тогда, пользуясь леммой, производим следующую оценку: X XXXXX′′′ ′′ ′ ∆i ∩ ∆j −f ξj∆i ∩ ∆j =|σ (f, T) − σ (f, T )| = f (ξi ) |∆i | −f ξj ∆j = f (ξi ) i ijijj X X X X f (ξi ) − f ξj′ ∆i ∩ ∆′j .= f (ξi ) − f ξj′ ∆i ∩ ∆′j 6 i jijРазобьем двойную сумму на две части по принадлежности точки ξi к системе интервалов ℓi1 , .

. . , ℓip . Тогдата часть суммы, где ξi лежит в объединении ℓik , грубо оценивается следующим образом (пользуемся леммойи условиями (1) и (3)):Xξi ∈pSk=1ℓikX f (ξi ) − f ξj′ ∆i ∩ ∆′j 6 2 · sup |f | ·[a, b]j6 2 · sup |f | ·[a, b]Xi|ℓi | + 2pδ!Xξi ∈pSk=1< 2 · sup |f | · [a, b]|∆i | < 2 · sup |f | ·[a, b]ℓikpX(|ℓik | + 2δ) 6k=1εε ε+= .8 · sup |f | 8 · sup |f |2[a, b][a, b]Вторая же сумма оценивается более хитро. Если ξi не лежит ни в одном из ℓik , то ξi ∈ Bγ (xm ) (xm ). Поэтому,учитывая, что ∆i ∩ ∆′j 6= ∅, можно утверждать, что ξj′ ∈ B3γ (xm ) (xm ).

Подробнее: для интеграла Риманарасстояние между ξi и ξj′ не превышает суммы длин отрезков ∆i и ∆′j , которая меньше 2δ < 2γ (xm ) (пользуемсяусловием (4)), а так как от xm до ξi расстояние меньше γ (xm ), то в сумме как раз и получается меньше3γ (xm ); в случае интеграла Мак-Шейна отрезки ∆i и ∆′j пересекаются, значит, пересекаются и содержащие ихокрестности Bδ (ξi ) и Bδ ξj′ , и в сумме снова получаем 2δ + γ (xm ), что меньше, чем 3γ (xm ). Отсюда, используядо сих пор остававшуюся невостребованной оценку (2), получаем, чтоεf (ξi ) − f ξj′ 6 |f (ξi ) − f (xm )| + f (xm ) − f ξj′ <.2 (b − a)Таким образом, вторая сумма оценивается величинойX X f (ξi ) − f ξ ′ ∆i ∩ ∆′ 6jjξi ∈/pSk=1ℓikj13XXε∆i ∩ ∆′ = ε .j2 (b − a) i j2Подведем итог: мы показали, что для любого ε > 0 можно найти такое число δ > 0 (оно же масштабδ (x) ≡ δ), что для любых двух разбиений T и T′ Хенстока мельче δ (Мак-Шейна, согласованных с масштабомδ (x)) разность соответствующих им интегральных сумм меньше, чем ε/2 + ε/2 = ε.

Выполнен критерий Коши.Теорема доказана.Следствия.1. Непрерывные на отрезке [a, b] функции интегрируемы по Риману и Мак-Шейну на [a, b], поскольку любаянепрерывная на отрезке функция ограничена.2. Монотонные функции тоже интегрируемы по Риману и Мак-Шейну, так как все разрывы монотонныхфункций — первого рода, и им соответствуют конечные промежутки (не пустые и не одноточечные) в областизначений функции, которых может быть не более чем счетное множество — ведь каждому можно поставитьв соответствие какое-нибудь рациональное число, которое в нем лежит. Значит, и множество точек разрыва неболее чем счетно. К тому же функция, монотонная на отрезке [a, b], ограничена на нем значениями f (a) и f (b).3.3.

Характеристики

Тип файла
PDF-файл
Размер
486,17 Kb
Тип материала
Высшее учебное заведение

Список файлов лекций

Свежие статьи
Популярно сейчас
Зачем заказывать выполнение своего задания, если оно уже было выполнено много много раз? Его можно просто купить или даже скачать бесплатно на СтудИзбе. Найдите нужный учебный материал у нас!
Ответы на популярные вопросы
Да! Наши авторы собирают и выкладывают те работы, которые сдаются в Вашем учебном заведении ежегодно и уже проверены преподавателями.
Да! У нас любой человек может выложить любую учебную работу и зарабатывать на её продажах! Но каждый учебный материал публикуется только после тщательной проверки администрацией.
Вернём деньги! А если быть более точными, то автору даётся немного времени на исправление, а если не исправит или выйдет время, то вернём деньги в полном объёме!
Да! На равне с готовыми студенческими работами у нас продаются услуги. Цены на услуги видны сразу, то есть Вам нужно только указать параметры и сразу можно оплачивать.
Отзывы студентов
Ставлю 10/10
Все нравится, очень удобный сайт, помогает в учебе. Кроме этого, можно заработать самому, выставляя готовые учебные материалы на продажу здесь. Рейтинги и отзывы на преподавателей очень помогают сориентироваться в начале нового семестра. Спасибо за такую функцию. Ставлю максимальную оценку.
Лучшая платформа для успешной сдачи сессии
Познакомился со СтудИзбой благодаря своему другу, очень нравится интерфейс, количество доступных файлов, цена, в общем, все прекрасно. Даже сам продаю какие-то свои работы.
Студизба ван лав ❤
Очень офигенный сайт для студентов. Много полезных учебных материалов. Пользуюсь студизбой с октября 2021 года. Серьёзных нареканий нет. Хотелось бы, что бы ввели подписочную модель и сделали материалы дешевле 300 рублей в рамках подписки бесплатными.
Отличный сайт
Лично меня всё устраивает - и покупка, и продажа; и цены, и возможность предпросмотра куска файла, и обилие бесплатных файлов (в подборках по авторам, читай, ВУЗам и факультетам). Есть определённые баги, но всё решаемо, да и администраторы реагируют в течение суток.
Маленький отзыв о большом помощнике!
Студизба спасает в те моменты, когда сроки горят, а работ накопилось достаточно. Довольно удобный сайт с простой навигацией и огромным количеством материалов.
Студ. Изба как крупнейший сборник работ для студентов
Тут дофига бывает всего полезного. Печально, что бывают предметы по которым даже одного бесплатного решения нет, но это скорее вопрос к студентам. В остальном всё здорово.
Спасательный островок
Если уже не успеваешь разобраться или застрял на каком-то задание поможет тебе быстро и недорого решить твою проблему.
Всё и так отлично
Всё очень удобно. Особенно круто, что есть система бонусов и можно выводить остатки денег. Очень много качественных бесплатных файлов.
Отзыв о системе "Студизба"
Отличная платформа для распространения работ, востребованных студентами. Хорошо налаженная и качественная работа сайта, огромная база заданий и аудитория.
Отличный помощник
Отличный сайт с кучей полезных файлов, позволяющий найти много методичек / учебников / отзывов о вузах и преподователях.
Отлично помогает студентам в любой момент для решения трудных и незамедлительных задач
Хотелось бы больше конкретной информации о преподавателях. А так в принципе хороший сайт, всегда им пользуюсь и ни разу не было желания прекратить. Хороший сайт для помощи студентам, удобный и приятный интерфейс. Из недостатков можно выделить только отсутствия небольшого количества файлов.
Спасибо за шикарный сайт
Великолепный сайт на котором студент за не большие деньги может найти помощь с дз, проектами курсовыми, лабораторными, а также узнать отзывы на преподавателей и бесплатно скачать пособия.
Популярные преподаватели
Добавляйте материалы
и зарабатывайте!
Продажи идут автоматически
6381
Авторов
на СтудИзбе
308
Средний доход
с одного платного файла
Обучение Подробнее