НОВОСТИ    БИБЛИОТЕКА    ЭНЦИКЛОПЕДИЯ    БИОГРАФИИ    КАРТА САЙТА    ССЫЛКИ    О ПРОЕКТЕ  

предыдущая главасодержаниеследующая глава

2.8. Топологический аспект понятия компактности

Определение 1. Открытым покрытием множества M⊂X называют конечную или бесконечную совокупность открытых множеств причём ∀x∈M эта точка принадлежит хоть одному из множеств Gi.

Теорема 5 (Критерий компактности Гейне-Бореля). Множество K⊂X - компакт, если и только если из любого открытого покрытия {Gi} множества K можно выделить конечное подпокрытие G.

(Комментарий. В полном метрическом пространстве компакт - это замкнутое, вполне ограниченное множество. Пусть конечная ε-сеть, то есть ∀ε>0 весь компакт K целиком разместится в объединении шаров B(xi,ε), и если, в свою очередь, каждый такой шар целиком входит в некоторое множество Gi, то компакт Таким образом, нужно показать, что ∀ε>0 и ∀x∈K ∃B(x,ε):B(x,ε)⊂Gi.)

Необходимость.

Пусть не существует шара, целиком входящего в некоторое множество Gi. Тогда ∃{εi}→0 и ∃{xi}∈K, такие, что все шары B(xii)не попадут целиком ни в одно множество Gi. Но множество компакт, то есть из последовательности {xi} можно выделить подпоследовательность {xik}→x0. Эта точка x0 принадлежит одному из открытых множеств Gi, то есть, по определению открытых множеств, она входит в множество Gi вместе с некоторой окрестностью. Стало быть, существует шар B(x0,δ)⊂Gi, целиком входящий в множество Gi.

Достаточность.

Пусть существует конечное покрытие множества K⊂X, но множество K - не компакт. Это означает, что никакая точка множества не может быть пределом последовательности или подпоследовательности, сходящейся к этой точке. Это означает, что у множества K вообще нет предельных точек, то есть все его точки изолированные. Другими словами, существует шар B(x,ε), внутри которого нет ни одной точки из множества K, кроме, быть может, точки x. Рассмотрим открытое покрытие множества K⊂X этими шарами. По условию, существует конечное покрытие множества K, то есть существует конечная совокупность шаров, которая покрывает бесконечное множество элементов множества K, но в каждом из этих шаров находится только по одной точке из множества K. То есть множество K конечно.

Определение 2. Множество K⊂X называется компактом, если из любого открытого покрытия {Gi} множества K можно выделить конечное подпокрытие G.

(Комментарий. Это определение позволило П.С. Александрову и П.С. Урысону построить теорию компактных топологических пространств, где компактность часто называют бикомпактностью. Та компактность, которой мы пользовались, называется секвенциальной компактностью (sequential (лат.) последовательность). Эти понятия, вообще говоря, различны и совпадают только в метрических пространствах.)

Теорема 2 (О структуре компакта). Любой компакт K гомеоморфен канторову дисконтинууму KD.

Покажем, что существует непрерывная функция φ, осуществляющая биекцию между компактом K канторовым дисконтинуумом KD. Так как K - компакт, то ∀ε>0 для него существует конечная ε-сеть. Возьмём последовательность {εn} и построим её для каждого n. При n = 1 это будет {x11,x12,x13,...,x1m}, при n = n это будет {xn1,xn2,xn3,...,xnm}. При этом в каждую из них добавляем точки так, чтобы общее число точек в любой ε-сети было степенью двойки, то есть mn = 2kn. Рассмотрим ε1-сеть. Очевидно, что любое x∈K находится в одном из шаров с радиусом ε1 и центрами в точках {x11,x12,x13,...,x1m}. Пусть, например, эта точка находится в шаре B(x1k1), тогда при n = 2 эта точка находится в шаре B(x2k2), и так далее. Таким образом, для любого x∈K можно указать бесконечную последовательность вложенных шаров с радиусами εn→0, внутри которых она находится. Общее число таких шаров, образующих ε-сеть, конечно и является степенью двойки.

Рассмотрим теперь построение канторова дисконтинуума KD[0,1]. На k-м шаге он содержит 2k сегментов ранга k. Если их как-то пронумеровать, например, слева направо в порядке следования сегментов, то ∀t∈KD[0,1] ∃! последовательность вложенных друг в друга сегментов, содержащих эту точку. Тогда ей можно сопоставить точку x∈K и последовательность вложенных шаров с теми же номерами, внутри которых она находится. Это биективное соответствие осуществляется функцией x = f(t). Покажем, что она непрерывна. Для произвольного ε>0 рассмотрим шар B(x0,ε), где x0 = f(t0). Рассмотрим последовательность {εn} вложенных шаров с радиусами εn→0, Так как εn→0, то ясно, что, начиная с некоторого N, шары B(x0n) окажутся внутри любого шара B(x0,ε) с фиксированным ε>0. Если в качестве δ взять наименьшее расстояние от t0 до конца сегмента, содержащего на N-м шаге точку t0, то как только |t-t0|<δ, сразу |x-x0| = |f(t)-f(t0)|<ε, то есть функция x = f(t) непрерывна.

(Комментарий. Непрерывные на компакте функционалы ведут себя так же, как и функции, непрерывные на сегменте, то есть для них имеет место теорема Вейерштрасса.)

Теорема 3 (Теорема Вейерштрасса). Непрерывный на компакте K⊂X функционал f(x)

1) ограничен на нём;

2) достигает на нём своих точных верхней и нижней граней.

1. Пусть функционал f(x) не ограничен на компакте K⊂X, то есть ∀n∈N∃ точка xn⊂K:|f(xn)|>n. Так как K⊂X компакт, выделим из последовательности xn подпоследовательность xnk→x0⊂K. Но функционал f(x) непрерывен, то есть f(xnk)→f(x0), а по условию |f(xnk)|>nk, следовательно, исходная посылка неверна.

2. Так как функционал f(x) непрерывен на компакте K⊂X, он ограничен на нём, то есть множество его значений ограничено, то есть он имеет точную верхнюю грань M и точную нижнюю грань m. Надо показать, что функционал f(x) достигает их на компакте K. Покажем это для точной верхней грани M. По определению точной верхней грани M ∀ x∈K f(x)≤M и то есть Выделим из последовательности {xn} подпоследовательность {xnk}→x0⊂K, то есть При n→∞ по теореме о двух милиционерах а силу непрерывности f(x0) = M, и, так как K - компакт, x0∈K.

Пример. В конечномерном пространстве Rn любое ограниченное множество M⊂Rn предкомпактно.

Рассмотрим замкнутое множество , M⊂ и произвольную последовательность в нём. По теореме Больцано-Вейерштрасса из неё можно выделить сходящуюся подпоследовательность, причём она будет сходиться к элементу из , то есть - компакт, следовательно, M⊂ - предкомпакт.

Пример. В пространстве C[0,1] множество M = {xn(t)} = tn не предкомпактно.

Если это множество предкомпактно, то из него можно выделить сходящуюся подпоследовательность {xnk(t)} = tnk, которая по теореме Кантора должна сходиться равномерно, но равномерная сходимость влечёт поточечную, то есть сходимость в каждой точке пространства C[0,1].

Однако, подпоследовательность {xnk(t)} = tnk при t∈[0,1) сходится к нулю, а при t = 1 к единице, то есть к разрывной функции, не принадлежащей пространству C[0,1]. v

Определение 3. Множество функций F⊂C[a,b] равномерно ограничено, если ∃A>0: ∀x(t)∈F, ∀t∈[a,b]|x(t)|≤A.

Определение 4. Множество функций F⊂C[a,b] равностепенно непрерывно, если ∀t1,t2∈[a,b] и ∀x(t)∈F: ∀ε>0 ∃δ=δ(ε):(|t1-t2|<δ ⇒|x(t1)-x(t2)|<ε).

Пример. Рассмотрим в пространстве C[0,1] последовательность {yn} = Asin2nπx. Эта последовательность, очевидно, равномерно ограничена в C[0,1]. Однако, как показано ранее, она не равностепенно непрерывна, точно так же, как и последовательность {yn} = {sin nx} в пространстве C[0,1]. Эта последовательность равномерно ограничена, так как 0≤|sin nt|≤1 ∀t∈[0,π], но не равностепенно непрерывна. Пусть t2 = 0. Тогда что и означает невыполнение условия равностепенной непрерывности.

Теорема 4 (Критерий компактности Арцела Асколи). Множество функций F⊂C[a,b] компактно, если и только если оно равномерно ограничено и равностепенно непрерывно.

Необходимость.

Пусть множество F компактно в C[a,b].

1. Докажем, что оно равномерно ограничено. Так как пространство C[a,b] полное, а множество F компактно, то существует конечная ε-сеть из функций {x1(t), x2(t), ..., xn(t)}. Каждая из них ограничена (как непрерывная функция на компакте), а для произвольной функции x(t)∈F найдётся xk(t) из ε-сети такая, что ρ(x,xk)<ε. Тогда . Это и означает равномерную ограниченность множества F функций x(t)∈F.

2. Докажем равностепенную непрерывность множества F. Так как множество F компактно, то ∀ε>0 существует конечная -сеть, состоящая из функций E = {x1(t), x2(t), ..., xn(t)}, таких, что Так как все функции xk(t) непрерывны на компакте F, то по теореме Кантора они и равномерно непрерывны на нём, т.е. ∀t1,t2∈[a,b] ∀ε>0 ∃δ=δ(ε):(|t1-t2|<δi⇒|xi(t1)-xi(t2)|<ε). Пусть δ = min (δ1, δ2,...,δm). Тогда это наименьшее значение подойдёт для любых функций xk(t) из сети. Покажем, что это значение подойдёт и для любой функции x(t)∈F. Пусть x(t)∈F - произвольная функция множества F, а функция xk(t) из -сети. Тогда имеем Итак, |x(t1)-x(t2)|<ε, что и означает равностепенную непрерывность.

Достаточность.

Пусть F - равномерно ограниченное и равностепенно непрерывное на семейство функций f(t). Покажем, что семейство F - компакт, то есть ∀ε>0 построим конечную ε-сеть.



Пусть все функции f(t) ограничены, то есть ∀f(t) |f(t)|≤A. Зафиксируем сколь угодно малое ε>0. Так как все функции f(x) равностепенно непрерывны, то ∃δ=δ(ε):∀f(t)∈F и ∀t1, t2∈[a,b] как только |t1-t2|<δ, сразу Разобьём сегмент [a,b] точками {t0 = a, t1, t2, ..., tn = b}, причём а сегмент {-A,A] разобьём точками {y0 = -A, y1, y2, ..., ym = A}, причём Сопоставим каждой функции f(t) ломаную x(t) с вершинами в узлах сетки, причём так, что ∀tk значение x(tk) берётся такое, что Очевидно, это всегда возможно. Таким образом, , и Тогда То есть Так как между точками tk и tk+1 функция x(t) линейна, то и Пусть теперь t - произвольная точка из сегмента [a,b], а tk - ближайшая к ней слева. Тогда |f(t)-x(t)| = |f(t)-f(tk)+f(tk)-x(tk)+x(tk)-x(t)|≤|f(t)-f(tk)|+|f(tk)-x(tk)|+|x(tk)-x(t)|≤ε. Таким образом, ломаные x(t) и в самом деле образуют конечную сеть по отношению к множеству функций f(t)∈F.

Пример. Является ли множество предкомпактным в пространстве C[0,1]?

Это множество равномерно ограничено, так как а sinα≤α. Тогда Кроме того, оно равностепенно непрерывно, так как по формуле конечных приращений Лагранжа при |t1-t2|<δ<ε сразу для всех n. Тем самым, множество предкомпактно в пространстве C[0,1].

предыдущая главасодержаниеследующая глава











© MATHEMLIB.RU, 2001-2021
При копировании материалов проекта обязательно ставить ссылку на страницу источник:
http://mathemlib.ru/ 'Математическая библиотека'
Рейтинг@Mail.ru