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