ГЕОМЕТРИЯ

ГЕОМЕТРИЯ
(греч. geometria, от ge - Земля и metreo - мерю), раздел математики, изучающий
пространственные отношения и формы, а также другие отношения и формы, сходные
с пространственными по своей структуре.

Происхождение
термина Г.*, что буквально означает землемерие, можно объяснить следующими
словами, приписываемыми др.-греч. учёному Евдему Родосскому (4 в. до н.
э.): Геометрия была открыта египтянами и возникла при измерении Земли.
Это измерение было им необходимо вследствие разлития р. Нил, постоянно
смывавшего границы. Уже у древних греков Г. означала матем. науку, в то
время как для науки об измерении Земли был введён термин геодезия. Судя
по сохранившимся отрывкам древнеегип. сочинений, Г. развилась не только
из измерений Земли, но также из измерений объёмов и поверхностей при земляных
и строит, работах и т. п.

Первоначальные
понятия Г. возникли в результате отвлечения от всяких свойств и отношений
тел, кроме взаимного расположения и величины. Первые выражаются в прикосновении
или прилегании тел друг к другу, в том, что одно тело есть часть другого,
в расположении между, внутри и т. п. Вторые выражаются в понятиях больше,
меньше, в понятии о равенстве тел.

Путём
такого же отвлечения возникает понятие геом. тела. Геом. тело есть абстракция,
в к-рой сохраняются лишь форма и размеры в полном отвлечении от всех других
свойств. При этом Г., как свойственно математике вообще, совершенно отвлекается
от неопределённости и подвижности реальных форм и размеров и считает все
исследуемые ею отношения и формы абсолютно точными и определёнными. Отвлечение
от протяжения тел приводит к понятиям поверхности, линии и точки. Это явно
выражено, напр., в определениях, данных Евклидом: линия есть длина без
ширины, поверхность есть то, что имеет длину и ширину. Точка без всякого
протяжения есть абстракция, отражающая возможность неограниченного уменьшения
всех размеров тела, воображаемый предел его бесконечного деления. Дальше
возникает общее понятие о геом. фигуре, под к-рой понимают не только тело,
поверхность, линию или точку, но и любую их совокупность.

Г.
в первоначальном значении есть наука о фигурах, взаимном расположении п
размерах их частей, а также о преобразованиях фигур. Это определение вполне
согласуется с определением Г. как науки о пространственных формах и отношениях.
Действительно, фигура, как она рассматривается в Г., и есть пространственная
форма; поэтому в Г. говорят, напр., шар, а не тело шарообразной формы;
расположение и размеры определяются пространств, отношениями; наконец,
преобразование, как его понимают в Г., также есть нек-рое отношение между
двумя фигурами - данной и той, в к-рую она преобразуется.

В
современном, более общем смысле, Г. объемлет разнообразные матем. теории,
принадлежность к-рых к Г. определяется не только сходством (хотя порой
и весьма отдалённым) их предмета с обычными пространственными формами и
отношениями, но также тем, что они исторически сложились и складываются
на основе Г. в первоначальном её значении и в своих построениях исходят
из анализа, обобщения и видоизменения её понятий. Г. в этом общем смысле
тесно переплетается с другими разделами математики и её границы не являются
точными. См. разделы Обобщение предмета геометрии и Современная геометрия.

Развитие
геометрии. В развитии
Г. можно указать четыре основных периода, переходы между к-рыми обозначали
качественное изменение Г.

Первый
- период зарождения Г. как матем. науки - протекал в Др. Египте, Вавилоне
и Греции примерно до 5 в. до н. э. Первичные геом. сведения появляются
на самых ранних ступенях развития общества. Зачатками науки следует считать
установление первых общих закономерностей, в данном случае - зависимостей
между геом. величинами. Этот момент не может быть датирован. Самое раннее
сочинение, содержащее зачатки Г., дошло до нас из Др. Египта и относится
примерно к 17 в. до н. э., но и оно, несомненно, не первое. Геом. сведения
того периода были немногочисленны и сводились прежде всего к вычислению
нек-рых площадей и объёмов. Они излагались в виде правил, по-видимому,
в большой мере эмпирич. происхождения, логические же доказательства были,
вероятно, ещё очень примитивными. Г., по свидетельству греч. историков,
была перенесена в Грецию из Египта в 7 в. до н. э. Здесь на протяжении
нескольких поколений она складывалась в стройную систему. Процесс этот
происходил путём накопления новых геом. знаний, выяснения связей между
разными геом. фактами, выработки приёмов доказательств и, наконец, формирования
понятий о фигуре, о геом. предложении и о доказательстве.

Этот
процесс привёл, наконец, к качеств, скачку. Г. превратилась в самостоятельную
матем. науку; появились систематич. её изложения, где её предложения последовательно
доказывались. С этого времени начинается второй период развития Г. Известны
упоминания систематич. изложения Г., среди к-рых данное в 5 в. до н. э.
Гиппократом Хиосским.
Сохранились же п сыграли в дальнейшем решающую
роль появившиеся ок. 300 до н. э. Начала Евклида. З.чесь Г. представлена
так, как её в основном понимают и теперь, если ограничиваться элементарной
геометрией:
это наука о простейших пространственных формах и отношениях,
развиваемая в логич. последовательности, исходя из явно формулированных
осн. положений - аксиом и осн. пространственных представлений. Г., развиваемую
на тех же основаниях (аксиомах), даже уточнённую и обогащённую как в предмете,
так и в методах исследования, наз. евклидовой геометрией. Ещё в
Греции к ней добавляются новые результаты, возникают новые методы определения
площадей и объёмов (Архимед, Зв. до н. э.), учение о копич. сечениях
(Аполлоний Пергский, 3 в. дон. э.), присоединяются начатки тригонометрии
(Гиппарх, 2 в. до н. э.) и Г. на сфере (Менелай, 1 в. н.
э.). Упадок антич. общества привёл к сравнительному застою в развитии Г.,
однако она продолжала развиваться в Индии, в Ср. Азии, в странах араб.
Востока.

Возрождение
наук и искусств в Европе повлекло дальнейший расцвет Г. Принципиально новый
шаг был сделан в 1-й пол. 17 в. Р. Декартом, к-рый ввёл в Г. метод
координат. Метод координат позволил связать Г. с развивавшейся тогда алгеброй
и зарождающимся анализом. Применение методов этих наук в Г. породило аналитическую
Г., а потом и дифференциальную. Г. перешла на качественно новую ступень
по сравнению с Г. древних: в ней рассматриваются уже гораздо более общие
фигуры и используются существенно новые методы. С этого времени начинается
третий период развития Г. Аналитическая геометрия изучает фигуры
и преобразования, задаваемые алгебр, уравнениями в прямоугольных координатах,
используя при этом методы алгебры. Дифференциальная геометрия, возникшая
в 18 в. в результате работ Л. Эйлера, Г. Монжа и др., исследует
уже любые достаточно гладкие кривые линии и поверхности, их семейства (т.
е. их непрерывные совокупности) и преобразования (понятию дифференциальная
Г. придаётся теперь часто более общий смысл, о чём см. в разделе Современная
геометрия). Её назв. связано в основном с её методом, исходящим из дифференциального
исчисления. К 1-й пол. 17 в. относится зарождение проективной геометрии
в работах Ж. Дезарга и Б. Паскаля. Она возникла из задач
изображения тел на плоскости; её первый предмет составляют те свойства
плоских фигур, к-рые сохраняются при проектировании с одной плоскости на
другую из любой точки. Окончат, оформление и систематич. изложение этих
новых направлений Г. были даны в 18 - нач. 19 вв. Эйлером для анали-тич.
Г. (1748), Монжем для дифференциальной Г. (179л). Ж. Понселе для
проективной Г. (1822), причём само учение о геом. изображении (в прямой
связи с задачами черчения) было ещё раньше (1799) развито и приведено в
систему Монжем в виде начертательной геометрии. Во всех этих новых
дисциплинах основы (аксиомы, исходные понятия) Г. оставались неизменными,
круг же изучаемых фигур и их свойств, а также применяемых методов расширялся.

Четвёртый
период в развитии Г. открывается построением Н. И. Лобачевским в
1826 новой, неевклидовой Г., называемой теперь Лобачевского геометрией.
Независимо от Лобачевского в 1832 ту же Г. построил Я. Больяй (те
же идеи развивал К. Гаусс, но он не опубликовал их). Источник, сущность
и значение идей Лобачевского сводятся к следующему. В геометрии Евклида
имеется аксиома о параллельных, утверждающая: через точку, не лежащую на
данной прямой, можно провести не более чем одну прямую, параллельную данной.
Многие геометры пытались доказать эту аксиому, исходя из других основных
посылок геометрии Евклида, но безуспешно. Лобачевский пришёл к мысли, что
такое доказательство невозможно. Утверждение, противоположное аксиоме Евклида,
гласит: через точку, не лежащую на данной прямой, можно провести не одну,
а по крайней мере две параллельные ей прямые. Это и есть аксиома Лобачевского.
По мысли Лобачевского, присоединение этого положения к другим основным
положениям Г. приводит к логически безупречным выводам. Система этих выводов
и образует новую, неевклидову Г. Заслуга Лобачевского состоит в том, что
он не только высказал эту идею, но действительно построил и всесторонне
развил новую Г., логически столь же совершенную и богатую выводами, как
евклидова, несмотря на её несоответствие обычным наглядным представлениям.
Лобачевский рассматривал свою Г. как возможную теорию пространств, отношений;
однако она оставалась гипотетической, пока не был выяснен (в 1868) её реальный
смысл и тем самым было дано её полное обоснование (см. раздел Истолкования
геометрии).

Переворот
в Г., произведённый Лобачевским, по своему значению не уступает ни одному
из переворотов в естествознании, и недаром Лобачевский был назван Коперником
геометрии. В его идеях были намечены три принципа, определившие новое развитие
Г. Первый принцип заключается в том, что логически мыслима не одна евклидова
Г., но и другие геометрии. Второй принцип - это принцип самого построения
новых геом. теорий путём видоизменения и обобщения основных положений евклидовой
Г. Третий принцип состоит в том, что истинность геом. теории, в смысле
соответствия реальным свойствам пространства, может быть проверена лишь
физич. исследованием и не исключено, что такие исследования установят,
в этом смысле, неточность евклидовой Г. Совр. физика подтвердила это. Однако
от этого не теряется матем. точность евклидовой Г., т. к. она определяется
логич. состоятельностью (непротиворечивостью) этой Г. Точно так же в отношении
любой геом. теории нужно различать их физ. и матем. истинность; первая
состоит в проверяемом опытом соответствии действительности, вторая - в
логич. непротиворечивости. Лобачевский дал, т.о., материалистич. установку
философии математики. Перечисленные общие принципы сыграли важную роль
не только в Г., но и в математике вообще, в развитии её аксиоматич. метода,
в понимании её отношения к действительности.

Главная
особенность нового периода в истории Г., начатого Лобачевским, состоит
в развитии новых геом. теорий - новых геометрий и в соответствующем обобщении
предмета Г.; возникает понятие о разного рода пространствах (термин пространство
имеет в науке два смысла: с одной стороны, это обычное реальное пространство,
с другой - абстрактное математическое пространство). При этом одни теории
складывались внутри евклидовой Г. в виде её особых глав и лишь потом получали
самостоятельное значение. Так складывались проективная, аффинная, конформная
Г. и др., предметом к-рых служат свойства фигур, сохраняющиеся при соответствующих
(проективных, аффинных, конформных и др.) преобразованиях. Возникло понятие
проективного, аффинного и конформного пространств; сама евклидова Г. стала
рассматриваться в известном смысле как глава проективной Г. Др. теории,
подобно геометрии Лобачевского, с самого начала строились на основе изменения
и обобщения понятий евклидовой Г. Так, создавалась, напр., многомерная
Г.; первые относящиеся к ней работы (Г. Грасман и А. Кэли, 1844)
представляли формальное обобщение обычной анали-тич. Г. с трёх координат
на п. Нек-рый итог развития всех этих новых геометрий подвёл в 1872
Ф. Клейн, указав общий принцип их построения.

Принципиальный
шаг был сделан Б. Риманом (лекция 1854, опубл. 1867). Во-первых,
он ясно формулировал обобщённое понятие пространства как непрерывной совокупности
любых однородных объектов или явлений (см. раздел Обобщение предмета геометрии).
Во-вторых, он ввёл понятие пространства с любым законом измерения расстояний
бесконечно малыми шагами (подобно измерению длины линии очень малым масштабом).
Отсюда развилась обширная область Г., т. н. риманова геометрия и
её обобщения, нашедшая важные приложения в теории относительности, в механике
и др.

В
тот же период зародилась топология как учение о тех свойствах фигур,
к-рые зависят лишь от взаимного прикосновения их частей и к-рые тем самым
сохраняются при любых преобразованиях, не нарушающих и не вводящих новых
прикосновений, т. е. происходящих без разрывов и склеиваний. В 20 в. топология
развилась в самостоятельную дисциплину.

Так
Г. превратилась в разветвлённую и быстро развивающуюся в разных направлениях
совокупность матем. теорий, изучающих разные пространства (евклидово, Лобачевского,
проективное, римановы и т. д.) и фигуры в этих пространствах.

Одновременно
с развитием новых геом. теорий велась разработка уже сложившихся областей
евклидовой Г.- элементарной, аналитической и дифференциальной Г. Вместе
с тем в евклидовой Г. появились новые направления. Предмет Г. расширился
и в том смысле, что расширился круг исследуемых фигур, круг изучаемых их
свойств, расширилось само понятие о фигуре. На стыке анализа и Г. возникла
в 70-х гг. 19 в. общая теория точечных множеств, к-рая, однако, уже не
причисляется к Г., а составляет особую дисциплину (см. Множеств теория).
Фигура стала определяться в Г. как множество точек. Развитие Г. было
тесно связано с глубоким анализом тех свойств пространства, к-рые лежат
в основе евклидовой Г. Иными словами, оно было связано с уточнением оснований
самой евклидовой Г. Эта работа привела в кон. 19 в. (Д. Гильберт и
др.) к точной формулировке аксиом евклидовой Г., а также других геометрий.

Обобщение
предмета геометрии. Возможность
обобщения и видоизменения геом. понятий легче всего уяснить на примере.
Так, на поверхности шара можно соединять точки кратчайшими линиями - дугами
больших кругов, можно измерять углы и площади, строить различные фигуры.
Их изучение составляет предмет Г. на сфере, подобно тому, как планиметрия
есть Г. на плоскости; Г. на земной поверхности близка к Г. на сфере. Законы
Г. на сфере отличны от законов планиметрии; так, напр., длина окружности
здесь не пропорциональна радиусу, а растёт медленнее и достигает максимума
для экватора; сумма углов треугольника на сфере непостоянна и всегда больше
двух прямых. Аналогично можно на любой поверхности проводить линии, измерять
их длины, углы между ними, определять ограниченные ими площади. Развиваемая
так Г. на поверхности называется её внутренней Г. (К. Гаусс, 1827). На
неравномерно изогнутой поверхности соотношения длин и углов будут различными
в разных местах, следовательно, она будет геометрически неоднородной, в
отличие от плоскости и сферы. Возможность получения разных геом. соотношений
наводит на мысль, что свойства реального пространства могут лишь приближённо
описываться обычной Г. Эта идея, впервые высказанная Лобачевским, нашла
подтверждение в общей теории относительности. Более широкая возможность
обобщения понятий Г. выясняется из следующего рассуждения. Обычное реальное
пространство понимают в Г. как непрерывную совокупность точек, т. е. всех
возможных предельно точно определённых местоположений предельно малого
тела. Аналогично непрерывную совокупность возможных состояний к.-л. материальной
системы, непрерывную совокупность к.-л. однородных явлений можно трактовать
как своего рода пространство. Вот один из примеров. Опыт показывает, что
нормальное человеческое зрение трёхцветно, т. е. всякое цветовое ощущение
Ц есть комбинация - сумма трёх основных ощущений: красного К, зелёного
3 и синего С, с определёнными интенсивностями. Обозначая эти интенсивности
в нек-рых единицах через х, у, z, можно написать Ц = х К
+ yЗ+zC. Подобно тому, как точку можно двигать в пространстве
вверх и вниз, вправо и влево, вперёд и назад, так и ощущение цвета Ц может
непрерывно меняться в трёх направлениях с изменением составляющих его частей
- красного, зелёного и синего. По аналогии можно сказать, что совокупность
всех цветов есть трёхмерное пространство - пространство цветов. Непрерывное
изменение цвета можно изображать как линию в этом пространстве. Далее,
если даны два цвета, напр, красный К и белый Б, то, смешивая их в разных
пропорциях, получают непрерывную последовательность цветов, которую можно
назвать прямолинейным отрезком КБ. Представление о том, что розовый цвет
Р лежит между красным и белым и что более густой розовый лежит ближе к
красному, не требует разъяснения. Т. о., возникают понятия о простейших
пространственных формах (линия, отрезок) и отношениях (между, ближе) в
пространстве цветов. Далее, можно ввести точное определение расстояния
(напр., по числу порогов различения, к-рое можно проложить между двумя
цветами), определить поверхности и области цветов, подобно обычным поверхностям
и геом. телам, и т. д. Так возникает учение о пространстве цветов, к-рое
путём обобщения геом. понятий отражает реальные свойства цветного зрения
человека (см. Колориметрия).

Другой
пример. Состояние газа, находящегося в цилиндре под поршнем, определяется
давлением и темп-рой. Совокупность всех возможных состояний газа можно
представлять поэтому как двумерное пространство. Точками этого пространства
служат состояния газа; точки различаются двумя координатами - давлением
и темп-рой, подобно тому как точки на плоскости различаются значениями
их координат. Непрерывное изменение состояния изображается линией в этом
пространстве.

Далее,
можно представить себе любую материальную систему - механическую или физико-химическую.
Совокупность всех возможных состояний этой системы называют фазовым пространством.
Точками этого пространства являются сами состояния. Если состояние системы
определяется п величинами, то говорят, что система имеет п степеней
свободы. Эти величины играют роль координат точки-состояния, как в примере
с газом роль координат играли давление и темп-ра. В соответствии с этим
такое фазовое пространство системы наз. к-мерным. Изменение состояния изображается
линией в этом пространстве; отд. области состояний, выделяемые по тем или
иным признакам, будут областями фазового пространства, а границы областей
будут поверхностями в этом пространстве. Если система имеет только две
степени свободы, то её состояния можно изображать точками на плоскости.
Так, состояние газа с давлением р и темп-рой Т изобразится
точкой с координатами р и Т, а процессы, происходящие с газом,
изобразятся линиями на плоскости. Этот метод графич. изображения общеизвестен
и постоянно используется в физике и технике для наглядного представления
процессов и их закономерностей. Но если число степеней свободы больше 3,
то простое графическое изображение (даже в пространстве) становится невозможным.
Тогда, чтобы сохранить полезные геом. аналогии, прибегают к представлению
об абстрактном фазовом пространстве. Так, наглядные графич. методы перерастают
в это абстрактное представление. Метод фазовых пространств широко применяется
в механике, теоретич. физике и физ. химии. В механике движение механич.
системы изображают движением точки в её фазовом пространстве. В физ. химии
особенно важно рассматривать форму и взаимное прилегание тех областей фазового
пространства системы из неск. веществ, к-рые соответствуют качественно
различным состояниям. Поверхности, разделяющие эти области, суть поверхности
переходов от одного качества к другому (плавление, кристаллизация и т.
п.). В самой Г. также рассматривают абстрактные пространства, точками к-рых
служат фигуры; так определяют пространства кругов, сфер, прямых и т. п.
В механике и теории относительности вводят также абстрактное четырёхмерное
пространство, присоединяя к трём пространственным координатам время в качестве
четвёртой координаты. Это означает, что события нужно различать не только
по положению в пространстве, но и во времени.

Т.
о., становится понятным, как непрерывные совокупности тех или иных объектов,
явлений, состояний могут подводиться под обобщённое понятие пространства.
В таком пространстве можно проводить линии, изображающие непрерывные последовательности
явлений (состояний), проводить поверхности и определять подходящим образом
расстояния между точками, давая тем самым количеств, выражение физ. понятия
о степени различия соответствующих явлений (состояний), и т. п. Так по
аналогии с обычной Г. возникает геометрия абстрактного пространства; последнее
может даже мало походить на обычное пространство, будучи, напр., неоднородным
по своим геом. свойствам и конечным, подобно неравномерно искривлённой
замкнутой поверхности.

Предметом
Г. в обобщённом смысле оказываются не только пространств, формы и отношения,
но любые формы и отношения, к-рые, будучи взяты в отвлечении от своего
содержания, оказываются сходными с обычными пространств, формами и отношениями.
Эти пространственно-подобные формы действительности называют пространствами
и фигурами. Пространство в этом смысле есть непрерывная совокупность однородных
объектов, явлений, состояний, к-рые играют роль точек пространства, причём
в этой совокупности имеются отношения, сходные с обычными пространств,
отношениями, как, напр., расстояние между точками, равенство фигур и т.
п. (фигура - вообще часть пространства). Г. рассматривает эти формы действительности
в отвлечении от конкретного содержания, изучение же конкретных форм и отношений
в связи с их качественно своеобразным содержанием составляет предмет других
наук, а Г. служит для них методом. Примером может служить любое приложение
абстрактной Г., хотя бы указанное выше применение n-мерного пространства
в физ. химии. Для Г. характерен такой подход к объекту, к-рый состоит в
обобщении и перенесении на новые объекты обычных геом. понятий и наглядных
представлений. Именно это и делается в приведённых выше примерах пространства
цветов и др. Этот геом. подход вовсе не является чистой условностью, а
соответствует самой природе явлений. Но часто одни и те же реальные факты
можно изображать аналитически или геометрически, как одну и ту же зависимость
можно задавать уравнением или линией на графике.

Не
следует, однако, представлять развитие Г. так, что она лишь регистрирует
и описывает на геом. языке уже встретившиеся на практике формы и отношения,
подобные пространственным. В действительности Г. определяет широкие классы
новых пространств и фигур в них, исходя из анализа и обобщения данных наглядной
Г. и уже сложившихся геом. теорий. При абстрактном определении эти пространства
и фигуры выступают как возможные формы действительности. Они, стало быть,
не являются чисто умозрительными конструкциями, а должны служить, в конечном
счёте, средством исследования и описания реальных фактов. Лобачевский,
создавая свою Г., считал её возможной теорией пространств, отношений. И
так же как его Г. получила обоснование в смысле её логич. состоятельности
и применимости к явлениям природы, так и всякая абстрактная геом. теория
проходит такую же двойную проверку. Для проверки логич. состоятельности
существенное значение имеет метод построения матем. моделей новых пространств.
Однако окончательно укореняются в науке только те абстрактные понятия,
к-рьге оправданы и построением искусств, модели, и применениями, если не
прямо в естествознании и технике, то хотя бы в др. матем. теориях, через
к-рые эти понятия так или иначе связываются с действительностью. Лёгкость,
с к-рой математики и физики оперируют теперь разными пространствами, достигнута
в результате долгого развития Г. в тесной связи с развитием математики
в целом и других точных наук. Именно вследствие этого развития сложилась
и приобрела большое значение вторая сторона Г., указанная в общем определении,
данном в начале статьи: включение в Г. исследования форм и отношений, сходных
с формами и отношениями в обычном пространстве.

В
качестве примера абстрактной геом. теории можно рассмотреть Г. к-мерного
евклидова пространства. Она строится путём простого обобщения основных
положений обычной Г., причём для этого имеется неск. возможностей: можно,
напр., обобщать аксиомы обычной Г., но можно исходить и из задания точек
координатами. При втором подходе n-мерное пространство определяют как множество
к.-л. элементов-точек, задаваемых (каждая) п числами xxрасположенными в определённом порядке,-
координатами точек. Далее, расстояние между точками X= хи Х'= (х'х' определяется формулой:





что
является прямым обобщением известной формулы для расстояния в трёхмерном
пространстве. Движение определяют как преобразование фигуры, к-рое не изменяет
расстояний между её точками. Тогда предмет и-мерной Г. определяется как
исследование тех свойств фигур, к-рые не меняются при движениях. На этой
основе легко вводятся понятия о прямой, о плоскостях различного числа измерений
от двух до п - 1, о шаре и т. д. Т. о. складывается богатая содержанием
теория, во многом аналогичная обычной евклидовой Г., но во многом и отличная
от неё. Нередко бывает, что результаты, полученные для трёхмерного пространства,
легко переносятся с соответствующими изменениями на пространство любого
числа, измерений. Напр., теорема о том, что среди всех тел одинакового
объёма наименьшую площадь поверхности имеет шар, читается дословно так
же в пространстве любого числа измерений [нужно лишь иметь в виду n-мерный
объём, (п-1)-мерную площадь и n-мерный шар, к-рые определяются вполне
аналогично соответствующим понятиям обычной Г.]. Далее, в n-мерном пространстве
объём призмы равен произведению площади основания на высоту, а объём пирамиды
- такому произведению, делённому на п. Такие примеры можно продолжить.
С др. стороны, в многомерных пространствах обнаруживаются также качественно
новые факты.

Истолкования
геометрии. Одна и та же геом. теория допускает разные приложения, разные
истолкования (осуществления, модели, или интерпретации). Всякое приложение
теории и есть не что иное, как осуществление нек-рых её выводов в соответствующей
области явлений.

Возможность
разных осуществлений является общим свойством всякой матем. теории. Так,
арифметич. соотношения реализуются на самых различных наборах предметов;
одно и то же ур-ние описывает часто совсем разные явления. Математика рассматривает
лишь форму явления, отвлекаясь от содержания, а с точки зрения формы многие
качественно различные явления оказываются часто сходными. Разнообразие
приложений математики и, в частности, Г. обеспечивается именно её абстрактным
характером. Считают, что нек-рая система объектов (область явлений) даёт
осуществление теории, если отношения в этой области объектов могут быть
описаны на языке теории так, что каждое утверждение теории выражает тот
или иной факт, имеющий место в рассматриваемой области. В частности, если
теория строится на основе нек-рой системы аксиом, то истолкование этой
теории состоит в таком сопоставлении её понятий с нек-рыми объектами и
их отношениями, при к-ром аксиомы оказываются выполненными для этих объектов.

Евклидова
Г. возникла как отражение фактов действительности. Её обычная интерпретация,
в к-рой прямыми считаются натянутые нити, движением - механич. перемещение
и т. д., предшествует Г. как матем. теории. Вопрос о других интерпретациях
не ставился и не мог быть поставлен, пока не выявилось более абстрактное
понимание геометрии. Лобачевский создал неевклидову Г. как возможную геометрию,
и тогда возник вопрос о её реальном истолковании. Эта задача была решена
в 1868 Э. Белътрами, к-рый заметил, что геометрия Лобачевского совпадает
с внутр. Г. поверхностей постоянной отрицательной кривизны, т. е. теоремы
геометрии Лобачевского описывают геом. факты на таких поверхностях (при
этом роль прямых выполняют геодезич. линии, а роль движений - изгибания
поверхности на себя). Поскольку вместе с тем такая поверхность есть объект
евклидовой Г., оказалось, что геометрия Лобачевского истолковывается в
понятиях геометрии Евклида. Тем самым была доказана непротиворечивость
геометрии Лобачевского, т. к. противоречие в ней в силу указанного истолкования
влекло бы противоречие в геометрии Евклида.

Т.
о., выясняется двоякое значение истолкования геом. теории - физическое
и математическое. Если речь идёт об истолковании на конкретных объектах,
то получается опытное доказательство истинности теории (конечно, с соответствующей
точностью); если же сами объекты имеют абстрактный характер (как геом.
поверхность в рамках геометрии Евклида), то теория связывается с другой
матем. теорией, в данном случае с евклидовой Г., а через неё с суммированными
в ней опытными данными. Такое истолкование одной матем. теории посредством
другой стало матем. методом обоснования новых теорий, приёмом доказательства
их непротиворечивости, поскольку противоречие в новой теории порождало
бы противоречие в той теории, в к-рой она интерпретируется. Но теория,
посредством к-рой производится истолкование, в свою очередь, нуждается
в обосновании. Поэтому указанный матем. метод не снимает того, что окончательным
критерием истины для матем. теорий остаётся практика. В наст, время геом.
теории чаще всего истолковываю аналитически; напр., точки на плоскости
Лобачевского можно связывать с парами чисел х и у, прямые-определять
ур-ния-ми и т. п. Этот приём даёт обоснование теории потому, что сам матем.
анализ обоснован, в конечном счёте, огромной практикой его применения.

Современная
геометрия. Принятое в совр. математике формально-матем. определение понятий
пространства и фигуры исходит из понятия множества (см. Множеств теория).
Пространство определяется как множество к.-л. элементов (точек) с условием,
что в этом множестве установлены нек-рые отношения, сходные с обычными
пространств, отношениями. Множество цветов, множество состояний физ. системы,
множество непрерывных функций, заданных на отрезке [0,1], и т. п. образуют
пространства, где . точками будут цвета, состояния, функции. Точнее, эти
множества понимаются как пространства, если в них фиксируются только соответствующие
отношения, напр, расстояние между точками, и те свойства и отношения, к-рые
через них определяются. Так, расстояние между функциями можно определить
как максимум абс. величины их разности: max\f(x)-q(х)\. Фигура определяется
как произвольное множество точек в данном пространстве. (Иногда пространство
- это система из множеств элементов. Напр., в проективной Г. принято рассматривать
точки, прямые и плоскости как равноправные исходные геом. объекты, связанные
отношениями соединения.)

Основные
типы отношений, к-рые в разных комбинациях приводят ко всему разнообразию
пространств совр. Г., следующие:

1)
Общими отношениями, имеющимися во всяком множестве, являются отношения
принадлежности и включения: точка принадлежит множеству, и одно множество
есть часть другого. Если приняты во внимание только эти отношения, то в
множестве не определяется ещё никакой геометрии, оно не становится пространством.
Однако, если выделены нек-рые спец. фигуры (множества точек), то геометрия
пространства может определяться законами связи точек с этими фигурами.
Такую роль играют аксиомы сочетания в элементарной, аффинной, проективной
Г.; здесь специальными множествами служат прямые и плоскости.

Тот
же принцип выделения нек-рых спец. множеств позволяет определить понятие
топологич. пространства - пространства, в к-ром в качестве спец. множеств
выделены окрестности точек (с условием, что точка принадлежит своей окрестности
и каждая точка имеет хотя бы одну окрестность; наложение на окрестности
дальнейших требований определяет тот или иной тип топологич. пространств).
Если всякая окрестность заданной точки имеет общие точки с нек-рым множеством,
то такая точка наз. точкой прикосновения этого множества. Два множества
можно назвать соприкасающимися, если хотя бы одно из них содержит точки
прикосновения другого; пространство или фигура будет непрерывной, или,
как говорят, связной, если её нельзя разбить на две несоприкасающиеся части;
преобразование непрерывно, если оно не нарушает соприкосновений. Т. о.,
понятие топологич. пространства служит для матем. выражения понятия непрерывности.
[Топологич. пространство можно определить также другими спец. множествами
(замкнутыми, открытыми) или непосредственно отношением прикосновения, при
к-ром любому множеству точек ставятся в соответствие его точки прикосновения.]
Топология, пространства как таковые, множества в них и их преобразования
служат предметом топологии. Предмет собственно Г. (в значительной её части)
составляет исследование топологич. пространств и фигур в них, наделённых
ещё дополнит, свойствами.

2)
Второй важнейший принцип определения тех или иных пространств и их исследования
представляет введение координат. Многообразием называется такое (связное)
топологич. пространство, в окрестности каждой точки к-рого можно ввести
координаты, поставив точки окрестности во взаимно однозначное и взаимно
непрерывное соответствие с системами из п действительных чисел xxЧисло п есть число измерений
многообразия. Пространства, изучаемые в большинстве геом. теорий, являются
многообразиями; простейшие геом. фигуры (отрезки, части поверхностей, ограниченные
кривыми, и т.п.) обычно - куски многообразий. Если среди всех систем координат,
к-рые можно ввести в кусках многообразия, выделяются системы координат
такого рода, что одни координаты выражаются через другие дифференцируемыми
(то или иное число раз) или аналитич. функциями, то получают т. н. гладкое
(аналитическое) многообразие. Это понятие обобщает наглядное представление
о гладкой поверхности. Гладкие многообразия как таковые составляют предмет
т. н. дифференциальной топологии. В собственно Г. они наделяются дополнит,
свойствами. Координаты с принятым условием дифференцируемоcти их преобразований
дают почву для широкого применения аналитич. методов - дифференциального
и интегрального исчисления, а также векторного и тензорного анализа (см.
Векторное исчисление, Тензорное исчисление). Совокупность теорий
Г., развиваемых этими методами, образует общую дифференциальную Г.; простейшим
случаем её служит классич. теория гладких кривых и поверхностей, к-рые
представляют собою не что иное, как одно- и двумерные дифференцируемые
многообразия.

3)
Обобщение понятия движения как преобразования одной фигуры в другую приводит
к общему принципу определения разных пространств, когда пространством считается
множество элементов (точек), в котором задана группа взаимно однозначных
преобразований этого множества на себя. Геометрия такого пространства состоит
в изучении тех свойств фигур, которые сохраняются при преобразованиях из
этой группы. Поэтому с точки зрения такой Г. фигуры можно считать равными,
если одна переходит в другую посредством преобразования из данной группы.
Напр., евклидова Г. изучает свойства фигур, сохраняющиеся при движениях,
аффинная Г. - свойства фигур, сохраняющиеся при аффинных преобразованиях,
топология - свойства фигур, сохраняющиеся при любых взаимно однозначных
и непрерывных преобразованиях. В эту же схему включаются геометрия Лобачевского,
проективная Г. и др. Фактически этот принцип соединяется с введением координат.
Пространство определяется как гладкое многообразие, в к-ром преобразования
задаются функциями, связывающими координаты каждой данной точки и той,
в к-рую она переходит (координаты образа точки задаются как функции координат
самой точки и параметров, от к-рых зависит преобразование; напр., аффинные
преобразования определяются как линейные: х'= a+ а+
a=1, ...,п). Поэтому
общим аппаратом разработки таких геометрий служит теория непрерывных групп
преобразований. Возможна другая, по существу эквивалентная, точка зрения,
согласно к-рой задаются не преобразования пространства, а преобразования
координат в нём, причём изучаются те свойства фигур, к-рые одинаково выражаются
в разных системах координат. Эта точка зрения нашла применение в теории
относительности, к-рая требует одинакового выражения физ. законов в разных
системах координат, наз. в физике системами отсчёта.

4)
Другой общий принцип определения пространств, указанный в 1854 Риманом,
исходит из обобщения понятия о расстоянии. По Риману, пространство - это
гладкое многообразие, в к-ром задан закон измерения расстояний, точнее
длин, бесконечно малыми шагами, т. е. задаётся дифференциал длины дуги
кривой как функция координат точки кривой и их дифференциалов. Это есть
обобщение внутр. Г. поверхностей, определённой Гауссом как учение о свойствах
поверхностей, к-рые могут быть установлены измерением длин кривых на ней.
Простейший случай представляют т. н. римановы пространства, в к-рых в бесконечно
малом имеет место теорема Пифагора (т. е. в окрестности каждой точки можно
ввести координаты так, что в этой точке квадрат дифференциала длины дуги
будет равен сумме квадратов дифференциалов координат; в произвольных же
координатах он выражается общей положительной квадратичной формой; см.
Римановы геометрии). Такое пространство, следовательно, евклидово
в бесконечно малом, но в целом оно может не быть евклидовым, подобно тому
как кривая поверхность лишь в бесконечно малом может быть сведена к плоскости
с соответствующей точностью. Геометрии Евклида и Лобачевского оказываются
частным случаем этой римановой Г. Наиболее широкое обобщение понятия расстояния
привело к понятию общего метрич. пространства как такого множества элементов,
в к-ром задана метрика, т. е. каждой паре элементов отнесено число - расстояние
между ними, подчинённое только очень общим условиям. Эта идея играет важную
роль в функциональном анализе и лежит в основе нек-рых новейших
геом. теорий, таких, как внутр. Г. негладких поверхностей и соответствующие
обобщения римановой Г.

5)
Соединение идеи Римана об определении геометрии в бесконечно малых областях
многообразия с определением геометрии посредством группы преобразований
привело (Э. Картан, 1922-25) к понятию о таком пространстве, в котором
преобразования задаются лишь в бесконечно малых областях; иными словами,
здесь преобразования устанавливают связь только бесконечно близких кусков
многообразия: один кусок преобразуется в другой, бесконечно близкий. Поэтому
говорят о пространствах со связностью того или иного типа. В частности,
пространства с евклидовой связностью суть римановы. Дальнейшие обобщения
восходят к понятию о пространстве как о гладком многообразии, на к-ром
задано вообще поле к.-л. объекта, к-рым может служить квадратичная форма,
как в римановой Г., совокупность величин, определяющих связность, тот или
иной тензор и др. Сюда же можно отнести введённые в недавнее время т. н.
расслоенные пространства. Эти концепции включают, в частности, связанное
с теорией относительности обобщение римановой Г., когда рассматриваются
пространства, где метрика задаётся уже не положительной, а знакопеременной
квадратичной формой (такие пространства также наз. римановыми, или псевдоримановыми,
если хотят отличить их от римановых в первоначальном смысле). Эти пространства
являются пространствами со связностью, определённой соответствующей группой,
отличной от группы евклидовых движений.

На
почве теории относительности возникла теория пространств, в к-рых определено
понятие следования точек, так что каждой точке X отвечает множество
V(X) следующих за нею точек. (Это является естественным матем. обобщением
следования событий, определённого тем, что событие У следует за событием
X, если X воздействует на У, и тогда У следует за X во
времени в любой системе отсчёта.) Т. к. само задание множеств V определяет
точки, следующие за X, как принадлежащие множеству V(X), то
определение этого типа пространств оказывается применением первого из перечисленных
выше принципов, когда геометрия пространства определяется выделением спец.
множеств. Конечно, при этом множества V должны быть подчинены соответствующим
условиям; в простейшем случае - это выпуклые конусы. Эта теория включает
теорию соответствующих псевдоримановых пространств.

6)
Аксиоматич. метод в его чистом виде служит теперь либо для оформления уже
готовых теорий, либо для определения общих типов пространств с выделенными
специальными множествами. Если же тот или иной тип более конкретных пространств
определяют, формулируя их свойства как аксиомы, то используют либо координаты,
либо метрику и др. Непротиворечивость и тем самым осмысленность аксиоматич.
теории проверяется указанием модели, на к-рой она реализуется, как это
впервые было сделано для геометрии Лобачевского. Сама модель строится из
абстрактных матем. объектов, поэтому окончательное обоснование любой геом.
теории уходит в область оснований математики вообще, к-рые не могут быть
окончательными в полном смысле, но требуют углубления (см. Математика,
Аксиоматический метод).


Перечисленные
принципы в разных сочетаниях и вариациях порождают обширное разнообразие
геом. теорий. Значение каждой из них и степень внимания к её задачам определяются
содержательностью этих задач и получаемых результатов, её связями с др.
теориями Г., с др. областями математики, с точным естествознанием и задачами
техники. Каждая данная геом. теория определяется среди других геом. теорий,
во-первых, тем, какое пространство или какого типа пространства в ней рассматриваются.
Во-вторых, в определение теории входит указание на исследуемые фигуры.
Так различают теории многогранников, кривых, поверхностей, выпуклых тел
и т. д. Каждая из этих теорий может развиваться в том или ином пространстве.
Напр., можно рассматривать теорию многогранников в обычном евклидовом пространстве,
в n-мерном евклидовом пространстве, в пространстве Лобачевского и др. Можно
развивать обычную теорию поверхностей, проективную, в пространстве Лобачевского
и т. д. В-третьих, имеет значение характер рассматриваемых свойств фигур.
Так, можно изучать свойства поверхностей, сохраняющиеся при тех или иных
преобразованиях;можно различать учение о кривизне поверхностей, учение
об изгибаниях (т. е. о деформациях, не меняющих длин кривых на поверхности),
внутреннюю Г. Наконец, в определение теории можно включать её осн. метод
и характер постановки задач. Так различают Г.: элементарную, аналитическую,
дифференциальную;напр., можно говорить об элементарной или аналитич. Г.
пространства Лобачевского. Различают Г. в малом, рассматривающую лишь свойства
сколь угодно малых кусков геом. образа (кривой, поверхности, многообразия),
от Г. в целом, изучающей, как ясно из её названия, геом. образы в целом
на всём их протяжении. Очень общим является различение аналитич.
методов и методов синтетич. Г. (или собственно геом. методов); первые используют
средства соответствующих исчис-лений: дифференциального, тензорного и др.,
вторые оперируют непосредственно геом. образами.

Из
всего разнообразия геом. теорий фактически более всего развиваются
n-мерная евклидова Г. и риманова (включая псевдориманову) Г. В первой разрабатывается,
в особенности, теория кривых и поверхностей (и гиперповерхностей разного
числа измерений), причём особое развитие получает исследование поверхностей
в целом и поверхностей, существенно более общих, чем гладкие, изучавшиеся
в классич. дифференциальной Г.; сюда же включаются многогранники (многогранные
поверхности). Затем нужно назвать теорию выпуклых тел, к-рая, впрочем,
в большой части может быть отнесена к теории поверхностей в целом, т. к.
тело определяется своей поверхностью. Далее - теория правильных систем
фигур, т. е. допускающих движения, переводящие всю систему саму в себя
и к.-л. её фигуру в любую другую (см. Фёдоровские группы). Можно
отметить, что значительное число важнейших результатов в этих областях
принадлежат сов. геометрам: очень полная разработка теории выпуклых поверхностей
и существенное развитие теории общих невыпуклых поверхностей, разнообразные
теоремы о поверхностях в целом (существования и единственности выпуклых
поверхностей с заданной внутр. метрикой или с заданной той или иной функцией
кривизны, теорема о невозможности существования полной поверхности с кривизной,
всюду меньшей к.-л. отрицательного числа, и др.), исследование правильного
деления пространства и др.

В
теории римановых пространств исследуются вопросы, касающиеся связи их метрич.
свойств с топологич. строением, поведение геодезич. (кратчайших на малых
участках) линий в целом, как, напр., вопрос о существовании замкнутых геодезических,
вопросы погружения, т. е. реализации данного m-мерного риманова пространства
в виде ти-мерной поверхности в евклидовом пространстве к.-л. числа измерений,
вопросы псевдо-римановой Г., связанные с общей теорией относительности,
и др. К этому можно добавить развитие разнообразных обобщений римановой
Г. как в духе общей дифференциальной Г., так и в духе обобщений синтетич.
Г.

В
дополнение следует упомянуть алгебраическую геометрию, развившуюся
из аналитич. Г. и исследующую прежде всего геом. образы, задаваемые алгебр,
ур-ниями; она занимает особое место, т. к. включает не только геометрические,
но также алгебр, и арифметич. проблемы. Существует также обширная и важная
область исследования бесконечномерных пространств, к-рая, однако, не причисляется
к Г., а включается в функциональный анализ, т. к. бесконечномерные пространства
конкретно определяются как пространства, точками к-рых служат те или иные
функции. Тем не менее в этой области есть много результатов и проблем,
носящих подлинно геом. характер и к-рые поэтому следует относить к Г.

Значение
геометрии. Применение
евклидовой Г. представляет самое обычное явление всюду, где определяются
площади, объёмы и т. п. Вся техника, поскольку в ней играют роль формы
и размеры тел, пользуется евклидовой Г. Картография, геодезия, астрономия,
все графич. методы, механика немыслимы без Г. Ярким примером является открытие
И. Кеплером факта вращения планет по эллипсам; он мог воспользоваться
тем, что эллипс был изучен ещё древними геометрами. Глубокое применение
Г. представляет геом. кристаллография, послужившая источником и областью
приложения теории правильных систем фигур (см. Кристаллография).

Более
отвлечённые геометрические теории находят широкое применение в механике
и физике, когда совокупность состояний к.-л. системы рассматривается как
нек-рое пространство (см. раздел Обобщение предмета геометрии). Так, все
возможные конфигурации (взаимное расположение элементов) механич. системы
образуют конфигурационное пространство; движение системы изображается движением
точки в этом пространстве. Совокупность всех состояний физ. системы (в
простейшем случае - положения и скорости образующих систему материальных
точек, напр, молекул газа) рассматривается как фазовое пространство системы.
Эта точка зрения находит, в частности, применение в статистической физике
и др.

Впервые
понятие о многомерном пространстве зародилось в связи с механикой ещё у
Ж. Лагранжа, когда к трём пространств, координатам х, у, z в
качестве четвёртой формально присоединяется время t. Так появляется
четырёхмерное пространство - время, где точка определяется четырьмя координатами
х, у, z, t. Каждое событие характеризуется этими четырьмя координатами
и, отвлечённо, множество всех событий в мире оказывается четырёхмерным
пространством. Этот взгляд получил развитие в геом. трактовке теории относительности,
данной Г. Минковским, а потом в построении А. Эйнштейном общей
теории относительности. В ней он воспользовался четырёхмерной римановой
(псевдоримановой) Г. Так геом. теории, развившиеся из обобщения данных
пространственного опыта, оказались матем. методом построения более глубокой
теории пространства и времени. В свою очередь теория относительности дала
мощный толчок развитию общих геом. теорий. Возникнув из элементарной практики,
Г. через ряд абстракций и обобщений возвращается к естествознанию и практике
на более высокой ступени в качестве метода.

С
геом. точки зрения многообразие пространства - времени обычно трактуется
в общей теории относительности как неоднородное римановского типа, но с
метрикой, определяемой знакопеременной формой, приводимой в бесконечно
малой области к виду




-
скорость света в вакууме). Само пространство, поскольку его можно
отделить от времени, оказывается также неоднородным римановым. С совр.
геом. точки зрения лучше смотреть на теорию относительности следующим образом.
Специальная теория относительности утверждает, что многообразие пространства
- времени есть псевдоевклидово пространство, т. е. такое, в к-ром роль
движений играют преобразования, сохраняющие квадратичную форму

точнее,
это есть пространство с группой преобразований, сохраняющих указанную квадратичную
форму. От всякой формулы, выражающей физ. закон, требуется, чтобы она не
менялась при преобразованиях группы этого пространства, к-рые суть так
называемые преобразования Лоренца. Согласно же общей теории относительности,
многообразие пространства - времени неоднородно и лишь в каждой бесконечно
малой области сводится к псевдоевклидову, т. е. оно есть пространство картановского
типа (см. раздел Современная геометрия). Однако такое понимание стало возможно
лишь позже, т. к. само понятие о пространствах такого типа появилось после
теории относительности и было развито под её прямым влиянием.

В
самой математике положение и роль Г. определяются прежде всего тем, что
через неё в математику вводилась непрерывность. Математика как наука о
формах действительности сталкивается прежде всего с двумя общими формами:
дискретностью и непрерывностью. Счёт отдельных (дискретных) предметов даёт
арифметику, пространств. непрерывность изучает Г. Одним из осн. противоречий,
движущих развитие математики, является столкновение дискретного и непрерывного.
Уже деление непрерывных величин на чарти и измерение представляют сопоставление
дискретного и непрерывного: напр., масштаб откладывается вдоль измеряемого
отрезка отд. шагами. Противоречие выявилось с особой ясностью, когда в
Др. Греции (вероятно, в 5 в. до н. э.) была открыта несоизмеримость стороны
и диагонали квадрата: длина диагонали квадрата со стороной 1 не выражалась
никаким числом, т. к. понятия иррационального числа не существовало. Потребовалось
обобщение понятия числа - создание понятия иррационального числа (что было
сделано лишь много позже в Индии). Общая же теория иррациональных чисел
была создана лишь в 70-х гг. 19 в. Прямая (а вместе с нею и всякая фигура)
стала рассматриваться как множество точек. Теперь эта точка зрения является
господствующей. Однако затруднения теории множеств показали её ограниченность.
Противоречие дискретного и непрерывного не может быть полностью снято.

Общая
роль Г. в математике состоит также в том, что с нею связано идущее от пространственных
представлений точное синтетич. мышление, часто позволяющее охватить в целом
то, что достигается анализом и выкладками лишь через длинную цепь шагов.
Так, Г. характеризуется не только своим предметом, но и методом, идущим
от наглядных представлений и оказывающимся плодотворным в решении многих
проблем др. областей математики. В свою очередь, Г. широко использует их
методы. Т. о., одна и та же матем. проблема может сплошь и рядом трактоваться
либо аналитически, либо геометрически, или в соединении обоих методов.

В
известном смысле, почти всю математику можно рассматривать как развивающуюся
из взаимодействия алгебры (первоначально арифметики) и Г., а в смысле метода
- из сочетания выкладок и геом. представлений. Это видно уже в понятии
совокупности всех вещественных чисел как числовой прямой, соединяющей арифметич.
свойства чисел с непрерывностью. Вот нек-рые осн. моменты влияния Г. в
математике.

1)
В возникновении и развитии анализа Г. наряду с механикой имела решающее
значение. Интегрирование происходит от нахождения площадей и объёмов, начатого
ещё древними учёными, причём площадь и объём как величины считались определёнными;
никакое аналитич. определение интеграла не давалось до 1-й пол. 19 в. Проведение
касательных было одной из задач, породивших дифференцирование. Графич.
представление функций сыграло важную роль в выработке понятий анализа и
сохраняет своё значение. В самой терминологии анализа виден геом. источник
его понятий, как, напр., в терминах: точка разрыва, область изменения переменной
и т. п. Первый курс анализа, написанный в 1696 Г. Лопиталем, назывался:
Анализ бесконечно малых для понимания кривых линий. Теория дифференциальных
ур-ний в большей части трактуется геометрически (интегральные кривые и
т. п.). Вариационное исчисление возникло и развивается в большой
мере на задачах Г., и её понятия играют в нём важную роль.

2)
Комплексные числа окончательно утвердились в математике на рубеже 18- 19
вв. только вследствие сопоставления их с точками плоскости, т. е. путём
построения комплексной плоскости. В теории функций комплексного переменного
геом. методам отводится существенная роль. Само понятие аналитич. функции
w = f(z) комплексного переменного может быть определено чисто геометрически:
такая функция есть конформное отображение плоскости z (или области
плоскости z) в плоскость w. Понятия и методы римановой Г. находят
применение в теории функций нескольких комплексных переменных.

3)
Осн. идея функционального анализа состоит в том, что функции данного класса
(напр., все непрерывные функции, заданные на отрезке [0,1]) рассматриваются
как точки функционального пространства, причём отношения между функциями
истолковываются как геом. отношения между соответствующими точками (напр.,
сходимость функций истолковывается как сходимость точек, максимум абсолютной
величины разности функций - как расстояние, и т. п.). Тогда многие вопросы
анализа получают геом. освещение, оказывающееся во многих случаях очень
плодотворным. Вообще, представление тех или иных матем. объектов (функций,
фигур и др.) как точек нек-poro пространства с соответствующим геом. толкованием
отношений этих объектов является одной из наиболее общих и плодотворных
идей совр. математики, проникшей почти во все её разделы.

4)
Г. оказывает влияние на алгебру и даже на арифметику - теорию чисел. В
алгебре используют, напр., понятие векторного пространства. В теории чисел
создано геом. направление, позволяющее решать многие задачи, едва поддающиеся
вычислит, методу. В свою очередь нужно отметить также графич. методы расчётов
(см. Номография) и геом. методы совр. теории вычислений и вычислит,
машин.

5)
Логич. усовершенствование и анализ аксиоматики Г. играли определяющую роль
в выработке абстрактной формы аксиоматич. метода с его полным отвлечением
от природы объектов и отношений, фигурирующих в аксиоматизируемой теории.
На том же материале вырабатывались понятия непротиворечивости, полноты
и независимости аксиом.

В
целом взаимопроникновение Г. и др. областей математики столь тесно, что
часто границы оказываются условными и связанными лишь с традицией. Почти
или вовсе не связанными с Г. остаются лишь такие разделы, как абстрактная
алгебра, матем. логика и нек-рые др.

Лит.: <Основные
классические работы.

Евклид,
Начала, пер. с греч., кн. 1 - 15, М. -Л., 1948 -50; Декарт Р., Геометрия,
пер. с латин., М. -Л., 1938; Монж Г., Приложения анализа к геометрии, пер.
с франц., М.- Л., 1936; Ponselet J. V., Traite des proprietes projectives
des figures, Metz - P., 1822; Гаусс К. Ф., Общие исследования о кривых
поверхностях, пер. с нем., в сб.: Об основаниях геометрии, М., 1956; Лобачевский
Н. И., Поли, собр. соч., т. 1-3, М.- Л., 1946-51; Больаи Я., Appendix.
Приложение,.., пер. с латин., М.- Л., 1950; Риман Б., О гипотезах, лежащих
в основаниях геометрии, пер. с нем., в сб.: Об основаниях геометрии, М.,
1956; Клейн Ф., Сравнительное обозрение новейших геометрических исследований
(Эрлангенская программа), там же; Картан Э., Группы голономии обобщенных
пространств, пер. с франц., в кн.: VIII-й Международный конкурс на соискание
премии имени Николая Ивановича Лобачевского (1937 год), Казань, 1940; Гильберт
Д., Основания геометрии, пер. с нем., М.- Л., 1948.

История* Кольман
Э., История математики в древности, М., 1961; Юшкевич А. П., История математики
в средние века, М., 1961; Вилейтнер Г., История математики от Декарта до
середины 19 столетия, пер. с нем., 2 изд., М., 1966; Cantor М., Vorlesungen
uber die Geschichte der Mathematik, Bd 1 - 4, Lpz., 1907 - 08.

Курсы,
а) Основания геометрии. Каган
В. <Ф., Основания геометрии, ч. 1, М.- Л., 1949; Ефимов Н. В., Высшая
геометрия, 4 изд., М., 1961; Погорелов А. В., Основания геометрии, 3 изд.,
М., 1968.

б)
Элементарная геометрия. Адамар
Ж., Элементарная геометрия, пер. с франц., ч. 1, 3 изд., М., 1948, ч. 2,
М., 1938; Погорелов А. В., Элементарная геометрия, М., 1969,

в)
Аналитическая геометрия. Александров
П. С., Лекции по аналитической геометрии..., М., 1968; Погорелов А. В.,
Аналитическая геометрия, 3 изд., М., 1968.

г)
<Дифференциальная геометрия. Рашевский П. К., Курс дифференциальной
геометрии, 3 изд., М.- Л., 1950; Каган В. Ф., Основы теории поверхностей
в тензорном изложении, ч. 1 - 2, М.- Л., 1947 - 48; Погорелов А. В., Дифференциальная
геометрия, М., 1969.

д)
<Начертательная и проективная геометрия. Глаголев Н. А., Начертательная
геометрия, 3 изд., М.- Л., 1953; Ефимов Н. В., Высшая геометрия, 4 изд.,
М., 1961.

е)
Риманова геометрия и её обобщения. Рашевский
П. К., Риманова геометрия и тензорный анализ, 2 изд., М.- Л., 1964; Норден
А. П., Пространства аффинной связности, М.- Л., 1950; Картан Э., Геометрия
римановых пространств, пер. с франц., М.- Л., 1936; Эйзенхарт Л. П., Риманова
геометрия, пер. с англ., М., 1948.

Некоторые
монографии по геометрии. Федоров
Е. С., Симметрия и структура кристаллов. Основные работы, М., 1949; Александров
А. Д., Выпуклые многогранники, М.- Л., 1950; его же, Внутренняя геометрия
выпуклых поверхностей, М.- Л., 1948; П о г о р е л о в А. В., Внешняя геометрия
выпуклых поверхностей, М., 1969; Буземан Г., Геометрия геодезических, пер.
с англ., М., 1962; его же, Выпуклые поверхности, пер. с англ., М., 1964;
Картан Э., Метод подвижного репера, теория непрерывных групп и обобщенные
пространства, пер. с франц., М.- Л., 1936; Фиников С. П., Метод внешних
форм Картана в дифференциальной геометрии, М.- Л., 1948; его же, Проективно-дифференциальная
геометрия, М.- Л., 1937; его же, Теория конгруенций, М.- Л., 1950; Схоутен
И. А., С т р о и к Д. Д ж., Введение в новые методы дифференциальной геометрии,
пер. с англ., т. 1 - 2, М.- Л., 1939 - 48; Н о м н д з у К.. Группы Ли
и дифференциальная геометрия, пер. с англ., М., 1960; Милнор Д ж., Теория
Морса, пер. с англ., М., 1965.

Л.
Д. Александров.

А Б В Г Д Е Ё Ж З И Й К Л М Н О П Р С Т У Ф Х Ц Ч Ш Щ Ъ Ы Ь Э Ю Я