July 24, 2026 · Lecture · LibreTimes
Топология–1. Лекция 1
Contents
- Топологическое пространство
- Примеры топологий
- Тривиальная (антидискретная) топология
- Дискретная топология
- Топология на множестве из двух точек
- Евклидова топология на ℝ
- Непрерывные отображения
- Индуцированная топология
- Гомеоморфизм
- Хаусдорфовы пространства
- Компактность
- Компактное подмножество хаусдорфова пространства замкнуто
- Теорема о непрерывной биекции
- Непрерывная биекция, не являющаяся гомеоморфизмом
- Произведение пространств и база топологии
Топологическое пространство
Пусть — множество.
Определение (Топология). Семейство подмножеств называется топологией на , если выполнены следующие аксиомы:
-
и .
-
Если — произвольное семейство множеств (где — произвольное множество индексов), то
-
Если , где , то
Пара называется топологическим пространством. Множества называются открытыми множествами.
Множество называется замкнутым, если его дополнение открыто, то есть
Примеры топологий
Пусть — множество.
Тривиальная (антидискретная) топология
Обозначение: . Это минимальная (самая грубая) топология на .
Дискретная топология
Обозначение: . Это максимальная (самая тонкая) топология на .
Топология на множестве из двух точек
Пусть . Один из возможных вариантов топологии:
Упражнение. Описать все топологии на множестве, состоящем не более чем из трёх элементов.
Евклидова топология на
Пусть .
Определение. Подмножество называется открытым (в евклидовой топологии), если
Соответствующая топология называется евклидовой топологией на .
Непрерывные отображения
Пусть и — топологические пространства.
Определение (Непрерывное отображение). Отображение называется непрерывным, если для любого открытого множества выполнено
То есть прообраз любого открытого множества открыт.
Пример (тождественное отображение из тривиальной топологии в дискретную). Рассмотрим тождественное отображение
Вопрос. Является ли это отображение непрерывным?
Ответ. В общем случае — нет (иногда да). Рассмотрим различные случаи.
Случай 1: . Если , то , поэтому отображение непрерывно.
Случай 2: . Тогда
и , то есть в дискретной топологии строго больше открытых множеств. Возьмём , где . Тогда открыто в , но . Так как , прообраз открытого множества не является открытым в .
Следовательно, при отображение непрерывным не является. Если же , отображение непрерывно тривиально (вакуумно).
Пример (тождественное отображение из дискретной топологии в тривиальную). Рассмотрим обратное отображение
Пусть . Тогда или . Но оба множества открыты и в дискретной топологии, поэтому
Отсюда следует, что отображение всегда непрерывно.
Пример (параметризация окружности). Рассмотрим стандартную евклидову топологию на и определим окружность как подмножество
На рассматривается индуцированная (подпространственная) топология: множество объявляется открытым, если существует открытое множество такое, что .
Рассмотрим отображение
Это стандартная параметризация окружности. Отображение непрерывно как композиция непрерывных функций (синуса и косинуса).
Замечание. Отображение можно рассматривать как склеивание концов отрезка длины ; строго говоря, корректно говорить о факторпространстве . В дальнейшем в курсе формулы будут использоваться минимально; основной аппарат — топологический.
Индуцированная топология
Пусть — топологическое пространство и .
Определение (Индуцированная (подпространственная) топология). Индуцированной топологией на называется семейство множеств
То есть множество объявляется открытым в , если оно является пересечением некоторого открытого множества пространства с множеством .
Утверждение. Индуцированная топология действительно является топологией на .
Доказательство. Проверим аксиомы топологии.
(1) Пустое множество и всё пространство. Так как , то , значит . Аналогично , поэтому .
(2) Произвольные объединения. Пусть , . Тогда существуют такие, что , и
Так как , то .
(3) Конечные пересечения. Пусть . Тогда существуют такие, что , и
Поскольку , получаем .
Следовательно, является топологией.
Пример. Рассмотрим . Открытые множества в имеют вид:
- ;
- ;
- ;
- объединения таких множеств.
Интуитивно: если открытое множество не касается границы, получается обычный открытый интервал; если пересекает границу, возникает полуинтервал. Таким образом, подпространственная топология описывает, какие множества внутри подмножества считаются открытыми.
Гомеоморфизм
Определение (Гомеоморфизм). Пусть и — топологические пространства. Отображение называется гомеоморфизмом, если:
- — биекция;
- — непрерывно;
- — непрерывно.
В этом случае пространства и называются гомеоморфными.
Замечание. Гомеоморфизм — это биекция, которая индуцирует взаимно обратные отображения открытых множеств.
Замечание. Обычно топологические пространства рассматривают с точностью до гомеоморфизма: гомеоморфные пространства мы не различаем. Гомеоморфизм — это естественное отношение эквивалентности, с помощью которого удобно классифицировать топологические пространства.
Хаусдорфовы пространства
Определение (Хаусдорфовость,). Топологическое пространство называется хаусдорфовым (или удовлетворяющим условию ), если
Иными словами, любые две различные точки имеют непересекающиеся открытые окрестности.
Пример.
-
(антидискретная топология) хаусдорфово только в тривиальном случае, когда .
-
(дискретная топология) хаусдорфово всегда: одноточечные множества открыты, и для любых можно взять и .
-
Пусть и . Тогда не хаусдорфово, так как у точки нет открытой окрестности, не содержащей .
-
с евклидовой топологией хаусдорфово: для можно взять два непересекающихся открытых интервала.
Замечание. Хаусдорфовость инвариантна относительно гомеоморфизмов: если гомеоморфно и одно из пространств хаусдорфово, то и другое хаусдорфово.
Две различные точки и обладают непересекающимися открытыми окрестностями и , .
Компактность
Определение (Покрытие). Пусть — семейство открытых в множеств, причём . Тогда говорят, что семейство является (открытым) покрытием множества . Покрытие называется конечным, если существует конечный индексный набор , , такой что .
Определение (Компактность). Топологическое пространство называется компактным, если из любого открытого покрытия можно выделить конечное подпокрытие. То есть для любого семейства открытых множеств такого, что
существует конечное подмножество такое, что
Пример.
-
Если , то компактно.
-
не является компактным: семейство открытых множеств
даёт покрытие , но у него нет конечного подпокрытия.
Теорема (Хейне–Борель). Пусть . Тогда компактно замкнуто и ограничено.
Замечание. Эта теорема верна именно в евклидовом пространстве . В произвольном топологическом пространстве критерий «замкнутость и ограниченность» не эквивалентен компактности.
Утверждение. Пусть — компактное топологическое пространство и — замкнутое подмножество. Тогда компактно.
Доказательство. Пусть — покрытие открытыми множествами относительно подпространственной топологии ; то есть для каждого существует открытое в множество такое, что . Тогда множества вместе с множеством образуют открытое покрытие :
Поскольку компактно, существует конечный поднабор , покрывающий . Исключив при необходимости , получаем конечный набор соответствующих , покрывающий . Следовательно, компактно.
Компактное подмножество хаусдорфова пространства замкнуто
Утверждение. Пусть — хаусдорфово пространство, — компактное подмножество. Тогда замкнуто в .
Доказательство. Достаточно доказать, что дополнение открыто. Для этого покажем, что
такое, что открыто, и . Тогда
— объединение открытых множеств, а значит открыто.
Построение окрестности. Зафиксируем точку . Поскольку пространство хаусдорфово, для любой точки существуют открытые множества такие, что
Покрытие множества . Множества покрывают :
Так как компактно, существует конечное подпокрытие .
Построение требуемой окрестности. Рассмотрим пересечение
Это открытое множество как конечное пересечение открытых множеств, и . Кроме того,
поскольку каждое не пересекается с соответствующим , а множества покрывают . Следовательно,
Тем самым для любой точки существует открытая окрестность, лежащая в . Значит, открыто, и потому замкнуто.
Идея доказательства: точку отделяем от каждой точки , а затем используем компактность , чтобы получить окрестность , не пересекающую .
Упражнение. Верно ли утверждение, если пространство не хаусдорфово?
Теорема о непрерывной биекции
Теорема (О непрерывной биекции). Пусть и — топологические пространства, — непрерывная биекция, причём компактно, а хаусдорфово. Тогда является гомеоморфизмом.
Доказательство. Достаточно доказать, что обратное отображение непрерывно. Эквивалентно: показать, что является открытым отображением.
Определение (Открытое отображение). Отображение называется открытым, если
Определение (Замкнутое отображение). Отображение называется замкнутым, если
Эквивалентность трёх условий. Для биекции равносильны:
- непрерывно открыто: непрерывность означает, что прообраз открытого открыт; но для биекции прообраз при совпадает с образом при (ведь ). Значит, непрерывность — это в точности открытость .
- открыто замкнуто: переходим к дополнениям. Если открыто, то замкнуто, а для биекции . Поэтому открыто тогда и только тогда, когда замкнуто.
Таким образом, теорему достаточно свести к утверждению: является замкнутым отображением.
Лемма (Образ компакта компактен). Непрерывный образ компактного пространства компактен: если непрерывно и компактно, то компактно.
Доказательство. Пусть — произвольное открытое покрытие . По непрерывности множества открыты и образуют покрытие . По компактности существует конечный поднабор , , такой что покрывает . Тогда покрывает . Тем самым из произвольного открытого покрытия выделено конечное подпокрытие.
Теперь завершим доказательство теоремы о непрерывной биекции.
Доказательство. Пусть замкнуто. Так как компактно, а замкнуто, то компактно (по доказанному ранее утверждению). По лемме образ компактен и является подмножеством . Поскольку хаусдорфово, компактное подмножество замкнуто в (по доказанному ранее утверждению). Итак, образ замкнутого множества замкнут, то есть — замкнутое отображение. Следовательно, непрерывно, и является гомеоморфизмом.
Непрерывная биекция, не являющаяся гомеоморфизмом
Условия теоремы существенны: непрерывная биекция, вообще говоря, не обязана быть гомеоморфизмом.
Пример (склейка полуинтервала в окружность). Рассмотрим полуинтервал и окружность с индуцированной топологией, а также отображение
«склеивающее» концы полуинтервала в окружность. Это непрерывная биекция, однако не является непрерывным.
Действительно, возьмём — оно открыто в индуцированной топологии на . Его образ — дуга, содержащая точку , — не открыт в : у точки нет открытой окрестности в , целиком лежащей в . Значит, образ открытого множества не открыт, то есть не непрерывно.
Какое условие теоремы нарушено? Пространство хаусдорфово, но не компактно, поэтому теорема о непрерывной биекции к этому отображению неприменима.
Склейка . Образ — дуга, выходящая из точки ; около этой точки нет открытой дуги, целиком лежащей в , поэтому не открыт, а значит не непрерывно.
Произведение пространств и база топологии
Чтобы придать строгость предыдущему примеру, нужно определить топологию на плоскости , а для этого — произведение топологических пространств. Определим произведение двух пространств (конечные произведения вводятся аналогично, о бесконечных — отдельно).
Пусть и — топологические пространства. Рассмотрим произведение множеств
Топологии и известны; нужно построить топологию на . Для этого понадобится понятие базы.
Определение (База топологии). Пусть — топологическое пространство. Семейство открытых множеств называется базой топологии , если любое открытое множество представимо в виде объединения элементов :
Пример.
- На с евклидовой топологией базой служат открытые интервалы: по самому определению открытого множества в вокруг каждой его точки содержится интервал, лежащий в этом множестве.
- В дискретной топологии базой служат одноточечные множества : их объединениями получаются все подмножества.
Таким образом, топология восстанавливается по базе , так как любое множество из — объединение множеств из . Верно и обратное: можно абстрактно задать и построить по ней топологию .
Определение (База топологии произведения). Базой топологии произведения на называется семейство «прямоугольных» множеств
Открытыми в объявляются произвольные объединения таких множеств.
Элемент базы топологии произведения: «прямоугольник» , где открыто в , а открыто в .
Замечание. Сами «прямоугольники» топологии не образуют: объединение двух прямоугольников, вообще говоря, не является прямоугольником, поэтому аксиома о замкнутости относительно объединений не выполнена. Поэтому прямоугольники берут именно как базу, а топологию порождают их объединениями — она оказывается богаче набора прямоугольников (например, евклидова топология на содержит непрямоугольные открытые множества).
Утверждение (критерий базы). Набор множеств является базой некоторой топологии на тогда и только тогда, когда выполнены два условия:
-
объединение всех множеств базы даёт всё пространство,
-
для любых и любой точки существует такое, что
Условие (2): для точки найдётся элемент базы с .
В следующий раз будет проверено, что описанный набор «прямоугольников» удовлетворяет этому критерию и потому действительно задаёт топологию произведения.
No comments yet
Be the first to share your thoughts.