# A Volume form on unit sphere

1. Nov 28, 2016

### spaghetti3451

The volume form on the unit sphere $S^{n}$ in $\mathbb{R}^{n+1}$ is given by

$$i_{{\bf r}}\ dx^{1}\wedge \dots \wedge dx^{n+1}=\sum (-1)^{i-1}x^{i}dx^{1}\wedge\dots \widehat{dx^{i}} \dots \wedge dx^{n+1}.$$

Why must the volume form $dx^{1}\wedge \dots \wedge dx^{n+1}$ act on the vector ${\bf r}$ to give the volume form on the unit sphere?

Also, how do I get the form of the volume form on the right-hand side of the equation?

2. Nov 28, 2016

### Orodruin

Staff Emeritus
What you have is the volume form in n+1 dimensions. Taking the interior product with the position vector gives you an appropriate n-form that has exactly the properties that you are looking for when you do the pullback to the n-sphere.

Do you mean how you get the left-hand side on that form? Have you tried simply applying the definition of the interior product?

3. Nov 29, 2016

### zinq

"Why must the volume form dx1∧⋯∧dxn+1 act on the vector r to give the volume form on the unit sphere?"

This works as long as by r you mean the radial vector field of unit length.

Here's one reason for this: Suppose near some point p of the unit sphere Sn in Rn+1 you have tangent vectors

∂/∂y1, . . ., ∂/∂yn

that are orthonormal at p. Then the dual 1-forms

dy1, . . ., dyn

automatically have the property that their wedge product

dy1∧ . . . ∧dyn

is the volume form of Sn.

This work for any Riemannian manifold, not just Sn. Because the unit radial vector r together with the vectors ∂/∂y1, . . ., ∂/∂yn form an orthonormal basis for Rn+1 at the point p, the wedge product of their dual 1-forms is the volume form of Rn+1. That is,

dx1∧⋯∧dxn+1 = dr∧dy1∧ . . . ∧dyn

where the meaning of dr should be clear. This implies what you asked about almost immediately. It would be good to try some simple cases in low dimensions to see this is a general principle.

4. Nov 29, 2016

### Orodruin

Staff Emeritus
The position vector always has unit length on the unit sphere.

5. Nov 29, 2016

### zinq

Good point!

6. Nov 29, 2016

### spaghetti3451

Ok, so, to get the volume form on the unit sphere $S^{n}$, you take the interior product of the volume form in $\mathbb{R}^{n+1}$ with $\bf r$.

But, how you do simplify it to the expression $\sum (-1)^{i-1}x^{i}dx^{1}\wedge\dots \widehat{dx^{i}} \dots \wedge dx^{n+1}$?

In particular, I don't understand why $\displaystyle{{\bf r} = \sum_{i=1}^{n+1} x^{i} \frac{\partial}{\partial x^{i}}}$.

My hunch is that $\displaystyle{{\bf r} = \sum_{i=1}^{n+1} \frac{\partial}{\partial x^{i}}}$ since $\bf r$ is a unit vector and must have components which are unity. But, I don't see why my hunch is wrong.

7. Nov 29, 2016

### Orodruin

Staff Emeritus
The vector you quote is neither radial nor has norm one. A unit vector has norm one, not all components equal to one.

8. Nov 30, 2016