Let be the dual basis of the positively oriented orthonormal basis . By the definition of the Riemannian volume form,The interior product of a differential form with the outward unit normal isThe vectors form a positive orthonormal frame of by the outward-normal-first boundary orientation. Consequently the pullback of the last display is the positive unit boundary volume form:
Articles by others on the same topic
There are currently no matching articles.