Помимо общефилософских выводов, следующих из доказательства гипотезы о положительности массы, эта — теперь уже — теорема дает некоторые подсказки по поводу природы массы как таковой, представляющей собой весьма эфемерное и на удивление неуловимое понятие в общей теории относительности. Частично эти сложности проистекают из нелинейности самой теории. Эта нелинейность означает то, что гравитация также является нелинейной. Благодаря этому гравитация может взаимодействовать сама с собой и в процессе взаимодействия порождать массу — тот ее вид, с которым особенно сложно иметь дело.
В общей теории относительности масса может быть определена только как глобальное понятие. Иными словами, мы привыкли оперировать понятием массы системы как целого, представляя эту систему заключенной в гипотетический ящик, так, как если бы мы посмотрели на нее из очень сильно удаленной точки — по сути, из бесконечности. Что касается «локальной» массы — например, массы данного тела, — то, хотя это понятие и покажется проще для непрофессионала в нашей области, на сегодняшний день четкого определения оно не имеет. Понятие плотности в общей теории относительности также определено весьма нечетко. Вопрос о том, откуда берется масса и как дать ей определение, волновал меня на протяжении десятилетий и, когда позволяло время, я возвращался к нему совместно с коллегами, такими как Мелисса Лю и Мутао Ванг из Колумбии. Как мне сейчас кажется, нам удалось в конце концов конкретизировать понятие локальной массы, используя при этом идеи различных физиков и геометров, и, возможно даже, мы были недалеки от окончательного решения проблемы. Но мы не смогли бы даже начать думать над этой проблемой, если бы не имели в основе прочного фундамента в виде положительности общей массы.
К тому же гипотеза о положительности массы привела нас с Шоном к доказательству другого утверждения из области общей теории относительности, касающегося так называемых черных дыр. Большинство людей, размышляя о столь причудливых астрофизических объектах, как черные дыры, едва ли как-то связывают их с геометрическими понятиями. Тем не менее геометрия достаточно многое может сказать о черных дырах, и по сути именно ей мы обязаны самой возможностью предсказания существования таких объектов до их обнаружения астрономическими методами. Это предсказание стало триумфом применения геометрического подхода к общей теории относительности.
В 1960-х годах Стивен Хокинг и Роджер Пенроуз при помощи геометрических методов, точнее, той особой разновидности геометрии, которая рассматривается в нашей книге, и законов общей теории относительности доказали, что любая
Рис. 3.10а. Стивен Хокинг, физик из Кембриджского университета (фотография Филиппа Уотерсона, LBIPP, LRPS)
Рис. 3.10б. Роджер Пенроуз, математик из Оксфордского университета (© Роберт С. Харрис [Лондон])
Рис. 3.11. Чем меньше сфера, тем сильнее она искривлена. Напротив, при стремлении радиуса к бесконечности кривизна уменьшается до нуля
Поскольку кривизна сферы обратно пропорциональна квадрату радиуса, возрастание радиуса до бесконечности приводит к уменьшению кривизны до нуля. И напротив, при стремлении радиуса к нулю кривизна неуклонно возрастает и стремится к бесконечности.