Необходимы были огромное гражданское мужество, убеждённость и самоотверженная настойчивость в пропаганде идей новой геометрии, чтобы преодолеть косность современников и вековые традиции геометрии.
Характерна в истории открытия неевклидовой геометрии роль одного из крупнейших математиков того времени К.Ф.Гаусса (1777-1855). Он много лет занимался теорией параллельных и ещё в 1824 году писал Тауринусу: «Допущение, что сумма углов треугольника меньше
, приводит к своеобразной геометрии; эта геометрия совершенно последовательна, и я развил её для себя вполне удовлетворительно». Однако за всю свою жизнь Гаусс среди множества своих научных работ не решился опубликовать ни одного исследования по неевклидовой геометрии. «Я боюсь крика беотийцев, который поднимется, когда я выскажу свои воззрения»,- писал он Бесселю, намекая на ограниченность современных математических кругов. Осторожность Гаусса в отношении к вопросам неевклидовой геометрии не только не позволила ему выступить от своего имени, но помешала даже поддержать своим авторитетом других новаторов геометрии: он умалчивал об их открытиях и расхолаживал обращавшихся к нему авторов в их намерениях. «Осы, гнездо которых вы разрушаете, подымутся над Вашей головой»,- писал он Герлингу, приславшему ему свою работу о параллельных. Восторженно отзываясь в одном из частных писем об «Аппендиксе» и называя молодого Бояи «гением первой величины», Гаусс тем не менее не оказал ему необходимой моральной поддержки и в отзыве, направленном его отцу, выражался очень сдержанно и подчёркивал, что открытия Яноша для него лично не являются новыми.Подлинным творцом неевклидовой геометрии, её систематизатором и первым пропагандистом был наш великий соотечественник Николай Иванович Лобачевский.
Н.И.Лобачевский и его геометрия. До начала XIX столетия ни одна из попыток доказать пятый постулат не привела к желаемому результату. Несмотря на усилия геометров, потраченные на протяжении более чем двадцати веков, задача обоснования теории параллельных, по существу, оставалась всё в той же стадии, как и во времена Евклида.
Но первые же десятилетия XIX века принесли, наконец, решение проблемы пятого постулата; только решение это оказалось таким, какого не ждал и к какому не был подготовлен математический мир этой эпохи.
Слава решения этой знаменитой проблемы принадлежит профессору Казанского университету Николаю Ивановичу Лобачевскому (1793-1856). В его докладе физико-математическому факультету Казанского университета, публиковавшихся, начиная с 1829 года, впервые отчётливо выражена и подтверждена мысль о том, что пятый постулат не может быть выведен из остальных постулатов геометрии. Чтобы доказать это, Лобачевский, сохраняя основные посылки Евклида, кроме постулата параллельных не осуществляется, и строит логическую систему, предложения которой являются следствиями принятых посылок.
Многие из предложений, которые получил Лобачевский, встречались у Саккери и Ламберта при развитии гипотезы острого угла. Это и понятно, так как гипотеза острого угла Саккери и исходные посылки Лобачевского эквивалентны. Но в то время, как Саккери ставил себе целью показать, что гипотеза острого угла ведёт к противоречию и должна быть отвергнута как логически недопустимая,- Лобачевский, развивая систему своих теорем, устанавливает, что эта система представляет собой новую геометрию (он назвал её «Воображаемой»), которая, как и евклидова, свободна от логических противоречий.
Воображаемую геометрию Лобачевский развил до таких же пределов, до каких была развита геометрия Евклида. При этом Лобачевский не встретил в ней каких-либо логических противоречий. Однако он отчётливо понимал, что это обстоятельство само по себе не доказывает, что Воображаемая геометрия действительно непротиворечива, так как если противоречия имеются, то заранее нельзя предвидеть, на какой стадии развёртывания системы они могут обнаружиться. Чтобы доказать непротиворечивость своей геометрии, Лобачевский предпринял глубокий алгебраический анализ основных её уравнений и тем самым дал решение этого вопроса в такой мере удовлетворительное, в какой это было возможно для того времени.
Доказательство непротиворечивости геометрии Лобачевского на современном уровне строгости дано в конце XIX века после установления общих принципов логического обоснования геометрии.
Результаты исследований Лобачевского можно резюмировать следующим образом:
Постулат о параллельных не является необходимым следствием остальных постулатов геометрии (как говорят, логически от них не зависит).
Пятый постулат именно не вытекает из остальных постулатов, что наряду с геометрией Евклида, в которой этот постулат верен, возможна другая, «Воображаемая» геометрия, в которой не имеет места.
Лобачевский был учёным-материалистом. Материалистические взгляды он явно и настойчиво высказывал в своих сочинениях. Он безоговорочно отвергал возможность априорных знаний, в частности, кантианский тезис о том, что наши пространственные представления являются врождёнными и не имеют опытного происхождения. «Первые понятия, с которых начинается какая-нибудь наука,- пишет Лобачевский,- должны быть ясны, и приведены к самому меньшему числу. Тогда они могут служить прочным и достаточным основанием учения. Такие понятия приобретаются чувствами; врождённым – не должно верить» («О началах геометрии», 1829).
Лобачевский глубоко и тонко понимал соотношение между геометрией Евклида и своей неевклидовой геометрией: обе геометрии логически непротиворечивы, и поэтому безнадёжны всякие попытки логически доказать, что единственно истинной является только первая из них; вопрос же о том, какая из этих геометрий более соответствует свойствам реального пространства, должен быть решён опытом.
«В моём сочинении о началах геометрии,- пишет Лобачевский,- я доказывал, основываясь на некоторых астрономических наблюдениях, что в треугольнике, которого бока почти таковы, как расстояние от Земли до Солнца, сумма углов может разниться от двух прямых не более
,0003 в шестидесятичных секундах градуса. Предположение употребительной Геометрии надобно, следовательно, почитать как бы строго доказанным, а вместе быть убеждену и в том, что независимо от опыта, напрасно было бы искать доказательства на такую истину, которая ещё не заключается сама собою в нашем понятии о телах» («Воображаемая геометрия», 1835).Лобачевский называл геометрию Евклида «Употребительной», а свою – «воображаемой». Это не означает, однако, что он считал свою геометрию замкнутой в себе чисто логической системой. Лобачевский усматривал в ней полезный инструмент для математического анализа и в этом плане написал обширную работу «Применение воображаемой геометрии к некоторым интегралам» (1836). Интересно отметить, что в таблицах определённых интегралов Биеренс де Хаана содержится свыше 200 интегралов, которые были вычислены и опубликованы Лобачевским. В настоящее время были известны глубокие связи геометрии Лобачевского с разнообразными разделами математики, а также теоретической физикой.
Идеи Лобачевского современным ему геометрам казались парадоксальными и встретили только иронию. Понять и оценить его работы могли очень немногие; среди них должны быть отмечены Гаусс и Я. Больяй, которые занимались теорией параллельных независимо друг от друга и независимо от Лобачевского. Гауссу был ясен замысел новой геометрии, однако он не дал этому замыслу достаточного развития, оставив только наброски отдельных, наиболее элементарных теорем. Он даже не опубликовал своих взглядов на основы геометрии, боясь остаться непонятым. Я. Больяй издал свою работу через три года после первой публикации Лобачевского. В своей работе Я. Больяй изложил ту же теорию, что и Лобачевский, но не в столь развитой форме. Как и Лобачевский, Больяй не получил признания и сам нуждался в поддержке.
Учёный мир оценил значение исследований Лобачевского лишь после его смерти. А значение это исключительно.
До Лобачевского евклидова геометрия представлялась единственно мыслимым учением о пространстве. Открытие воображаемой или, как её обычно называют, неевклидовой геометрии уничтожило эту точку зрения. Тем самым было положено начало далеко идущим обобщением взглядов на геометрию и её предмет, которые привели к современному понятию абстрактного пространства с его многочисленными применениями внутри математики и в смежных с нею областях.
В цепи этих обобщений неевклидова геометрия Лобачевского явилась первым и определяющим звеном.
Список литературы
1. «Высшая геометрия» Н.В. Ефимов.