Глоссарий общей топологии

(перенаправлено с «Открытое отображение»)

В этом глоссарии приведены определения основных терминов, используемых в общей топологии. Курсивом выделены ссылки внутри глоссария.

Антидискретная топология
Топология на пространстве  , в которой открыты лишь два множества: само пространство   и пустое множество.
База топологии
Набор открытых множеств, такой, что любое открытое множество является объединением множеств из базы.
Вес топологического пространства
Минимум мощностей всех баз пространства .
Вещественно полное пространство
Пространство, гомеоморфное замкнутому подпространству некоторой степени вещественной прямой.
Внутренность
Совокупность всех внутренних точек множества. Наибольшее по включению открытое подмножество данного множества.
Внутренняя точка множества
Точка, которая входит в данное множество вместе с некоторой своей окрестностью.
Вписанное покрытие
Покрытие   вписано в покрытие  , если каждое множество из   содержится в каком-либо множестве из  
Вполне несвязное пространство
Пространство, у которого никакое подмножество, содержащее больше одной точки, не является связным.
Всюду плотное множество
Множество, замыкание которого совпадает со всем пространством.
Выколотая окрестность
Окрестность данной точки, из которой удалили саму эту точку.
Гомеоморфизм
Биекция  , такая, что   и   непрерывны.
Гомеоморфные пространства
Пространства, между которыми существует гомеоморфизм.
Гомотопия
Для непрерывного отображения   — непрерывное отображение  , такое, что   для любого  . Часто используется обозначение  , в частности  .
Гомотопные отображения
Отображения   называются гомотопными или   если существует гомотопия   такая, что   и  .
Гомотопическая эквивалентность топологических пространств
Топологические пространства   и   гомотопически эквиваленты, если существует пара непрерывных отображений   и   таких, что   и  , здесь   обозначает гомотопическую эквивалентность отображений, то есть, эквивалентность с точностью до гомотопии. Также говорят, что   и   имеют один гомотопический тип.
Гомотопический инвариант
Характеристика пространства, которая сохраняется при гомотопической эквивалентности топологических пространств. То есть, если два пространства гомотопически эквиваленты, то они имеют ту же характеристику. Например, связность, фундаментальная группа, эйлерова характеристика являются гомотопическими инвариантами.
Гомотопический тип
Класс гомотопической эквивалентности топологических пространств, то есть, гомотопически эквивалентные пространства называются пространствами одного гомотопического типа.
Граница
1.  Относительная граница.
2.  То же, что край многообразия.
Дверное пространство
Пространство, в котором всякое подмножество либо открыто, либо замкнуто.
Двоеточие
Топологическое пространство, состоящее из двух точек; возможны три варианта задания топологии — дискретная топология образует простое двоеточие, антидискретная — слипшееся двоеточие, топология с открытым множеством одной точки — связное двоеточие.
Деформационный ретракт
Подмножество   топологического пространства  , обладающее тем свойством, что существует гомотопия тождественного отображения пространства   в некоторое отображение  , при которой все точки множества   остаются неподвижными.
Дискретная топология
Топология, в которой любое множество открыто.
Дискретное множество
Множество, каждая точка которого является изолированной.
Замкнутое множество
Множество, являющееся дополнением к открытому.
Замкнутое отображение
Отображение, при котором образ любого замкнутого множества замкнут.
Замыкание
Минимальное замкнутое множество, содержащее данное.
Индуцированная топология
Топология на подмножестве   топологического пространства, открытыми множествами в которой считаются пересечения открытых множеств объёмлющего пространства с  .
Изолированная точка множества
Точка   называется изолированной для множества   топологического пространства  , если существует окрестность   такая, что  .
Кардинальный инвариант
Топологический инвариант, выражающийся кардинальным числом.
Категория Бэра
Характеристика топологического пространства, принимающая одно из двух значений; к первой категории Бэра относятся пространства, допускающие счётное покрытие нигде не плотными подмножествами, прочие пространства относятся ко второй категории Бэра.
Компактификация
Компактификация пространства   - это пара  , где   - компактное пространство,   - гомеоморфное вложение пространства   в пространство  , причём   всюду плотно в   Также компактификацией называют само пространство  .
Компактное отображение
Отображение топологических пространств, прообраз каждой точки при котором компактен.
Компактное пространство
Топологическое пространство, в любом покрытии которого открытыми множествами найдётся конечное подпокрытие.
Компонента связности точки
Максимальное связное множество, содержащее эту точку.
Континуум
Связное компактное хаусдорфово топологическое пространство.
Конус над топологическим пространством
Для пространства   (называемым основанием конуса) — пространство  , получающееся из произведения   стягиванием подпространства   в одну точку, называемую вершиной конуса.
Линделёфово пространство
Топологическое пространство, в любом покрытии которого открытыми множествами найдётся счётное подпокрытие.
Линейно связное пространство
Пространство, в котором любую пару точек можно соединить кривой.
Локально компактное пространство
Пространство, в котором любая точка имеет компактную окрестность.
Локально конечное семейство подмножеств
Такое семейство подмножеств топологического пространства, что всякая точка этого пространства имеет окрестность, пересекающуюся только с конечным числом элементов этого семейства.
Локально связное пространство
Пространство, в котором любая точка имеет связную окрестность.
Локально стягиваемое пространство
Пространство, в котором любая точка имеет стягиваемую окрестность.
Локальный гомеоморфизм
Отображение   топологических пространств, такое, что для каждой точки   найдется окрестность  , которая посредством   отображается в   гомеоморфно. Иногда в определение локального гомеоморфизма автоматически включается требование   и, кроме того, отображение   предполагается открытым.
Массивное множество
Подмножество   топологического пространства  , являющееся пересечением счётного числа открытых плотных в   подмножеств. Если каждое массивное множество плотно в  , то   является пространством Бэра.
Метризуемое полной метрикой пространство
Пространство, гомеоморфное полному метрическому пространству.
Метризуемое пространство
Пространство, гомеоморфное метрическому пространству.
Многообразие
Хаусдорфово топологическое пространство, локально гомеоморфное евклидову пространству.
Многосвязная область
Область линейно связного пространства, фундаментальная группа которой не тривиальна.
Множество второй категории Бэра
Любое множество, которое не является множеством первой категории Бэра.
Множество первой категории Бэра
Множество, которое можно представить как счётное объединение нигде не плотных множеств.
Множество типа  
Множество, представимое в виде счётного объединения замкнутых множеств.
Множество типа  
Множество, представимое в виде счётного пересечения открытых множеств.
Накрытие
Отображение линейно связных пространств  , при котором у любой точки   имеется окрестность  , для которой существует гомеоморфизм  , где  дискретное пространство, для которого при условии   обозначает естественную проекцию, то  .
Наследственное свойство
Свойство топологического пространства, такое, что если пространство обладает этим свойством, то и любое его подпространство обладает этим свойством. Например: метризуемость и хаусдорфовость. Если всякое подпространство пространства   обладает свойством  , то говорят, что   наследственно обладает свойством  . Например, говорят, что топологическое пространство наследственно нормальное, наследственно линделёфово, наследственно сепарабельное.
Непрерывное отображение
Отображение, при котором прообраз любого открытого множества открыт.
Нигде не плотное множество
Множество, замыкание которого не содержит открытых множеств (замыкание имеет пустую внутренность).
Нормальное пространство
Топологическое пространство, в котором одноточечные множества замкнуты и любые два замкнутых непересекающихся множества имеют непересекающиеся окрестности.
Область
Открытое связное подмножество топологического пространства.
Односвязное пространство
Связное пространство, любое отображение окружности в которое гомотопно постоянному отображению.
Окрестность
Открытая окрестность или множество, содержащее открытую окрестность.
Открытая окрестность
Для точки или множества — открытое множество, содержащее данную точку или данное множество.
Открытое множество
Множество, каждый элемент которого входит в него вместе с некоторой окрестностью, понятие, используемое при определении топологического пространства.
Открытое отображение
Отображение, при котором образ любого открытого множества открыт.
Открыто-замкнутое множество
Множество, одновременно являющееся открытым и замкнутым.
Открыто-замкнутое отображение
Отображение, одновременно являющееся открытым и замкнутым.
Относительная граница
Пересечение замыкания подмножества топологического пространства с замыканием его дополнения. Граница множества   обычно обозначается  .
Относительная топология
То же, что индуцированная топология.
Относительно компактное множество
Подмножество топологического пространства, замыкание которого компактно. Также такое множество называется предкомпактным.
Пара пространств
Упорядоченная пара   где  топологическое пространство, а   — подпространство (с топологией подпространства).
Паракомпактное пространство
Топологическое пространство, в любое открытое покрытие которого можно вписать локально конечное открытое покрытие (то есть такое, что для любой точки можно найти окрестность пересекающуюся с конечным числом элементов этого покрытия).
Плотность топологического пространства
Минимум мощностей всюду плотных подмножеств пространства.
Плотное множество
Множество в топологическом пространстве  , имеющее непустое пересечение с любой окрестностью произвольной точки  .
Подпокрытие
Для покрытия  ,   подпокрытием является  , где  , если   само является покрытием.
Подпространство
Подмножество топологического пространства, снабжённое индуцированной топологией.
Покрытие
Для подмножества или пространства   — это представление его в виде объединения множеств  ,  , точнее это набор множеств  ,   такой что  . Чаще всего рассматривают открытые покрытия, то есть предполагают что все   являются открытыми множествами.
Полное по Чеху пространство
Пространство   называется полным по Чеху, если существует компактификация   пространства  , такая, что   является множеством типа   в пространстве  .
Порядковая топология
Топология на произвольном упорядоченном множестве  , введённая предбазой из множеств вида   и  , где   пробегает все элементы  .
Предбаза
Семейство   открытых подмножеств топологического пространства   такое, что совокупность всех множеств, являющихся пересечением конечного числа элементов  , образует базу  .
Предельная точка
Для подмножества   топологического пространства   — такая точка  , что в любой её выколотой окрестности с   есть хотя бы одна точка из  .
Производное множество
Совокупность всех предельных точек.
Простое двоеточие
Топологическое пространство из двух точек, оба одноточечных множества в котором открыты.
Прямая Александрова
Топологическое пространство над декартовым произведением вполне упорядоченного множества и вещественного полуинтервала   с порядковой топологией при лексикографическом упорядочении, является нормальным хаусдорфовым неметризуемым пространством, важный контрпример во многих топологических рассуждениях.
Прямая Суслина[англ.]
Гипотетическое (его существование независимо от ZFC) полное линейно упорядоченное плотное множество, обладающее некоторыми свойствами обычной прямой, но не изоморфное ей.
Псевдохарактер топологического пространства
Супремум псевдохарактеров топологического пространства во всех точках.
Псевдохарактер топологического пространства в точке
Минимум мощностей всех семейств окрестностей точки, дающих в пересечении одну эту точку.
Регулярное пространство
Топологическое пространство, в котором одноточечные множества замкнуты и для любого замкнутого множества и не содержащейся в нем точки существуют их непересекающиеся окрестности.
Ретракт
Ретракт топологического пространства   — подпространство   этого пространства, для которого существует ретракция   на  .
Ретракция
Ретракция — непрерывное отображение из топологического пространства   на подпространство   этого пространства, тождественное на  .
Связное двоеточие
Топологическое пространство из двух точек, только одно из одноточечных множеств в котором открыто.
Связное пространство
Пространство, которое невозможно разбить на два непустых непересекающихся открытых множества.
Сепарабельное пространство
Топологическое пространство, в котором имеется счётное всюду плотное множество.
Сетевой вес топологического пространства
Минимум мощностей всех сетей пространства .
Сеть
Сеть топологического пространства   — семейство   подмножеств пространства  , такое, что для любой точки   и любой её окрестности  , существует  , такое, что  .
Слипшееся двоеточие
Антидискретное топологическое пространство из двух точек.
Спред топологического пространства
Супремум мощностей всех дискретных подпространств.
Стягиваемое пространство
Пространство, гомотопически эквивалентное точке.
Сумма топологических пространств
Суммой семейства топологических пространств   называется дизъюнктное объединение   этих топологических пространств как множеств с топологией, состоящей из всех множеств вида  , где каждое   открыто в  . Обозначается  .
Теснота топологического пространства
Супремум теснот топологического пространства во всех точках.
Теснота топологического пространства в точке
Теснотой топологического пространства   в точке   называется наименьший кардинал  , для которого если  , то существует такое   мощности не больше  , что  .
Тихоновское пространство
Топологическое пространство, в котором одноточечные множества замкнуты и для любой точки   и любого замкнутого множества  , не содержащего точку   существует непрерывная вещественная функция, равная   на множестве   и   в точке  .
Топологический инвариант
Характеристика пространства, которая сохраняется при гомеоморфизмах. Это означает, что характеристики любых двух гомеоморфных пространств совпадают. Примеры: эйлерова характеристика, числа Бетти, фундаментальная группа.
Топологически инъективное отображение
Непрерывное отображение, осуществляющее гомеоморфизм между областью определения и своим полным образом.
Топологическое пространство
Множество, с заданной топологией, то есть с указанием на то, какие его подмножества являются открытыми.
Топологическое свойство
Свойство топологического пространства, являющееся его топологическим инвариантом. Примеры: компактность, связность.
Топология
Семейство подмножеств множества  , содержащее произвольное объединение и конечное пересечение входящих в него элементов, а также пустое множество и само  . Элементы семейства называются открытыми множествами. Также топология может быть введена через базу, как семейство, состоящее из всех произвольных объединений элементов базы.
Топология компактной сходимости
Топология, заданная на множестве непрерывных вещественных функций, определяемая семейством преднорм  , называется топологией компактной сходимости.
Топология поточечной сходимости
Топология, заданная на множестве   непрерывных функций из топологического пространства   в топологическое пространство  , базой которой являются все множества вида   где   - точки из   - открытые множества из   , называется топологией поточечной сходимости. Множество   c такой топологией обозначается  .
Топология равномерной сходимости
Пусть на векторном пространстве   непрерывных функций   на компактном топологическом пространстве   определена норма  . Топология, порождённая такой метрикой, называется топологией равномерной сходимости.
Топология Скотта
Топология над полным частично упорядоченным множеством, в которой открытыми считаются верхние множества, недоступные для прямых соединений.
Точка накопления
То же, что предельная точка.
Точка полного накопления
Для множества   ― точка   в топологическом пространстве   такая, что пересечение   с любой окрестностью   имеет мощность ту же, что и все множество  .
Точка прикосновения
Для множества   — точка, любая окрестность которой содержит хотя бы одну точку из  . Множество всех точек прикосновения совпадает с замыканием  .
Тривиальная топология
То же, что и антидискретная топология
Универсальный гомеоморфизм
Уплотнение
Непрерывная биекция.
Факторпространство
Топологическое пространство на множестве классов эквивалентности: для топологического пространства   и отношения эквивалентности   топология на фактормножестве   вводится определением открытых множеств как семейства всех множеств, прообраз которых открыт в   при факторотображении (ставящем в соответствие элементу   его класс эквивалентности  ).
Фундаментальная система окрестностей
Фундаментальная система окрестностей точки   - это семейство   окрестностей точки  , такое, что для любой окрестности   точки   существует  , такое, что  .
Характер топологического пространства
Супремум характеров топологического пространства во всех точках.
Характер топологического пространства в точке
Минимум мощностей всех фундаментальных систем окрестностей этой точки.
Хаусдорфово пространство
Топологическое пространство, две любых различных точки которого обладают непересекающимися окрестностями.
Цилиндр над топологическим пространством
Для пространства   — пространство  , строящееся как произведение  .
Цилиндр отображения
Для отображения   — факторпространство  , строящееся из суммы   и   отождествлением точки   с точкой   для всех  .
Число Линделёфа топологического пространства
Наименьший кардинал   такой, что из любого открытого покрытия можно извлечь подпокрытие, мощности не больше  .
Число Суслина топологического пространства
Супремум мощностей семейств непересекающихся непустых открытых множеств.
Экстент топологического пространства
Супремум мощностей всех замкнутых дискретных подмножеств.

Литература

править
  • Бурбаки, Н. Элементы математики. Общая топология. Основные структуры. — М.: Наука, 1968.
  • Александров, П. С. Введение в теорию множеств и общую топологию. — М.: ГИИТЛ, 1948.
  • Келли, Дж. Л. Общая топология. — М.: Наука, 1968.
  • Виро, О. Я., Иванов, О. А., Харламов, В. М., Нецветаев, Н. Ю. Задачный учебник по топологии.
  • Энгелькинг, Р. Общая топология. — М.: Мир, 1986. — 752 с.