Orthonormal frame in spacetime (source code)

= Orthonormal frame in spacetime

An orthonormal frame $\{e_a\}$ satisfies $g(e_a,e_b)=\eta_{ab}$. Any two such frames differ by a local Lorentz transformation.