Главная » Просмотр файлов » 1610915356-5872c4d4ad41802c73f2f3fcece03aba

1610915356-5872c4d4ad41802c73f2f3fcece03aba (824746), страница 42

Файл №824746 1610915356-5872c4d4ad41802c73f2f3fcece03aba (Курс высшей математики. В 5-ти т. Т. 5 Смирнов В. И. 1959) 42 страница1610915356-5872c4d4ad41802c73f2f3fcece03aba (824746) страница 422021-01-17СтудИзба
Просмтор этого файла доступен только зарегистрированным пользователям. Но у нас супер быстрая регистрация: достаточно только электронной почты!

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

Если Ь=+со, то вместо У(Р) возьмем [Д(Р)]и, выбрав М и т настолько большими, чтобы имело место неравенство ~ [У(Р)]иП(!6)) а+ !. В силу (133), будем иметь такмсе ~ У(Р)]иП(!6)== =. 6п ьь Прежнее рассуждение приведет нас к противоречию, и, таким образом, теорема доказана. Если величина и!жеграла неотрицательной функции у(Р) по 5 конечна, то говорят, что 7"(Р) с ум мир уема на 6. Из этого и данного выше определения непосредственно следует, что е с л и 7(Р) суммируема, и неотрицательная функция !ь(Р) удовлетворяетт на $ неравенству !ь(Р)-=у(Р), то и !!!(Р) с уми и р у е м а. Рассмотрим теперь измеримую на р, функцию, которая может менять знак, и разложим ее на положительную и отрицательную части: (137) .[(Р) =У'(Р) — Х (Р).

Функция у(Р) называется суммируемой на ф, если суммируемы 7+(Р) и у (Р). При этом величина инчеграла определяется формулой. (138) Если только одна из функций Г (Р) и 7' (Р) суммируема, то, как и в [62], интеграл от у(Р) будет иметь смысл, но его величина будет (+ со) или ( — со).

Большей частью множеством р, на кото- ром производится интегрирование, является вся плоскость или вся прямая или вообще все л-мерное пространство. )(ля интегралов на измеримом множестве бесконечной меры спра- ведлива теорема из [62] и свойства 1, 2, 3, 4, б, 6, 7, 9 и 10. Мы докажем только полную аддитивность и абсолютную непрерыв- ность. Доказзтельство теоремы и остальных снопе~в совершенно просто.

Предварительно докажем следующую простую лемму. Лемма. Если неотрицательные числа аь не убывают ири !ь! возрасглании з и 1!ш аь =а, то, обозначая и! 5 СО а" = ~а!ь,"1, ь ! [63 196 Функнни множвств и интвгР»л леввг» мбл ажес и 1нп а оп =~ а». л сО »=! (1З9) Доказываем от обратного. Отметим, что написанная сумма может иметь значение (+ оо). Обозначая через а предел а"', положим сначала, что а)~а». »=! Для достаточно больших значений а будем иметь а!')с, где с — сумма ряда (139) и, фиксируя такое г, мы можем указать столь большое ал, что а потому и подавно ~',а») ~ а„, »=! »=! что противоречит а» )О. Положим теперь, что а(~а».

»=! Тем самым будем иметь для некоторого фиксированного лш ~', а„) а. »-! Мы можем теперь выбрать настолько большое а, чтобы иметь Написанная конечная сумма очевидно (а"1, и потому а!'!)а, что нелепо, так как последовательность а"! стремится к а, не убывая. Лемма доказана. Переходим к доказательству полной аддитивности интеграла. Пусть [(Р) суммируема на 5 и это множество разбито на конечное или счетное число измеримых множеств ф» конечной или бесконечной меры. При этом у(Р) будет сумл!ируемои на каждом В». Положим далее, что $!!!(Вл(...— возрастающая последовательность множеств конечной меры, стремящаяся к В. Вводим в рассмотрение множества ф» =ф»6!'! конечнои меры.

Они возрастают при возрапп !л! станин г, 1!ш 6!»и=В» и ф!'1=ф!и+ рр!+ф!и+..., причем мно- 63) интегвал по множеству весконечной меРы 197 жества, стоящие справа, попарно без общих точек. Для множества В~' конечной меры мы имеем ~ У(Р)а((В)=~' ~ У(Р)О((й). 41е1 а=! й1е1 Считая иокз функци|о 1(Р) положительной, переходя в этой формуле к пределу при з -ь со и пользуясь доказзнной леммой, мы и получим формулу (20) из [49].

В общем случае утверждение справедливо на основании формулы (137) и того факта, что оно справедливо в отдельности для у'(Р) и [ (Р). Совершенно так же доказывается свойство 6 из [49[. Докажем абсолютную непрерывность интеграла. Считаем, что 7(Р) ) 0 и суммируема на ф.

Задано положительное а. Берем ьч настолько большим, чтобы имело место неравенство УО (с(В) (140) й(а) Для любого множества е, содержащегося в 5, можем написать ~уа(йв)= ~ уа((В)+ ~ хаев). е З1ее1е ($ — ЗРМ)е В силу абсолютной непрерывности интеграла на множестве 51 1 конечной меры существует такое т)) О, что абсолютное знзченне интеграла по 5~ ~е не больше — при ее-ф и О(е)(ть Принимая во внимание (140), можем утверждать то же самое и для интеграла по (5 — ф'м1)е, откуда следует, что абсолютное значение интеграла по е не больше а, если ес::ф и О(е)(т), что и доказывает абсолютную непрерывность интеграла. Теоремы 1, 2, 3, 4 из [54) также без труда переносятся нз случай множества 5 бесконечной меры.

Для примера докажем теорему 1. Пусть а — заданное положительное число. Выбираем настолько большое ги, чтобы иметь неравенство (141) Г (Р) О (ф) ~ а. й1ее) Оцениваем затем интеграл от разности )(Р) — уе(Р)' ! ~ (У вЂ” У.) О Иа) ~ -=-- [<е — гееие);-~ [ се — тее(ее)[, оее) йчч1 й1т) 198 [64 вхнкции множвств и иитвгвал лвввга Нз шюжестве 5 — 5ов! пользуемся оценкой ~ у — ~„~ (2Е' и, в силу (14!), получим (У вЂ” Л)0(Ф) ~ ~ ]У вЂ” У„)0(г(5)( ~ 2И(4)(2а. зею Зов! з узню Для множества 5! ' конечной меры теорема 1 уже доказана, и, следовательно, существует такое дГ, что при л) д! перрое слагаемое правой части (!42) (а.

Таким образом, получаем что, ввиду произвольности а, и доказывает теорему. Совершенно аналогично доказываются и остальные теоремы из [54]. 64. Класс Е, на множестве бесконечной меры. Построение класса йя и теория ортогональных функций без труда переносится на случай множества 5 бесконечной меры.

Мы говорим, что функция У"(Р) на множестве $ бесконечной меРы пРинадлежит У м если она измерима на 5 и ее квадрат уз(Р) или квадрат ее модуля )ДР)[' есть суммируемая на 5 функция. Все теоремы из [55], кроме теоремы 1, остаются в силе. В теореме 1 мы существенным образом использовали конечность меры 5. Можно легко дать пример функции, принадлежащей Ая и не суммируемой. Например, функция 1 1 — принздлежит Ея на промежутке [1, оо], ибо — суммируема, но Х х' 1 сама функция — не суммируема. Кроме того, мы использовали конечность меры 5 при доказательстве теоремы 8. Покажем, что эта теорема остается справедливой и в том случае, когда мера 5 бесконечна. Положим для определенности, что 5 есть полная плоскость $ .

Пусть последовательность у'„(Р) (л = 1, 2,...) функций, принадлежащих Е, на 5 сходится в себе. Пусть 5 — промежуток, определяемый нерзвенствами: — гл < х ~ т, — гл (у ( лг. Функпии ~„(Р) принадлежат Е, и сходятся в себе на каждом Ь, ибо интеграл от неотрицательной функции по Ь не больше интегрзла от той же функции по всей плоскости.

Из теоремы 8 [56] следует, что можно выбрать из последовательности У„(Р) подпоследовательность у„(Р), У„(Р),..., которая сходится почти везде на Ьь Из ука"г ванной подпоследовательности мы можем выделить новую подпослея ч~ довательность г„ (Р), у„ (Р),..., которая сходится почти везде на 1 ! 3 Ья и т.

д. Нетрудно видеть, что подпоследовательность У„ (Р), у (Р),..., сходится почти везде на 5 [ф. 1Ч; 15] Пусть у(Р)— предельная функция для этой подпоследовательности. В силу того, что последовательность у„(Р) сходится в себе на 5 для любого 641 КЛАСС т.а НА МНОЖЕСТВЕ БЕСКОНЕЧНОЕ МЕРЫ 199 заданного положительного а существует такое И, что ~ ~ Унн (Р) — Уо(Р)~ 0(г(В) =а, при п~ь' и л)Ю. Устремляя и к бесконечности, получаем, как и в (56), ~ ~ У' (Р) — Уо(Р)~ 0 (г(В) = а при п ) Ю, что и доказывает теорему 8. Если У(Р) ~ ь, на В и залано а, ) О, то существует такое Ж, что 9» ~ г' (Р)0(т(В) =а,.

йсо А А' Определим функцию ф(Р) следующим образом: ф(Р) =у(Р) в Ьл и су(Р)=0 вне Ьм. Очевидно ф(Р)~ьа(В ) У вЂ” ФЙ = ~ У(Р) — Ф(Р)1'0(агВ)= ~ У'(Р)0ИВ) =а,', йсо й — Ан и отсюда видно, что линеал функций ф(Р), отличных от нуля лишь на некотором конечном промежутке, повсюду плотен в Л,(В ), т. е. в (а на В Локажесм сепарабельность Аа(В ). На Ь (лт=!, 2о..), как доказано выше, существует повсюду плотное в 1., множество функций саь (Р)(сс,т=1, 2, ). Продолжаем эти функции нулем на все В Мы получим таким образом счетное множество функций саь (Р) из (.а(В ). Нетрудно видеть, что они повсюду плотны в 1.,(В ).

Действительно, пусть у(Р)~Е,(В ) и задано а) О. При этом сущесгвует такое лт„ что ~ У'(Р)а((В)~ — ',, асо — Ат, и можно, согласно сказанному выше, выбрзть такую функцию еь,(Р) из указанного выше счетного множества, что ~ (.Т(Р) — уа,,(Р)'1 0((В)» —, лосс и отсюда, в силу того, что саа„,(Р)о 6 вне Ь„„: ~ У(Р) — сна, с(Р) ГОЕВ) В' Ьсо что и доказывает сепарабельность т'.ЕВ 200 [64 яонкции множвств и интвгеал лвввга Покажем теперь, что линеал непрерывных функций м(Р), равных нулю вне некоторого конечного промежутка (различного для различных ~р(Р)), всюду плотен в Уя®, ). Этот лгшеал называется обычно лннеалож фииитных непрерывных функций.

Пусть У(Р)Я!я(9 ) и задано а)0. Покажем, что существует такая финитная непрерывная функция м(Р), что а~ — р))6 (а. Как мы видели выше, существует такое лг, что!~у!)~, = —;. Фик- '6" — ап 2 сируя это Ь, мы можем утверждать, что существует такая непрерывная в Ь„функция м(Р), что ()у — 4~~~ь (- —. Обозначим М= = шах ) м(Р) !.

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

Тип файла
DJVU-файл
Размер
11,09 Mb
Тип материала
Высшее учебное заведение

Список файлов книги

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