查看“︁可定向性”︁的源代码

{{dablink|关于向量空间的定向，参见[[定向 (数学)]]；其它使用参见[[定向]]。}}

[[File:Torus.png|thumb|环面是可定向曲面。]]
[[File:MobiusStrip-01.png|thumb|莫比乌斯带是不可定向曲面。]]
[[File:Steiners Roman.png|thumb|[[罗马曲面]]不可定向。]]

[[欧几里得空间]]'''R'''<sup>3</sup>中一个[[曲面]]''S''是'''可定向'''（{{lang|en|orientable}}）的如果一个二维图形（比如[[File:Small pie.svg|20px]]）沿着曲面移动后回到起点'''不能'''使它看起来像它的[[鏡像 (幾何)|镜像]]（[[File:pie 2.svg|20px]]）。否则曲面是'''不可定向'''（{{lang|en|non-orientable}}）的。

更确切地，应用于[[嵌入 (數學)|非嵌入]]曲面，一个曲面可定向如果'''不'''存在从二维[[球 (数学)|球]]''B''与单位区间的[[笛卡儿乘积|乘积]]到曲面的[[连续函数 (拓扑学)|连续函数]]<math>f: B\times [0,1] \to S</math>，使得''f''(''b'',''t'')=''f''(''c'',''t'')当且仅当''b''=''c''对任何''t'' ∈ [0,1]，并存在一个[[反射 (数学)|反射]]映射使得''f''(b,0) = ''f''(''r''(''b''),1)对每个''b'' ∈ ''B''。

一个抽象曲面（即一个二维[[流形]]）可定向如果在曲面上连续存在一个一致的逆时针方向旋转概念。这等价于问平面是否包含一个子集[[同胚]]于[[莫比乌斯带]]。从而对曲面来说，莫比乌斯带可认为是所有不可定向性之来源。

嵌入在'''R'''<sup>3</sup>中的曲面在[[File:Small pie.svg|20px]]的意义下可定向当且仅当它作为一个抽象曲面可定向。

==已定向与可定向==
对一个可定向曲面，一个一致的“逆时针方向”选取称为一个'''定向'''（{{lang|en|orientation}}），曲面称为'''已定向'''（{{lang|en|oriented}}）。一个可定向曲面恰有两个定向，一个已定向曲面和可定向曲面的区别很小常忽略不计。一个可定向曲面是一个存在定向的抽象曲面，而已定向曲面是一个抽象可定向曲面，并包含了选取两个可能的定向之一的额外数据。

==例子==
大部分我们在物理世界中遇到的曲面是可定向的。例如[[球面]]、[[平面 (数学)|平面]]与[[环面]]是可定向的。但是[[莫比乌斯带]]、[[实射影平面]]与[[克莱因瓶]]不可定向。它们，在三维空间中看起来都只有一“侧”。（注意：实射影空间与克莱因瓶不能[[嵌入 (数学)|嵌入]]'''R'''<sup>3</sup>，只能良好相交地浸入。）所谓“侧”，从几何上来看局部相当于选取一个连续的单位[[法向量]]场。

注意到一个嵌入曲面局部都有两侧，从而一只近视蚂蚁在单侧曲面上爬可能认为有“另一侧”。一侧性的本质是蚂蚁可以从曲面的一边爬到“另一侧”（相当于单位法向量改变符号），而不穿过曲面或越过边界，只是爬得足够远。两侧性相当于可以整体选取一个连续的单位法向量场。

一般地，可定向性不等价于具有两侧；但如果环绕空间（比如上面的'''R'''<sub>3</sub>）可定向也是成立的。例如，一个环面可以嵌入<math>K^2 \times S^1</math>只有一边，而克莱因瓶在这个空间中也只有一边；这里<math>K^2</math>表示克莱因瓶。

一个服从[[欧几里得几何]]的[[单连通]]二维[[空间]]是可定向的。

人们广泛相信实际[[宇宙]]的[[时空]]流形是可定向的<ref>Mark J. Hadley.[http://www.iop.org/EJ/article/0264-9381/19/17/308/q21708.pdf?request-id=49d1e985-bf89-4203-b020-48367545e3c0 The Orientability of Spacetime]. Class Quantum Grav.19(2002)4565-4571</ref>。不然，你可沿着某条不可缩道路经过时空一周，当你回来时，你（或宇宙的其余部分，从你的观点来看）将变为左-右互逆，就像自己的一个镜像（参见[[手征性 (数学)|手征性]]、[[利手]]）。

==用三角剖分定向==
对曲面无论是否嵌入一个周围空间，可定向性是容易定义的。任何曲面有一个三角剖分：分解为一些三角形使得这些三角形的每一条之多与一条其它边黏合。通过对一个三角的每条边选取一个方向（想象在每条边上画一个箭头），使得当我们沿着三角形的边界绕一圈时箭头头尾相连，这样我们可定向每个三角形。如果我们可使得共有一条边的两个三角形在这条边上的箭头相反，则我们说对这个平面做了一个定向。只有在曲面可定向时才能进行如此操作，并且恰有两个不同的取向。

想象曲面上一个图形[[File:Small pie.svg|20px]]，可以沿着曲面自由滑动但不能脱离曲面（选择这个图形是因为它的手性）。如果曲面是莫比乌斯带，这个图形沿着带子四处滑动回到起点，则它可能看起来像镜像[[File:pie 2.svg|20px]]而不是[[File:Small pie.svg|20px]]。如果曲面是球面，则这种现象不会发生。

与上面定义的关系是在一个三角剖分中[[File:Small pie.svg|20px]]从一个三角形滑动到另一个三角形对每个三角形给出了一个定向；在一个三角形内部[[File:Small pie.svg|20px]]以红-绿-蓝的顺序诱导了每条边上选取一个箭头。一致定向所有三角形的惟一阻碍是当[[File:Small pie.svg|20px]]回到最初开始的三角形，它可能诱导方向相反的箭头。显然，如果这永远不发生的话，则我们要求这个曲面可定向，而在发生时我们称这个曲面不可定向。

如上定义可以推广到可三角剖分的''n''-流形，但这种方式出现了问题：有些4-流形没有三角剖分，而一般地对''n'' > 4某些有三角剖分的''n''-流形是不等价的。

==流形的可定向性==
===拓扑定义===
一个''n''-维流形（不论是嵌入在有限维向量空间，还是一个抽象流形）称为不可定向如果在流形上可取一个''n''-维球的同胚像，在流形中移动后回到原点，使得在道路的最终点这个球反过来了，使用和上面对平面一样的定义。等价地，一个''n''-维流形不可定向如果包含 (''n''-1)-维球''B''与单位区间[0,1]的直积并通过一个反射黏合一端的球B×{0}与另一端球B×{1}所形成的空间的同胚像；例如对[[3-流形]]，这是一个[[实心克莱因瓶]]。

另一种定义使用[[结构群]]语言，一个可定向流形是结构群（一个先验的GL(''n'')）可约化为保持定向变换的子群GL<sup>+</sup>(''n'')。具体地说，一个可定向流形存在一致定向（即所有转移映射保持定向）的一个开''n''-维球覆盖。这里需要定义局部定向的含义，可使用向量丛的定向（局部定向是在一点切空间的定向）或使用[[奇异同调]]（一个定向是在一点''p''选取第''n''-阶[[相对同调]]群的生成元

:<math>H_n(M, M\setminus\{p\}; \mathbb{Z}).\,</math>）

这样一个流形称为可定向的如果可在整个流形上选取一个一致的局部定向。

使用同调能对紧''n''-流形定义可定向性而不必考虑局部定向。一个紧''n''-流形''M''可定向当且仅当最高阶同调群<math>H_n(M, \partial M; \mathbb{Z})</math>同构于<math>\mathbb{Z}</math>。考虑单纯同调，应用于任何可三角剖分流形，这使我们可视为这是一个剖分中最高维单形的一致定向的具体表述，在曲面中上一节已经做过。

如果流形有一个微分结构，我们可以使用[[微分形式]]语言。

===微分流形利用最高阶形式定向===
另一种考虑可定向性的方式是将其视为在流形的每一点选取一个“右手性”或“左手性”。

正式说，一个<math>n</math>-维[[可微流形]]称为'''可定向'''的如果它有一个<math>n</math>阶[[微分形式]]（即[[体积形式]]）<math>\omega</math>在流形的每一点都不为零。反之，给定这样一个形式<math>\omega</math>，我们说这个流形由<math>\omega</math>定向。

这里观察到的关键点是这样一个微分形式在每一点给出了一个“右手性”选取。一个观察者在沿一个可定向流形运动过程中，不会改变他的手性。

==可定向二重-{覆盖}-==
一个密切相关的想法是使用[[覆盖空间]]概念。对一个连通流形''M''，取二元组 (''x'', ''o'')集合''M''*，这里''x''是''M''的一点，''o''是在''x''点的一个定向；这里我们假设''M''光滑从而我们可以在一点的切空间上选取定向，或者使用[[奇异同调]]定义定向。那么对''M''的任何开定向子集，我们考虑相应的二元组集合，定义为''M''* 的一个开子集。这给出了''M''* 一个拓扑以及投影将 (''x'', ''o'')映到x，是一个2-1覆盖映射。这个覆盖空间称为'''可定向二重覆盖'''，因为它是可是可定向的。''M''* 是[[连通空间|连通]]的当且仅当''M''不可定向。

另一种构造这个覆盖的一个方式是将在一个基点处的环路分成保持定向或逆转定向环路。保持定向环路生成[[基本群]]的一个子群要么是整个群要么[[指数 (群论)|指数]]为二。在后一种情形（这意味着存在逆转定向道路），子群对应于连通二重覆盖；这个覆盖由构造过程可定向。在前一种情形，我们可简单地取''M''的两个副本，每一个对应于不同的定向。

==向量丛的定向==
一個實[[向量叢]]，有一個先驗的[[一般綫性群|GL(n)]] [[結構群]]，稱爲'''可定向'''的當結構群可以[[結構群的約化|約化]]爲正[[行列式]][[矩陣]]群<math>GL^{+}(n)</math>。如果底流形可定向則這個約化總是可行的，事實上這也提供了定義[[光滑]]實流形的方便方法：一個光滑流形定義為可定向如果它的切叢（作爲一個向量叢）是可定向的。注意作爲一個流形，甚至是不可定向流形，切叢自己總是可定向的。

==相关概念==
可定向性的概念本质来自实[[一般线性群]]的拓扑<math>\operatorname{GL}(n,\mathbf{R})</math>，具体是最低阶[[同伦群]]<math>\pi_0(\operatorname{GL}(n,\mathbf{R}))=\mathbf{Z}/2</math>：一个可逆实向量空间变换要么保持定向要么逆转定向。

这不仅对可微流形成立，对拓扑流形也同样成立，因为一个球面的自[[同伦等价]]空间有两个[[連通分支 (拓撲)|连通分支]]，可称为“保持定向”和“逆转定向”映射。

[[对称群_(n次对称群)|對稱群]]类似的概念是[[置换的奇偶性|偶置换]]的[[交错群]]。

==另见==
* {{tsl|en|Curve orientation|曲线定向}}

==参考文献==
<references />
* 陈维桓。微分流形初步（第二版）。北京：高等教育出版社，2001年8月。

[[Category:微分几何|K]]
[[Category:曲面|K]]

[[de:Orientierung (Mathematik)#Orientierung einer Mannigfaltigkeit]]