ilin1 (947407), страница 40

Просмтор этого файла доступен только зарегистрированным пользователям. Но у нас супер быстрая регистрация: достаточно только электронной почты!

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

Из определения модуля непрерывности следует, что для всех х' и х" из множества (х), удовльтворяющих условию ~1х' — х")~6<6„справедливо неравенство ~)(х') — 1(хл) (<а, а это и означает, что функция )(х) равномерно непрерывна на множестве (х). Теорема доказана. Выше мы вычислили модули непрерывностей трех функций: 1 ! функции хэ на сегменте [О, Ц и функций з)п — и — на х х интервале (О, 1).

Так как го (ха, 6) = 26 — 6', га (з1 п —, 6) = 2, го ( —, 6) = + оо, то из теоремы 4.17 сразу же вытекает, что функция хэ равномерно непрерывна на сегменте [О, 11, а функции яп— 1 и — не являются равномерно непрерывными на интервале 1 х (О, 1). а Мы учитываем при атом, что ы(6 б) ъб. Гл. 4. Непрерывность функции 184 5 7. ПОНЯТИЕ КОМПАКТНОСТИ МНОЖЕСТВА 1. Открытые и замкнутые множества. Рассмотрим произвольное множество весцественных чисел (х). Определение 1. Точка х множества (х) называется. внутренней точкой этого множества, если существует положительное число 6 такое, что Б-окрестность точки х также принадлежит множеству (х).

О яре деление 2. Множество (х) называется откр ыт ы м, если любая точка этого множества является внутренней. его точкой. Примерами открытых множеств могут служить интервал,. открытая полупрямая, бесконечная прямая, объединение нескольких непересекающихся интервалов. Определение 3.

Множество (х) называется замкнутым, если дополнение этого множества (т. е. разность ( — оо„ + оо) ',(х)) является открьстьс с множеством. В замечании 4 в конце п. 3 $ 6 было дано другое определение замкнутого множества. Напомним его формулировку. О п р е д е л е н и е 3'. Множество (х) называется з а м к н ут ьс м, если это лсножество содержит все свои предельные точки. Убедимся в том, что для случая произвольных числовых множеств определения 3 и 3* эквивалентны.

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

е. некоторая б-окрестность точки х не содержала бы точек множества (х), а это противоречило бы тому, что х является предельной точкой множества (х). 2) Пусть любая предельная точка множества (х) принадлежит этому множеству. Докажем, что множество (х) является дополнением открытого множества. Пусть х — любая точка дополнения множества (х). Требуется доказать, что это дополнение содержит и некоторую 6-окрестность точки х. Если бы это было не так, то любая 6-окрестность точки х.

содержала бы точки множества (х), т. е. точка х являлась бы предельной точкой множества (х) и по условию ему принадлежала, а это противоречило бы тому, что х — точка дополнение множества (х). 2. О покрытиях множества системой открытыхс множеств. 3 7. Поиитие компактности множества Определение). Будем говорить, что система (Х„) открытых множеств В образует покрытие множества (х), если любая точка х множества (х) принадлежит хотя бы одному из множеств системы (Х„). Докажем две замечательные леммы о покрытиях множества системой открытых множеств. Лемма Гейне — Бор ела для сегмента.

Из любой системы (Х„) открытых множеств Х„, образующей покрытие сегмента (а, Ь), можно выделить конечную подсистему, также образующую покрытие этого сегмента. Д о к а з а т е л ь с т в о. Пусть бесконечная система (Хи) открытых множеств Х образует покрытие сегмента [а, Ь~1а. Допустим, что сегмент 1=(а, Ь) нельзя покрыть конечным набором открытых множеств из системы (Е ). Тогда, разделив этот сегмент 1 пополам, мы получим, что хотя бы одну из половин сегмента 1 нельзя покрыть конечным набором открытых множеств из системы (Х ). Обозначим эту половину.

через 1ь Поделив 11 пополам, мы получим, гто хотя бы одну из половин 1~ (обозначим ее через 1т) нельзя покрыть конечным набором множеств из системы (Х„). Продолжая далее эти рассуждения, мы получим систему вложенных сегментов (1а), каждый из которых нельзя покрыть конечным набором множеств из системы (Х ). Длина и-го сегмента 1, составляет )12» часть длины основного сегмента 1=(а, Ь) и стремится к нулю при п- оо. В силу следствия из теоремы3.15 (см.

п. 2 $2 гл. 3) существует единственная точка с, принадлежащая всем сегмен. там (1а). Так как эта точка с принадлежит основному сегменту 1=(а, Ь), то в системе (Х ) найдется открытое множество Х„, которому принадлежит точка с. В силу того, что множество Х„ является открытым, найдется Ь>0 такое, что б-окрестность точки с, т.

е. интервал (с — б, с+б) также принадлежит множеству Х„. В силу того, что все сегменты 1„содержат точку с и длины этих интервалов стремятся к нулю при и- оо, можно утверждать, что найдется номер по такой, что при и:ипз все сегменты 1, содержатся в интервале (с — б, с+Ь). Но это означает, что все сегменты 1, при пъпо могут быть покрыты одним множеством Х„системы (Х„). Тем самым мы получили противоречие с утверждением о том, что ни один сегмент 1„нельзя покрыть конечным набором множеств из системы (Х ). Полученное противоречие завершает доказательство лемМы.

Докажем теперь более общее утверждение. " Если бы система (Еа), образующая покрытие сегмента (а, Ь), не являлась бесконечной, то лемма была бы доказана. Гл. 4. Непрерывность функции 186 Лемма Гейне — Бореля для замкнутого огр аничен ного множеств а. Из любой системы (Х„) открытых множеств Х«, образующей покрытие замкнутого ограниченного множества (х), можно выделить конечную подсистему, также образующую покрытие множества (х). Доказательство. Пусть (х) — замкнутое ограниченное множество, (Х„) — система открытых множеств, образующая покрытие множества (х). Так как множество (х) ограничено, то найдется сегмент (а, Ь), содержащий это множество.

Обозначим через Б, открытое множество, являющееся дополнением к замкнутому множеству (х) и заметим, что объединение системы (Х„) с открытым множеством Х, образует покрытие сегмента (а, Ь). В силу леммы Гейне — Бореля для сегмента из этого покрытия можно выделить конечную подсистему, также образующую покрытие ссгмента (а, Ь). Если множество Ха входит в эту конечную подсистему, то, удалив его из нее, мы получим конечную подсистему системы (Х ), образующую покрытие множества (х)а.

Если же множество Еа не входит в конечную подсистему, образующую покрытие сегмента [а, Ь), то эта конечная подсистема состоит исключительно из множеств Х системы (Х,) и образует покрытие множества (х), содержащегося в сегменте (а, Ь). Лемма доказана. 3. Понятие компактности множества. Пусть (х) — произвольное множество вещественных чисел. Определение 1. Множество (х) называется ком па к тним множеством (или ком пактом), если из любой системы (Х„) открытых множеств, образующей покрытие множества (х) можно выделить конечную подсистему, также образующую покрытие множества (х). В замечании 4 в конце п.

3 $ 6 было дано другое определение компактного множества. Напомним его формулировку. Определение 1». Множество (х) называется компакт~ным, если оно является замкнутым и ограниченным*". Докажем, что для произвольных числовых множеств определения 1 и 1* эквивалентны. 1) Пусть сначала множество (х) является замкнутым и ограниченным.

Тогда тот факт, что из любой системы открытых множеств (Х„), образующей покрытие (х), можно выделить конечную подсистему, также образующую покрытие (х), сразу вытекает из леммы Гейне — Бореля (см. п. 2). ' Мы учитываем, что множество ьа, являясь дополнением к множеству «л), не содержит ни одной точки множества «л). "' Относительно термина «компактность» см.

п. 2 $3 гл. !2,'- 5 7. Понятие компактности множества 187 2) Пусть множество (х) таково, что из любой системы открытых множеств (Х ), образующей покрытие (х), можно выделить конечную подсистему, также образующую покрытие (х). Докажем, что множество (х) является замкнутым н ограниченным. Сначала докажем замкнутость множества (х). Достаточно доказать, что дополнение Р множества (х) является открытым множеством. Фиксируем произвольную точку у дополнения Р. Требуется доказать, что существует некоторая 6-окрестность точки у, также принадлежащая дополнению Р.

Пусть х — любая точка множества (х). Так как х~у, то число 6 (х) = 1х — у1 является положительным, причем 2 6(х) — окрестности точек х и у Х,= (х — 6(х), х+6(х)), Ч";= (у — 6(х), у+6(х)) не пересекаются. Поскольку система открытых множеств (Х,), отвечающих всевозможным точкам х множества (х) образует покрытие множества (х), то из этой системы можно выделить конечную подсистему Х,, Х,...,Х;„, также образующую покрытие множества (х). Обозначим через Ч'„„Ч' „...,Ч'„соответствующую конечную подсистему 6-окрестностей точки у. Н а им е ныл а я из этих 6-окрестностей будет содержаться во всех множествах Ч'„,, Ч',„...,Ч',„и потому не будет иметь общих точек ни с одним из множеств Хам Х„„...,Х„„. Но тогда, поскольку подсистема Х,о Х~,..., Х, образует покрытие множества (х), указанная наименьшая 6-окрестность точки у не будет содержать точек множества (х), т.

е. будет целиком принадлежать дополнению Р множества (х). Тем самым доказано, что множество Р является открытым и потому множество (х) является замкнутым. Докажем теперь, что множество (х) является ограниченным, Если бы это было не так, то нашлась бы последовательность (х„) не совпадающих друг с другом точек множества (х), удовлетворяющая условию 1х„)>и (в=1, 2, ...). Так как эта последовательность не имеет конечных предельных точек, то каждая точка х„ имеет 6-окрестность Х,„, свободную от других точек последовательности (х ). Очевидно, что из бесконечной системы открытых множеств (Х, ), образующих покрытие множества точек (т„), нельзя Гл. 4. Непрерывность функции выбрать конечной подсистемы, образующей покрытие всех точек (хл).

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

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