Главная » Просмотр файлов » 1610912324-d1d4762aec28c33bb2e9df51074659f6

1610912324-d1d4762aec28c33bb2e9df51074659f6 (824703), страница 28

Файл №824703 1610912324-d1d4762aec28c33bb2e9df51074659f6 (Зорич том 2 2012u) 28 страница1610912324-d1d4762aec28c33bb2e9df51074659f6 (824703) страница 282021-01-17СтудИзба
Просмтор этого файла доступен только зарегистрированным пользователям. Но у нас супер быстрая регистрация: достаточно только электронной почты!

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

Л(Р) — ~0 Аналогичные рассуждения можно провести и для верхних сумм. ~ь с. Критерий Дарбу интегрируемости вещественнозначной функции Теорема 3 (критерий Дарбу). Определенная на промежутке 1 С С Вп веи1ественнозначная функция 1: 1 -+ К интегрируема на нем тогда и только тогда, когда она ограничена на 1 и ее нижний и верхний интегралы Дарбу совпадают. Итак, 1 е К(1) с=ь (1 оеракичена на 1) Л (,7 =,7). 1 Необходимость.

Если 1 б ьс(1), то по утверждению 1 функция Х ограничена на 1. Из определения 7 интеграла, определения 11 величин,7,,7 и п. а) леммы 5 следует, что в этом случае также,7 =,7. Достаточность. Поскольку л(Х,Р) < п(Х,Р,() < Я(Х,Р), то при,7 = 7 крайние члены этих неравенств по теореме 2 стремятся к одному и тому же пределу, когда Л(Р) — ь О. Значит, п(1, Р, ~) имеет и притом тот же предел при й(Р) — ь О.

~ Замечание 3. Из доказательства критерия Дарбу видно, что если функция интегрируема, то ее нижний и верхний интегралы Дарбу совпадают между собой и равны значению интеграла от этой функции. Задачи и упражнения 1. а) Покажите, что множество меры нуль не имеет внутренних точек. Ь) Покажите, что если множество не имеет внутренних точек, то это вовсе не означает, что это множество меры нуль. с) Постройте множество, имеющее меру нуль, замыкание которого совпадает со всем пространством К".

д) Говорят,что множество Е С Х имеет объем нуль, если для любого е > О его можно покрыть конечной системой Хм, .., 1ь промежутков так, что ь ~1;( < ж Всякое ли ограниченное множество меры нуль имеет объем нуль? в=1 е) Покажите, что если множество Е с К" является прямым произведением К х е прямой К и множества е С К" ь (п — 1)-мерной меры нуль, то Е есть множество и-мерной меры нуль.

2. а) Постройте аналог функции Дирихле в И" и покажите, что если ограниченная функция 1: 1 ь К равна нулю почти во всех точках промежутка 1, то это еще не означает, что Х е Я(1). Ь) Покажите, что если 1 е Гс(1) и 1(х) = О почти во всех точках промежутка 1, то ) 1(х) ььх = О. 1 3. Между прежним определением интеграла Римана на отрезке 1 С К и определением 7 интеграла на промежутке произвольной размерности имеется маленькое различие, связанное с определением разбиения и меры промежутка разбиения. Уясните для себя этот нюанс и проверьте, что ь / 1(х) ь1х = 1(х) дх, если а < Ь 12.

ИНТЕГРАЛ ПО МНОЖЕСТВУ 141 ь / 1(х) ах = — 1(х) дх, если а > Ь, где 1 — промежуток на прямой Ж с концами а, Ь. 4. а) Докажите, что определенная на промежутке 1 С Ж" вещественнозначная функция 1: 1 -+ Ж интегрируема на нем тогда и только тогда,когда для любого в > 0 существует такое разбиение Р промежутка 1, что Я(1',Р) — в(1,Р) ( в. Ь) Используя результат а) и считая, что рассматривается вещественнозначная функция 1: 1 -+ Ж, можно несколько упростить доказательство критерия Лебега в разделе, относящемся к достаточности. Постарайтесь самостоятельно сделать эти упрощения. 2 2.

Интеграл по множеству 1. Допустимые множества. В дальнейшем нам предстоит интегрировать функции не только по промежутку, но и по другим не слишком сложным множествам в Ж". Определение 1. Множество Е с Ж" будем называть допустимым, если оно ограничено в Ж" и его граница дЕ есть множество меры нуль (в смысле Лебега). Пример 1. Куб, тетраэдр, шар в Жз (Ж") являются допустимыми множествами.

Пример 2. Пусть определенные на (и — 1)-мерном промежутке 1 Е Е Ж" функции ~р;: 1 ь Ж, 1 = 1,2, таковы, что ~оь(х) ( ~рг(х) в любой точке х е 1. Если эти функции непрерывны, то на основании примера 2 из 21 можно утверждать, что область в Ж", ограниченная графиками этих функций и боковой цилиндрической поверхностью, лежащей над границей д1 промежутка 1, является допустимым множеством в Ж". Напомним, что граница дЕ множества Е С Ж" состоит из точек, в любой окрестности которых имеются как точки множества Е, так и точки дополнения Е в Ж". Значит, справедлива Лемма 1. Для любых множеств Е, Ем Ег С Ж": а) дŠ— замкнутое в Ж" множество; Ь) д(Еь и Ег) С дЕь и дЕг, с) д(Еь И Ег) с дЕь и дЕг, ГЛ. Х1.

КРАТНЫЕ ИНТЕГРАЛЫ 142 11) д(Е1 '1 Е2) С дЕ1 0 дЕ2. Отсюда и из определения 1 вытекает, что имеет место Лемма 2. Объединение или пересечение конечного числа допустимых множеств является допустимым множеством; разность допустимых множеств — тоже допустимое множество. Замечание 1. Для бесконечного количества допустимых множеств лемма 2, вообще говоря, неверна, как, впрочем, и соответствующие утверждения Ь) и с) леммы 1. Замечание 2.

Граница допустимого множества — не только замкнутое, но и ограниченное множество в К", т. е. зто — компакт в К". Значит, по лемме 3 из 2 1 ее можно покрыть даже конечной системой промежутков со сколь угодно близкой к нулю суммой объемов. Рассмотрим теперь характеристическую функцию ) 1, еслихЕЕ, '1 О, еслих~Е допустимого множества Е. Как и для любого множества Е, функция (х) имеет разрывы в граничных и только в граничных точках множества Е.

Значит, если Š— допустимое множество, то функция Х (х) непрерывна почти во всех точках пространства я4'. 2. Интеграл по множеству. Пусть 1 — определенная на множестве Е функция. Условимся, как и прежде, символом ~Х (х) обозначать функцию, равную 1(х) при х Е Е и равную нулю вне Е (хотя 1 вне Е не определена). Определение 2. Интеграл от функции 1' по множеству Е определяется соотношением 1ЗЕ где 1 — произвольный промежуток, содержащий множество Е. Если стоящий в правой части равенства интеграл не существует, то говорят, что 1 неинтегрируема (по Римзну) на множестве Е. В противном случае 1 называется интегрируемой (по Риману) на множестве Е.

12. ИНТЕГРАЛ ПО МНОЖЕСТВУ 143 Совокупность интегрируемых по Риману на множестве Е функций будем обозначать символом Я(Е). Определение 2, разумеется, требует пояснения, которое доставляет Лемма 3. Если 11 и Хг — два промежутка, содержащие порознь множество Е, то интегралы 1г существуют или не существуют одновременно, причем в первом слу- чае их значения совпадают. < Рассмотрим промежуток 1 = 111З Хг.

По условию 1 Э Е. Точки разрыва функции Х,"~е либо совпадают с точками разрыва функции Х на Е, либо проистекают от разрывов функции 1 и лежат на дЕ. Во всяком случае, все эти точки лежат в 1 П 11 П 1г. По критерию Лебега (теорема 1, ~1) отсюда следует, что интегралы от Х'1 по промежуткам 1, 11, Хг существуют или не существуют одновременно. Если они существуют, то мы вправе выбирать разбиения 1, 11, Хг по своему усмотрению. Будем поэтому брать только те разбиения промежутков 1П Хг, которые получаются продолжением разбиений промежутка 1 = Х1 О Хг.

Поскольку вне 1 рассматриваемая функция равна нулю, интегральные суммы, отвечающие описанным разбиениям 11 и Хг, сведутся к интегральной сумме соответствующего разбиения промежутка 1. После предельного перехода отсюда получается, что интегралы по 11 и 1г равны интегралу от рассматриваемой функции по промежутку Х. ~ Иэ критерия Лебега (теорема 1, ~1) существования интеграла на промежутке и определения 2 вытекает Теорема 1. Функция Х: Š— г К интегрируема на допустимом множестве тогда и только тогда, когда она ограничена и непрерывна почти во всех точках множества Е.

~ Функция 11 по сравнению с функцией 1 может иметь дополнительно точки разрыва лишь на границе дЕ множества Е, которая по условию является множеством меры нуль. ~ 144 ГЛ. Х1. КРАТНЫЕ ИНТЕГРАЛЫ 3. Мера (объем) допустимого множества Определение 3. Мерой (Жордана) или объемом ограниченного множества Е С К" назовем величину п(Е):= 1 дх, если указанный интеграл (Римана) существует. Поскольку ХЕ(л) йх а множество точек разрыва функции Х совпадает с дЕ, то по критерию Лебега получаем, что так введенная мера определена только для допустимых множеств. Таким образом, допустимые множества и только они являются измеримыми в смысле определения 3. Выясним теперь геометрический смысл величины д(Е).

Если Е— допустимое множество, то д(Е) = Хе(х) дх — Хе(х) пх Хе(л) от, 1~К 1ЪЕ !ЗЕ где последние два интеграла суть нижний и верхний интегралы Дарбу соответственно. В силу критерия Дарбу существования интеграла (теорема 3 3 1) мера д(Е) множества определена тогда и только тогда, когда указанные нижний и верхний интегралы совпадают. По теореме Дарбу (теорема 2 3 1) они являются пределами нижних и верхних интегральных сумм функции Х, отвечающих разбиениям Р промежутка Х. Но в силу определения функции Х нижняя интегральная сумма равна сумме объемов промежутков разбиения Р, лежащих в Е (это объем вписанного в Е многогранника), а верхняя сумма равна сумме объемов тех промежутков разбиения Р, которые имеют общие точки с множеством Е (объем описанного многогранника).

Значит, р(Е) есть общий предел при Х(Р) -+ 0 объемов вписанных в Е и описанных около Е многогранников, что совпадает с принятым представлением об объеме простых тел Е С К". 12. ИНТЕГРАЛ ~О МНОЖЕСТВУ 145 При п = 1 объем принято называть длиной, а при п = 2 — площадью. Замечание 3. Поясним теперь, почему вводимая определением 3 мера р(Е) множества называется иногда мерой Жордана. Определение 4. Множество Е с К" называется множеством меры нуль е смысле Жордана или множеством объема нуль, если для любого е > О его можно покрыть такой конечной системой промежуть ков 11,..., 1ы что 2 ~11~ ( е.

1=1 По сравнению с мерой нуль в смысле Лебега здесь появилось требование конечности покрытия, которое сужает лебеговский класс множеств меры нуль. Например, множество рациональных точек является множеством меры нуль в смысле Лебега, но не в смысле Жордана. Для того, чтобы верхняя грань объемов вписанных в ограниченное множество Е многогранников совпадала с нижней гранью объемов описанных около Е многогранников (и служила мерой 14(Е) или объемом Е), очевидно, необходимо и достаточно, чтобы граница дЕ множества Е имела меру нуль в смысле Жордана. Именно поэтому прини- мают Определение б.

Множество Е называется измеримым в смысле Жордана, если оно ограничено и его граница имеет меру нуль в смысле Жордана. Как видно из замечания 2, класс множеств, измеримых по Жордану, это в точности тот класс допустимых множеств, который был введен определением 1. Вот почему определенная выше мера 4ь(Е) может быть названа (и называется) мерой Жордана множеств Е (измеримых по Жордану). Задачи и упражнения 1. а) Покажите, что если множество Е С Вь таково, что р(Е) = О, то и для замыкания Е этого множества справедливо равенство р(Е) = О.

Ъ) Приведите пример ограниченного множества Е меры нуль в смысле Лебега, замыкание Е которого уже не является множеством меры нуль в смысле Ле бега. с) Выясните, надо ли понимать утверждение Ь) леммы 3 нз 2 1 как то, что для компакта понятия множества меры нуль в смысле Жордана и в смысле Лебега совпадают. ГЛ. Х1. КРАТНЫЕ ИНТЕГРАЛЫ 146 б) Докажите, что если проекция ограниченного множества Е С К" на гиперплоскость К" ' имеет (и — 1)-мерный объем нуль, то само множество Е имеет и-мерный объем нуль. е) Покажите, что измеримое по Жордану множество без внутренних точек имеет нулевой объем. 2. а) Может ли существовать введенный определением 2 интеграл от некоторой функции 1 по ограниченному множеству Е, если Е не является допустимым множеством (измеримым в смысле Жордана)? Ь) Интегрируема ли постоянная функция 1: Е -+ К на ограниченном, но неизмеримом по Жордану множестве Е? с) Верно ли, что если некоторая функция 1 интегрируема на множестве Е, то ограничение Дл, этой функции на любое подмножество А С Е множества Е является интегрируемой на А функцией? б) Укажите необходимые и достаточные условия на функцию 1:Е -+ К, определенную на ограниченном (но не обязательно измеримом по Жордану) множестве Е, при которых интеграл Римана от нее по множеству Е существует.

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

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

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

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