![]() |
Главная Случайная страница Контакты | Мы поможем в написании вашей работы! | |
|
Изучим теперь некоторые элементарные свойства непрерывных отображений, действующих в топологических пространствах. Пусть и
- некоторые топологические пространства. Отображение
называется непрерывным в точке
, если для любой окрестности
точки
в
найдется такая окрестность
точки
в
, что
. Заметим, что соотношение
равносильно включению
, где
обозначает прообраз множества
при отображении
. Поэтому справедлива
Лемма 4.1. Отображение топологического пространства
в топологическое пространство
непрерывно в точке
тогда и только тогда, когда прообраз
каждой окрестности
точки
является окрестностью точки
.
В действительности для непрерывности отображения в точке
достаточно потребовать, чтобы прообраз
был окрестностью
для всех множеств
из некоторого (а значит любого) базиса фильтра окрестностей
точки
.
Из леммы 4.1 следует, что композиция непрерывного в точке
отображения
с непрерывным в точке
отображением
непрерывна в точке
Следующая теорема характеризует свойство непрерывности в терминах предела и является в некоторой степени аналогом известной из курса анализа теоремы Гейне.
Теорема 4.1. Отображение непрерывно в точке
тогда и только тогда, когда для любой направленности
такой, что
, выполняется:
.
Доказательство. Пусть отображение непрерывно в точке
,
и
- некоторая окрестность точки
. По непрерывности
найдется такая окрестность
точки
, что
. По определению предела направленности существует такой индекс
, что
для всех
. Следовательно,
для любого
, а это означает, что
.
Для доказательства обратного утверждения предположим, что не является непрерывным в точке
. Значит существует такая окрестность
точки
, что
ни для какой окрестности
точки
. Пусть
– некоторый базис фильтра окрестностей точки
. Из сказанного выше следует, что для каждого множества
существует такая точка
, для которой
. Если теперь упорядочить множество
по антивключению (
тогда и только тогда, когда
), то мы получим направленность
, сходящуюся к точке
. Однако, направленность
к точке
сходиться не будет. #
Если топологическое пространство удовлетворяет первой аксиоме счетности, то в качестве базиса фильтра окрестностей любой точки
можно взять счетный базис
, элементы которого расположены по убыванию:
Поэтому, анализируя доказательство теоремы 4.1, мы приходим к убеждению, что справедливо
Следствие. Пусть и
- топологические пространства, причем
удовлетворяет первой аксиоме счетности. Для того чтобы отображение
было непрерывным в точке
, необходимо и достаточно, чтобы для любой последовательности
, сходящейся к точке
, выполнялось:
.
Отображение , непрерывное в каждой точке
, называется непрерывным на
(или просто непрерывным). Для непрерывных на всем пространстве отображений имеет место следующая
Теорема 4.2. Пусть ,
- топологические пространства и
- некоторое отображение. Следующие утверждения эквивалентны:
1) отображение непрерывно на
;
2) прообраз любого открытого множества из является открытым множеством в
;
3) прообраз любого замкнутого множества из является замкнутым множеством в
.
Доказательство. . Пусть
- некоторое открытое множество в
и
. Тогда
, поэтому из условия непрерывности отображения
по лемме 4.1 отсюда следует, что множество
является окрестностью точки
. По лемме 1.1 это означает, что множество
является открытым в
.
. Пусть
- некоторое замкнутое множество
. Тогда множество
является открытым, поэтому по условию множество
открыто в . Следовательно, множество
замкнуто в .
. Пусть
,
и
- открытая окрестность точки
в
. Так как множество
является замкнутым, то по условию множество
замкнуто в , поэтому множество
открыто в
. Так как
, то
является окрестностью точки
. Следовательно, по лемме 4.1 отображение
непрерывно в точке
, а значит и на всем пространстве
. #
В заключение этого параграфа остановимся на некоторых применениях понятия непрерывности.
Пример 4.1. Топологические пространства и
называются гомеоморфными, если существует биекция
такая, что непрерывны, как сама биекция
, так и обратная ей биекция
. Отметим, что факт наличия биекции
означает, что множества
и
равномощны, т.е. «совпадают» по «количеству» содержащихся в них элементов. Как видно из теоремы 4.2, понятие гомеоморфизма включает в себя существенно большее: оно означает еще, что и топологии на этих множествах по-существу «совпадают». Таким образом, гомеоморфные пространства можно считать различными реализациями одного и того же топологического пространства.
Пример 4.2. Применим теперь свойство непрерывности для сравнения топологий, заданных на одном и том же множестве . Для этой цели используем тождественное отображение
, действующее по правилу:
для любого
. Итак, пусть
и
- две топологии, заданные на
. Говорят, что топология
сильнее топологии
(или топология
мажорирует топологию
), если тождественное отображение
непрерывно. Если
сильнее
, то также говорят, что
слабее
или что топология
минорирует топологию
. Две топологии, одна из которых сильнее другой, называются сравнимыми. Из теоремы 4.2 вытекает, что топология
сильнее топологии
в том и только том случае, когда
. Таким образом, пространство
с более сильной топологией обладает большим набором открытых и замкнутых множеств, а также большим набором окрестностей для каждой точки
. Отметим еще, что среди всех топологий, заданных на множестве
, всегда существует сильнейшая топология (дискретная топология
) и слабейшая (антидискретная топология
).
Дата публикования: 2015-02-22; Прочитано: 693 | Нарушение авторского права страницы | Мы поможем в написании вашей работы!