Многообразие в общей теории относительности допускает метрический тензор только при условии, что расслоение Грассмана допускает сечение (это связано с тем, что расслоение метрических тензоров является , с множество римановых метрик, всегда имеющее сечение на паракомпактных многообразиях). Это соответствует всем многообразиям, кроме компактных многообразий с эйлеровой характеристикой .
Но есть и другой способ построить метрический тензор из поля репера и метрики расслоения на касательном расслоении. Итак, я предполагаю, что сечение ортонормированного касательного расслоения должны существовать только при одинаковых условиях. Хотя что могло бы служить доказательством этого?
Если пучок фреймов имеет глобальную секцию , то вы получаете лоренцеву метрику
Дану