OK, so the easiest way to get at this is to consider the unit sphere--this can be embedded in 3-space with equation:
x2+y2+z2=r2
Or alternately, with r=cons. Using the normal Jacobian business, we can find that the measure of this space is ∫dV=∫r2sinθdθdϕ
Now, consider the hyperbolic plane. this is given by the equation
x2−y2−z2=r2
Now, let's explicitly do our jacobian business after choosing r=cons. And to save ourselves some work, we're going to do our best to make it nice and simple. First, we make the substitution y=ρsinθ and z=ρcosθ, which means that y2+z2=ρ2, and our constraint is
x2−ρ2=r2
Now, to make our lives yet simpler, we make the substitution x=rcoshϕ and ρ=rsinhϕ. Using the identity cosh2ϕ−sinh2ϕ=1, we see that our constraint is automatically satisfied, and simple algebra can convince you that any point x,y,z for x>0 can be solved for some r,ϕ,θ. All in all we have:
x=rcoshϕ
y=rsinhϕsinθ
z=rsinhϕcosθ
Now, remembering that our constraint is r=cons, we don't have to take r derivatives when taking differentials and substituting back into our Euclidean distance formula:
ds2=dx2+dy2+dz2
After all of this, we'll find a new metric tensor where
ds2=gabdxadxb
Finally, our volume element will be:
dV=√detgdθdϕ
I'll leave it as an excersise for you to do all of the differentials and matrix algebra required to show that it comes out in the form you've given above.
This post imported from StackExchange Mathematics at 2014-06-02 20:20 (UCT), posted by SE-user Jerry Schirmer