Josep Carrera - Трехмерный мир. Евклид. Геометрия Страница 13

Во Вселенной геометрия связана с поверхностью, на которой она рассматривается, то есть с геометрическими объектами. Представим, что мы, как современный Архимед, лежим в ванне и рисуем прямые линии на ее стенках: некоторые из них — на дне — будут прямыми в евклидовом смысле слова, другие будут восходящими кривыми (те, что идут со дна ванны вверх по стенкам) и нисходящими (те, что идут по стене от верхнего бортика). Теперь зададимся вопросом: почему некоторые из них могут называться прямыми, а другие нет?

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

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

Но расчеты Лобачевского и Фридриха Бесселя (1784- 1846), астронома и друга Гаусса, не дали никаких результатов. В 1981 году американский физик Алан Гут (1947) ввел понятие плотности Вселенной, которая равна отношению массы материи к единице объема. Существует ее критическое значение — ρ0 = 4 х 10-27 кг/м3. Оно определяет геометрию Вселенной и ее последующее развитие (см. таблицу).

На данный момент полученное значение равно 10% ρ0. Таким образом, считается, что Вселенная имеет гиперболическую геометрию и расширяется резко. Слова Галилея обретают новое звучание:

«Философия написана в величественной книге (я имею в виду Вселенную), но понять ее может лишь тот, кто сначала научится постигать ее язык и толковать знаки, которыми она написана. Написана же она на языке математики, и знаки ее — треугольники, круги и другие геометрические фигуры, без которых человек не смог бы понять в ней ни единого слова; без них он был бы обречен блуждать в потемках по лабиринту».

Видимо, для того чтобы понять устройство Вселенной, необходимо прибегнуть к геометрии. Такое же мнение высказал Исаак Ньютон в своем знаменитом сочинении «Математические начала натуральной философии».

Мы не можем и не должны забывать о влиянии философии на древнегреческую математику. Аристотель, например, уделяет огромное влияние понятию бесконечности в своей «Физике». В самом начале он пишет:

«Мелисс... утверждает, что сущее бесконечно. Следовательно, сущее есть нечто количественное, так как бесконечное относится к [категории] количества, сущность же, а также качество или состояние не могут быть бесконечными иначе как по совпадению... ведь определение бесконечного включает в себя [категорию] количества, а не сущности или качества. Стало быть, если сущее будет и сущностью, и количеством, сущих будет два, а не одно; если же оно будет только сущностью, то оно не может быть бесконечным и вообще не будет иметь величины, иначе оно окажется каким-то количеством».

Но более детальный анализ бесконечности производится в книге III, где Аристотель рассуждает о природе бесконечности, ее существовании и видах. После подробнейших философских рассуждений древний грек заключает, что существует «бесконечное путем прибавления» для чисел (в арифметике) и «бесконечное путем деления» для величин (в геометрии). Оба типа бесконечного существуют потенциально, «в возможности», а не «актуально», в действительности. Другими словами, в науке бесконечности не существует, ни один объект не может считаться бесконечным.

Портрет Евклида на марке Мальдивской Республики (1988).

Аристотель.

В 1975 году математик Джон Плейфэр предложил новую формулировку пятого постулата Евклида;теперь этот постулат известен как аксиома Плейфэра.

Немецкий математик Давид Гильберт в 1886 году.

Бесконечность является только порождающим процессом. Актуальную бесконечность нельзя принять как возможную идею идеального мира и тем более ее нельзя применить к математике. Следовательно, остается только потенциально бесконечное, то есть возможность постоянно продолжать что-то, но всегда на ограниченное число ступеней. Этот процесс может никогда не кончаться: бесконечное всегда останется в области возможного. Аристотель очень убедителен, когда говорит об использовании математиками актуальной бесконечности:

«Наше рассуждение, отрицающее актуальность бесконечного в отношении увеличения, как не проходимого до конца, не отнимает у математиков их исследования, ведь они теперь не нуждаются в таком бесконечном и не пользуются им: [математикам] надо только, чтобы ограниченная линия была такой величины, как им желательно, а в том же отношении, в каком делится самая большая величина, можно разделить какую угодно другую. Таким образом, для доказательств бесконечное не принесет им никакой пользы, а бытие будет найдено в [реально] существующих величинах».

Для понимания методологии Евклида очень важно ответить на вопрос: прав ли Аристотель, когда утверждает, что его философия бесконечности не относится к математике? Насколько строго Евклид придерживается ограничений, установленных Аристотелем, и в каких случаях он их нарушает? Евклид считает, что прямые — это прямые отрезки, а их концы — точки, то есть прямые конечны. Он дает определение именно отрезкам и рассматривает только их. В пятом постулате он избегает говорить о параллелизме, который, как мы увидим дальше, подразумевает существование бесконечности. В разделе по арифметике, в частности в предложении 20 книги IX, он говорит:

Простых чисел существует больше всякого предложенного количества простых чисел.

Такая формулировка позволяет Евклиду применить прямое доказательство, а если бы он воспользовался понятием актуальной бесконечности, то вынужден был бы прибегнуть к непрямому доказательству. В этом заключается одна из трудностей, перед которой нас часто ставит использование понятия бесконечности: приходится прибегать к косвенным доказательствам с помощью метода доведения до абсурда. Рассмотрим разницу между двумя типами доказательств на примере утверждения Евклида, процитированного выше. Начнем с прямого. Представим, что у нас есть бесконечное количество простых чисел: а, b,..., т. Возьмем число N = (а х b х ... x m) + 1. Если N— простое число, значит есть простое число, отличное от а, b, ..., m. Напротив, если N — составное число, то его делителем будет простое число (книга VII, предложение 32), которое должно быть отличным от каждого из ряда простых чисел а, b, ..., m.