定向

                     

贡献者: JierPeter

   本文是Orientation词条1翻译,来自 European Mathematical Society(欧洲数学学会)和 Spinger 出版社公开的 Encyclopedia of Mathematics(数学百科).

1. 一般概念

   在传统数学中,一个定向(orientation)(或译作取向)是指一种坐标系的等价划分,如果两个坐标系正相关(positively related)则是等价的.

   对于有限实线性空间 $\mathbb{R}^n$,一个坐标系由一组基确定,而两组基等价的条件是转移矩阵的行列式为正数.这个等价关系划分出两个等价类.对于复数的情况,即 $\mathbb{C}^n$,任取其复基 $\{e_1, \cdots, e_n\}$,则能导出实基 $\{e_1, \cdots, e_n, \mathrm{i} e_1, \cdots, \mathrm{i} e_n\}$,从而可以将其视为 $\mathbb{R}^{2n}$.任意两个复基分别导出的实基就是正相关的(也就是说,复结构定义了 $\mathbb{R}^{2n}$ 上的定向).

   在一条线、一个面或者更一般的实仿射空间$E^n$ 上,一个坐标系由一个点(原点)和一组基给定,坐标系的变换由一个平移(改变原点)和一个基变换给定.坐标系的变换是正的,当且仅当基变换的转移矩阵行列式为正数.(举个例子:基向量的偶置换.)两个坐标系定义的定向相同,当且仅当其中一个可以连续地变为另一个,即存在由参数 $t\in[0, 1]$ 给定的一族坐标系 $O_t, e_t$ 关于 $t$ 是连续的,则 $O_0, e_0$ 到 $O_1, e_1$ 的变换就是连续的.在 $n-1$ 维超平面上的反射(reflection)映射能反转定向,即将一个定向中的坐标系映入另一个定向.

   坐标系的等价类也能用不同的几何体(geometric figures)2来定义.如果一个几何体 $X$ 按照某种规则与一个坐标系关联,那么它的镜像在同一个规则下就与取向不同的另一个坐标系关联,于是 $X$(以及给定的那个规则)就定义了一个定向.比如说,在仿射平面 $E^2$ 上,一个给定了方向的圆就定义了一个定向,其中正定向里的代表坐标系就是原点在圆心处、中点在圆上的两个向量,而第一个向量到第二个向量沿着给定方向走的角度最小3.在 $E^3$ 中,可以用一根螺丝来作参考系4,令第一个基向量沿着螺丝旋进的方向,而第二个和第三个基向量之间的旋转则沿着螺丝旋进时旋转的方向.一个基(或称参考系)也可以用著名的右手定则来定义,即用右手大拇指、食指和中指来确定5

   如果给定了 $E^n$ 的一个定向,那么每一个半空间 $E^n_+$ 就定义了边界面 $E^{n-1}$ 上的一个定向.比如说,如果 $E^n$ 的定向中后 $n-1$ 个基向量都落在 $E^{n-1}$ 中,而第一个基向量指入 $E^n_+$,那么后 $n-1$ 个基向量就定义了 $E^{n-1}$ 上的一个定向.在 $E^n$ 中,也可以用一个 $n$ 维单形6($E^2$ 中的三角形,$E^3$ 中的三角锥)的顶点顺序来定义,即将原点选为第一个顶点,基向量则是从顶点顺次指向其它顶点的向量.同一组顶点的两个顺序属于统一定向,当且仅当它们之间是偶置换关系.一个给定了顶点顺序(至多差一个偶置换)的单形称为定向的(oriented).一个 $n$ 维定向单形的每一个 $(n-1)$-面 $\sigma^{n-1}$ 都有一个诱导定向:如果第一个顶点不在 $\sigma^{n-1}$ 中,那么剩下的顶点顺序就被定义为 $\sigma^{n-1}$ 的正向.

   在一个连通流形$M$ 上,坐标系以一个图册(atlas)的形式出现:一组覆盖了 $M$ 的图.如果各图之间的变换都是正的,那么称这些图构成的图册是定向的.对于一个微分流形来说,这意味着任何两个图之间的 Jacobi 矩阵处处为正.如果存在一个定向的图册,那么称 $M$ 是可定向的.此时,全体定向图册的集合被分成两个等价类,两个图册等价当且仅当在它们俩中各任取一个图,这两图之间的变换都是正的.如此选择的等价类就被称为该流形的一个定向,选择方式可以是先选择一个图或者一个点 $x_0$ 上的局部定向(包含 $x_0$ 的连通图自动分为两个等价类).对于微分流形,可以通过选择 $x_0$ 处切平面的基来定义局部定向(比如说,圆上的旋转方向可以通过给定一个切向量来给定).如果 $M$ 有边界且已定向,那么边界也是可定向的,比如说按照下列规则定向:在边界的一个点上,选择一组用于给 $M$ 定向的基向量,第一个基向量从边界 $\partial M$ 指向内部,其它的基向量则在边界的切空间中,那么后面这些切向量则定义了边界上的一组定向基.

   在任何道路 $q:[0, 1\to M]$ 上,我们可以选择一串图(覆盖该道路),使得两个相邻的图都是正连通的.这样一来,点 $q(0)$ 处的定向就决定了 $q(1)$ 处的定向,而且只需要道路是连续的且起点、终点确定,即可有此定义.如果 $q$ 是个回路,即 $q(0)=q(1)=x_0$,那么当按上述方式决定的 $q(1)$ 定向与 $q(0)$ 的相反,则称 $q$ 是一个反转定向回路7.于是,我们得到了一个从基本群 $\pi_1(M, x_0)$ 到一个二元群的同态:只要让反转定向回路映射到 $-1$ 即可.通过这一同态,我们能定义一个覆盖,对于不可定向流形来说此覆盖是 2-层(two-sheeted)覆盖.我们说它是 orienting 的(因为覆盖空间会是可定向的)8.这一同态还能定义 $M$ 上的一个线丛(line bundle),当且仅当 $M$ 可定向时它是平凡的.对于微分流形 $M$,这可以定义为 $n$ 次外微分形式的丛 $\bigwedge^n(M)$,当且仅当流形可定向时,它有一个非零的截面,且这样的截面同时定义了 $M$ 上的一个体积形式和定向.这个丛有一个特征映射 $k:M\to \mathbb{R}P^n$.流形 $M$ 可定向当且仅当其特征 $\mu\in H^{n-1}(M; \mathbb{Z})$ 不为零,此特征是对偶于 $\mathbb{R}P^{n-1}\subseteq \mathbb{R}P^{n}$ 的特征的像.它对偶于一个 cycle,即 $\mathbb{R}P^{n-1}$ 在映射 $k$ 下在一般位置所取的(taken in general position)的预像,其支撑集(support)是整个流形.这个 cycle 就叫 orienting 的,因为它的补是可定向的:如果用此 cycle 切开 $M$,就可以得到一个可定向流形.$M$ 本身也是可定向的(不可定向的),当且仅当这么切了以后能得到一个不连通流形(连通补).比如,在 $\mathbb{R}P^2$ 中,投影线 $\mathbb{R}P^1$ 就可以当作一个 orienting cycle.

   一个作了单纯剖分的流形 $M$(或者一个伪流形)是可定向的,当且仅当可以把所有 $n$ 维单纯形都定向,使得任意两个有公共 $n-1$ 维面的单纯性在此公共面上诱导的定向相反.给定一条 $n$ 维单纯性的闭链,其相邻单纯形的公共面是 $n-1$ 维度的,那么称此链为反转定向的,如果作为起点和终点的两个单纯形在公共面上导出的定向相同,而其它相邻单纯形则导出相反定向.

   我们也可以用同调论的语言来定义定向:对于一个连通、无界的可定向流形,其同调群 $H_N(M; \mathbb{Z})$(其支撑集是闭的)同构于 $\mathbb{Z}$,于是可以从两个生成元中选一个来定义定向9.对于有边界的连通流形这依然成立,只需要考虑 $H_n(M, \partial M; \mathbb{Z]})$.在第一种情况中,可定向的性质是 $M$ 的同伦不变量,而在第二种情况中是 $(M, \partial M)$ 的同伦不变量.所以,莫比乌斯带和圆环有一个共同的同调型,但考虑边界则不同了10.该流形的一个局部定向也可以通过选择同调群 $H_n(M, M\setminus x_0)$ 的生成元来定义,该群同构于 $\mathbb{Z}$.定向的同调论阐释让我们能把这一概念应用到一般的同调流形上(参见Homology manifold).

   令 $p: E\to X$ 是一个唯一地定义在空间 $X$ 上的纤维丛,纤维为 $F^n$.任取道路 $\gamma: (0, 1)\to X$11,如果所有纤维的定向使得任意(非奇异)映射12$p^{-1}(\gamma(0))\to p^{-1}(\gamma(1))$ 都保持定向,那么该纤维丛就是定向(oriented)的,而各纤维的这些定向的选择即为该纤维丛的定向.举个例子,将一条莫比乌斯带视为一个圆上的向量丛,就没有定向,与之相比,一个圆柱的侧面就有定向.

   定向的概念,也使得建立在一个无穷维巴拿赫空间或拓扑向量空间上的无穷维流形的情况得以自然推广.为了做到这一点,我们需要对一类线性算子作出限制,这里说的线性算子是从一个图到另一个图的转移映射的微分:这些线性算子应不仅是所讨论空间的全体同构映射的一般线性群,而是在这个一般线性群的一个不连通子群里;全体同构映射的一般线性群对于大多数经典向量空间都是同调意义上平凡的(一致拓扑)13.这里说的子群,它的连通分支给定了定向的 “正负号”.这个子群通常被选为 Fredholm 群,其元素是与恒等映射之差为一个完全连续算子的同构映射14

2. 一般上同调理论中的定向

   Let E∗ be a multiplicative generalized cohomology theory (hereafter, simply a theory). There is a unit i∈E˜n(Sn) for which, given the suspension isomorphism E˜0(S0)≈E˜n(Sn), there is a corresponding element γ∈E˜n(Sn), where Sn is the n-dimensional sphere.

   Let ξ be an n-dimensional vector bundle over an arcwise connected space X and let Tξ be the Thom space of ξ. Let i:Sn→Tξ be a standard imbedding, i.e. a homeomorphism on the "fibre" over a point x0∈X. The element u∈E˜n(Tξ) is called an orientation or a Thom class of the bundle ξ if i∗(u)=ϵγn, where ϵ∈E˜0(S0) is an invertible element (for example, ϵ=1). A bundle possessing an orientation is orientable in the theory E∗ or simply E-orientable, while a bundle with a chosen E-orientation is E-oriented. The Thom isomorphism E˜∗(Tξ)≈E∗(X) is valid (see [Do]). The set of orientations of a given E-oriented bundle ξ over X is in one-to-one correspondence with the elements of the group E˜0(X)⊕(E˜0(S0))∗, where (⋅)∗ is the group of invertible elements of the ring (⋅).

   The trivial n-dimensional bundle θn possesses an orientation in any theory En, and if two out of the three bundles ξ,η,ξ⊕η are E-orientable, then the third is also E-orientable (see [Ma]). Moreover, the E-orientability of ξ entails the E-orientability of ξ⊕θn.

   The concept of E-orientability is also introduced for any bundle in the sense of Hurewicz p:M→B, a fibre of which is homotopically equivalent to a sphere. The cone of the mapping p is called the Thom space of this bundle; further definitions are analogous. The definition of orientation of a vector bundle ξ reduces to this if a bundle of unit spheres (in some Riemannian metric on ξ) associated with ξ is taken as M. E-orientability is an invariant of the stable fibre-wise homotopy type of a vector (sphere) bundle. A bundle which is orientable in one theory is not necessarily orientable in another, but given a ring homomorphism of theories E∗→F∗, the property of E-orientability follows from F-orientability.


1. ^ Orientation. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Orientation&oldid=49719
2. ^ 译注:geometric figures 指任何点、线、面等构成的集合,是几何空间的子集.
3. ^ 译注:原文比这还绕口.总之,给定的方向就是规定逆时针或者顺时针之类的方向.
4. ^ 译注:这里原文改成参考系(frame)了,译者也很疑惑.
5. ^ 译注:即向量叉乘的记忆法则,食指指向前方,中指向掌心弯折,大拇指翘起,则食指方向叉乘中指方向,所得方向就是大拇指所指方向.
6. ^ 译注:见单纯形与复形
7. ^ 译注:原文为 If $q$ is a loop, i.e. $q(0)=q(1)=x_0$, then $q$ is called an orientation-reserving loop if these orientations are opposite. 根据句意和原文下一句判断,这里是原作者笔误,reserving 应为 reversing.
8. ^ 译注:It 是啥?那个 manifold?
9. ^ 译注:就是 $\pm 1\in\mathbb{Z}$ 分别代表两个不同的定向.
10. ^ 原文:So, the Möbius strip and the annulus have one and the same homotopy type but a different one if one considers the boundary.
11. ^ 译注:同样据该百科的道路,道路的定义应该是闭区间 $[0, 1]$ 上的映射.
12. ^ 参见这个页面,奇异映射(singular mapping)指将非零元素映入零元素的映射,反之即为非奇异映射.
13. ^ 本句原话引用如下:They must not simply belong to the general linear group of all isomorphisms of the structure space, which is homotopically trivial (in the uniform topology) for the majority of classical vector spaces, but must also be contained in a disconnected subgroup of the general linear group.
14. ^ 本句原话引用如下:The subgroup usually chosen is the Fredholm group, consisting of those isomorphisms of the structure space for which the difference from the identity isomorphism is a completely-continuous operator.


致读者: 小时百科一直以来坚持所有内容免费,这导致我们处于严重的亏损状态。 长此以往很可能会最终导致我们不得不选择大量广告以及内容付费等。 因此,我们请求广大读者热心打赏 ,使网站得以健康发展。 如果看到这条信息的每位读者能慷慨打赏 10 元,我们一个星期内就能脱离亏损, 并保证在接下来的一整年里向所有读者继续免费提供优质内容。 但遗憾的是只有不到 1% 的读者愿意捐款, 他们的付出帮助了 99% 的读者免费获取知识, 我们在此表示感谢。

                     

友情链接: 超理论坛 | ©小时科技 保留一切权利