Математика
Регистрация
Advertisement

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

Определение[]

Пусть дано множество . Система его подмножеств называется тополо́гией на , если выполнены следующие условия:

  1. Объединение произвольного семейства множеств, принадлежащих , принадлежит , то есть если то
  2. Пересечение конечного семейства множеств, принадлежащих , принадлежит , то есть если то

Пара называется топологическим пространством. Множества, принадлежащие , называются открытыми множествами.

Способы задания топологии[]

База топологии[]

См. также основную статью: База топологии

Не всегда удобно перечислять все открытые множества. Часто удобнее указать некоторый меньший набор открытых множеств, который порождает их все. Формализацией этого является понятие базы топологии. Подмножество топологии называется базой топологии, если всякое открытое множество представляется как объединение множеств из , то есть такие что

Предбаза[]

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

Замкнутые множества[]

См. также основную статью: Замкнутое множество

Множество называется замкнутым, если оно является дополнением к открытому, то есть , такое что . Эквивалентным заданию всех открытых множеств, является задание всех замкнутых множеств.

Индуцированная топология[]

См. также основную статью: Индуцированная топология

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

Топология называется индуцированной топологией .

Примеры[]

  • Вещественная прямая является топологическим пространством, если, например, назвать открытыми множествами произвольные (пустые, конечные или бесконечные) объединения конечных или бесконечных интервалов. Множество всех конечных открытых интервалов является базой этой топологии. Это — стандартная топология на прямой. Вообще же на множестве вещественных чисел можно ввести очень разнообразные топологии. Например, , прямая с топологией стрелки, где открытые множества имеют вид . Или топология Зарисского, в которой любое замкнутое множество это конечное множество точек.
  • Вообще, евклидовы пространства являются топологическими пространствами. Базой их стандартной топологии можно выбрать открытые шары или открытые кубы.
  • Рассмотрим множество непрерывных отображений топологического пространства в топологическое пространство . Оно является топологическим пространством относительно следующей топологии, которая называется компактно-открытой. Зададим предбазу множествами состоящими из отображений, при которых образ компакта в лежит в открытом множестве в
  • Произвольное множество можно сделать топологическим пространством, если называть открытыми все его подмножества. Такая топология называется дискретной. В ней любые множества являются открытыми. Другой предельный случай — назвать открытыми минимально возможное количество подмножеств . А именно ввести тривиальную топологию — в ней открытыми являются лишь пустое множество и само пространство

Непрерывные отображения[]

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

Отображение топологических пространств называется непрерывным, если прообраз всякого открытого множества открыт.

Категория Top всех топологических пространств, морфизмы которой — непрерывные отображения, является одной из важнейших категорий в математике. Попыткам классифицировать объекты этой категории при помощи алгебраических инвариантов посвящен раздел математической науки, который называется алгебраической топологией. Изучению понятий непрерывности, а также других понятий, таких как компактность или отделимость, как таковых, без обращения к другим инструментам, посвящена общая топология.

См. также[]


Эта статья содержит материал из статьи Топологическое пространство русской Википедии.

Advertisement