Йэн Стюарт - Укрощение бесконечности. История математики от первых чисел до теории хаоса [litres]

Это так разъярило ученого-шекспироведа Клемента Инглби, что он вдохновил великого философа Иммануила Канта доказать, будто трехмерность – неотъемлемая и бесспорная характеристика пространства, абсолютно отвергая доводы Сильвестра. Природа реального пространства не является предметом математического спора. В то время подавляющее большинство английских математиков соглашалось с Инглби. Но ряд ученых с континента не были с ним согласны. Грассман утверждал: «Теоремы “Учения о протяженности” не просто служат переводом геометрических результатов на язык абстракции; они обладают гораздо более важным обобщающим значением, ибо в то время, когда обычная геометрия остается узницей трех [физических] измерений, абстрактная наука не имеет никаких пределов».

Сильвестр обозначил свою позицию: «Немало ученых предпочли бы считать обобщенное понятие пространства всего лишь замаскированной формой алгебраической абстракции, но то же можно сказать о нашем представлении бесконечности, или о невозможных линиях, или о линиях, образующих угол, равный 0, в геометрии – понятиях, в пользе и необходимости которых уже никто не сомневается. Доктор Сальмон в своем расширенном изложении теории Мишеля Шаля о характеристиках поверхностей, мистер Клиффорд в вопросах о вероятности и я сам в теории о разбиении числа, а также в моей статье о барицентрической проекции ощущали и получали доказательства практической пользы четырехмерного пространства, как если бы оно было допустимо».

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

Теперь математика многомерных пространств стала чисто алгебраической дисциплиной и основана на явных обобщениях, начинающихся с маломерных пространств. Например, любая точка на плоскости (в двумерном пространстве) может быть описана двумя координатами, а любая точка в трехмерном пространстве – тремя координатами. Отсюда остается сделать короткий шаг к описанию точки в четырехмерном пространстве как набору четырех координат и в более общем плане к определению точки в n -мерном пространстве как списку из n координат. Тогда само по себе n -мерное пространство ( n -пространство) будет всего лишь набором таких точек.

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

Например, окружность на плоскости или сфера в трехмерном пространстве состоят из всех точек, что лежат на фиксированном расстоянии (радиус) от выбранной точки (центр). Явным аналогом для n -пространства будет всё множество точек, расположенных на фиксированном удалении от выбранной. Используя формулу для расстояний, мы превращаем это в чисто алгебраическое условие, и полученный в результате объект известен как ( n − 1) – мерная гиперсфера, или ( n − 1) – сфера. Число измерений уменьшается с n до n − 1, потому что, например, окружность в двумерном пространстве становится кривой, т. е. одномерным объектом. А сфера в пространстве является двумерной поверхностью. Сплошная гиперсфера в n измерениях называется n -шар. Таким образом, Земля – это 3-шар, а ее поверхность – 2-сфера.

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

К 1900-м гг. предсказание Сильвестра воплотилось в жизнь, особенно с освоением тех областей математики и физики, где концепция многомерного пространства стала серьезным подспорьем. Одной из таких областей стала теория относительности Эйнштейна – своего рода гениальный прорыв в четырехмерной геометрии пространства-времени. В 1908 г. Герман Минковский осознал, что три координаты обычного пространства, объединенные с еще одной, временн о й, как раз и образуют четырехмерное пространство-время . Всякая точка в нем называется событием: это некая частица, которая появилась на мгновенье, а потом исчезла. Теория относительности действительно имеет дело с физическими свойствами событий. В традиционной механике точечная частица, движущаяся в пространстве, имеет координаты ( x ( t ), y ( t ), z ( t )) в любой момент времени t , и это положение меняется со временем. С точки зрения пространства-времени Минковского собрание таких точек является кривой в пространстве-времени, мировой линией этой частицы, и это самостоятельный объект со своими свойствами, существующий всё время. В теории относительности четвертое измерение имеет единственную и неизменную интерпретацию – время .