Вначале была аксиома. Гильберт. Основания математики
Шрифт:
НАУКА НА РАСПУТЬЕ
В конце XIX века физики работали в рамках совместного опыта. Классическая механика (созданная Ньютоном) и классическая электродинамика (завершенная Максвеллом) предоставляли абсолютно удовлетворительный для понимания окружающего нас мира материал. С увеличением точности измерительных приборов и возможности осуществлять все более сложные эксперименты физики начали изучать явления в не самых привычных условиях: при очень высоких скоростях (близких к скорости света) и на макрокосмическом или микроскопическом уровне. Именно тогда стали возникать расхождения с прогнозами, которые давала классическая физика, что привело к пересмотру ее оснований и породило две великие физические теории прошлого века: теорию относительности и квантовую теорию. Первая ставила
К 1900 году ясность классической физики скрывали всего четыре тучи — проблемы, которые она не могла объяснить: излучение черного тела, фотоэлектрический эффект, спектры химических элементов и эфирный ветер. Первые три проблемы дали дорогу квантовой, а последняя — релятивистской физике. Классический принцип относительности, обязанный своим рождением Галилею, не был способен дать объяснение некоторым электромагнитным явлениям, измеряемым интерферометром (эксперимент Майкельсона — Морли). В 1905 году Альберт Эйнштейн (1879-1955) заложил основы специальной теории относительности в своей статье «К электродинамике движущихся тел». Чтобы решить мнимое противоречие, которое проявлялось при изучении поведения уравнений Максвелла в трансформациях Галилея (не прибегая к гипотетическому эфирному ветру), Эйнштейн предложил поддержать теорию Максвелла, изменив механику Ньютона. Нужно было оставить трансформации Галилея, заменив их на трансформации Лоренца, и принять революционную гипотезу: инвариантность скорости света. Среди его выводов были следующие: отказ от эфира, относительность одновременности, сжатие пространства, замедление времени и так далее. Специальная теория относительности вмиг перечеркнула иллюзию об абсолюте пространства и времени классической физики.
Специальная теория относительности, хотя и была чрезвычайно дерзкой с позиции физики, не требовала математики, неизвестной на тот момент физикам и лежавшей в основе работ Пуанкаре и Хендрика Лоренца (1853-1928). В своем озарении Эйнштейн применил не очень требовательную математику. Однако некоторые физики и математики посчитали, что столь радикальные физические и философские идеи должны быть подкреплены новыми математическими формулировками. И здесь вступил в игру старый товарищ Гильберта, Герман Минковский.
ГИПОТЕЗА ВАРИНГА
Как для Минковского, так и для Гильберта теория чисел была самым чудесным порождением человеческой мысли. В 1908 году, взяв перерыв в работе, чтобы поправить здоровье, Гильберт доказал гипотезу, предложенную британским математиком Эдуардом Варингом (1734-1798):
«Любое целое число представимо как сумма максимум девяти кубов; любое число можно представить в виде не более 19 четвертых степеней, и так далее». Другими словами, без каких- либо доказательств утверждалось, что для любой степени к существует некоторое минимальное число таких степеней (назовем его g(k), поскольку оно зависит от степени выбранного к), которое позволяет выразить любое число л в виде суммы ровно g(k) к-х степеней:
n =х1k + х2k + ... + xg(k)k.
В 1770 году Жозеф-Луи Лагранж доказал, что любое число — это сумма четырех квадратов, то есть что g(2) = 4. Но до Гильберта прогресса в этом вопросе не наблюдалось. Для некоторых конкретных значений k(k = 3, 4, 5, 6, 7 и 8) удалось ограничить значение g(k); так доказали, что g(4)<=53, но было еще далеко до доказательства, что для записи любого числа достаточно всего 19 четвертых степеней, то есть что g(4) = 19.
Эдуард Варинг.
Заслуженная премия
Гильберт напрямую не оценивал значения g(k) (это было сделано в XX веке) и косвенно доказал, что функция g(k) четко определена, то есть для каждого к она принимает конечное значение (никогда не принимает бесконечных значений, из чего можно сделать вывод: всегда существует минимальное число степеней, необходимых для записи любого числа). Это достижение принесло ему в 1910 году премию Яноша Бойяи. Как член жюри Пуанкаре отдал должное работе немецкого математика не только потому, что она относилась к теории чисел, но и за широкий спектр затронутых в ней тем: инварианты, аксиоматические основания геометрии, принцип Дирихле и так далее. Он также оценил строгость и простоту примененных методов, в которых проявился талант Гильберта как преподавателя.
Друзья снова встретились в 1902 году. Гильберт отказался от кафедры в Берлине, чтобы остаться в Гёттингене, но добился должности для своего дорогого коллеги. Гёттинген в одночасье превратился в Мекку для математиков. Здесь жили сразу три пророка — Клейн, Гильберт и Минковский. С 1902 по 1909 год последние двое вместе читали несколько курсов по математической физике, в частности по электродинамике движущихся тел (сегодня известной как теория относительности). Минковский очень внимательно отнесся к пререлятивистским теориям Пуанкаре и Лоренца и сразу же откликнулся на подход Эйнштейна. Его очень удивило, что этот революционный подход принадлежит его бывшему ученику в Цюрихе, в математических знаниях которого он несколько сомневался.
Минковский рассматривал время как четвертое измерение. Между пространством и временем есть нерушимая связь, они формируют единое целое — пространство-время. Все, что у Эйнштейна казалось туманным, в псевдоевклидовом четырехмерном мире, который вообразил Минковский, становилось ясным. Это геометрическое обрамление способствовало распространению специальной теории относительности. Его воздействие было очень сильным, хотя его приняли не сразу (настораживал тот факт, что чтобы оперировать физическими понятиями, требовалось обращаться к геометрии с ее отрицательными векторами). Эйнштейну это показалось поверхностной эрудицией, и в ответ Гильберт возразил: «Любой мальчик на улицах Гёттингена понимает в четырехмерной геометрии больше, чем Эйнштейн». Минковский изложил свою позицию в нескольких лекциях 1908 года, но не дождался их публикации и не успел насладиться успехом: в 1909 году ученый умер в результате осложнений после операции по удалению аппендикса. Эта потеря усилила депрессию, в которой Гильберт находился из-за нервного истощения.
ЭЙНШТЕЙН, ГИЛЬБЕРТ И УРАВНЕНИЯ ОБЩЕЙ ТЕОРИИ ОТНОСИТЕЛЬНОСТИ
С 1911 года Эйнштейн направлял усилия на то, чтобы включить гравитацию в свою специальную теорию относительности. Он искал общую теорию. Несмотря на природное упрямство, Эйнштейн признал пользу выкладок Минковского, ведь они навели его на мысль, что ключ находится в геометрии. То есть чтобы представить эффекты гравитации посредством геометрической структуры пространства-времени, объекты должны располагаться в предусмотренном виде. Нужно было геометризовать гравитацию.
Как простыня, которую держат два человека, деформируется, когда на нее падает какой-то предмет, так и тело с огромной массой, как Земля, искривляет пространство- время вокруг него, и эта кривизна является причиной движений гравитационного притяжения, которое мы ощущаем на его поверхности.
В первых попытках математические выкладки Эйнштейна были довольно примитивными, и результаты их были незначительными. Если геометрия пространства-времени должна была зависеть от ее энергетико-материального содержания, то есть если гравитация должна была искривлять пространство-время, требовалась изменчивая геометрия, не заданная изначально и существенно отличающаяся от обычной. Знакомый математик указал Эйнштейну на классические работы Гаусса, Римана и в особенности на публикации Грегорио Риччи (1853-1925) и Туллио Леви-Чивита (1873-1941) в 1901 году. Последние содержали большую часть элементов геометрии Римана, необходимых для общей теории относительности. Вместе со своим другом Марселем Гроссманом (1878-1936) Эйнштейн начал изучать эти работы и обнаружил, что в них содержится необходимый ему математический аппарат, о котором он раньше не подозревал. В конце 1913 года физик и математик совместно опубликовали 28-страничную брошюру «Набросок обобщенной теории относительности и теории гравитации». Их целью было смоделировать Вселенную как геометрическую четырехмерную разновидность, снабженную римановой метрикой, или расстоянием, заданным тензором: