Конти́нуум в теории множеств — мощность множества всех вещественных чисел. Обозначается строчной латинской буквой c во фрактурном начертании:
. Множество, имеющее мощность континуум, называется континуа́льным множеством.
В этом глоссарии приведены определения основных терминов, используемых в общей топологии. Курсивом выделены ссылки внутри глоссария.
Эйлерова характеристика или характеристика Эйлера — Пуанкаре — целочисленная характеристика топологического пространства. Эйлерова характеристика пространства
обычно обозначается
.
Мо́щность, или кардина́льное число́, мно́жества — характеристика множеств, обобщающая понятие количества (числа) элементов конечного множества.
Метризуемое пространство — топологическое пространство, гомеоморфное некоторому метрическому пространству. Иначе говоря, пространство, топология которого порождается некоторой метрикой.
Компа́ктное простра́нство — определённый тип топологических пространств, обобщающий свойства ограниченности и замкнутости в евклидовых пространствах на произвольные топологические пространства.
Конти́нуум-гипо́теза — выдвинутое в 1877 году Георгом Кантором предположение о том, что любое бесконечное подмножество континуума является либо счётным, либо континуальным. Другими словами, гипотеза предполагает, что мощность континуума — наименьшая, превосходящая мощность счётного множества, и «промежуточных» мощностей между счетным множеством и континуумом нет. В частности, это предположение означает, что для любого бесконечного множества действительных чисел всегда можно установить взаимно-однозначное соответствие либо между элементами этого множества и множеством целых чисел, либо между элементами этого множества и множеством всех действительных чисел.
Ка́нторово мно́жество — один из простейших фракталов, подмножество единичного отрезка вещественной прямой, которое является классическим примером дисконтинуума в математическом анализе.
База топологии — семейство открытых подмножеств топологического пространства
, такое, что любое открытое множество в
представимо в виде объединения элементов этого семейства.
Свя́зное двоето́чие — конечное топологическое пространство из двух точек определённого типа; наиболее простой содержательный пример нехаусдорфова топологического пространства в общей топологии.
Теорема Алекса́ндера о предбазе — теорема общей топологии, устанавливающая критерий компактности топологического пространства.
Произведение топологических пространств — это топологическое пространство, полученное, как множество, декартовым произведением исходных топологических пространств, и снабжённое естественной топологией, называемой топологией произведения или тихоновской топологией. Слово «естественная» здесь употребляется в смысле теории категорий и означает, что эта топология удовлетворяет некоторому универсальному свойству.
Ба́наховой алгеброй над комплексным или действительным полем называется ассоциативная алгебра, являющаяся при этом банаховым пространством. При этом умножение в ней должно быть согласовано с нормой:
.
Топология стрелки — топология на вещественной прямой. Соответственное топологическое пространство иногда называется прямая Зоргенфрея. Строится путём введения базы топологии на вещественной прямой
: открытой базой объявляются все полуинтервалы вида [a, b).
CW-комплекс — тип топологического пространства с дополнительной структурой, введённый Уайтхедом для удовлетворения нужд теории гомотопий. В литературе на русском языке употребляются также названия клеточное пространство, клеточное разбиение и клеточный комплекс. Класс клеточных комплексов является более широким, чем класс симплициальных комплексов, но в то же время сохраняет комбинаторную природу, которая позволяет производить эффективные вычисления.
Лемма Линделёфа — классическая лемма общей топологии, которая гласит, что если топологическое пространство удовлетворяет второй аксиоме счётности, то из всякого его открытого покрытия можно выделить не более чем счётное подпокрытие.