Предположим, мы начинаем непосредственно с (уравнение 1), где конечно относится к метрическому тензору, и относится к тетраде, с представляющий метрику Лоренца. Предполагая некоторую систему координат, если тетрады настроены так, чтобы удовлетворять уравнению 1, а тетрады удовлетворяют условию ортогональности, то разве тетрады также не удовлетворяют условиям ортонормированности? Или есть какое-то другое условие, необходимое для того, чтобы тетрады были ортонормированными векторными полями, а не просто ортогональными векторными полями?
Позволять обозначают соответствующие матрицы. Уравнение
Переверни все сюда:
DanielC