Неевклидовы геометрии
Примерно в 300 г. до н. э. Евклид Александрийский опубликовал свою главную работу «Начала», в которой собрал все геометрические, арифметические и алгебраические сведения, известные в то время. Его труд начинался с изложения элементарных понятий и упорядочения имеющихся знаний; затем Евклид использовал дедуктивный метод и систему доказательств, в которой, среди прочего, важную роль играли более неформальные подходы, такие как интуиция, аналогии и симметрия.
Наряду с Библией «Начала» являются одной из наиболее влиятельных книг всех времен. Они неоднократно копировались, переводились на многие языки, а после изобретения книгопечатания постоянно переиздавались. На протяжении более двух тысячелетий этот труд использовался в качестве учебника и был стандартом математического мышления.
Одним из важнейших достижений Евклида был выбор группы основных постулатов, из которых с помощью аксиом и дедуктивного метода могут быть выведены все другие теоремы. Таким образом, для геометрии на плоскости сначала давались некоторые интуитивно понятные определения: точка, прямая линия, угол и так далее. Затем формулировались аксиомы — очевидные истины, не требующие доказательства. Например, «равные одному и тому же равны и между собой» или «целое больше части». И, наконец, пять постулатов Евклида, которые лежат в основе его геометрии, хотя он их не доказывает:
1. От всякой точки до всякой точки можно провести прямую.
2. Ограниченную прямую можно непрерывно продолжать по прямой.
3. Из всякого центра всяким раствором может быть описан круг.
4. Все прямые углы равны между собой.
5. Если прямая, пересекающая две прямые, образует внутренние односторонние углы, меньшие двух прямых, то, продолженные неограниченно, эти две прямые встретятся с той стороны, где углы меньше двух прямых.
Пятый постулат в современных терминах формулируется следующим образом: «Через точку, не лежащую на данной прямой, можно провести только одну прямую, не пересекающую данную». Очевидно, что эта аксиома не зависит от предыдущих.
К тому же ее формулировка длиннее и содержит в себе условие. Многие математики думали, что пятый постулат можно вывести из предыдущих аксиом, и попытались доказать это. Некоторые из них до конца жизни были уверены, что им удалось сделать это, а другие сомневались даже в том, что его можно считать постулатом.
* * *
ЕВКЛИД АЛЕКСАНДРИЙСКИЙ
Удивительно, как мало нам известно о жизни автора «Начал»». Его называют Евклид Александрийский, потому что он заведовал музеем в Александрии. Это учреждение наряду с великолепной библиотекой являлось хранилищем всех знаний того времени.