Геоме́трия — раздел математики, изучающий пространственные структуры и отношения, а также их обобщения. В практических задачах геометрия позволяет предсказывать геометрические размеры тела, зная другие геометрические размеры этого тела с помощью известных геометрических законов.
Проекти́вная пло́скость — двумерное проективное пространство. Важным частным случаем является вещественная проективная плоскость.
Стереографи́ческая проекция — отображение определённого типа из сферы с одной выколотой точкой на плоскость.
Геометрия Римана — одна из неевклидовых геометрий постоянной кривизны. Если геометрия Евклида реализуется в пространстве с нулевой гауссовой кривизной, Лобачевского — с отрицательной, то геометрия Римана реализуется в пространстве с постоянной положительной кривизной.
Важное свойство проективной плоскости — «симметрия» ролей, которые играют точки и прямые в определениях и теоремах, и двойственность является формализацией этой концепции. Имеются два подхода к концепции двойственности: один, использующий язык «принципа двойственности», позволяет объявить ряд теорем двойственными друг к другу, при этом двойственная к верной теореме тоже верна; и другой, функциональный подход, основанный на специальном отображении двойственности. Связь между подходами состоит в том, что двойственная теорема получается применением отображения двойственности к каждому объекту исходной. Возможен и координатный подход.
Многообра́зие — локально евклидово пространство.
Пространственная форма — связное полное риманово многообразие постоянной секционной кривизны 
.
Сферическая геометрия — геометрия на сфере. Раздел математики, изучающий геометрические образы на сфере в трёхмерном пространстве, аналогично тому как планиметрия изучает их на двумерном пространстве плоскости.
Конформно-евклидова модель или модель Пуанкаре́ — модель пространства Лобачевского.
SL(2,R) или SL2(R) — это группа вещественных матриц 2 × 2 с единичным определителем:
Эта страница содержит список правильных многомерных многогранников (политопов) и правильных cоединений этих многогранников в евклидовом, сферическом и гиперболическом пространствах разных размерностей.
Комплексная проективная плоскость — двумерное комплексное проективное пространство; является двумерным комплексным многообразием, его вещественная размерность равна 4.
Бирациональная геометрия — это раздел алгебраической геометрии, основной задачей которого является классификация алгебраических многообразий с точностью до бирациональной эквивалентности. Это сводится к изучению отображений, которые задаются рациональными функциями, а не многочленами. Отображение может быть не определено в некоторых точках, являющихся полюсами рациональной функции.
Разду́тие — операция в алгебраической геометрии. В простейшем случае оно, грубо говоря, состоит в замене точки на множество всех прямых, проходящих через неё.
Несобственная точка, идеальная точка, омега-точка или бесконечно удалённая точка — это вполне определённая точка вне гиперболической плоскости или пространства. Если дана прямая l и точка P вне l, то проходящие через P прямые, справа и слева параллельные в пределе к прямой l, сходятся к l в идеальных точках.
Конформная группа пространства — это группа преобразований пространства в себя с сохранением углов. Более формально, это группа преобразований, сохраняющая конформную геометрию пространства.
Маломерная топология — направление в топологии, изучающее многообразия или, в более общем смысле, топологические пространства четырёх или менее размерностей. В частности, к направлению относятся структурная теория 3-многообразий и 4-многообразий, теория узлов и теория кос. Направление можно рассматривать как часть геометрической топологии.
Дифференциа́льная геоме́трия многообра́зий фи́гур — раздел дифференциальной геометрии, который изучает многообразия, образующие элементы которых не точки исходного пространства, а различные фигуры этого пространства.
