Gauss-Weingarten map: Difference between revisions

From Diffgeom
(New page: ==Definition== Suppose <math>M</math> is a differential manifold of dimension <math>m</math>, embedded smoothly inside <math>\R^n</math>. ===For non-oriented submanifolds=== If <mat...)
 
No edit summary
Line 14: Line 14:


For codimension one oriented submanifolds, we can identify the oriented Grassmannian with the [[sphere]] <math>S^{n-1} = S^m</math>, whereas for codimension one non-oriented submanifolds, we can identify the Grassmannian with [[real projective space]] <math>\R\mathbb{P}^m</math>.
For codimension one oriented submanifolds, we can identify the oriented Grassmannian with the [[sphere]] <math>S^{n-1} = S^m</math>, whereas for codimension one non-oriented submanifolds, we can identify the Grassmannian with [[real projective space]] <math>\R\mathbb{P}^m</math>.
===Tangent space can be replaced by normal space===
We can define the Gauss-Weingarten map, instead, by sending each point to its ''normal space'' (the orthogonal complement of the tangent space to <math>M</math> in the tangent space to <math>\R^n</math>) with suitable orientation, if the manifold is oriented. The two maps are equivalent, under the isomorphism between the Grassmannian of <math>m</math>-dimensional subspaces, and the Grassmannian of <math>(n-m)</math>-dimensional subspaces.

Revision as of 20:30, 3 April 2008

Definition

Suppose M is a differential manifold of dimension m, embedded smoothly inside Rn.

For non-oriented submanifolds

If M is not assumed to have an orientation, the Gauss-Weingarten map is a map from M to the Grassmannian manifold of m-dimensional subspaces of Rn, as follows: any point pM is mapped to the vector subspace of Rn parallel to the tangent space TpM.

For oriented submanifolds

If we give an orientation to M the Gauss-Weingarten map is a map from M to the oriented Grassmannian manifold of m-dimensional subspaces of Rn as follows: any point pM is sent to the vector subspace parallel to the tangent space TpM, equipped with the orientation.

For codimension one submanifolds

For codimension one oriented submanifolds, we can identify the oriented Grassmannian with the sphere Sn1=Sm, whereas for codimension one non-oriented submanifolds, we can identify the Grassmannian with real projective space RPm.

Tangent space can be replaced by normal space

We can define the Gauss-Weingarten map, instead, by sending each point to its normal space (the orthogonal complement of the tangent space to M in the tangent space to Rn) with suitable orientation, if the manifold is oriented. The two maps are equivalent, under the isomorphism between the Grassmannian of m-dimensional subspaces, and the Grassmannian of (nm)-dimensional subspaces.