Новости    Библиотека    Энциклопедия    Биографии    Карта сайта    Ссылки    О проекте




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

Связные множества

2.45. Определение. Множество Е в метрическом пространстве X называется связным, если не существует двух открытых множеств А и В пространства X, таких, что пересечение А∩В пусто, пересечения А∩Е и В∩Е не пусты и Е⊂А∪В.

Это определение похоже на определение компактности, поскольку на самом деле оно не зависит от объемлющего пространства X, т. е. при замене слова "связное" словами "связное относительно X" в предыдущем абзаце выполняется следующее утверждение: Е связно относительно X в том и только в том случае, когда Е связно относительно Е.

Таким образом, имеет смысл говорить о связных пространствах (ср. с замечаниями, следующими за формулировкой теоремы 2.33): пространство связно, если оно не является объединением двух непустых непересекающихся открытых множеств.

Первая часть утверждения, набранного выше курсивом, почти тривиальна: если Е не является связным относительно X, то существуют множества А и В, обладающие свойствами, указанными в определении, ичрассмотрение множеств А∩Е и В∩Е показывает, что Е не связно относительно Е (ср. с теоремой 2.30). Обратное вытекает из следующего результата.

2.46. Теорема.Пусть X - метрическое пространство, Е⊂Х и E = G∪H, где G и Н - непересекающиеся непустые множества, открытые относительно Е. Тогда существуют непересекающиеся открытые множества А и В в X, такие, что G = A∩Е, Н = В∩Е.

Доказательство. Каждой точке р∈G соответствует число δp>0, такое, что из соотношений q∈E, d(p, q)<δp следует включение q∈G, так как множество G открыто относительно Е.

Аналогичным образом, каждой точке q∈H соответствует число δq>0, такое, что из соотношений р∈Е, d(p, q)<δq следует включение р∈H. Значит, если p∈G, q∈H, то оба эти неравенства не выполняются, так что

(25)


При p∈G, q∈H пусть Vp обозначает множество всех х∈Х, таких, что 2d(p, x)<δp, и пусть Wq - множество всех х∈Х, таких, что 2d(q, х)∈δq. Если некоторое множество Vp имеет общую точку х с некоторым Wq, то


что противоречит неравенству (25).

Таким образом, каждое Vp не пересекается ни с одним Wq, и если мы положим



то мы получим множества с требуемыми свойствами.

2.47. Теорема.Подмножество Е вещественной прямой R1 связно тогда и только тогда, когда Е обладает следующим свойством: если х∈Е, у∈Е и x<z<y, то и z∈E.

Доказательство. Допустим, что это условие не выполняется для некоторых чисел х, у, z, т. е. х∈Е, у∈Е, x<z<y, но z∉Е. Если А есть множество всех α<z, а B - множество всех β>0, то определение 2.45 показывает, что Е не связно.

Чтобы доказать обратное, допустим, что Е не связно. Тогда существуют точки х∈Е, у∈Е, х<<у, и открытые непересекающиеся множества А и В в R>1, такие, что х∈А, у∈В и Е⊂A∪B. Пусть


и z = sup S.

Ввиду того что у∈В и В открыто, имеем z<y. Таким образом, если z∈A, то из того, что А открыто, следует, что z не является верхней границей множества S. Значит, z∉А.

Ввиду того что х∈А и А открыто, имеем x<z. Таким образом, если z∈B, то из того, что В открыто, следует, что z не является верхней гранью множества S. Значит, z∉B.

Но так как Е⊂A∪В, то z∉Е, и доказательство закончено.

Следствие.Множество Е в R1 связно тогда и только тогда, когда Е - одно из следующих множеств (где а и b - вещественные числа, а≤b):

(-∞,b), (-∞,b], (a,∞ ), [a, ∞ ), (-∞, ∞), (a, b), [a, b), (a, b], [a,b].

К какому из этих типов принадлежит множество Е, зависит от того, конечны или нет inf E и sup E и принадлежат ли они множеству Е.

Столь же простой характеристики связных множеств на плоскости, например, не существует.

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




ИНТЕРЕСНО:

Петер Шольц - самый молодым лауреат Филдсовской премии

Кашер Биркар - беженец из Ирана - стал лауреатом Филдсовской премии

Эмми Нётер — была великой женщиной и при этом величайшей женщиной-математиком

Зачем математики ищут простые числа с миллионами знаков?

Задача построения новых оснований математики - унивалентные основания

Многомерный математический мир… в вашей голове

В школах Великобритании введут китайские учебники математики

Найдено самое длинное простое число Мерсенна, состоящее из 22 миллионов цифр

Как математик помог биологам совершить важное открытие

Математические модели помогут хирургам

Почему в математике чаще преуспевают юноши

Физики-практики откровенно не любят математику

В индийской рукописи нашли первое в истории упоминание ноля

Вавилонская глиняная табличка оказалась древнейшей «тригонометрической таблицей» в мире

Ученые рассказали о важной роли игр с пальцами в обучении детей математике
Пользовательского поиска

© Злыгостев Алексей Сергеевич, статьи, подборка материалов, оформление, разработка ПО 2001-2018
При копировании материалов проекта обязательно ставить ссылку на страницу источник:
http://mathemlib.ru/ 'MathemLib.ru: Математическая библиотека'
Рейтинг@Mail.ru