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

1610912324-d6d302fddade0a032e1066381713268c (824704), страница 69

Файл №824704 1610912324-d6d302fddade0a032e1066381713268c (Колмогоров А.Н. Фомин С. В. Элементы теории функций и функционального анализа 2004u) 69 страница1610912324-d6d302fddade0a032e1066381713268c (824704) страница 692021-01-17СтудИзба
Просмтор этого файла доступен только зарегистрированным пользователям. Но у нас супер быстрая регистрация: достаточно только электронной почты!

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

и(х ) и(з,в ) < е. Так как и -. монотонно неубывающая функция, то отсюда следует, что в(х*) — и(х) < е для всех х таких, что хп 1 < х < х'. А это и означает непрерывность функции и в точке х* слева. Если Г" непрерывна в точке х* справа, то, как показывают аналогичные рассуждения, и и непрерывна в этой точке справа. Следовательно, если у непрерывна в некоторой точке (или на всем отрезке [а, Ь]), тпо непрерывна и в. Пусть 7 произвольная функция на [а, О] с ограниченным изменением и в — ее полное изменение на [а, х]. Рассмотрим разность Эта разность представляет собой монотонно неубывающую функцию.

Действительно, пусть х' < х". Тогда ф(х ) — гг(х ) = [ю(х ) — в(х )] — [у(х ) — г (х )]. (7) Но всегда йхз') — 1(х')[ < (хв) — (х') = 1'."'"И, поэтому правая, а значит, и левая части равенства (7) неотрицательны. Итак, поскольку У=и у~ мы получили следующий результат: Теорема Е Всякая функция с ограниченным изменением может быть представлена как разность двух монотонно неубывающих функций. Обратное утверждение очевидно: всякая функция, представимая в виде разности двух монотонных, имеет ограниченное изменение. 1 2.

Функции с ограниченным изменением 355 Предположим, кроме того, что если х„= а, то д„= О, а если хн = Ь, то 6„= О. Положим ф(х) = ~ д„+ ~ Ьи. [8) е„<е г <г Мы будем называть теперь функциями скачков любые функции вида [8). Полное изменение функции ф[х) равно, очевидно, ~ [[д„[+[8„[), п Точками разрыва функции [8) служат те хн, для которых хотя бы одно из чисел дн, Ьн отлично от нуля; при этом ф[хи) — ф[х„— 0) = д„, ф[х„+ 0) — ф(х„) = Ьн.

Теперь легко получается следующее утверждение, обобщающее утверждение 4 и. 1 предыдущего параграфа. Всякая функция 1 с ограниченным изменением, определенная на [а, Ь[, может быть представлена, и притом единственным образом, в виде 1=Ф+ф где уз непрерывна, а ф — — функция скачков. Упражнения. 1. Если т' имеет на [а, Ь[ ограниченную производную (т. е. ~'[х) существует всюду н [1ч[х)[ < С), то г' функция с ограниченным изменением, причем Ъ'„е[1) ( С[Ь вЂ” а). Поэтому совокупность функций, представимых в виде разности монотонных функций, рассмотренная нами еще в предыдущем параграфе, это и есть совокупность функций с ограниченным изменением.

Из теоремы 1 и установленной в предыдущем параграфе теоремы Лебега о существовании производной у монотонной функции сразу следует, что всякая функция с ограниченным изменением имеет почти ванду конечную производную. Перейдя от монотонных функций к функциям с ограниченным измененном, полезно следующим образом обобщить введенное выше понятие функции скачков.

Пусть хы..., хн,... -- конечное или счетное множество точек на [а, Ь[. Поставим в соответствие каждой нз этих точек хн два числа д„и Ьн так, что 1л. р!. ь!гааргдглгиима анпьгграл Лгбгга 356 2. Пусть т(х) = х сйп — прн х ~ 0 и !(0) = О. Показать, что изменение 1 функции !' на [О, Ц бесконечно. Постоянные, и только они, представляют собой функции, полное изменение которых равно О. Положим 1 ь[(] Величина г'„ь[г] облготает свойствами 2) и 3) нормы (см.

и. 1 З 3 гл. П), но не свойством Ц. Если рассмотреть только функции, удовлетворяющие дополнительному условию 1(о) = О, то они также образуют линейное пространство, н котором величина 1~~[Я обладает уже всеми свойствами нормы. Пространство Го[о, Ь] функций с ограниченным изменением на [а, Ь], удовлетворяющих условию 1(о) = О, с обычными определениями сложения и умножения на числа и с нормой ]]Л вЂ” 1/ьИ называется пространством функций с ограниченным изменением.

(Докажите полноту этого цространства.) Упражнение. Докажите, что []!][ = [!(а)[ -Ь 'г', [!] является нормой в пространстве всех функций с ограниченным изменением на отрезке [а, Ь] и докажите полноту этого пространства. '2 3. Производная неопределенного интеграла Лебега В 2 1 мы показали, что интеграл Дебета / У(!) 1! а как функция от х имеет почти всюду конечную производную. Однако мы пока еще не выяснили, как связана эта производная с подынтегральной функцией.

Сейчас мы установим следующий результат, упомянутый н конце з 1. Те о ре м а 1. Для всякой суммируемой функции 1" почти всюду имеет место равенство — ', / У(!) ! = У( ) а Д о к а з а т е л ь с т и о. Положим Ф(х) = / ! (!) й. 1 3. Проигводнал неопределенного интеграла 357 Покажем вначале, что почти всюду ~Ф>ФФ. Если Дя) < Ф'(я), то найдутся такие рациональные числа а и 77', что 7(я) < а <,3 < Ф'(т). (1) Пусть Е з - — множество тех точек, в которых выполнено неравенство (1). Оно измеримо, поскольку 7" и Ф' измеримы. Покажем, что мера каждого из множеств Е з равна нулю.

Так как число этих множеств счетно, то отсюда будет следовать, что 1г)т: у(,) < Ф'( )) = О. Пусть е > О произвольно и пусть б > О таково, что 1 ~® е1« как только 7г(е) < 6 (такое 6 сУществУет длЯ любого е в силУ абсолютной непрерывности интеграла; см. теорему 5 з 5 гл. У).

Выберем теперь открытое множество С С [а, 6) так, что С З Е в и 7г(С) < р(Е в) +б (см. упражнение в п. 7 5 4 гл. У). Если я е Еад, то Ф(6 — Ф(т) (2) 5 — т для всех С > т, достаточно близких к т. Записав неравенство (2) в виде Ф® — Я > Ф(т) — 77т, получаем, что точка т невидимая справа для функции Ф(т) — 3т на любом из составляющих интервалов множества С. Используя лемму Ф.

Рисса, мы можем поэтому указать такое открытое множество Я = О(аь, Ьь), состоящее из непересекающихся интервалов, что Е„в с Я с С и Ф(Ьа) — ~36ь > Ф(аь) — Даь, т.е. Ф(Ьь) — Ф(аь) > Д(Ьа — ав), 1 Ы)6>ЯЬ вЂ” пь) аа Суммируя такие неравенства по всем интервалам (аы Ьь), составляющим о', получаем у у(т) ~)1 > в7г(я). Рл. Цй Нгааргдглгннмп интеграл ггебгга В то же время 1уяй= Г т)й+ 1 тй< 5 Е„а я~я г < ор(Еав) +е < од(Я) +с+ ~о~6. (4) Сравнивая (3) и (4), получаем од(Я + е+ ~о(б > йд(Я), г+ )о(6 г~ — о Таким образом, множество Е в можно заключить в открытое множество сколь угодно малой меры (мы можем считать, например, что ~о~б < е), а это и означает, что д(Е и) = О.

Итак, мы показали, что 1(х) > Ф (х) почти всюду. Заменив ((х) на — Дх), мы таким же путем получим, что почти всюду -Д(х) > -Ф'(х),. т.е. ((х) < Ф'(х) и, следовательно, почти всюду Х(х) = Ф'(*) аа †„'. У Ы а ~ 4. Восстановление функции по ее производной. Абсолютно непрерывные функции Итак, мы решили первый из поставленных в начале этой главы вопросов, установив равенство + / Дй) й = Дх) (почти всюду) а для любой суммируемой на [а, Ь) функции (. Рассмотрим теперь второй из сформулированных там вопросов, т. е, выясним, как обобщается на случай интеграла Лебега формула Ньютона — Лейбница Е(х) = Г(а)+ /'Е'Яй., (1) а хорошо известная в случае непрерывно дифференцируемых функ- ций из элементарного анализа. 1 4.

Восстпановление функции по ее проивводнон 359 Естественно ограничиться рассмотрением функций Е, заведомо дифферонцируемых почти всюду (иначе равенство (1) просто не имеет смысла). Как мы уже знаем, такими, в частности, являются функции с ограниченным изменением. С другой стороны, интеграл, стоящий в (1) справа, есть функция с ограниченным изменением. Поэтому равенство (1) не может быть верно цпя более широкого класса функций. Поскольку всякая функция с ограниченным изменением есть разность двух монотонно неубывающих, то именно монотонные функции н нужно рассмотреть в первую очередь.

Однако для произвольных монотонных функций равенство (1), вообще говоря, но имеет моста. Вместе с тем справедлива оледь ющая теорема. Теорема 1. Производная г' монотонно неубывающей функции у суммируема и ь / У'(х) с)х < 1(6) — ((а). Доказательство. По определению, производная функции 1 в точке х есть предел отношения ) 1(х+ 6) — ) (х) (2) при 6 — ь О. Из монотонности 1 вытекает ее суммируемость, а значит, и суммируемость каждой из функций уьь. Поэтому равенство (2) можно проинтегрировать. Получаем ь ь ь / уоь,(х) еьх = — / 1(х + 6) дх — — / ) (х) дх Ь-ь аьь — / у" (х) с)х — 1 (' Г'(х) аьх.

Ь а Стоящее справа выражение при 6 ь +О стремится к 1(6) — 1(а+ 0). (Докажите!) Поэтому, применив теорему Фату (теорема 8 9 б гл. Ьт), мы получаем )' У'(х) )х < 1)ш У ы,(х) )х = У(Ь) — У(н+ О) < У(Ь) — У(о) а 'а (само существование интеграла от г' также обеспечивается теоремой Фату). Теорема доказана. ') с!тобы выражение 1(х -Ь Ь) имело смысл при любом х Е (а, Ь), можно считать, что Пх) = у"(Ь) при х ) Ь и 1(х) = Ца) при х < а. Рл. Ьт. Неанределенньш интеграл Лебега 360 Рис.

21 Нетрудно привести пример монотонной функции, для которой имеет место строгое неравенство / / (х) дх < /(6) — /(а). а Достаточно положить 0 при О<х<1/2, /(х) = 1 при 1/2<х<1. Интересно, однако, что существуют непрерывные монотонные функции, для которых строгое неравенство е / / (1) е11 < /(х) — /(а) а выполнено при всех х > а. Вот один из простейших примеров. Рассмотрим на отрезке [О, 1] канторово множество и определим / сначала на его смежных интервалах, положив /(1) 29 — 1 й 1 2 3 2н — е на а-м смежном интервале н-го ранга (включая и его концы). (Интервалы нумеруются слева направо.) Следовательно, /(1) = 1/2 при 1/3 < 1 < 2/3, /(1) = 1/4 при 1/9 < 1 < 2/9, /(1) = 3/4 при 7/9 < 1 < 8/9 и т.

д. (рис, 21). Таким образом, / определена на отрезке [О, 1] всюду, кроме точек второго рода канторова множества (т. е. точек, не принадлежащих ни смежным интервалам, ни совокупности их концов). 1 4. Воееапановление функции по ее проивводнои зщ Доопределим теперь 1' в этих оставшихся точках следующим образом. Пусть г" одна из таких точек и пусть (г„) сходящаяся к ней возрастающая последовательность точек первого рода (т,е. концов смежных интервалов). Тогда существует предел 1пп 1(ь'„): (3) аналогично, существует и предел 1пп 1(ь„), (4) если (Х'„) - убывающая последовательность точек первого рода, сходящаяся к 1*, причем пределы (3) и (4) равны между собой. При- няв это общее значение за 1(1*), мы получим монотонную функ- цию, определенную и непрерывную па всем отрезке [О, Ц, называе- мую «канторовой лестницей».

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

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

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

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