submanifold
There are several conflicting definitions of what a submanifold is, depending on which author you are reading. All that agrees is that a submanifold is a subset of a manifold which is itself a manifold, however how structure is inherited from the ambient space is not generally agreed upon.So let’s start with differentiable
submanifolds of as that’s the most useful case.
Definition.
Let be a subset of such that for every point there exists a neighbourhood of in and continuously differentiable functions where the differentials of are linearly independent,such that
Then is called a submanifold of of dimension and of codimension .
If are in fact smooth then is a smooth submanifold andsimilarly if is real analytic then is a real analyticsubmanifold. Ifwe identify with and we have asubmanifold there it is called a real submanifold in. are usually called the local defining functions.
Let’s now look at a more general definition. Let be a manifold of dimension . A subset is said to have the submanifold property if there exists an integer , such that foreach there is a coordinate neighbourhood and a coordinate function of such that , if or if .
Definition.
Let be a manifold of dimension .A subset with the submanifold propertyfor some is called a submanifold of of dimension and of codimension .
The ambiguity arises about what topology we require to have. Some authors require to have the relative topology inherited from , others don’t.
One could also mean that a subset is a submanifold if it is a disjointunion of submanifolds of different dimensions. It is not hard to see thatif is connected this is not an issue (whatever the topology on is).
In case of differentiable manifolds,if we take to be a subspace of (the topology on is the relative topology inherited from ) and the differentiable structure of tobe the one determined bythe coordinate neighbourhoods above then we call a regular submanifold.
If is a submanifold and the inclusion map is an imbedding, then wesay that is an imbedded (or embedded) submanifold of .
Definition.
Let where is a manifold. Then the equivalence class of allsubmanifolds such that where we say isequivalent
to if there is some open neighbourhood of suchthat is called the germ of a submanifold through the point .
If is an open subset of , then is called the open submanifold of . This is the easiest class of examples of submanifolds.
Example of a submanifold (a in fact) is the unit sphere in . This is in fact a hypersurfaceas it is of codimension 1.
References
- 1 William M. Boothby.,Academic Press, San Diego, California, 2003.
- 2 M. Salah Baouendi,Peter Ebenfelt,Linda Preiss Rothschild.,Princeton University Press,Princeton, New Jersey, 1999.