Гипотеза Пуанкаре́ — доказанная математическая гипотеза о том, что всякое односвязное компактное трёхмерное многообразие без края гомеоморфно трёхмерной сфере. Сформулированная в 1904 году математиком Анри Пуанкаре гипотеза была доказана в серии статей 2002—2003 годов Григорием Перельманом. После подтверждения доказательства математическим сообществом в 2006 году гипотеза Пуанкаре стала первой и единственной на данный момент решённой задачей тысячелетия.
Эйлерова характеристика или характеристика Эйлера — Пуанкаре — целочисленная характеристика топологического пространства. Эйлерова характеристика пространства обычно обозначается .
Крива́я или ли́ния — геометрическое понятие, определяемое в разных разделах математики различно.
Теорема Жордана — классическая теорема топологии, гласящая, что замкнутая плоская кривая без самопересечений делит плоскость на две различные части: «внутреннюю» и «внешнюю».
Коэффициент зацепления — целочисленная характеристика пары пространственных замкнутых кривых без пересечений и самопересечений, описывающая суммарное количество раз, которое одна кривая в определённом смысле зацепляется за другую.
Пространственная форма — связное полное риманово многообразие постоянной секционной кривизны .
Субгармонические и супергармонические функции представляют собой особые классы функций, содержащие как частные случаи и класс гармонических функций.
Когомологии де Рама — теория когомологий, основанная на дифференциальных формах, и применяемая в теориях гладких и алгебраических многообразий.
В математике, теорема двойственности Пуанкаре, названная в честь французского математика Анри Пуанкаре, является основным результатом о структуре групп гомологий и когомологий многообразия. Она утверждает, что все k-е группы когомологий n-мерного ориентируемого замкнутого многообразия M изоморфны (n − k)-м группам гомологий M :
Трёхмерная сфе́ра — сфера в четырёхмерном пространстве. Состоит из множества точек, равноудалённых от фиксированной центральной точки в четырёхмерном евклидовом пространстве. Так же, как двумерная сфера, которая образует границу шара в трёх измерениях, 3-сфера имеет три измерения и является границей четырёхмерного шара.
CW-комплекс — тип топологического пространства с дополнительной структурой, введённый Уайтхедом для удовлетворения нужд теории гомотопий. В литературе на русском языке употребляются также названия клеточное пространство, клеточное разбиение и клеточный комплекс. Класс клеточных комплексов является более широким, чем класс симплициальных комплексов, но в то же время сохраняет комбинаторную природу, которая позволяет производить эффективные вычисления.
Гомологическое многообразие — локально компактное топологическое пространство, которое выглядит локально как топологическое многообразие с точки зрения теории гомологий.
Сфери́ческий сегме́нт — поверхность, часть сферы, отсекаемая от неё некоторой плоскостью. Плоскость отсекает два сегмента: меньший сегмент называется также сферическим кругом. Если секущая плоскость проходит через центр сферы, то высота обоих сегментов равна радиусу сферы, и каждый из таких сферических сегментов называют полусферой.
Модулярная кривая — это риманова поверхность или соответствующая алгебраическая кривая, построенная как фактор комплексной верхней половины плоскости H по конгруэнтной подгруппе модулярной группы целочисленных 2×2 матриц SL(2, Z). Термин модулярная кривая может также использоваться для ссылок на компактифицированные модулярные кривые , которые являются компактификациями, полученными добавлением конечного числа точек к фактору. Точки модулярной кривой параметризуют классы изоморфизмов эллиптических кривых, вместе с некоторой дополнительной структурой, зависящей от группы . Эта интерпретация позволяет дать чисто алгебраическое определение модулярных кривых без ссылок на комплексные числа, и, более того, доказывает, что модулярные кривые являются полем определения либо над полем Q рациональных чисел, либо над круговым полем. Последний факт и его обобщения имеют фундаментальную важность в теории чисел.
Конфигурационное пространство в топологии — множество наборов различных точек заданного топологического пространства.
Трёхмерное многообразие — топологическое пространство, локально устроенное как трёхмерное евклидово пространство . Иными словами, многообразие размерности три. Является центральным понятием трёхмерной топологии.
Первая группа гомологий топологического пространства — абелева группа, состоящая из петель в этом пространстве, рассматриваемых с точностью до гомологичности. Такие петли описывают форму пространства и измеряют количество его дыр. Первая группа гомологий является простейшим вариантом групп гомологий топологического пространства — одного из центральных понятий теории гомологий и алгебраической топологии.