Файл: Заманский, М. Введение в современную алгебру и анализ.pdf

вать непрерывные отображения / и g, и тогда имеет место сле­

дующий результат.

П р е д л о ж е н и е . Если f — отображение топологического пространства Е в топологическое пространство F, непрерывное в точке х ^ Е , а g — отображение F в топологическое простран­ ство G, непрерывное в точке f(x)<=F,TOg°f есть отображение Е в G, непрерывное в точке х.

Сокращенно говорят: композиция функций сохраняет непре­

ние Е на Е'. Если f непрерывно, то прообраз открытого множе­ ства в Е' открыт в Е (§ 1. Определение 2'). Даже если f~l существует как отображение Е' на Е, оно, вообще говоря, не будет непрерывным на Е'.

Предположим, что f является взаимно однозначным отобра­ жением Е на Е', непрерывным вместе со своим обратным ото­ бражением f~l. Если О — открытое множество в Е, то 0' — f(O) есть открытое множество в Е', и 0 = /~‘(0'), ибо расширение / на множество подмножеств будет также взаимно однознач­ ным отображением. Следовательно, / переводит взаимно одно­ значно открытые множества пространства Е в открытые мно­ жества пространства Е'.

Обратно, пусть f —■такое взаимно однозначное отображение Е на Е', что образ любого открытого множества из Е является открытым множеством в Е' и что прообраз любого открытого множества из Е’ открыт в Е. Тогда f и /-1 непрерывны.

Теперь предположим только, что f есть взаимно однозначное отображение Е на Е', переводящее всякое открытое множество из £ в открытое множество из Е' и наоборот. Так как f взаимно однозначно, то равенство О' — f(O) равносильно равенству О =

называется гомеоморфным отображением, или гомеоморфизмом, если оно переводит множество открытых множеств пространства

186 ГЛ. V. топология

Е на множество открытых множеств пространства E'. В этом случае говорят, что пространства Е и Е' гомеоморфны.

Т е о р е м а 1. Для того чтобы взаимно однозначное отобра­ жение f одного топологического пространства Е на другое то­ пологическое пространство Е' было гомеоморфизмом, необхо­ димо и достаточно, чтобы f было непрерывно на Е, а f-1 — не­ прерывно на Е'.

Когда f и непрерывны соответственно на К и Е', говорят,

что f взаимно непрерывно.

Заметим, что для того чтобы взаимно однозначное отображе­ ние f было взаимно непрерывно, необходимо и достаточно, чтобы для любого X' е Т ' множество /-1 (X' ) было открыто в К, а для любого l e f множество f(X) было открыто в Е', причем

и £Г' означают базы топологии.

Отметим аналогию определения с алгебраическим понятием изоморфизма; например, изоморфизм между двумя векторными пространствами Е, Е' над одним и тем же телом (полем) пред­ ставляет собой взаимно однозначное отображение Е на Е' и переводит законы пространства Е в законы пространства Е'. Точно так же, если Е и Е' — гомеоморфные пространства, то это означает, что они неразличимы с топологической точки зрения.

Иными словами, если заменить базы топологий £Г и 2Г' на эквивалентные, то для взаимно однозначного отображения про­ странства Е на Е' соотношение \ ( Т ) = Д ~ ' сохранится, по­ этому f будет гомеоморфизмом.

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

Т е о р е м а 2. Пусть Е, Е', Е" — топологические пространства. Если Е и Е', с одной стороны, и Е' и Е", с другой стороны, го­ меоморфны, то пространства Е и Е" тоже гомеоморфны.

§ 3. Непрерывные функции, компактные пространства, связные пространства

Если f есть непрерывное отображение топологического про­ странства Е в топологическое пространство F, то оно, вообще говоря, не переводит открытое множество в открытое (соответ-

■ственно замкнутое — в замкнутое). Замечательно, что в доста­ точно общих случаях компакт (соответственно связное множе­ ство) переводится в компакт (соответственно связное множе­

ство). Эти фундаментальные свойства составляют содержание следующих теорем.

Т е о р е м а 1. Если f — непрерывное отображение топологиче­ ского пространства Е в отделимое пространство Е', то образ

которое покрытие А' открытыми множествами из Е'. В Е се­

нечным подмножеством семейства О', чем доказываются и теорема, и ее следствие.

Т е о р е м а 2. Если f — непрерывное отображение простран­ ства Е в пространство Е', то образ f(Л) связного множества А пространства Е является связным множеством пространства Е'.

f (Л) пространства Е' не связно, то /^Л) должно быть объедине­

тельно подпространства Л, так как f непрерывно), и их объеди­ нение будет составлять множество Л, которое, стало быть, не будет связным множеством.

В главе, посвященной числовым функциям, мы встретимся с применениями этих двух теорем. Когда мы будем характери­ зовать компакты на числовой прямой (это будут ограниченные замкнутые множества), то мы получим теорему о максимуме непрерывной числовой функции на компакте; когда мы будем характеризовать связные множества на числовой прямой (это будут интервалы), то мы получим теорему, известную в эле­ ментарной форме как теорема о промежуточных значениях.

Можно также отметить, что если f — гомеоморфизм между двумя топологическими пространствами Е и Е', то всякое одно­ временно открытое и связное множество в Е переходит в откры­ тое связное множество в Е. Такое множество называется об­ ластью.

Г Л А В А VI

ДЕЙСТВИТЕЛЬНЫЕ ЧИСЛА

Р А З Д Е Л 1

МНОЖЕСТВО РАЦИОНАЛЬНЫХ ЧИСЕЛ

§ 1. Множество Z целых рациональных чисел

Напомним, что симметризация множества N натуральных чи­ сел относительно сложения определяет множество Z целых рациональных чисел. Тогда множество N становится изоморф­ ным некоторому подмножеству из Z, с которым 'N отождеств­

ляется.

На Z распространяется умножение, определенное (или до­ пускаемое) на N следующим способом, который мы вкратце напомним.

Элемент множества Z есть класс эквивалентности, опреде­ ленный на N X N посредством пары (а, а') натуральных чисел со следующим отношением эквивалентности:

Если m и п —элементы множества Z и их классы эквива­ лентности определяются соответственно парами (а, а') и (b,b'),

то полагаем

mn — сі (ab + a'b', ab' + a'b).

тарное коммутативное кольцо, и закон, индуцированный на N умножением на Z, есть закон, введенный первоначально для N.

Наконец, на Z распространяется отношение порядка, если

m > п означает т — п > 0 или т = п.

Тогда можно показать, что отношение ^ есть отношение по­ рядка, что оно согласуется со сложением, с умножением на по­ ложительные элем'енты и, кроме того, что Z, наделенное этим отношением порядка, становится линейно упорядоченным.