Пусть — множество.
Definition (Топология). Семейство подмножеств называется топологией на , если выполнены следующие аксиомы:
и .
Если — произвольное семейство множеств (где — произвольное множество индексов), то
Если , где , то
Пара называется топологическим пространством. Множества называются открытыми множествами.
Множество называется замкнутым, если его дополнение открыто, то есть
Пусть — множество.
Обозначение: . Это минимальная (самая грубая) топология на .
Обозначение: . Это максимальная (самая тонкая) топология на .
Пусть . Один из возможных вариантов топологии:
Упражнение. Описать все топологии на множестве, состоящем не более чем из трёх элементов.
Пусть .
Definition. Подмножество называется открытым (в евклидовой топологии), если
Соответствующая топология называется евклидовой топологией на .
Пусть и — топологические пространства.
Definition (Непрерывное отображение). Отображение называется непрерывным, если для любого открытого множества выполнено
То есть прообраз любого открытого множества открыт.
Example (тождественное отображение из тривиальной топологии в дискретную). Рассмотрим тождественное отображение
Вопрос. Является ли это отображение непрерывным?
Ответ. В общем случае — нет (иногда да). Рассмотрим различные случаи.
Случай 1: . Если , то , поэтому отображение непрерывно.
Случай 2: . Тогда
и , то есть в дискретной топологии строго больше открытых множеств. Возьмём , где . Тогда открыто в , но . Так как , прообраз открытого множества не является открытым в .
Следовательно, при отображение непрерывным не является. Если же , отображение непрерывно тривиально (вакуумно).
Example (тождественное отображение из дискретной топологии в тривиальную). Рассмотрим обратное отображение
Пусть . Тогда или . Но оба множества открыты и в дискретной топологии, поэтому
Отсюда следует, что отображение всегда непрерывно.
Example (параметризация окружности). Рассмотрим стандартную евклидову топологию на и определим окружность как подмножество
На рассматривается индуцированная (подпространственная) топология: множество объявляется открытым, если существует открытое множество такое, что .
Рассмотрим отображение
Это стандартная параметризация окружности. Отображение непрерывно как композиция непрерывных функций (синуса и косинуса).
Remark. Отображение можно рассматривать как склеивание концов отрезка длины ; строго говоря, корректно говорить о факторпространстве . В дальнейшем в курсе формулы будут использоваться минимально; основной аппарат — топологический.
Пусть — топологическое пространство и .
Definition (Индуцированная (подпространственная) топология). Индуцированной топологией на называется семейство множеств
То есть множество объявляется открытым в , если оно является пересечением некоторого открытого множества пространства с множеством .
Утверждение. Индуцированная топология действительно является топологией на .
Proof. Проверим аксиомы топологии.
(1) Пустое множество и всё пространство. Так как , то , значит . Аналогично , поэтому .
(2) Произвольные объединения. Пусть , . Тогда существуют такие, что , и
Так как , то .
(3) Конечные пересечения. Пусть . Тогда существуют такие, что , и
Поскольку , получаем .
Следовательно, является топологией.
Example. Рассмотрим . Открытые множества в имеют вид:
Интуитивно: если открытое множество не касается границы, получается обычный открытый интервал; если пересекает границу, возникает полуинтервал. Таким образом, подпространственная топология описывает, какие множества внутри подмножества считаются открытыми.
Definition (Гомеоморфизм). Пусть и — топологические пространства. Отображение называется гомеоморфизмом, если:
В этом случае пространства и называются гомеоморфными.
Remark. Гомеоморфизм — это биекция, которая индуцирует взаимно обратные отображения открытых множеств.
Remark. Обычно топологические пространства рассматривают с точностью до гомеоморфизма: гомеоморфные пространства мы не различаем. Гомеоморфизм — это естественное отношение эквивалентности, с помощью которого удобно классифицировать топологические пространства.
Definition (Хаусдорфовость,). Топологическое пространство называется хаусдорфовым (или удовлетворяющим условию ), если
Иными словами, любые две различные точки имеют непересекающиеся открытые окрестности.
Example.
(антидискретная топология) хаусдорфово только в тривиальном случае, когда .
(дискретная топология) хаусдорфово всегда: одноточечные множества открыты, и для любых можно взять и .
Пусть и . Тогда не хаусдорфово, так как у точки нет открытой окрестности, не содержащей .
с евклидовой топологией хаусдорфово: для можно взять два непересекающихся открытых интервала.
Remark. Хаусдорфовость инвариантна относительно гомеоморфизмов: если гомеоморфно и одно из пространств хаусдорфово, то и другое хаусдорфово.
Diagram not rendered.
Две различные точки и обладают непересекающимися открытыми окрестностями и , .
Definition (Покрытие). Пусть — семейство открытых в множеств, причём . Тогда говорят, что семейство является (открытым) покрытием множества . Покрытие называется конечным, если существует конечный индексный набор , , такой что .
Definition (Компактность). Топологическое пространство называется компактным, если из любого открытого покрытия можно выделить конечное подпокрытие. То есть для любого семейства открытых множеств такого, что
существует конечное подмножество такое, что
Example.
Если , то компактно.
не является компактным: семейство открытых множеств
даёт покрытие , но у него нет конечного подпокрытия.
Theorem (Хейне–Борель). Пусть . Тогда компактно замкнуто и ограничено.
Remark. Эта теорема верна именно в евклидовом пространстве . В произвольном топологическом пространстве критерий «замкнутость и ограниченность» не эквивалентен компактности.
Утверждение. Пусть — компактное топологическое пространство и — замкнутое подмножество. Тогда компактно.
Proof. Пусть — покрытие открытыми множествами относительно подпространственной топологии ; то есть для каждого существует открытое в множество такое, что . Тогда множества вместе с множеством образуют открытое покрытие :
Поскольку компактно, существует конечный поднабор , покрывающий . Исключив при необходимости , получаем конечный набор соответствующих , покрывающий . Следовательно, компактно.
Утверждение. Пусть — хаусдорфово пространство, — компактное подмножество. Тогда замкнуто в .
Proof. Достаточно доказать, что дополнение открыто. Для этого покажем, что
такое, что открыто, и . Тогда
— объединение открытых множеств, а значит открыто.
Построение окрестности. Зафиксируем точку . Поскольку пространство хаусдорфово, для любой точки существуют открытые множества такие, что
Покрытие множества . Множества покрывают :
Так как компактно, существует конечное подпокрытие .
Построение требуемой окрестности. Рассмотрим пересечение
Это открытое множество как конечное пересечение открытых множеств, и . Кроме того,
поскольку каждое не пересекается с соответствующим , а множества покрывают . Следовательно,
Тем самым для любой точки существует открытая окрестность, лежащая в . Значит, открыто, и потому замкнуто.
Diagram not rendered.
Идея доказательства: точку отделяем от каждой точки , а затем используем компактность , чтобы получить окрестность , не пересекающую .
Упражнение. Верно ли утверждение, если пространство не хаусдорфово?
Theorem (О непрерывной биекции). Пусть и — топологические пространства, — непрерывная биекция, причём компактно, а хаусдорфово. Тогда является гомеоморфизмом.
Proof. Достаточно доказать, что обратное отображение непрерывно. Эквивалентно: показать, что является открытым отображением.
Definition (Открытое отображение). Отображение называется открытым, если
> Ниже — продолжение лекции, восстановленное из аудио-субтитров (≈ 01:11
– 01:38). Отделено горизонтальной чертой для удобства проверки качества.Definition (Замкнутое отображение). Отображение называется замкнутым, если
Эквивалентность трёх условий. Для биекции равносильны:
Таким образом, теорему достаточно свести к утверждению: является замкнутым отображением.
Lemma (Образ компакта компактен). Непрерывный образ компактного пространства компактен: если непрерывно и компактно, то компактно.
Proof. Пусть — произвольное открытое покрытие . По непрерывности множества открыты и образуют покрытие . По компактности существует конечный поднабор , , такой что покрывает . Тогда покрывает . Тем самым из произвольного открытого покрытия выделено конечное подпокрытие.
Теперь завершим доказательство теоремы о непрерывной биекции.
Proof. Пусть замкнуто. Так как компактно, а замкнуто, то компактно (по доказанному ранее утверждению). По лемме образ компактен и является подмножеством . Поскольку хаусдорфово, компактное подмножество замкнуто в (по доказанному ранее утверждению). Итак, образ замкнутого множества замкнут, то есть — замкнутое отображение. Следовательно, непрерывно, и является гомеоморфизмом.
Условия теоремы существенны: непрерывная биекция, вообще говоря, не обязана быть гомеоморфизмом.
Example (склейка полуинтервала в окружность). Рассмотрим полуинтервал и окружность с индуцированной топологией, а также отображение
«склеивающее» концы полуинтервала в окружность. Это непрерывная биекция, однако не является непрерывным.
Действительно, возьмём — оно открыто в индуцированной топологии на . Его образ — дуга, содержащая точку , — не открыт в : у точки нет открытой окрестности в , целиком лежащей в . Значит, образ открытого множества не открыт, то есть не непрерывно.
Какое условие теоремы нарушено? Пространство хаусдорфово, но не компактно, поэтому теорема о непрерывной биекции к этому отображению неприменима.
Diagram not rendered.
Склейка . Образ — дуга, выходящая из точки ; около этой точки нет открытой дуги, целиком лежащей в , поэтому не открыт, а значит не непрерывно.
Чтобы придать строгость предыдущему примеру, нужно определить топологию на плоскости , а для этого — произведение топологических пространств. Определим произведение двух пространств (конечные произведения вводятся аналогично, о бесконечных — отдельно).
Пусть и — топологические пространства. Рассмотрим произведение множеств
Топологии и известны; нужно построить топологию на . Для этого понадобится понятие базы.
Definition (База топологии). Пусть — топологическое пространство. Семейство открытых множеств называется базой топологии , если любое открытое множество представимо в виде объединения элементов :
Example.
Таким образом, топология восстанавливается по базе , так как любое множество из — объединение множеств из . Верно и обратное: можно абстрактно задать и построить по ней топологию .
Definition (База топологии произведения). Базой топологии произведения на называется семейство «прямоугольных» множеств
Открытыми в объявляются произвольные объединения таких множеств.
Diagram not rendered.
Элемент базы топологии произведения: «прямоугольник» , где открыто в , а открыто в .
Remark. Сами «прямоугольники» топологии не образуют: объединение двух прямоугольников, вообще говоря, не является прямоугольником, поэтому аксиома о замкнутости относительно объединений не выполнена. Поэтому прямоугольники берут именно как базу, а топологию порождают их объединениями — она оказывается богаче набора прямоугольников (например, евклидова топология на содержит непрямоугольные открытые множества).
Утверждение (критерий базы). Набор множеств является базой некоторой топологии на тогда и только тогда, когда выполнены два условия:
объединение всех множеств базы даёт всё пространство,
для любых и любой точки существует такое, что
Diagram not rendered.
Условие (2): для точки найдётся элемент базы с .
В следующий раз будет проверено, что описанный набор «прямоугольников» удовлетворяет этому критерию и потому действительно задаёт топологию произведения.