Gauss-Weingarten map: Difference between revisions
(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.