Canonical Measure and Volume Form
In analogy with the case of surfaces, a metric tensor on an n-dimensional paracompact manifold M gives rise to a natural way to measure the n-dimensional volume of subsets of the manifold. The resulting natural positive Borel measure allows one to develop a theory of integrating functions on the manifold by means of the associated Lebesgue integral.
A measure can be defined, by the Riesz representation theorem, by giving a positive linear functional Λ on the space C0(M) of compactly supported continuous functions on M. More precisely, if M is a manifold with a (pseudo-)Riemannian metric tensor g, then there is a unique positive Borel measure μg such that for any coordinate chart (U,φ),
for all ƒ supported in U. Here det g is the determinant of the matrix formed by the components of the metric tensor in the coordinate chart. That Λ is well-defined on functions supported in coordinate neighborhoods is justified by Jacobian change of variables. It extends to a unique positive linear functional on C0(M) by means of a partition of unity.
If M is in addition oriented, then it is possible to define a natural volume form from the metric tensor. In a positively oriented coordinate system (x1,...,xn) the volume form is represented as
where the dxi are the coordinate differentials and the wedge ∧ denotes the exterior product in the algebra of differential forms. The volume form also gives a way to integrate functions on the manifold, and this geometric integral agrees with the integral obtained by the canonical Borel measure.
Read more about this topic: Metric Tensor
Famous quotes containing the words canonical, measure, volume and/or form:
“If God bestowed immortality on every man then when he made him, and he made many to whom he never purposed to give his saving grace, what did his Lordship think that God gave any man immortality with purpose only to make him capable of immortal torments? It is a hard saying, and I think cannot piously be believed. I am sure it can never be proved by the canonical Scripture.”
—Thomas Hobbes (1579–1688)
“Unless a group of workers know their work is under surveillance, that they are being rated as fairly as human beings, with the fallibility that goes with human judgment, can rate them, and that at least an attempt is made to measure their worth to an organization in relative terms, they are likely to sink back on length of service as the sole reason for retention and promotion.”
—Mary Barnett Gilson (1877–?)
“A tattered copy of Johnson’s large Dictionary was a great delight to me, on account of the specimens of English versifications which I found in the Introduction. I learned them as if they were so many poems. I used to keep this old volume close to my pillow; and I amused myself when I awoke in the morning by reciting its jingling contrasts of iambic and trochaic and dactylic metre, and thinking what a charming occupation it must be to “make up” verses.”
—Lucy Larcom (1824–1893)
“Our ability to fall in love requires enough comfort with our masculinity to join it with someone’s femininity and feel enhanced. . . . If our mother made us feel secure and proud in our masculinity, then we want to find that again in our wife. If we are really comfortable with our mother, we can even marry a woman who is a friend rather than an adversary, and form a true partnership.”
—Frank Pittman (20th century)