Local Orthonormal Coframe defines Riemannian Density

From ProofWiki
Jump to navigation Jump to search

Theorem

Let $\struct {M, g}$ be an $n$-dimensional Riemannian manifold.

Let $\tuple {\epsilon^i}$ be an local orthonormal coframe.

Let $\mu$ be a Riemannian density.


Then there exists $\mu$ such that:

$\mu = \size {\epsilon^1 \wedge \ldots \wedge \epsilon^n}$

where $\wedge$ denotes the wedge product.


Sources