Большая Советская Энциклопедия (ГЕ) - БСЭ БСЭ
Шрифт:
Интервал:
Закладка:
Четвёртый период в развитии Г. открывается построением Н. И. Лобачевским в 1826 новой, неевклидовой Г., называемой теперь Лобачевского геометрией. Независимо от Лобачевского в 1832 ту же Г. построил Я. Больяй (те же идеи развивал К. Гаусс, но он не опубликовал их). Источник, сущность и значение идей Лобачевского сводятся к следующему. В геометрии Евклида имеется аксиома о параллельных, утверждающая: «через точку, не лежащую на данной прямой, можно провести не более чем одну прямую, параллельную данной». Многие геометры пытались доказать эту аксиому, исходя из других основных посылок геометрии Евклида, но безуспешно. Лобачевский пришёл к мысли, что такое доказательство невозможно. Утверждение, противоположное аксиоме Евклида, гласит: «через точку, не лежащую на данной прямой, можно провести не одну, а по крайней мере две параллельные ей прямые». Это и есть аксиома Лобачевского. По мысли Лобачевского, присоединение этого положения к другим основным положениям Г. приводит к логически безупречным выводам. Система этих выводов и образует новую, неевклидову Г. Заслуга Лобачевского состоит в том, что он не только высказал эту идею, но действительно построил и всесторонне развил новую Г., логически столь же совершенную и богатую выводами, как евклидова, несмотря на её несоответствие обычным наглядным представлениям. Лобачевский рассматривал свою Г. как возможную теорию пространственных отношений; однако она оставалась гипотетической, пока не был выяснен (в 1868) её реальный смысл и тем самым было дано её полное обоснование (см. раздел Истолкования геометрии).
Переворот в Г., произведённый Лобачевским, по своему значению не уступает ни одному из переворотов в естествознании, и недаром Лобачевский был назван «Коперником геометрии». В его идеях были намечены три принципа, определившие новое развитие Г. Первый принцип заключается в том, что логически мыслима не одна евклидова Г., но и другие «геометрии». Второй принцип — это принцип самого построения новых геометрических теорий путём видоизменения и обобщения основных положений евклидовой Г. Третий принцип состоит в том, что истинность геометрической теории, в смысле соответствия реальным свойствам пространства, может быть проверена лишь физическим исследованием и не исключено, что такие исследования установят, в этом смысле, неточность евклидовой Г. Современная физика подтвердила это. Однако от этого не теряется математическая точность евклидовой Г., т.к. она определяется логической состоятельностью (непротиворечивостью) этой Г. Точно так же в отношении любой геометрической теории нужно различать их физическую и математическую истинность; первая состоит в проверяемом опытом соответствии действительности, вторая — в логической непротиворечивости. Лобачевский дал, т. о., материалистическую установку философии математики. Перечисленные общие принципы сыграли важную роль не только в Г., но и в математике вообще, в развитии её аксиоматического метода, в понимании её отношения к действительности.
Главная особенность нового периода в истории Г., начатого Лобачевским, состоит в развитии новых геометрических теорий — новых «геометрий» и в соответствующем обобщении предмета Г.; возникает понятие о разного рода «пространствах» (термин «пространство» имеет в науке два смысла: с одной стороны, это обычное реальное пространство, с другой — абстрактное «математическое пространство»). При этом одни теории складывались внутри евклидовой Г. в виде её особых глав и лишь потом получали самостоятельное значение. Так складывались проективная, аффинная, конформная Г. и др., предметом которых служат свойства фигур, сохраняющиеся при соответствующих (проективных, аффинных, конформных и др.) преобразованиях. Возникло понятие проективного, аффинного и конформного пространств; сама евклидова Г. стала рассматриваться в известном смысле как глава проективной Г. Др. теории, подобно геометрии Лобачевского, с самого начала строились на основе изменения и обобщения понятий евклидовой Г. Так, создавалась, например, многомерная Г.; первые относящиеся к ней работы (Г. Грасман и А. Кэли, 1844) представляли формальное обобщение обычной аналитической Г. с трёх координат на n. Некоторый итог развития всех этих новых «геометрий» подвёл в 1872 Ф. Клейн, указав общий принцип их построения.
Принципиальный шаг был сделан Б. Риманом (лекция 1854, опубликована 1867). Во-первых, он ясно формулировал обобщённое понятие пространства как непрерывной совокупности любых однородных объектов или явлений (см. раздел Обобщение предмета геометрии). Во-вторых, он ввёл понятие пространства с любым законом измерения расстояний бесконечно малыми шагами (подобно измерению длины линии очень малым масштабом). Отсюда развилась обширная область Г., т. н. риманова геометрия и её обобщения, нашедшая важные приложения в теории относительности, в механике и др.
В тот же период зародилась топология как учение о тех свойствах фигур, которые зависят лишь от взаимного прикосновения их частей и которые тем самым сохраняются при любых преобразованиях, не нарушающих и не вводящих новых прикосновений, т. е. происходящих без разрывов и склеиваний. В 20 в. топология развилась в самостоятельную дисциплину.
Так Г. превратилась в разветвленную и быстро развивающуюся в разных направлениях совокупность математических теорий, изучающих разные пространства (евклидово, Лобачевского, проективное, римановы и т.д.) и фигуры в этих пространствах.
Одновременно с развитием новых геометрических теорий велась разработка уже сложившихся областей евклидовой Г. — элементарной, аналитической и дифференциальной Г. Вместе с тем в евклидовой Г. появились новые направления. Предмет Г. расширился и в том смысле, что расширился круг исследуемых фигур, круг изучаемых их свойств, расширилось само понятие о фигуре. На стыке анализа и Г. возникла в 70-х гг. 19 в. общая теория точечных множеств, которая, однако, уже не причисляется к Г., а составляет особую дисциплину (см. Множеств теория). Фигура стала определяться в Г. как множество точек. Развитие Г. было тесно связано с глубоким анализом тех свойств пространства, которые лежат в основе евклидовой Г. Иными словами, оно было связано с уточнением оснований самой евклидовой Г. Эта работа привела в конце 19 в. (Д. Гильберт и др.) к точной формулировке аксиом евклидовой Г., а также других «геометрий».
Обобщение предмета геометрии. Возможность обобщения и видоизменения геометрических понятий легче всего уяснить на примере. Так, на поверхности шара можно соединять точки кратчайшими линиями — дугами больших кругов, можно измерять углы и площади, строить раз личные фигуры. Их изучение составляет предмет Г. на сфере, подобно тому, как планиметрия есть Г. на плоскости; Г. на земной поверхности близка к Г. на сфере. Законы Г. на сфере отличны от законов планиметрии; так, например, длина окружности здесь не пропорциональна радиусу, а растет медленнее и достигает максимума для экватора; сумма углов треугольника на сфере непостоянна и всегда больше двух прямых. Аналогично можно на любой поверхности проводить линии, измерять их длины, углы между ними, определять ограниченные ими площади. Развиваемая так Г. на поверхности называется её внутренней Г. (К. Гаусс, 1827). На неравномерно изогнутой поверхности соотношения длин и углов будут различными в разных местах, следовательно, она будет геометрически неоднородной, в отличие от плоскости и сферы. Возможность получения разных геометрических соотношений наводит на мысль, что свойства реального пространства могут лишь приближённо описываться обычной Г. Эта идея, впервые высказанная Лобачевским, нашла подтверждение в общей теории относительности.
Более широкая возможность обобщения понятий Г. выясняется из следующего рассуждения. Обычное реальное пространство понимают в Г. как непрерывную совокупность точек, т. е. всех возможных предельно точно определённых местоположений предельно малого тела. Аналогично непрерывную совокупность возможных состояний какой-либо материальной системы, непрерывную совокупность каких-либо однородных явлений можно трактовать как своего рода «пространство». Вот один из примеров. Опыт показывает, что нормальное человеческое зрение трёхцветно, т. е. всякое цветовое ощущение Ц есть комбинация — сумма трёх основных ощущений: красного К, зелёного З и синего С, с определёнными интенсивностями. Обозначая эти интенсивности в некоторых единицах через х, у, z, можно написать Ц = xK + уЗ + zC. Подобно тому, как точку можно двигать в пространстве вверх и вниз, вправо и влево, вперёд и назад, так и ощущение цвета Ц может непрерывно меняться в трёх направлениях с изменением составляющих его частей — красного, зелёного и синего. По аналогии можно сказать, что совокупность всех цветов есть трёхмерное пространство — «пространство цветов». Непрерывное изменение цвета можно изображать как линию в этом пространстве. Далее, если даны два цвета, например красный К и белый Б, то, смешивая их в разных пропорциях, получают непрерывную последовательность цветов, которую можно назвать прямолинейным отрезком КБ. Представление о том, что розовый цвет Р лежит между красным и белым и что более густой розовый лежит ближе к красному, не требует разъяснения. Т. о., возникают понятия о простейших «пространственных» формах (линия, отрезок) и отношениях (между, ближе) в пространстве цветов. Далее, можно ввести точное определение расстояния (например, по числу порогов различения, которое можно проложить между двумя цветами), определить поверхности и области цветов, подобно обычным поверхностям и геометрическим телам, и т.д. Так возникает учение о пространстве цветов, которое путём обобщения геометрических понятий отражает реальные свойства цветного зрения человека (см. Колориметрия).