Мне кажется, что этот факт должен следовать из решения ур-й Эйнштейна, или же Вы видите это сразу из формулы(111.7) ЛЛ2?
Чёрт, я вынужден извиниться, что ввёл вас в заблуждение. Я перепутал две вещи: пространственную замкнутость (в § 111) и временну́ю (в § 112). В пространстве мы описываем сферу координатами
или
При этом,
меняется
а вот
при этом сначала возрастает
а потом убывает в том же диапазоне; и хотя координаты
повторяются, но на самом деле, это другой координатный лист - вторая половина сферы, "дальняя" от начала координат. Использование переменной
позволяет рассматривать всё на одном координатном листе.
Это всё "следует" из (111.7) (точнее, сама (111.7) следует из этого, но полностью не эквивалентна, поскольку теряет сведения о координатных листах), а к решению уравнения Эйнштейна и к эволюции по времени отношения пока не имеет. Здесь рассматривается только форма пространства (а не пространства-времени), а какая она - задано постулатами о том, что Вселенная однородна и изотропна.
----------------
С другой стороны, аналогичная ситуация имеет место в эволюции замкнутой модели во времени (без Λ-члена, подчёркиваю, то есть чисто классический Фридман). Эта эволюция рассмотрена в § 112, и выведена уже из уравнения Эйнштейна (см. (112.5)). Тут, совершенно аналогично, полное многообразие состоит из двух "половин", которые можно описать либо с помощью величины
либо с помощью величины
причём
а
сначала проходит диапазон
по возрастанию, "в эпоху расширения Вселенной", а потом обратно его же - по убыванию, "в эпоху сжатия Вселенной". Эти две стадии задавали бы два координатных листа, если бы мы использовали
как координату. Но если мы используем как координату
или взаимно-однозначно ей соответствующую
то мы можем обойтись одним координатным листом.
Я из неё вижу лишь, что не может быть r=a
Ну да, по этой формуле можно подходить к этой границе только в пределе. Но на самом деле, метрика там не заканчивается - заканчивается только координатный лист.
Где можно почитать доказательство этого факта?
Хм-м-м... не помню. Я себя ощущаю как сороконожка, которую спросили, как она ходит :-) Попробуйте задать этот вопрос в математическом разделе форума. Это какой-то факт из линейной алгебры, и даже может быть, я вспомнил его неправильно.