В этом глоссарии приведены определения основных терминов, используемых в общей топологии. Курсивом выделены ссылки внутри глоссария.
Гомеоморфи́зм — непрерывная биекция с непрерывной обратной. Является центральным понятием топологии.
Пространство Кала́би — Яу — компактное комплексное многообразие с кэлеровой метрикой, для которой тензор Риччи обращается в ноль. В теории суперструн иногда предполагают, что дополнительные измерения пространства-времени принимают форму 6-мерного многообразия Калаби — Яу, что привело к идее зеркальной симметрии. Название было придумано в 1985 году, в честь Эудженио Калаби, который впервые предположил, что такие размерности могут существовать, и Яу Шинтуна, который в 1978 году доказал гипотезу Калаби.
Теоре́ма Фа́ри — Ми́лнора утверждает что вариация поворота любого узла превышает .
Теорема Новикова о компактном слое: Двумерное слоение на трехмерном многообразии с нестягиваемой универсальной накрывающей имеет компактный слой.
Слоение коразмерности 1 — это разбиение многообразия на непересекающиеся подмножества которые локально выглядят как поверхности уровня гладких регулярных функций.
В математике Теорема Риба об устойчивости утверждает, что если слоение коразмерности один имеет замкнутый слой с конечной фундаментальной группой, то все его слои замкнуты и имеют конечную фундаментальную группу. Доказана французским математиком Жоржем Рибом.
Свойство разделения дисков — ключевое свойство топологических многообразий размерности 5 и выше, которое выделяет их из класса гомологических многообразий.
Ле́мма Де́на — ключевое утверждение трёхмерной топологии.
Экзотическая сфера — гладкое многообразие М, которое гомеоморфно, но не диффеоморфно стандартной n-сфере.
Псевдоголоморфная кривая — гладкое отображение из Римановой поверхности в почти комплексное многообразие, удовлетворяющее уравнениям Коши — Римана.
В математике конечное правило подразделения — это рекурсивный способ деления многоугольника и других двумерных фигур на всё меньшие и меньшие части. Правила подразделения в этом смысле является обобщением фракталов. Вместо повторения одного и того же узора снова и снова здесь имеются небольшие изменения на каждом шаге, что позволяет получить более богатые структуры, сохраняя при этом поддержку элегантного стиля фракталов. Правила подразделения используются в архитектуре, биологии и информатике, а также при изучении гиперболических многообразий. Подстановки плиток являются хорошо изученным видом правил подразделения.
Группа классов преобразований поверхности — это группа гомеоморфизмов с точностью до непрерывной деформации. Она естественно возникает при изучении трёхмерных многообразий и связана с другими группами, в частности с группами кос и группой внешних автоморфизмов группы.
Кэлерово многообразие — многообразие с тремя взаимно совместимыми структурами: комплексной структурой, римановой метрикой и симплектической формой.
Замкнутая геодезическая на римановом многообразии — это геодезическая, которая образует простую замкнутую кривую. Её можно формализовать как проекцию замкнутой орбиты геодезического потока на касательное пространство многообразия.
Многообразие Шимуры — аналог модулярной кривой в более высоких размерностях, который возникает как фактор эрмитова симметрического пространства по конгруэнтной подгруппе редуктивной алгебраической группе, определённой над Q. Термин «многообразие Шимуры» относится к высоким размерностям, в случае одномерных многообразий говорят о кривых Шимуры. Модулярные поверхности Гильберта и модулярные многообразия Зигеля находятся среди лучших известных классов многообразий Шимуры.
Поверхность Цолля — поверхность, гомеоморфная 2-мерной сфере, с римановой метрикой, в которой все геодезические являются замкнутыми и имеют одинаковую длину.
Теорема Мэйсона — Стотерса — аналог abc-гипотезы для многочленов. Названа в честь Стотерса, который опубликовал её в 1981 году, и Мейсона, который вновь открыл её после этого.
Неравенство Пу даёт нижнюю оценку на площадь проективной плоскости с римановой метрикой через длину кратчайшей нестягиваемой замкнутой кривой. Является одним из фундаментальных утверждений систолической геометрии.