Let $\omega$ the (n-1) form on $\mathbb{R}^n$ $$\omega=\sum_{j=1}^{n}(-1)^{j-1}x_{j}dx_{1}\wedge\cdots\wedge \hat{dx_{j}}\wedge\cdots dx_{n}$$ Show that the restriction of $\omega$ to $S^{n-1}$ in precisely the volume for this sphere.
What I did was: $\omega$ never vanish on the sphere, because, defining $\sigma\in \Omega^{n-1}(S)$ for $$\sigma_{p}(v_{1},...,v_{n-1})=det(p,v_{1},...,v_{n-1})$$ and $i:S^{n-1}\rightarrow \mathbb{R}^{n}$ the inclusion function, then $\omega=i^{\ast}(\sigma)$ then $\omega\not=0$ and therfore is a volume form.
- How proof that $\omega$ is the volume form?
The first thing that comes to mind is show that $\int_{S^{n-1}}\omega=Vol(S^{n-1})$ but I have serious problems with the definition, I think that is to much.
- How see that $\omega$ is invariant on $\mathbb{R}^{n}$ under action of $O(n)$
Hint:
The formula for the volume form of a hypersurface $i:S^{n-1}\rightarrow \mathbb{R}^{n}$ is
$$ds=i^{*}(\iota_\nu dV),$$ where $dV$ is a given volume form on the $\mathbb{R}^{n}$ and $\nu\in T\mathbb{R}^{n}$ is a smooth unit normal field to the surface; with interior product (contraction) and the pull-back (restriction) operations. Intuition: $dV$ measures volumes of n-vectors, "feeding" it a unit vector makes it measure "areas" orthogonal to that unit vector.
Example, $S^2$:
We use $\nu=(x,y,z)$; the linearity of $\iota$ gives
$$ ds=x\ \iota_{\partial_{x}}dV+y\ \iota_{\partial_{y}}dV+z\ \iota_{\partial_{z}}dV. $$
Now remember that $dV=dx\wedge dy\wedge dz=dy\wedge dz\wedge dx=dz\wedge dx\wedge dy$; so contracting $dV$ with $\partial_{x^{i}}$ just removes the $dx^{i}$. Thus $$ ds=x\ dy\wedge dz+y\ dz\wedge dx+z\ dx\wedge dy. $$