Изменить размер шрифта - +
При этом он упустил из виду более глубокий логический вывод: эта модель доказывает непротиворечивость гиперболической геометрии, так что аксиома о параллельных не может быть выведена из других аксиом Евклида. Оуэль понял это в 1870 г., когда перевел статью Бельтрами на французский.

Подобрать модель для эллиптической геометрии было проще. По существу, это геометрия больших окружностей на сфере, с одной оговоркой. Большие окружности пересекаются в двух диаметрально противоположных точках, а не в одной точке, и потому не удовлетворяют остальным аксиомам Евклида. Чтобы исправить ситуацию, достаточно переопределить «точку» как «пару диаметрально противоположных точек» и рассматривать большую окружность как пару диаметрально противоположных полуокружностей. Это пространство – формально сфера с попарно отождествленными противоположными точками – обладает постоянной положительной кривизной, унаследованной от сферы.

 

Тем временем неевклидова геометрия начала потихоньку появляться и в других областях математики, в первую очередь в комплексном анализе, где она связана с преобразованием Мёбиуса, отображающим окружности (и прямые) на окружности (и прямые). Вейерштрасс прочел лекцию на эту тему в 1870 г. Клейн, двигавшийся в том же направлении, уловил суть и обсудил эту идею с Софусом Ли. В 1872 г. он составил важный документ – Эрлангенскую программу, в которой определил геометрию как науку об инвариантах групп преобразований. Такой подход объединил почти все варианты, на которые успела разделиться к тому времени геометрия; основным исключением из этого перечня стала Риманова геометрия для поверхностей непостоянной кривизны, где подходящих групп преобразований просто нет. Пуанкаре зашел еще дальше, предложив, в частности, собственную модель гиперболической геометрии. Пространство в ней представляет собой внутренность круга, а «прямые» линии – дуги окружностей, подходящих к границе круга под прямыми углами.

Позже гиперболическая геометрия стала одним из стимулов к появлению Римановой теории искривленных пространств любой размерности (многообразий), на которой построена теория гравитации Эйнштейна (глава 15). В число ее приложений в современной математике входят комплексный анализ, специальная теория относительности, комбинаторная теория групп и гипотеза (теперь уже теорема) о геометризации Тёрстона в топологии трехмерных многообразий (глава 25).

 

12. Радикалы и революционеры. Эварист Галуа

 

4 июня 1832 г. французская газета Le Precursor сообщила о сенсационном, хотя и ни в коем случае не уникальном в своем роде, событии:

Париж, 1 июня. Вчера прискорбная дуэль лишила точные науки молодого человека, который подавал величайшие надежды; в последнее время, однако, его прославленная ранняя зрелость отошла в тень под влиянием его политической деятельности. Молодой Эварист Галуа… дрался с одним из своих старых друзей… не менее известным в политических кругах. Говорят, что причиной схватки стала любовь. В качестве оружия был выбран пистолет, но, поскольку из-за старой дружбы противники были не в состоянии смотреть друг на друга, решать судьбу свою они доверили слепой судьбе. Стреляли они практически в упор; у каждого был пистолет, но лишь один пистолет был заряжен. Галуа был прошит пулей своего противника насквозь; его отвезли в больницу Кошен, где он и умер примерно через два часа. Ему было 22 года. Его противник L. D. чуть моложе.

Ночь перед дуэлью Галуа посвятил краткому изложению на бумаге своих математических исследований, основная часть которых была сосредоточена на использовании особых наборов перестановок, которые он называл «группами», для определения того, может ли некоторое алгебраическое уравнение быть решено в формульном виде. Он описал также связь этой идеи с особыми функциями, известными как эллиптические интегралы.

Быстрый переход