Фундамента́льная гру́ппа — одна из простейших конструкций в алгебраической топологии. Сопоставляется группа всякому связному топологическому пространству. Для подмножеств плоскости эта группа измеряет количество «дырок». Наличие «дырки» определяется невозможностью непрерывно продеформировать (стянуть) некоторую замкнутую кривую в точку.
В этом глоссарии приведены определения основных терминов, используемых в общей топологии. Курсивом выделены ссылки внутри глоссария.
Гипотеза Пуанкаре́ — доказанная математическая гипотеза о том, что всякое односвязное компактное трёхмерное многообразие без края гомеоморфно трёхмерной сфере. Сформулированная в 1904 году математиком Анри Пуанкаре гипотеза была доказана в серии статей 2002—2003 годов Григорием Перельманом. После подтверждения доказательства математическим сообществом в 2006 году гипотеза Пуанкаре стала первой и единственной на данный момент решённой задачей тысячелетия.
Гомеоморфи́зм — непрерывная биекция с непрерывной обратной. Является центральным понятием топологии.
Хирургия, или перестройка Морса — преобразование гладких многообразий, которому подвергается многообразие уровня гладкой функции при переходе через невырожденную критическую точку; важнейшая конструкция в дифференциальной топологии.
Редуктивная группа — алгебраическая группа 
, для которой унипотентный радикал её компоненты единицы 
является тривиальным. Над незамкнутым полем редуктивность алгебраической группы определяется как редуктивность её над замыканием основного поля.
Симплициальный объём — топологический инвариант, определённый для замкнутых многообразий. Впервые рассмотрен Громовым. Симплициальный объём многообразия 
обычно обозначается 
.
Гипотеза Ходжа сформулирована в 1941 году Вильямом Ходжем и состоит в том, что для типов пространств, называемых проективными алгебраическими многообразиями, так называемые циклы Ходжа являются комбинациями объектов, имеющих геометрическую интерпретацию, — алгебраических циклов.
Теорема Новикова о компактном слое: Двумерное слоение на трехмерном многообразии с нестягиваемой универсальной накрывающей имеет компактный слой.
CW-комплекс — тип топологического пространства с дополнительной структурой, введённый Уайтхедом для удовлетворения нужд теории гомотопий. В литературе на русском языке употребляются также названия клеточное пространство, клеточное разбиение и клеточный комплекс. Класс клеточных комплексов является более широким, чем класс симплициальных комплексов, но в то же время сохраняет комбинаторную природу, которая позволяет производить эффективные вычисления.
Существенные многообразия — особый тип замкнутых многообразий. Понятие было введено Громовым в исследовании систолического неравенства.
Четырёхмерная топология — раздел топологии, который исследует топологические и гладкие четырёхмерные многообразия.
Основная гипотеза комбинаторной топологии — гипотеза, утверждающая, что любые две триангуляции одного пространства допускают изоморфные подразбиения. Сформулирована в 1908 году Эрнстом Штайницем и Генрихом Титце. Впоследствии опровергнута в общем виде; более того, она оказалась неверной для некоторых многообразий размерности 4 и выше.
Группа классов преобразований поверхности — это группа гомеоморфизмов с точностью до непрерывной деформации. Она естественно возникает при изучении трёхмерных многообразий и связана с другими группами, в частности с группами кос и группой внешних автоморфизмов группы.
Асферическое пространство — топологическое пространство в котором все гомотопические группы 
кроме 
тривиальны. Для симплектических многообразий значение термина немного отличается; смотри симплектически асферическое многообразие.
Конфигурационное пространство в топологии — множество наборов различных точек заданного топологического пространства.
Маломерная топология — направление в топологии, изучающее многообразия или, в более общем смысле, топологические пространства четырёх или менее размерностей. В частности, к направлению относятся структурная теория 3-многообразий и 4-многообразий, теория узлов и теория кос. Направление можно рассматривать как часть геометрической топологии.
