Модель Фридмана это модель однородной изотропной вселенной в рамках ОТО. Причем при любой массе вселенной она бесконечна.
Модель Фридмана - это общее название для трёх моделей:
- с однородной положительной кривизной - "замкнутая" на жаргоне космологов - конечная;
- с однородной нулевой кривизной - "плоская" на жаргоне космологов - бесконечная;
- с однородной отрицательной кривизной - "открытая" на жаргоне космологов - бесконечная.
Границ нет ни в одной из них, но первый вариант устроен как 3-сфера конечного радиуса.
В старой и неудобной терминологии у такой геометрии (на самом деле, у чуть-чуть другой) было название "геометрия Римана" - в одном ряду с геометриями Евклида и Лобачевского. Не путать с "риманова геометрия"! Риманова геометрия - это намного более общее понятие и название. Сейчас "геометрию Римана" общепринято называть эллиптической геометрией, так меньше путаницы. Заодно геометрию Лобачевского - гиперболической.
Хокинг, Эллис. Крупномасштабная структура пространства-времени.Там подробно описан весь "зоопарк" Фридманов, Де Ситтеров, и много ещё вкусного.
И, к слову, в ОТО при минимальном энергетическом состоянии не гравитационных полей кривизна всегда будет равна нулю.
Не факт. В теории поля вне ОТО вакуумную энергию принято приравнивать нулю, потому что она ненаблюдаемая (да ещё и расходящаяся). Но в ОТО энергия наблюдаема по создаваемой ей гравитации, поэтому возможно, что ваккум - на самом деле ненулевая константа. И кривизна будет не нуль.
И аккуратней, различайте кривизну Римана и кривизну Эйнштейна. Первая - тензор 4 ранга, а вторая - 2. Уравнение Эйнштейна приравнивает нулю тензор Эйнштейна, но тензор Римана может оставаться ненулевым. Физическая суть: гравитационное поле может в точке не исчезать, но иметь характер чисто приливных сил без всестороннего сжатия. Электростатическая аналогия: в отсутствие заряда лапласиан от электрического потенциала в точке нулевой - всего лишь лапласиан, а не он сам. Сам потенциал может быть весьма замысловатой формы, лишь бы положительные вторые производные по направлениям сокращались по разным направлениям.
То есть сама по себе она бесконечна?
Она
в четырёхмерном смысле бесконечна. Именно этот смысл - "сам по себе", а все остальные - относительные.