Занимательно о космологии - Страница 35
Эти два «кита», опыт и здравый смысл, позволили еще в глубокой древности построить теорию отвлеченно-абстрактного пространства и выявить его основные свойства. Собрал же крупицы мудрости и выковал из них «золотую розу» теории замечательный александрийский математик Эвклид.
Эвклид рисовал свои чертежи на песке, на навощенных табличках, на папирусных свитках. О жизни его в архивах истории не осталось буквально ни строчки. Известно только, что жил он примерно в начале III века до нашей эры во времена первого царя из династии Птолемеев и что протекала его деятельность в Александрии. Сохранилась, правда, одна легенда. Однажды царь Птолемей, которому Эвклид преподавал основы математики, пожаловался на длинноты вступлений к науке. На что его учитель, запахнув тогу, заявил, что к геометрии нет «царской дороги». Путь к высотам науки один для всех смертных, и начинается он с простых понятий.
Тринадцать книг его «Начал», содержащие изложение планиметрии, стереометрии и некоторых вопросов теории чисел, в течение двух тысячелетий являются основами изучения математики. «В истории западного мира, — пишет математик Д. Л. Стройк, — „Начала“ после библии, вероятно, наибольшее число раз изданная и более всего изучавшаяся книга. После изобретения книгопечатания появилось более тысячи изданий, а до того эта книга, преимущественно в рукописном виде, была основной при изучении геометрии. Большая часть нашей школьной геометрии заимствована часто буквально из первых шести книг „Начал“, и традиция Эвклида до сих пор тяготеет над нашим элементарным обучением».
Как же строил Эвклид несокрушимое здание своей геометрии? В основание всей науки он вводит несколько главных положений-истин, по тем или иным причинам не требующих доказательств. Остроумные греческие философы, закаленные в спорах и наделенные скептическим умом, выбирали их очень осторожно. Они разделили подобные истины на аксиомы и постулаты. Аксиомами в те далекие времена называли утверждения, которые нельзя отрицать, не нарушая всех основ логического мышления. Говоря об аксиоме, греки начинали фразу со слов: «Очевидно, что…» И тем отбрасывали всякую возможность спора на этот счет.
Постулаты, в древнегреческом понимании, представляли собой конкретные утверждения, свойственные той или иной науке. Первая фраза постулата должна была начинаться словами «допустим, что…». Это также снимало возможность спора, но не налагало на выдвинутое положение критерия безусловности.
Такое очень важное и тонкое различие между аксиомой и постулатом со временем сгладилось и принесло неисчислимые беды и чистым философам, и представителям натуральной философии, но о том речь дальше.
Изложение геометрии в книгах Эвклида построено в виде системы определений, аксиом и постулатов, из которых логическим путем выводятся теоремы. В первых четырех книгах Эвклид рассматривает геометрию на плоскости. При этом в книге первой он формулирует пять основных требований, или допущений, на которых строит остальные выводы. Постулаты Эвклида настолько наглядны, настолько очевидны, что так и хочется назвать их аксиомами. Но мы уже предупреждены. И мы начеку. Да и сами постулаты при всей своей определенности точно взывают к бдительности. Смотрите сами. Эвклид пишет: «Нужно потребовать (помните, это эквивалентно словам „допустим, что…“):
1. Чтобы из каждой точки к каждой точке можно было провести прямую линию (и притом только одну).
2. И чтобы ограниченную прямую можно было непрерывно продолжить по прямой.
3. И чтобы из любого центра любым радиусом можно было описать окружность.
4. И чтобы все прямые углы были друг другу равны.
5. И чтобы всякий раз, как прямая, пересекая две прямые, образует с ними внутренние односторонние углы, составляющие вместе меньше двух прямых, эти прямые при неограниченном продолжении пересекались с той стороной, с которой эти углы составляют меньше двух прямых».
Даже не умудренный математикой читатель сразу заметит, что пятый постулат резко отличается от четырех первых. Он гораздо сложнее и больше похож на теорему, которую нужно доказывать. В пятом постулате нет и следа наглядности первых четырех, ведь здесь говорится о «неограниченном продолжении» прямых. А попробуйте-ка займитесь этим «неограниченным продолжением». Кто возьмет на себя смелость сказать, что и в бесконечности параллельные прямые не сойдутся?.. То есть интуитивно, конечно, пятый постулат кажется бесспорным. Но интуиция диктуется опытом. Опыт же перед бесконечностью пас. Эвклид и сам скорее всего понимал, что с пятым постулатом не все обстоит чисто. Потому он и распределил изложение материала в своих книгах на две неравные части.
В первой сгруппированы теоремы, которые доказываются с помощью четырех начальных постулатов. Эта часть называется Абсолютной Геометрией. Во второй собраны теоремы, которые могут быть доказаны только при использовании пятого постулата. И эта вторая часть носит название собственно эвклидовой геометрии. Скорее всего некогда пятый постулат был теоремой. Однако ни одна из попыток доказать ее не увенчалась успехом. И тогда Эвклид включил упрямую теорему в число постулатов.
Математики так легко не примирились с решением Эвклида. «В области математики найдется мало вещей, — писал Карл Фридрих Гаусс, — о которых было бы написано так много, как о пробеле в начале геометрии при обосновании теории параллельных линий. Редко проходит год, в течение которого не появилась бы попытка восполнить этот пробел. И все же если мы хотим говорить честно и открыто, то нужно сказать, что, по существу, за 2000 лет мы не ушли в этом вопросе дальше, чем Эвклид».
От планиметрии — геометрии на плоскости — Эвклид переходит в последних трех книгах к геометрии в пространстве — стереометрии. Что же подразумевал Эвклид под пространством? В руках у вас, читатель, книга. Считайте ее плоскостью. А теперь поднимите ее плашмя над столом и опустите снова. Объем, который прошла книга при этом движении, и есть эвклидово пространство. Просто, правда? В этом пространстве должны быть удовлетворены все постулаты и аксиомы Эвклида, потому что они суть его свойства. Да и кому в голову придет усомниться, например, в том, что прямую линию можно продолжать в бесконечность. Или что пространство всюду обладает одними и теми же свойствами, что позволяет свободно передвигать любые фигуры в пространстве, не нарушая их внутренних связей.
От абстрактного геометрического понятия эвклидова пространства легко перейти к физическому пространству, в котором мы с вами живем и двигаемся. А приложив к миру Эвклида наглядные декартовы координаты, мы добиваемся полного слияния двух геометрий: геометрии Эвклида и геометрии физического мира.
Можно сказать даже, что слишком легко понятия геометрии: точка, линия, фигура, тело — отождествляются с наблюдаемыми объектами. И хотя геометрическая точка является идеализацией точки физической, так и кажется, что подобная идеализация никак не может нарушить основ геометрии. Геометрические объекты физического мира казались настолько тождественными объектам, с которыми имеет дело геометрия, что из этого кажущегося тождества выросла уверенность в том, что для описания пространства физического мира даже формально не может быть построено другой геометрии, кроме эвклидовой. То есть, что геометрия Эвклида — это и есть единственно возможная геометрия физического мира!
Внимательный читатель должен был заметить небольшой логический «кувырок», поставивший взаимоотношения геометрий Эвклида и реального мира в нашем представлении с ног на голову. Родившись и пребывая в своем первоначальном состоянии в качестве предисловия к физике, геометрия воспользовалась полным отвлечением пространственных форм и отношений от материального содержания и превратилась в отрасль чистой математики. Превратилась, чтобы затем подменить собой систему взглядов, описывающих реальный мир. Это было тем более опасно, что, основанная на аксиомах и постулатах, эвклидова геометрия, хоть и вытекала из опыта, проблемой согласования своих выводов с опытом не интересовалась.