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 is a differential manifold of dimension , embedded smoothly inside .

For non-oriented submanifolds

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

For oriented submanifolds

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

For codimension one submanifolds

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

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 in the tangent space to ) with suitable orientation, if the manifold is oriented. The two maps are equivalent, under the isomorphism between the Grassmannian of -dimensional subspaces, and the Grassmannian of -dimensional subspaces.