 Euclidean orthonormal frame

This is a frame of a real vector bundle with a positive-definite fiber metric for which the basis vectors are orthonormal. The Gram-Schmidt process applied to any smooth local frame produces such frames smoothly. They are distinguished from Lorentzian orthonormal frames, whose metric has mixed signature.