Топологические пространства и непрерывность

Топологическое пространство кодирует, какие точки находятся рядом с другими, посредством семейства открытых множеств, а непрерывное отображение — это такое отображение, которое сохраняет эту близость, переводя открытые множества обратно в открытые множества.

Definition

Топологическое пространство — это множество X вместе с топологией — семейством открытых подмножеств, замкнутым относительно произвольных объединений и конечных пересечений и содержащим пустое множество и X; функция между топологическими пространствами непрерывна, если прообраз каждого открытого множества открыт, а гомеоморфизм — это непрерывная биекция с непрерывным обратным отображением.

Scope

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

Core questions

• Как одна и та же топология может возникать из разных баз, и как мы сравниваем топологии по тонкости?
• Что означает непрерывность, когда метрика недоступна, и как она характеризуется через замыкания и окрестности?
• Когда два пространства гомеоморфны, и какие свойства служат инвариантами для их различения?
• Как конструкции подпространства, произведения и факторпространства наследуют или не наследуют свойства родительской топологии?

Key concepts

• Открытые множества, замкнутые множества, окрестности, замыкание и внутренность
• База и подбаза, порождающие топологию
• Непрерывность, гомеоморфизм и топологические инварианты
• Топологии подпространства, произведения и факторпространства
• Сходимость через последовательности и направленности (nets); роль первой аксиомы счётности

Clinical relevance

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

History

Определение открытого множества обобщило метрические пространства Фреше (1906) и аксиомы окрестностей Хаусдорфа (1914); ныне стандартная формулировка в терминах произвольных объединений и конечных пересечений стала нормой в учебниках благодаря Бурбаки и американским текстам середины века.

Key figures

• Felix Hausdorff
• Maurice Fréchet
• James Munkres

Seminal works

• munkres2000
• kelley1955

Frequently asked questions

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

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

Почему направленности (nets) обобщают последовательности в топологии?

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