请输入您要查询的字词:

 

单词 Submanifold
释义

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 structureMathworldPlanetmath is inherited from the ambient space is not generally agreed upon.So let’s start with differentiableMathworldPlanetmathPlanetmath submanifolds of n as that’s the most useful case.

Definition.

Let M be a subset of n such that for every pointpM there exists a neighbourhood Up of p in nand m continuously differentiable functions ρk:U where the differentials of ρk are linearly independentMathworldPlanetmath,such that

MU={xUρk(x)=0,1km}.

Then M is called a submanifold of n of dimensionMathworldPlanetmathPlanetmathPlanetmath mand of codimension n-m.

If ρk are in fact smooth then M is a smooth submanifold andsimilarly if ρ is real analytic then M is a real analyticsubmanifold. Ifwe identify 2n with n and we have asubmanifold there it is called a real submanifold inn. ρk are usually called the local defining functions.

Let’s now look at a more general definition. Let M be a manifold of dimension m. A subset NM is said to have the submanifold property if there exists an integer nm, such that foreachpN there is a coordinatePlanetmathPlanetmath neighbourhood U and a coordinate function φ:Um of M such that φ(p)=(0,0,0,,0),φ(UN)={xφ(U)xn+1=xn+2==xm=0} if n<m or NU=U if n=m.

Definition.

Let M be a manifold of dimension m.A subset NM with the submanifold propertyfor some nm is called a submanifold of M of dimension n and of codimension m-n.

The ambiguity arises about what topologyMathworldPlanetmath we require N to have. Some authors require N to have the relative topology inherited from M, others don’t.

One could also mean that a subset is a submanifold if it is a disjointunionMathworldPlanetmath of submanifolds of different dimensions. It is not hard to see thatif N is connected this is not an issue (whatever the topology on N is).

In case of differentiable manifolds,if we take N to be a subspaceMathworldPlanetmath of M (the topology on N is the relative topology inherited from M) and the differentiable structure of N tobe the one determined bythe coordinate neighbourhoods above then we call N a regular submanifold.

If N is a submanifold and the inclusion mapMathworldPlanetmath i:NM is an imbedding, then wesay that N is an imbedded (or embedded) submanifold of M.

Definition.

Let pM where M is a manifold. Then the equivalence classMathworldPlanetmathPlanetmath of allsubmanifolds NM such that pN where we say N1 isequivalentMathworldPlanetmathPlanetmathPlanetmathPlanetmath to N2 if there is some open neighbourhood U of p suchthat N1U=N2U is called the germ of a submanifold through the point p.

If NM is an open subset of M, then N is called the open submanifold of M. This is the easiest class of examples of submanifolds.

Example of a submanifold (a in fact) is the unit sphere in n. 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.
随便看

 

数学辞典收录了18232条数学词条,基本涵盖了常用数学知识及数学英语单词词组的翻译及用法,是数学学习的有利工具。

 

Copyright © 2000-2023 Newdu.com.com All Rights Reserved
更新时间:2025/5/4 11:20:23