Difference between revisions of "Submanifold"
(Importing text file) |
Ulf Rehmann (talk | contribs) m (MR/ZBL numbers added) |
||
Line 18: | Line 18: | ||
====References==== | ====References==== | ||
− | <table><TR><TD valign="top">[1]</TD> <TD valign="top"> | + | <table><TR><TD valign="top">[1]</TD> <TD valign="top"> V.A. Rokhlin, D.B. Fuks, "Beginner's course in topology. Geometric chapters" , Springer (1984) (Translated from Russian) {{MR|759162}} {{ZBL|}} </TD></TR><TR><TD valign="top">[2]</TD> <TD valign="top"> S. Lang, "Introduction to differentiable manifolds" , Interscience (1967) pp. App. III {{MR|1931083}} {{MR|1532744}} {{MR|0155257}} {{ZBL|1008.57001}} {{ZBL|0103.15101}} </TD></TR><TR><TD valign="top">[3]</TD> <TD valign="top"> C. Chevalley, "Theory of Lie groups" , '''1''' , Princeton Univ. Press (1946) {{MR|0082628}} {{MR|0015396}} {{ZBL|0063.00842}} </TD></TR><TR><TD valign="top">[4]</TD> <TD valign="top"> S. Sternberg, "Lectures on differential geometry" , Prentice-Hall (1964) {{MR|0193578}} {{ZBL|0129.13102}} </TD></TR></table> |
Line 26: | Line 26: | ||
====References==== | ====References==== | ||
− | <table><TR><TD valign="top">[a1]</TD> <TD valign="top"> | + | <table><TR><TD valign="top">[a1]</TD> <TD valign="top"> M.W. Hirsch, "Differential topology" , Springer (1976) pp. Chapt. 6 {{MR|0448362}} {{ZBL|0356.57001}} </TD></TR><TR><TD valign="top">[a2]</TD> <TD valign="top"> Yu. Borisovich, N. Bliznyakov, Ya. Izrailevich, T. Fomenko, "Introduction to topology" , Kluwer (1993) (Translated from Russian) {{MR|1450091}} {{MR|0824983}} {{MR|0591670}} {{ZBL|0836.57001}} {{ZBL|0834.57001}} {{ZBL|0478.57001}} </TD></TR></table> |
Revision as of 21:56, 30 March 2012
In the narrow sense, an -dimensional topological submanifold of an
-dimensional topological manifold
is a subset
which is an
-dimensional manifold in the induced topology. The number
is called the codimension of the submanifold
. One most frequently encounters locally flat submanifolds, for which the identity imbedding
is a locally flat imbedding. A subset
is a locally flat submanifold if for each point
there exists a neighbourhood
of this point in
together with local coordinates
in it such that in terms of these coordinates
is described by the equations
.
In the broad sense, an -dimensional topological submanifold of an
-dimensional topological manifold
is an
-dimensional manifold
which, as a set of points, is a subset of
(in other words,
is a subset of
with the structure of an
-dimensional manifold) and for which the identity imbedding
is an immersion (cf. Immersion of a manifold). A submanifold in the narrow sense is a submanifold in the broad sense, while the latter is a submanifold in the narrow sense if and only if
is an imbedding in the topological sense (i.e. for each point
there are arbitrarily small neighbourhoods in
that are intersections with
of certain neighbourhoods in
).
A piecewise-linear, analytic or differentiable submanifold (of class ,
) of a piecewise-linear, analytic or differentiable manifold
(of class
,
) in the broad sense (or, correspondingly, in the narrow sense) is a subset
having the structure of a piecewise-linear, analytic or differentiable manifold (of class
), where
is a piecewise-linear, analytic or differentiable immersion (of class
) (correspondingly, an imbedding). The definition of a differentiable submanifold of class
is suitable also for
, and it coincides in that case with the definition of a topological submanifold. It is usually understood that
.
In the analytic and differentiable cases, the submanifold is always locally flat. Therefore, the definition of an analytic (differentiable) submanifold in the narrow sense is usually formulated from the start as an analytic (differentiable) form of the definition given in 1) for a locally flat submanifold by means of local coordinates, with the additional condition that the local coordinates are analytic (differentiable of class
). If a subset
satisfies the latter definition, it is equipped in a natural way with the structure of an analytic (differentiable of class
) manifold, and
is an imbedding in the sense of the corresponding structure.
A piecewise-linear submanifold in the narrow sense can be locally represented as a subpolyhedron in the ambient manifold and is piecewise linearly equivalent to a simplex (cf. Simplex (abstract)). It is not always locally flat (although this is so for ); also, for such a manifold, the property of being locally flat in the topological sense does not coincide (at least directly) with the property of being locally flat in the piecewise-linear sense.
A simple modification of these definitions gives the definitions of: a submanifold with boundary; a submanifold of a manifold with boundary (in the topological situation, it is desirable to impose a restriction on the submanifold at the boundary of the ambient manifold, see ); a submanifold the various components of which may have different dimensions; a submanifold of a manifold of infinite dimension ; and a complex-analytic submanifold of a complex-analytic manifold.
The concept of a manifold in the narrow sense is a direct generalization of the concepts of a curve and a surface. A submanifold in the broad sense is used in the theory of Lie groups (where this concept was first introduced ), in differential geometry
and also in the theory of foliations (cf. Foliation).
In algebraic geometry, a submanifold (usually called a subvariety here) is a closed subset of an algebraic variety in the Zariski topology. This formalizes the idea that a subvariety is specified by algebraic equations. In addition to the transition from to other fields, the change in the concept of a subvariety in this case is that one allows subvarieties with singularities.
References
[1] | V.A. Rokhlin, D.B. Fuks, "Beginner's course in topology. Geometric chapters" , Springer (1984) (Translated from Russian) MR759162 |
[2] | S. Lang, "Introduction to differentiable manifolds" , Interscience (1967) pp. App. III MR1931083 MR1532744 MR0155257 Zbl 1008.57001 Zbl 0103.15101 |
[3] | C. Chevalley, "Theory of Lie groups" , 1 , Princeton Univ. Press (1946) MR0082628 MR0015396 Zbl 0063.00842 |
[4] | S. Sternberg, "Lectures on differential geometry" , Prentice-Hall (1964) MR0193578 Zbl 0129.13102 |
Comments
Any -manifold
can be
imbedded in
(Whitney's imbedding theorem), and so any
-manifold can be seen as a submanifold of some
.
References
[a1] | M.W. Hirsch, "Differential topology" , Springer (1976) pp. Chapt. 6 MR0448362 Zbl 0356.57001 |
[a2] | Yu. Borisovich, N. Bliznyakov, Ya. Izrailevich, T. Fomenko, "Introduction to topology" , Kluwer (1993) (Translated from Russian) MR1450091 MR0824983 MR0591670 Zbl 0836.57001 Zbl 0834.57001 Zbl 0478.57001 |
Submanifold. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Submanifold&oldid=23984