Топологические пространства

Непрерывные отображения топологических пространств. Связность топологических пространств. Компактность топологических пространств. Связность непрерывных отображений. Замкнутые отображения. Связь связности и послойной связности.

Рубрика Математика
Вид курсовая работа
Язык русский
Дата добавления 08.08.2007
Размер файла 140,7 K

Отправить свою хорошую работу в базу знаний просто. Используйте форму, расположенную ниже

Студенты, аспиранты, молодые ученые, использующие базу знаний в своей учебе и работе, будут вам очень благодарны.

22

§1. Топологические пространства

(предварительные сведения)

1.1. Непрерывные отображения топологических

пространств

Пусть Х и Y топологические пространства.

Определение 1. Отображение : Х>Y называется непрерывным, если у всякого множества О, открытого в пространстве Y, полный прообраз -1(О) открыт в пространстве Х.

Замечание 1. Для любого подмножества А пространства Y и отображения f: X>Y справедливо следующее равенство:

(1).

Теорема 1.1. Отображение : X> является непрерывным тогда и только тогда, когда у всякого множества F, замкнутого в Y, полный прообраз -1(F) замкнут в Х.

Доказательство. Необходимость. Пусть отображение f : X>Y является непрерывным, т.е. для любого множества О, открытого в Y, прообраз -1(O) открыт в Х, и пусть F произвольное замкнутое в Y множество. Тогда множество CF открыто в Y, и множество открыто в Х, в силу непрерывности отображения f и равенства (1). Следовательно, множество -1(F) замкнуто в Х.

Достаточность. Пусть для любого множества F, замкнутого в Y, полный прообраз f -1(F) замкнут в Х. Рассмотрим произвольное открытое в Y множество О. Тогда множество CO будет замкнутым в Y. Поэтому замкнутое в Х множество. Следовательно, множество открыто в Х. Таким образом, для любого множества О, открытого в Y, полный прообраз открыт в Х и отображение f : X>Y непрерывное по определению.

1.2. Связность топологических пространств

Определение 4. Топологическое пространство Х называется несвязным, если его можно разбить на два непустых непересекающихся открытых множества:

Х = О1 О2.

Определение 5. Пространство Х называется связным, если такого разбиения не существует.

Заметим, что если несвязное пространство Х разбито на два непустых открытых множества О1 и О2, не имеющих общих точек, то О1 CO2 и O2 CO1. Поэтому можно дать другое определение связного пространства:

Определение 6. Топологическое пространство Х называется связным, если в нём одновременно открытым и замкнутым множеством является лишь само пространство или пустое множество.

Определение 7. Множество Н в топологическом пространстве Х называется связным, если оно является связным пространством относительно индуцированной топологии.

Теорема 1.2. Для топологического пространства Х следующие условия эквивалентны:

существуют непустые открытые множества О1 и О2, для которых О1 О2 и О1  О2 Х;

существуют непустые замкнутые множества F1 и F2, для которых F1 F2 и F1  F2 Х;

в Х существует нетривиальное открыто-замкнутое множество G;

существует непрерывная сюръективная функция ц : Х {1, 2}.

Доказательство. Из (1) следует (2). Пусть О1 и О2 непустые открытые множества, для которых О1 О2 =  и О1  О2 Х. Рассмотрим множества F1 СО1 и F2 СО2. Они являются непустыми замкнутыми множествами, причём F1 F2 =  и F1  F2 Х.

Из (2) следует (3). Пусть F1 и F2 непустые замкнутые множества, для которых F1 F2 =  и F1  F2 Х. Рассмотрим множество F1  Х. Множество F1 замкнутое по условию и открытое, как дополнение до замкнутого множества F2 (F1 CF2). Поэтому множество F1 является нетривиальным открыто-замкнутым множеством в Х.

Из (3) следует (4). Пусть G нетривиальное открыто-замкнутое множество в Х. Тогда множество CG тоже нетривиальное открыто-замкнутое в Х.

Рассмотрим функцию ц : Х {1, 2}, при которой

ц(х) =

Функция ц является непрерывной и сюръективной, т.к. для любых элементов 1 и 2 множества {1, 2} прообразы их соответственно равны множествам G и Q, открытым в Х.

Из (4) следует (1). Пусть ц : Х {1, 2} - непрерывная сюръективная функция и пусть множество = {1, 2}, т.е. ц(Х) = М. Множества = {1} и = {2} - непустые, непересекающиеся открытые в М и . Функция ц сюръективная, поэтому справедливо следующее равенство:

Х ц -1(М) = ц -1(А  В) = ц -1(А)  ц -1(В),

причём ц -1(А) и ц -1(В) непустые непересекающиеся множества. В силу того, что функция ц непрерывная, множества О1 ц -1(А) и О2 ц -1(В) непустые, непересекающиеся открытые в Х и Х О1  О2 .

Теорема 1.3. Пусть в топологическом пространстве Х даны два дизъюнктных замкнутых множества F1 и F2 и непустое связное множество М, содержащееся в объединении F1  F2. Тогда М содержится только в одном из множеств, входящих в объединение, т.е. либо в F1, либо в F2.

Доказательство. Пусть F1 и F2 дизъюнктные замкнутые в Х множества и непустое связное множество М  F1  F2. Тогда

М = (М F1)  (F2).

Так как множества F1 и F2 замкнутые в Х, то множества М F1 и F2 замкнутые в М. Но множество М связно, т.е. его нельзя разбить на два непустых непересекающихся замкнутых множества, поэтому одно из множеств, например F2, пустое. Тогда

М М F1  F1.

Аналогично доказывается

Теорема 1.4. Если связное множество М содержится в объединении двух дизъюнктных открытых множеств О1 и О2 топологического пространства Х, то оно целиком содержится только в одном из множеств, входящих в объединение.

Теорема 1.5. Пусть : Х>Y непрерывное отображение и (X) = Y. Тогда если Х связно, то Y связно.

Доказательство от противного. Предположим, что пространство Y несвязно. Тогда оно разбивается на два непустых открытых дизъюнктных множества

O1  O2.

В силу того, что f непрерывное отображение и (X) = Y, прообразы G1 -1(O1) и G2 -1(O2) будут непустыми дизъюнктными открытыми множествами, которые в сумме дают всё пространство Х, что противоречит его связности.

1.3. Компактность топологических пространств

Определение 8. Топологическое пространство называется компактным, если всякое покрытие этого пространства открытыми множествами содержит конечное подпокрытие.

Определение 9. Множество А в топологическом пространстве Х называется компактным, если оно компактно в индуцированной топологии как подпространство.

Теорема 1.6. Подмножество А топологического пространства Х компактно тогда и только тогда, когда из любого его покрытия множествами, открытыми в Х, можно выбрать конечное подпокрытие.

Теорема 1.7. Замкнутое подмножество А компактного пространства Х компактно.

Доказательство. В силу теоремы 1.6, достаточно из произвольного покрытия множества А открытыми в Х множествами выбрать конечное подпокрытие. Для этого добавим к этим множествам открытое множество Х А и получим открытое покрытие всего пространства Х. В силу компактности пространства Х, из этого покрытия можно выделить конечное подпокрытие, причём мы всегда можно считать, что в это подпокрытие входит множество Х А. Пусть, например,

.

Очевидно, что множества образуют искомое конечное подпокрытие множества А.

Определение 10. Топологическое пространство называется хаусдорфовым, если любые две его различные точки обладают непересекающимися окрестностями.

Теорема 1.8. Компактное подмножество А хаусдорфова пространства Х замкнуто.

Теорема 1.9. Непрерывный образ компактного пространства компактен, т.е. если : Х>Y - непрерывное отображение и пространство Х компактно, то и множество (Х) компактно.

Доказательство теорем 1.6 - 1.9 можно найти в [2].

§2. Связность непрерывных отображений

2.1. Определение связности отображения и простейшие свойства

Пусть : Х>Y - непрерывное отображение. Для открытого в Y множества U и точки yY прообраз -1(U) называется трубкой (над U), а прообраз -1(y) называется слоем (над точкой y).

Определение 11.. Непрерывное отображение : Х>Y называется несвязным над точкой yY, если существует такая окрестность Oy точки y, что трубка -1(U) является несвязной над каждой окрестностью  Oy точки y.

Замечание 2. В данном определении достаточно рассматривать только связные окрестности  Oy, т.к., если U1  U2, где U1, U2 - непустые дизъюнктные открытые в U (а значит и в Y ) множества, то

-1(U) =  -1(U1 f  -1(U2), -1(U1) ?  -1(U2) = ,

т.е. -1(U) несвязно автоматически.

Определение 12. Непрерывное отображение : Х>Y называется связным над точкой yY, если оно не является несвязным над точкой y, т.е. для любой окрестности Oy точки y существует такая связная окрестность  Oy точки y, что трубка -1(U) связна.

Определение 13. Непрерывное отображение f : Х>Y называется связным, если оно связно над каждой точкой y  Y.

Теорема 2.1 (критерии несвязности). Пусть отображение f Х>Y непрерывно и точка y  Y. Тогда следующие условия эквивалентны:

отображение f несвязно над точкой y  Y;

существует такая окрестность Oy точки y  Y, что каждая трубка f  -1(U) над окрестностью U  Oy точки у распадается на два дизъюнктных непустых открытых в этой трубке множества;

существует такая окрестность Oy точки y  Y, что каждая трубка f -1(U) над окрестностью U  Oy точки у распадается на два дизъюнктных непустых замкнутых в этой трубке множества;

существует такая окрестность Oy точки y  Y, что в каждой трубке f -1(U) над окрестностью U  Oy точки у существует нетривиальное открыто-замкнутое в этой трубке множество;

существует такая окрестность Oy точки y  Y, что для каждой трубки f  -1(U) над окрестностью U  Oy точки у существует непрерывная сюръективная функция ц : f  -1(U)  {1, 2}.

Доказательство. Из (1) следует (2). Пусть непрерывное отображение f : Х>Y несвязное над точкой y  Y, т.е. существует такая окрестность Oy точки y, что трубка f -1(U) является несвязной над каждой окрестностью U  Oy точки y. Таким образом, трубка f -1(U) над окрестностью U  Oy распадается на два дизъюнктных непустых открытых в этой трубке множества, т.е.

f  -1(U) = О О2, ОО= .

Из (2) следует (3). Пусть трубка f -1(U) распадается на два дизъюнктных непустых открытых в этой трубке множества. Тогда, по теореме 1.2, трубка f -1(U) распадается на два дизъюнктных непустых замкнутых в этой трубке множества.

Из (3) следует (4). Пусть трубка f -1(U) распадается на два дизъюнктных непустых замкнутых в этой трубке множества. Тогда, по теореме 1.2, в трубке f -1(U) существует нетривиальное открыто-замкнутое в этой трубке множество.

Из (4) следует (5). Пусть в трубке f -1(U) существует нетривиальное открыто-замкнутое в этой трубке множество. Тогда, по теореме 1.2, для трубки f -1(U) существует непрерывная сюръективная функция ц : f  -1(U)  {1, 2}.

Из (5) следует (1). Пусть существует такая окрестность Oy точки y  Y, что для трубки f -1(U) над некоторой окрестностью U  Oy существует непрерывная сюръективная функция ц : -1(U)  {1, 2}. Тогда, по теореме 1.2, трубка -1(U) распадается на два дизъюнктных непустых открытых в этой трубке множества. Отсюда, по определению несвязного над точкой отображения, следует, что отображение f несвязно над точкой  Y.

Определение 14. Отображение : Х>Y называется послойно связным, если каждый слой -1(y), где  Y, этого отображения является связным множеством.

Теорема 2.2 (о сохранении связности). Пусть отображения  Y и :  Y непрерывные и существует непрерывное сюръективное отображение ц :  Z, при котором  ц. Тогда, если отображение f связно над точкой  Y (слой -1(y) связен), то и отображение g связно над точкой y  Y (слой g -1(y) связен). В частности, если отображнение f связно (послойно связно), то и отображение g связно (послойно связно).

Доказательство. Пусть отображения f : X Y связное над точкой y  Y, тогда для любой окрестности Oy точки y существует связная окрестность U  Oy точки y, трубка над которой f -1(U) связна. Отображение ц непрерывное, значит (по теореме 1.5) образ связного множества f -1(U) (связного слоя f -1(y)) связен, т.е. множество ц(f -1(U)) (множество цf -1(y))) - связное.

Предположим, что отображение g несвязно над точкой y  Y, т.е. существует такая связная окресность Oy точки y, что трубка g -1(U) является несвязной над каждой окрестностью U  Oy точки y. (Предположим, что слой g -1(y) несвязен над точкой y  Y).

По условию, f g  ц, следовательно,

-1(U) = ( ц) -1(U) = ц -1(g-1(U)).

Отсюда,

ц(-1(U)) = ц(ц-1(g-1(U))) =g-1(U)

(для слоя ц-1(y)) = g-1(y)). Получили противоречие, т.к. множество ц-1(U)) связное (слой ц-1(y)) связен), а множество g-1(U) (слой g-1(y)) - нет.

Пусть отображнение f связно (послойно связное), тогда, по определению 10 (11), оно связно над каждой точкой y Y (каждый слой -1(y) связен). Возьмём произвольную точку  Y. Если отображение f связно над этой точкой  Y (слой -1(y) связен), то и отображение g связно над этой же точкой (слой g-1(y) связен). В силу произвольности выбора точки y, заключаем, что отображение g связно над каждой точкой  Y (послойно связно).

2.2. Замкнутые отображения. Связь связности и послойной связности

Определение 15. Отображение : X>Y называется замкнутым, если для каждого замкнутого множества  Х образ (F) является замкнутым множеством в Y.

Определение 16. Отображение : X>Y называется замкнутым над точкой yY, если для всякой окрестности О слоя -1(y)  Х найдётся окрестность Oy точки y, трубка над которой -1(Oy) содержится в данной окрестности О слоя -1(y):

-1(y)  -1(Oy)  О.

Связь между замкнутостью в точке и общей замкнутостью устанавливает следующая

Лемма 2.1. Непрерывное отображение : X>Y замкнуто тогда и только тогда, когда оно замкнуто над каждой точкой yY.

Доказательство. Необходимость. Пусть отображение : X>Y замкнуто. Возьмём произвольную точку  Y и рассмотрим окрестность О множества -1(y). Множество = X О замкнуто в Х и -1(y) = . Поэтому множество (F) замкнуто в Y и точка  f(F). Значит окрестность Oy = Y (F) точки y обладает таким свойством -1(Oy? F = , следовательно, -1(Oy)  О. Таким образом, отображение f замкнуто над каждой точкой yY в силу того, что точка y взята произвольно.

Достаточность. Пусть непрерывное отображение f замкнуто над каждой точкой yY. Предположим, что образ (F) некоторого замкнутого в Х множества F не замкнут в Y. Пусть точка  [f(F) \ f(F), т.е. принадлежит границе множества (F). Множество F является окрестностью множества -1(y). Следовательно, существует такая окресность Oy точки y, что -1(Oy)  F. Но тогда Oy f (F) =  и поэтому точка y  [f (F).

Получили противоречие. Отсюда, отображение f замкнуто.

Следующие утверждения указывают на некоторые важнейшие примеры замкнутых отображений.

Предложение 2.1. Непрерывное отображение f : X  Y компактного пространства X в хаусдорфово пространство Y является замкнутым.

Доказательство. Рассмотрим произвольное множество F, замкнутое в Х. Оно будет компактным (по теореме 1.7). Тогда непрерывный образ f (F) компактного множества F будет компактен в Y (по теореме 1.9). Пространство Y хаусдорфово, следовательно, множество f (F) - замкнуто (в силу теоремы 1.8). Таким образом, отображение f является замкнутым.

Следствие 2.1. Биективное непрерывное отображение f : X  Y компактного пространства X на хаусдорфово пространство Y является гомеоморфизмом.

Доказательство. Рассмотрим произвольное замкнутое подмножество F компактного пространства X. В силу предложения 2.1, образ f (F) - замкнутое множество. Тогда, по теореме 1.1, отображение f  -1 является непрерывным, следовательно, f - гомеоморфизм.

Предложение 2.2. Пусть отображение f : X  Y замкнуто над точкой y  Y и пусть множество Z замкнуто в X. Тогда подотображение g = f |Z : Z  Y замкнуто над точкой y. В частности, если отображение f замкнуто (над каждой точкой y  Y), то и отображение g замкнуто.

Доказательство. Возьмём произвольную точку y  Y и рассмотрим окрестность U  Z слоя g-1(y). Тогда в Х найдётся открытое множество U такое, что U U  Z. Множество O U  (X Z) будет окрестностью слоя f -1(y) . Отображение f замкнутое над точкой y  Y, поэтому найдётся такая окрестность Oy точки y, что f -1(Oy)  O. Тогда g-1(Oy)  Z  O Z  U U.

В силу произвольности выбора точки y  Y, можно заключить, что если отображение f замкнутое над каждой точкой y  Y, то и отображение g замкнутое над каждой точкой y  Y.

Предложение 2.3. Пусть отображение f : X Y замкнуто над точкой y  T  Y, где T - произвольное множество в Y. Тогда под-отображение g f | : f -1(T)  T замкнуто над точкой y. В частности, если отображение f замкнуто (над каждой точкой y  T), то и отображение g тоже замкнуто (над каждой точкой y  T).

Доказательство. Возьмём произвольную точку y  T  Y и некоторую окрестность О слоя g-1(y) = f -1(y), такую что

O'  -1(T),

где О - открытое в Х множество. Так как отображение f замкнутое над точкой y, найдётся такая окрестность O'y в Y точки y, что -1(O'y)  О'. Тогда в Т существует такая окрестность Oy точки y, что Oy Oy'  T, и -1(Oy) = g-1(Oy)  O'  -1(T) = О. Следовательно, отображение g будет замкнуто над  Y.

Если отображение f замкнутое над каждой точкой y, то и отображение g будет замкнутым над каждой точкой y.

Установим теперь связь между связными и послойно связными замкнутыми отображениями.

Предложение 2.4. Пусть отображение : X>Y замкнуто над точкой  Y и слой -1(y) является несвязным множеством. Тогда отображение f несвязное над точкой y. В частности, если отображение f замкнуто и каждый его слой несвязен, то оно несвязное над каждой точкой  Y.

Доказательство. Поскольку слой -1(y) является несвязным множеством, то найдутся такие непустые открытые в f -1(y) множества О1 и О2, что О1 ? О2 =  и О1  О2 = f  -1(y). Тогда в Х существуют открытые множества Q1 и Q2 такие, что

O1 = Q1 f  -1(y), O2 = Q2  f -1(y).

Рассмотрим замыкание этих множеств и в Х. Их пересечение есть замкнутое множество, и F  f  -1(y) = (т.к. О1 и О2 замкнутые в f -1(y), как дополнения до открытых). Множество О = (Q1 Q2) \ F открыто в Х, причём f -1(y)  О. Для этой окрестности О (в силу замкнутости отображения f  ) найдётся такая окрестность Oy точки y, что f  -1(Oy)  О. Пусть G1 = f  -1(Oy)  Q1 и G2 = f  -1(Oy)  Q2 - открытые в f  -1(Oy) множества. Так как

  Х \ f  -1(Oy),

то G1 ? G2 = . Тогда f -1(Oy) G1 G2. Следовательно, трубка f -1(Oy) несвязна.

Пусть U  Oy - произвольная окрестность точки y. Тогда и - дизъюнктные множества, открытые в f -1(U), и непустые, т.к. О1   и О2  . Следовательно, для любой окрестности U  Oy трубка f -1(U) несвязна. Отображение f несвязно над точкой y по определению.

Если отображение f замкнутое над каждой точкой y Y и каждый его слой несвязн, тогда, для произвольной точки y, отображение f будет несвязным над ней, следовательно, и над каждой точкой y  Y.

Из установленного предложения автоматически вытекает

Следствие 2.2. Пусть отображение : X>Y замкнуто над точкой  Y и связно над точкой y. Тогда слой -1(y) является связным множеством. В частности, если f замкнутое и связное отображение, то оно послойно связное.

Предложение 2.5. Пусть отображение : X>Y замкнутое и послойно связное. Тогда оно связное.

Доказательство. Возьмём произвольную точку  Y и предположим, что отображение f несвязно над точкой y. Тогда существует такая окрестность Oy точки y, что трубка -1(U) является несвязной над каждой окрестностью  Oy точки y. Зафиксируем некоторую такую связную окрестность U, для которой выполняются следующие условия:

-1(U) = О1  О2, О1 О2 = ,

где О1 и О2 - непустые открытые в  -1(U) множества.

Слой -1(y) связен и -1(y)  -1(U), отсюда, -1(y) содержится либо в О1, либо в О2 (по теореме 1.4). Рассмотрим произвольную точку х1О1. Образ этой точки (x1) = y U. По условию, слой f -1(y1) связен и f -1(y1)  ООf -1(U). Поскольку ОО=  и х1О1, следовательно (по теореме 1.4), f -1(y1)  О1. (Другими словами, если одна точка слоя принадлежит множеству О1, то и весь слой принадлежит этому множеству.)

Отсюда, так как точка х1 произвольная, то Оf -1f (O1)). Аналогично доказывается, что Оf -1(f (O2)).

Отображение f замкнутое, тогда, по теореме 2.3, подотображение g f : f -1(Oy)  Oy также замкнутое. Таким образом, множества f (O1) = g (O1) и f (O2) = g (O2) будут непересекающимися открыто-замкнутыми в U и U f (O1)  f (O2), т.е. окрестность U несвязна. Это противоречит выбору окрестности U.

Для замкнутых отображений итоговую взаимосвязь между послойной связностью и связностью теперь можно выразить в форме следующей теоремы:

Теорема 2.3. Замкнутое отображение f : X>Y связно тогда и только тогда, когда оно послойно связно.

(Вытекает из следствия 2.1 и предложения 2.5).

Из последней теоремы и предложений 2.2 - 2.3 получаются такие следствия:

Следствие 2.3. Пусть отображение f : X>Y замкнутое, Z  X замкнуто в Х. Подотображение g = f |Z : Z  Y является связным тогда и только тогда, когда оно послойно связное.

Следствие 2.4. Пусть отображение f : X>Y замкнутое, T  Y произвольное множество. Подотображение g f | : f -1(T)  T является связным тогда и только тогда, когда оно послойно связное.

Рассмотренные здесь свойства будут использованы в следующих пунктах в качестве основы для построения примеров связных и несвязных отображений.

2.3. Связь между связностью пространств

и отображений

Пусть пространство Y = {*} - одноточечное. В этом случае отображение f : X>Y непрерывно и является связным (несвязным) тогда и только тогда, когда пространство Х связно (несвязно), т.к. трубки и слои над пространством Y совпадают со всем пространством Х.

Этот факт позволяет строить многочисленные примеры связных и несвязных отображений. Для этого достаточно взять связные и несвязные пространства и отображение их в одноточечные множества.

Пример. Рассмотрим отображение f : [-1;1] R, для которого f (х) = 0 при любом х  [-1;1]. Отображение f связно тогда и только тогда, когда слой -1(y) над точкой y = 0 связен. Но -1(0) = [-1;1] - связное множество. Причём, понятия трубки и слоя над точкой y = 0 совпадают, поэтому отображение f является связным и послойно связным.

Если отображение f : [-1;1]  [2;3]  R задано условием f (х) = 0 для любого х  [-1;1]  [2;3], то оно несвязно (послойно несвязно) над точкой y = 0 в силу несвязности трубки (слоя) -1(0) = [-1;1]   [2;3].

В рассмотренных примерах пространство Y является связным. Это условие и условие связности отображения f оказались необходимым и достаточным условием для связности пространства Х. Более того, имеет место

Теорема 2.4. Пусть сюръективное отображение f : X>Y непрерывно и связно. Пространство X является связным тогда и только тогда, когда пространство Y связное.

Доказательство. Необходимость. По теореме 1.5 (§1), если f Х>Y непрерывное отображение, f (X) = Y и Х связно, то Y связно.

Достаточность. Пусть пространство Y связно. Предположим, что пространство Х несвязно. Тогда в Х найдутся такие непустые дизъюнктные открытые множества О1 и О2, что О1  О2 Х. Допустим, что найдётся точка y  . Тогда в любой окрестности слоя -1(y) содержаться как точки множества О1, так и точки множества О2. С другой стороны, -1(y)  -1(U), где трубка -1(U) является связным множеством (в силу связности отображения f над точкой y) и должна содержаться либо в О1, либо в О2 (по теореме 1.4). Получили противоречие. Следовательно,

 = ,

т.е. и - непустые дизъюнктные замкнутые множества. Но (О1 (О2) = Y, значит,

 = (О1) и  = (О2),

т.е. эти множества открыто-замкнутые. Это противоречит связности пространства Y.

Таким образом, предположение о несвязности топологического пространства Х неверно, а верно то, что требуется доказать.

Другой связи между связностью пространств и связностью отображений может и не быть.

Примеры. Пусть отображение : X>Y непрерывно. Если пространство Х связно, то и его образ (X) связен, но отображение f не обязано быть связным. А именно, пусть R [0; + ], и (х) = х 2 для любого х  R (рис. 1). Расмотрим произвольную точку y  (0; + ). Пусть окрестностью точки y является любой интервал U = (ab)  (0; + ), содержащий эту точку. Тогда трубка

-1(U) = 

распадается на два непустых непересекающихся открытых в R множества, т.е. -1(U) - несвязное множество. Таким образом, отображение f несвязно по определению.

Можно привести ещё пример такого рода. Пусть Oxy - прямоугольная декартова система координат. Рассмотрим кольцо щ с центром в начале координат и радиусами r = a, R = b (рис. 2). Пусть prX : щ > [- bb] - проекция этого кольца на ось Ox, где prX (xy) = х  [- bb] для любой точки (xy)  щ. Возьмём произвольную точку х  (- aa)  [- bb]. Для любой окрестности U  (- aa) точки х трубка является несвязной, т.к. состоит из двух частей A и B (рис. 2). Таким образом, проекция prX  - является несвязным отображением.

Может быть и наоборот, отображение f связное, а пространства X и Y - несвязные.

Пусть, например, отображение R \ {0}  R \ {0} задано формулой (х) =  для любого х R \ {0} (рис. 3). Возьмём произвольную точку y  R \ {0}. Для любой окрестности Oy  R \ {0} точки y найдётся связная окрестность U  (0; + ) (или U  (- ; 0)), трубка -1(U)  над которой связна (т.к. -1(U) содержит часть ветви гиперболы или всю ветвь, которая связна и даже линейно связна).

Пусть Х = [0; 1], Y = [0; 1]  [2; 3]. Рассмотрим проекцию : X  Y  Y (рис. 4), где prY (xy) = y  Y для любой точки (xy)  X  Y. Множества X  Y  и Y являются несвязными, но проекция - связное отображение (в силу теоремы 2.7, которая будет доказана в пункте 2.4).

Рассмотрим другие примеры связных отображений, связаные с непрерывными числовыми функциями.

Теорема 2.6. Непрерывная функция f : [abR является связной тогда и только тогда, когда она монотонна, т.е. когда для любых точек х, х  [ab], где х  х, выполняется только одно из двух свойств: f (x)  f (x ) либо f (x)  f (x ).

Доказательство. Необходимость. Функция f является отображением компактного множества в хаусдорфово пространство, поэтому она замкнута (в силу предложения 2.1). Тогда, по теореме 2.3, функция f является послойно связной.

Предположим, что f - не монотонна. Тогда найдутся такие точки х1, х2, х3  [ab] и х1 <  х2 <  х3, для которых выполняется система неревенств:

.

Положим f (x1) = y1, f (x2) = y2, f (x3) = y3 и y3  y1 (или y1  y3). Тогда слой -1(y3) является связным замкнутым подмножеством прямой y = y3 (рис. 5), т.е. отрезком. По теореме о промежуточном значении функции, существует точка х  [x1x2) и f (x ) = y3. В силу связности слоя -1(y3), отрезок [А В] (см. рис. 5) должен целиком лежать в слое -1(y3). Но точка (x2y2), где x < x2 < x3, не принадлежит прямой y = y3, поэтому слой -1(y3) распадается на два непустых непересекающихся замкнутых в -1(y3) множества. Это противоречит послойной связности функции f. Следовательно, f - монотонна.

Достаточность. Предположим, что функция f не является связной. Следовательно,  f не является послойно связной (по теореме 2.3). Тогда существует такая точка y  R, что слой  -1(y) - несвязен, т.е. -1(y) = О1  О2, где О1 и О2 - непустые дизъюнктные замкнутые в -1(y) множества (рис. 6). Следовательно, найдутся такие точки x1  О1, x2  О2 и точка х, где x1 < x < x2 и x  О1, x  О2, что


Подобные документы

  • Понятие и признаки метрического пространства. Свойства топологических пространств. Замкнутые множества: внутренние, внешние и граничные точки. Топологические преобразования топологических пространств. Понятие и содержание двумерного многообразия.

    курсовая работа [481,4 K], добавлен 28.04.2011

  • Определение и структурные уравнения аффинной связности. Экспоненциальные отображения в теории пространств. Ковариантное дифференцирование и классические формулировки. Аффинное пространство n измерений. Точечно-векторная аксиоматика аффинного пространства.

    курсовая работа [167,8 K], добавлен 23.10.2012

  • Основные понятия и теоремы. Свойства метризуемых пространств. Примеры метризуемых и неметризуемых пространств. Метризуемое пространство хаусдорфово. Метризуемое пространство нормально. Выполняется первая аксиома счетности.

    дипломная работа [273,3 K], добавлен 08.08.2007

  • Общая теория топологических и векторных пространств, внутренняя логика развития; аксиоматика. Структура построения нормированного пространства; рассмотрение и развитие понятия банахова пространства как определённого типа векторных пространств с нормой.

    реферат [14,9 K], добавлен 11.01.2011

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

    курсовая работа [289,9 K], добавлен 12.01.2011

  • Понятие матрицы достижимости и связности. Операция удаления вершины из графа. Алгоритм выделения компонент сильной связности. Разработка и листинг программы на языке Turbo Pascal, осуществляющей вычисление матрицы достижимости по заданному алгоритму.

    курсовая работа [584,3 K], добавлен 26.04.2011

  • Клеточные разбиения классических пространств. Важность для геометрии и топологии клеточного разбиения многообразий Грассмана. Гомотопические свойства клеточных пространств. Теорема о клеточной аппроксимации. Доказательство леммы о свободной точке.

    курсовая работа [1,4 M], добавлен 15.06.2009

  • Определение, свойства, виды и историческое происхождение матриц. Расчет определителя третьего порядка. Правило Саррюса для треугольников. Алгоритм построения и единственность обратной матрицы. Исследование линейных отображений векторных пространств.

    контрольная работа [308,2 K], добавлен 12.12.2013

  • Понятие и характеристика линейного пространства, его главные свойства и особенности. Исследование аксиом векторного пространства. Анализ отличий и признаков векторного подпространства. Базис и формулы линейного пространств, определение его размерности.

    реферат [249,4 K], добавлен 21.01.2011

  • Общее понятие, основные свойства и закономерности графов. Задача о Кенигсбергских мостах. Свойства отношения достижимости в графах. Связность и компонента связности графов. Соотношение между количеством вершин связного плоского графа, формула Эйлера.

    презентация [150,3 K], добавлен 16.01.2015

Работы в архивах красиво оформлены согласно требованиям ВУЗов и содержат рисунки, диаграммы, формулы и т.д.
PPT, PPTX и PDF-файлы представлены только в архивах.
Рекомендуем скачать работу.