Вначале была аксиома. Гильберт. Основания математики | страница 14

Этот тезис он развивал в своей инаугурационной речи, когда в 1872 году заступал на должность главы кафедры Эрлангенского университета.

Феликс Клейн.

Как Карл Фридрих Гаусс (1777-1855), так и Янош Бойяи (1802-1860) и Николай Лобачевский (1792-1856) приняли существование параллельных прямых и отрицали их единственность: через одну точку, не лежащую на прямой, проходит более одной параллельной прямой. Этим трем математикам удалось вывести достаточный ряд теорем воображаемой геометрии, не столкнувшись ни с абсурдом, ни с каким-либо парадоксом.

Но не ожидали ли они их за углом? Разве можно быть уверенными в том, что пойди они дальше, их выводы не разбились бы о какое-нибудь противоречие? В середине века назрела необходимость в модели этой новой геометрии в рамках евклидова учения, чтобы даже в случае скрытого в ней противоречия она так же оставалась частью почитаемой евклидовой геометрии (что казалось невозможным). С этой позиции можно было раз и навсегда доказать, что справедливость новой геометрии заключается именно в справедливости евклидовой геометрии, которая считалась надежной. Поставленную задачу частично решил Эудженио Бельтрами (1835-1900), предложив в 1868 году локальную модель — псевдосферу. Через два года Клейн открыл первую полноценную модель неевклидовой геометрии.

Ради Бога, молю тебя, оставь эту материю, потому что она может лишить тебя всего твоего времени, здоровья, покоя, всего счастья твоей жизни.

Письмо, отправленное Фаркашем Бойяи своему сыну Яношу после того, как он узнал, что тот работает над пятым постулатом Евклида

Рассмотрим модель Клейна. Допустим, что наше пространство свелось к внутренности круга (за исключением его краев), и создадим что-то вроде словаря, в котором будет установлено поочередное соответствие ряда терминов — как в обычном двуязычном словаре, в котором значение слов то же. Когда Евклид говорит: «точка», мы думаем о точках внутри этого круга, когда он говорит: «прямая», подразумеваются отрезки, которые начинаются и заканчиваются на краю круга. Такой перевод позволяет построить модель неевклидовой геометрии внутри собственно евклидова пространства. Что происходит с аксиомой параллельных прямых. При заданной прямой r и не лежащей на ней точке А существует более одной прямой, параллельной r, которая проходит через А. Действительно, прямые s и t параллельны прямой r внутри круга, поскольку они никогда не пересекаются в нашем пространстве (см. рисунок 1). Буквально из ничего была создана новая странная вселенная. Евклид был серьезным образом потеснен.