PlanetMath (more info)
 Math for the people, by the people. Sponsor PlanetMath
Encyclopedia | Requests | Forums | Docs | Wiki | Random | RSS  
Login
create new user
name:
pass:
forget your password?
Main Menu
Owner confidence rating: Medium Entry average rating: No information on entry rating
area formula (Theorem)

Let $\HH^m$ denote the Hausdorff measure. Let $m\le n$ and consider a Lipschitz function $f\colon \R^m \to \R^n$ . If $A\subset \R^m$ is a Lebesgue measurable set, the equation $$ \int_A J_f(x) \,dx = \int_{\R^n} \HH^0(f^{-1}(\{y\})\cap A) \, d\HH^m y $$ holds, where $$ J_f(x) = \sqrt{\det(Df(x)\cdot Df(x)^*)} $$ is the Jacobian determinant of $f$ in the point $x$ and represent the $m$ -volume of the image of the unit cube under the linear map $Df(x)$ .

If $u\in L^1(\R^m)$ then one has $$ \int_{\R^m} u(x) J_f(x)\, dx = \int_{\R^n}\sum_{x\in f^{-1}(\{y\})} u(x)\, d\HH^m y. $$

Notice that this formula is a generalization of the change of variables in integrals on $\R^n$ .




"area formula" is owned by paolini.
(view preamble | get metadata)

View style:

See Also: change of variables in integral on $\mathbb{R}^n$

Log in to rate this entry.
(view current ratings)

Cross-references: integrals, variables, formula, linear map, cube, unit, image, represent, point, determinant, Jacobian, equation, Lebesgue measurable, Lipschitz function, Hausdorff measure
There is 1 reference to this entry.

This is version 8 of area formula, born on 2004-07-01, modified 2006-10-10.
Object id is 5979, canonical name is AreaFormula.
Accessed 11467 times total.

Classification:
AMS MSC28A78 (Measure and integration :: Classical measure theory :: Hausdorff and packing measures)

Pending Errata and Addenda
None.
[ View all 3 ]
Discussion
Style: Expand: Order:
forum policy

No messages.

Interact
post | correct | update request | prove | add result | add corollary | add example | add (any)