Геоме́трия (от др.-греч. γεωμετρία ← γῆ «земля» + μετρέω «мерить; оценивать», букв. землемерие) — раздел математики, изучающий пространственные структуры и отношения, а также их обобщения[1].
Геометрия как систематическая наука появилась в Древней Греции, её аксиоматические построения описаны в «Началах» Евклида. Евклидова геометрия занималась изучением простейших фигур на плоскости и в пространстве, вычислением их площади и объёма. Предложенный Декартом в 1637 году координатный метод лёг в основу аналитической и дифференциальной геометрии, а задачи, связанные с черчением, привели к созданию начертательной и проективной геометрии. При этом все построения оставались в рамках аксиоматического подхода Евклида. Коренные изменения связаны с работами Лобачевского в 1829 году, который отказался от аксиомы параллельности и создал новую неевклидову геометрию, определив таким образом путь дальнейшего развития науки и создания новых теорий.
Классификация геометрии, предложенная Клейном в «Эрлангенской программе» в 1872 году и содержащая в своей основе инвариантность геометрических объектов относительно различных групп преобразований, сохраняется до сих пор.
Геометрия занимается взаимным расположением тел, которое выражается в прикосновении или прилегании друг к другу, расположением «между», «внутри» и так далее; величиной тел, то есть понятиями о равенстве тел, «больше» или «меньше»; а также преобразованиями тел. Геометрическое тело представляет собой абстракцию ещё со времён Евклида, который полагал, что «линия есть длина без ширины», «поверхность есть то, что имеет длину и ширину». Точка представляет собой абстракцию, связанную с неограниченным уменьшением всех размеров тела, или пределом бесконечного деления. Расположение, размеры и преобразования геометрических фигур определяются пространственными отношениями[2].
Исследуя реальные предметы, геометрия рассматривает только их форму и взаимное расположение, отвлекаясь от других свойств предметов, таких как плотность, вес, цвет. Это позволяет перейти от пространственных отношений между реальными объектами к любым отношениям и формам, возникающим при рассмотрении однородных объектов, и сходным с пространственными. В частности, геометрия позволяет рассматривать расстояния между функциями[1].
Классификацию различных разделов геометрии предложил Феликс Клейн в своей «Эрлангенской программе» (1872). Согласно Клейну, каждый раздел изучает те свойства геометрических объектов, которые сохраняются (инвариантны) при действии некоторой группы преобразований, специфичной для каждого раздела. В соответствии с этой классификацией, в классической геометрии можно выделить следующие основные разделы.