История математики. От счетных палочек до бессчетных вселенных

Бернхард Риман (1826–1866), сын пастора, был воспитан в скромности, но получил хорошее образование в Берлине и Геттингене, где в 1854 году стал приват-доцентом, а затем и доцентом. Чтобы занять этот пост, Риман должен был по уставу выступить перед профессорским составом с лекцией. Это был самый увлекательный доклад в истории математики. Лекция, носившая название «О гипотезах, лежащих в основании геометрии», самым подробным образом описывала геометрию как предмет. Это было описание долгого пути от линейки и циркуля Евклида. Риман определил геометрию как исследование множеств — ограниченных или неограниченных пространств любого порядка (возможно бесконечное число порядков), вместе с системой координат и способом измерения кратчайшего расстояния между двумя точками. В евклидовой трехмерной геометрии способ измерения определяется как ds ²= dx ²+ dy ²+  dz ²— дифференциал, эквивалентный теореме Пифагора. Эти множества — само пространство без внешней системы координат. Искривление пространства было, таким образом, полностью определено в терминах внутренних свойств множеств в любом пространстве. Для Римана геометрия была, по существу, наукой о наборах упорядоченных n-кортежей, объединенных согласно определенным правилам; его идеи о пространствах были настолько общими, что казались практически нереальными. Любые отношения между переменными можно было счесть «пространством». Если для системы не существует метода определения расстояния между двумя точками пространства или двумя элементами множества, тогда применяется ветвь математики, известная как топология. Она описывает, как различные области пространства связаны между собой.

Риман изобрел инструменты, которые теперь активно используются всеми математиками. Нет ничего удивительного в том, что в этом случае обычно скупой на похвалу Гаусс выразил энтузиазм по отношению к работе другого ученого. В рамках расширенного представления о геометрии Римана мы видим, что евклидова геометрия — это пространство, определенное постоянной кривизны, равной нулю. Геометрия Лобачевского имеет кривизну -1, а сферическая геометрия — кривизну +1. Хотя Римана можно было бы считать новым Евклидом, его имя связано с очень своеобразной геометрией, которая преобразует сферу в плоскость.

Позднее Риман внес свой вклад в теоретическую физику, и его общее исследование измерения расстояний между точками в искривленных пространствах в конечном счете проложило путь к общей теории относительности. Пространство, в котором мы живем, больше не было евклидовым, теперь у нас появились математические инструменты, позволявшие исследовать истинную геометрию Вселенной.

В геометрии я нашел некоторые несовершенства, которые я считаю причиной того, что эта наука, поскольку она не переходит в анализ, до настоящего времени не вышла ни на один шаг за пределы того состояния, в каком она к нам перешла от Евклида. К этим несовершенствам я отношу неясность в первых понятиях о геометрических величинах, способы, которыми мы себе представляем измерение этих величин, и, наконец, важный пробел в теории параллельных линий, к восполнению которого все усилия математиков до настоящего времени были тщетными.

Николай Иванович Лобачевский.

Геометрические исследования по теории параллельных линий (1840)

[20]

17. Диалекты алгебры

В главе 11 мы видели, как алгебра освобождалась от кандалов геометрической размерности и как, начиная с Декарта, символы алгебры — те самые хи у— могли обозначать любое число и сочетаться любым способом, предусмотренным правилами арифметики. В этой главе мы познакомимся с развитием алгебры в англоязычных странах, а затем понаблюдаем за развитием этой дисциплине в других государствах Европы. Быстрое увеличение количества диалектов алгебры привело к фундаментальной переоценке понимания самой математики.

ОСНОВНЫЕ АЛГЕБРАИЧЕСКИЕ ПРАВИЛА АРИФМЕТИКИ ДЛЯ ЛЮБЫХ ЧИСЕЛ X, YИ Z

х + у=у+ х сложение коммутативно — сумма двух чисел не зависит от порядка расположения слагаемых

X х у=ух х умножение коммутативно

х + 0 = х сложение имеет нейтральный элемент, ноль, который оставляет любое число неизменным

хх 1 = хумножение имеет нейтральный элемент, единицу, которая оставляет любое число неизменным

X х(у + z) = хх у+х х z умножение ассоциативно по отношению к сложению.