2.5. Послойное произведение отображений

Определение 20. Пусть f : X ® Y и g : Z ® Y – непрерывные отображения. Послойным произведением f ´ g этих отображений называется отображение h : Т ® Y, где

и

.

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

для любой точки y Î Y.

Таким образом, в силу следствия 2.5, становится очевидной следующая теорема:

Теорема 2.9. Пусть отображения f : X ® Y и g : Z ® Y послойно связные. Тогда произведение h = f ´ g также является послойно связным отображением.

Лемма 2.4. Пусть f, g : X ® Y непрерывные отображения в хаусдорфово пространство Y. Тогда множество Т = {x Î X : f (x) = g(x)} является замкнутым в Х.

Доказательство. Докажем, что множество Х \ Т открытое, т.е. для любой точки x Î X найдётся такая окрестность Ох точки х, что Ох Ì Х \ Т.

Возьмём произвольную точку x Î X \ Т. Тогда f (x) = y1 Î Y, g(x) = y2 Î Y. Так как пространство Y хаусдорфово, то существуют окрестности Оy1 точки y1 и Оy2 точки y2 такие, что

Оy1  Оy2 = Æ. {*}

Отображения f и g – непрерывные, поэтому множества f –1(Oy1), g–1(Oy2) – открытые в Y и x Î f –1(Oy1), x Î g–1(Oy2). Рассмотрим окрестность Ох = f –1(Oy1 g–1(Oy2) точки х. Предположим, что Ох  Т ≠ Æ, т.е. существует такая точка х1 Î Ох, что f (x1) = g (x1) = y. Но точка y должна принадлежать как окрестности Oy1, так и окрестности Oy2, что противоречит условию {*}. ÿ

Лемма 2.5. Если пространства Х и Y компактные, то и их произведение X ´ Y является компактным множеством.

Доказательство. Пусть х – произвольная фиксированная точка пространства Х, и пусть Ω =  – открытое покрытие пространства X ´ Y. Рассмотрим слой

 = Y ´ {x}.

Он гомеоморфен связному пространству Y, поэтому  – компактное множество. Тогда из открытого покрытия

Ω(х) =  Í Ω,

(где Ua(x) множество, содержащее некоторые точки слоя над точкой x) слоя  можно выбрать конечное открытое подпокрытие ω(х) = . Объединение

U(x) = (x) (**)

есть открытое множество, содержащее слой , и prX – замкнутое отображение (в силу компактности пространства Y и леммы 2.3). Следовательно, существует такая окрестность Ох точки х, что  Í U(x). Семейство {Оx: x Î X} образует открытое покрытие пространства X. В силу компактности X, найдется конечное подпокрытие {Ox: i = 1,.., k}. Тогда семейство ω =  образует конечное подпокрытие пространства X ´ Y. ÿ

Теорема 2.10. Пусть f : X ® Y и g : Z ® Y – связные отображения компактных пространств X и Z в хаусдорфово пространство Y. Тогда произведение h = f ´ g также является связным отображением компактного пространства Т.

Доказательство. По определению послойного произведения,  (,  – непрерывные отображения в хаусдорфово пространство Y ) и . Тогда, по лемме 2.4, множество Т является замкнутым в пространстве Х ´ Z, которое, по лемме 2.5, является компактным. Следовательно, множество Т компактно (по теореме 1.7), и его образ h(T) при непрерывном отображении h замкнут в Y (в силу теорем 1.9 и 1.8). Отсюда, отображение h является замкнутым.

Таким образом, в силу теорем 2.9 и 2.3, отображение h = f ´ g является связным.

Следующая теорема указывает, в каком случае отображения могут быть параллельными пространству Х. Для её доказательства понадобится

Лемма 2.6. Если пространства Х и Y хаусдорфовы, то и их произведение X ´ Y является хаусдорфовым множеством.

Доказательство. Пусть z1 и z2 – произвольные фиксированные точки пространства X ´ Y. Рассмотрим точки x1 = pr(z1), x2 = pr(z2) и y1 = pr(z1), y2 = pr(z2) пространств X и Y соответственно. Точки z1 и z2 различны, следовательно, x1 ¹ x2 или y1 ¹ y2. Пусть y1 ¹ y2. Тогда, по определению хаусдорфова пространства, в Y существуют такие окрестности Oy1 и Oy2 точек y1 и y2 соответственно, что Oy1  Oy2 = Æ. Проекция prY является непрерывным отображением, поэтому множества  и  – открытые в X ´ Y и непересекающиеся. Причём, z1 Î  и z2 Î . Следовательно, пространство X ´ Y – хаусдорфово по определению.

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

Доказательство. Рассмотрим послойное произведение h = = f ´ i : T ® Y отображений f : X ® Y и i : Y ® Y, где i – тождественное отображение и множество Т = {(x; y): fprX = iprY = prY}. По лемме 2.4, множество Т замкнуто в X ´ Y. Пусть (x1; y1) Î T – произвольная фиксированная точка. Тогда prY (x1; y1) = y1 = fprX (x1; y1). Отсюда, для точек (x1; y1), (x2; y2) Î Т выполняется неравенство prX (x1; y1) ¹ prX (x2; y2) при х1 ¹ х2. Следовательно, непрерывное отображение prX : Т ® Х биективно. Но пространство T компактно как замкнутое подможество компактного пространства X ´ f (X) Í X ´ Y (в силу теорем 1.7, 1.9 и леммы 2.5). Поэтому отображение g = pr: T ® X по следствию 2.1 является гомеоморфизмом, т.е. Т  Х, и f = prY. Тогда в качестве топологического вложения можно рассматривать гомеоморфизм d = g–1: X ® T. Таким образом, множество d(Х) = Т замкнуто в X ´ Y, и f = prYd. Отождествим множества Т и Х с помощью d.. Тогда отображение f замкнуто параллельно пространству Х по определению.


Литература.

 

1.  Александров П.С. Введение в теорию множеств и общую топологию. – М.: «Наука»,1977.

2.  Александров П.С. Геометрия.

3.  Вернер А.Л., Кантор Б.Е. Элементы топологии и дифференциальной геометрии. – М.: «Просвещение», 1985.

4.  Мусаев Д.К., Пасынков Б.А. О свойствах компактности и полноты топологических пространств и непрерывных отображений. – Ташкент: издательство «Фан» Академии наук республики Узбекистан, 1994.

5.  Рубанов И.С. Элементы теоретико-множественной топологии для студентов пединститута. – Киров, 1990.


Информация о работе «Топологические пространства»
Раздел: Математика
Количество знаков с пробелами: 41264
Количество таблиц: 0
Количество изображений: 9

Похожие работы

Скачать
19358
0
1

... всех расстояний между точками множества  и обозначается . . Если , то множество  называют неограниченным. Определение. Метрика  метрического пространства  называется ограниченной, если . Свойство 6. Любое метризуемое топологическое пространство может быть метризовано ограниченной метрикой. Доказательство. Пусть метрика  порождает топологию топологического пространства . Положим  для ...

Скачать
48893
0
0

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

Скачать
33706
0
0

... называется нормальным, или Т4-пространством, если для каждой пары непересекающихся замкнутых множеств А и В существуют непересекающиеся открытые множества U и V такие, что АU, BV.     ГЛАВА 2. Линейно упорядоченное пространство ординальных чисел.   §1.ВПОЛНЕ УПОРЯДОЧЕННЫЕ МНОЖЕСТВА И ИХ СВОЙСТВА. Рассмотрим вполне упорядоченные множества и их свойства. Предложение 1.1. Всякое ...

Скачать
16370
0
6

... компактным, если в любом его открытом покрытии можно выбрать конечное подпокрытие.   Определение: Топологическое пространство называется  - пространством, если для любых двух различных его точек существует открытое множество, содержащее ровно одну из этих точек.Глава 2.   1. Верхние полурешётки. Определение: Ч.у. множество называется верхней полурешёткой, если sup{a,b} существует для ...

0 комментариев


Наверх