Общая топология

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

Definition

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

Scope

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

Sub-topics

• Compactness
• Connectedness
• Separation Axioms and Metrization
• Topological Spaces and Continuity

Core questions

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

Key concepts

• Открытые и замкнутые множества, окрестности, внутренность и замыкание
• База и подбаза топологии
• Непрерывные отображения, гомеоморфизмы и топологические инварианты
• Топологии подпространства, произведения и фактор-пространства
• Компактность, связность и аксиомы отделимости

Clinical relevance

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

History

Теоретико-множественная топология выросла из усилий конца XIX — начала XX века по абстрагированию понятия непрерывности от вещественной прямой, кристаллизовавшись в аксиоматизации топологических пространств Хаусдорфом в 1914 году и созрев в стандартизированную учебную программу, кодифицированную в текстах середины века, таких как Келли (1955) и Манкрес.

Key figures

• Felix Hausdorff
• James Munkres
• John L. Kelley

Seminal works

• munkres2000
• kelley1955

Frequently asked questions

Чем общая топология отличается от алгебраической топологии?

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

Почему топология определяется с помощью открытых множеств, а не расстояния?

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