请输入您要查询的字词:

 

单词 Orientation1
释义

orientation


There are many definitions of an orientation of a manifoldMathworldPlanetmath. The mostgeneral, in the sense that it doesn’t require any extra on the manifold, is based on(co-)homologyMathworldPlanetmathPlanetmath theory. For this article manifold means a connected,topological manifold possibly with boundary.

Theorem 1.

Let M be a closed, n–dimensionalmanifold. Then Hn(M;Z) the top dimensionalhomology group of M, is either trivial ({0}) or isomorphicto Z.

Definition 2.

A closed n–manifold is called orientable if its tophomology group is isomorphic to the integers.An orientation of M is a choice of a particular isomorphism

𝔬:Hn(M;).

An oriented manifold is a (necessarily orientable) manifold M endowed withan orientation.If (M,𝔬) is an oriented manifold then 𝔬(1) is calledthe fundamental classMathworldPlanetmath of M , or the orientation class of M, and is denotedby [M].

Remark 3.

Notice that since has exactly twoautomorphismsPlanetmathPlanetmathPlanetmath an orientable manifold admits two possibleorientations.

Remark 4.

The above definition could be given using cohomologyMathworldPlanetmath instead of homology.

The top dimensional homology of a non-closed manifold is alwaystrivial, so it is trickier to define orientation for thosebeasts. One approach (which we will not follow) is to use specialkind of homology (for example relative to the boundary for compactmanifolds with boundary). The approach we follow defines (global)orientation as compatible fitting together of local orientations. Westart with manifolds without boundary.

Theorem 5.

Let M be an n-manifold without boundary and xM. Then the relative homology group

Hn(M,Mx;)
Definition 6.

Let M be an n-manifold and xM. An orientationof M at x is a choice of an isomorphism

𝔬x:Hn(M,Mx;).

to make precise the notion of nicelyfitting together of orientations at points, is to require that fornearby points the orientations are defined in a way.

Theorem 7.

Let U be an open subset of M that is homeomorphicMathworldPlanetmath to Rn(e.g. the domain of a chart). Then,

Hn(M,MU;).
Definition 8.

Let U be an open subset of M that is homeomorphicto n. A local orientation of M on U is a choiceof an isomorphism

𝔬U:Hn(M,MU;).

Now notice that with U as above and xU the inclusion

ıxU:MUMx

a map (actually isomorphism)

ıx*U:Hn(M,MU;)Hn(M,Mx;)

and therefore a local orientation at U (by composing with the aboveisomorphism) an orientation at each point xU. It is to declare that all theseorientations fit nicely together.

Definition 9.

Let M be a manifold with non-empty boundary, M. M is called orientable if its double

M^:=MMM

is orientable, where M denotes gluing along the boundary.
An orientation of M is determined by an orientation of M^.

随便看

 

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

 

Copyright © 2000-2023 Newdu.com.com All Rights Reserved
更新时间:2025/5/4 17:06:41