|
|
| (One intermediate revision by one other user not shown) |
| Line 1: |
Line 1: |
| {{For|orientation of vector spaces|orientation (mathematics)}}
| | I'm Penni and I live in Zabrze. <br>I'm interested in Gender and Women's Studies, People watching and Norwegian art. I like to travel and watching NCIS.<br><br>My site ... [http://Www.Gigatronika.com/social/blog/view/30173/how-to-get-free-fifa-15-coins Fifa 15 coin generator] |
| {{Other uses|Orientation (disambiguation)}}
| |
| | |
| [[Image:Torus.png|right|thumb|A [[torus]] is an orientable surface]]
| |
| [[Image:MobiusStrip-01.png|right|thumb|The [[Möbius strip]] is a non-orientable surface]]
| |
| [[Image:Steiner%27s_Roman_Surface.gif|right|thumb|The [[Roman surface]] is non-orientable]]
| |
| | |
| In [[mathematics]], '''orientability''' is a property of [[surface]]s in [[Euclidean space]] measuring whether it is possible to make a consistent choice of [[surface normal]] vector at every point. A choice of surface normal allows one to use the [[right-hand rule]] to define a "clockwise" direction of loops in the surface, as needed by [[Stokes' theorem]] for instance. More generally, orientability of an abstract surface, or [[manifold]], measures whether one can consistently choose a "clockwise" orientation for all loops in the manifold. Equivalently, a surface is '''orientable''' if a two-dimensional figure such as [[Image:Small pie.svg|20px]] in the space cannot be moved (continuously) around the space and back to where it started so that it looks like its own mirror image [[Image:pie 2.svg|20px]].
| |
| | |
| The notion of orientability can be generalised to higher dimensional [[manifold]]s as well. A manifold is orientable if it has a consistent choice of [[orientation (mathematics)|orientation]], and a [[connected space|connected]] orientable manifold has exactly two different possible orientations. In this setting, various equivalent formulations of orientability can be given, depending on the desired application and level of generality. Formulations applicable to general topological manifolds often employ methods of [[homology theory]], whereas for [[differentiable manifolds]] more structure is present, allowing a formulation in terms of [[differential form]]s. An important generalization of the notion of orientability of a space is that of orientability of a family of spaces parameterized by some other space (a [[fiber bundle]]) for which an orientation must be selected in each of the spaces which varies continuously with respect to changes in the parameter values.
| |
| | |
| ==Orientable surfaces==
| |
| [[Image:Surface orientation.gif|thumb|300px|right|In this animation, a simple analogy is made using a gear that rotates according to the right-hand rule on a surface's normal vector. The orientation of the curves given by the boundaries is given by the direction in which the dots move as they are pushed by the moving gear. On a non-orientable surface, such as the Möbius strip, the boundary would have to move in both directions at once, which is not possible.]]
| |
| | |
| A surface ''S'' in the [[Euclidean space]] '''R'''<sup>3</sup> is orientable if a two-dimensional figure (for example, [[Image:Small pie.svg|20px]] )cannot be moved around the surface and back to where it started so that it looks like its own mirror image ([[Image:pie 2.svg|20px]]). Otherwise the surface is '''non-orientable'''. An abstract surface (i.e., a two-dimensional [[manifold]]) is orientable if a consistent concept of clockwise rotation can be defined on the surface in a continuous manner. That is to say that a loop going around one way on the surface can never be continuously deformed (without overlapping itself) to a loop going around the opposite way. This turns out to be equivalent to the question of whether the surface contains no subset that is [[homeomorphic]] to the [[Möbius strip]]. Thus, for surfaces, the Möbius strip may be considered the source of all non-orientability.
| |
| | |
| For an orientable surface, a consistent choice of "clockwise" (as opposed to counter-clockwise) is called an '''orientation''', and the surface is called '''oriented'''. For surfaces embedded in Euclidean space, an orientation is specified by the choice of a continuously varying [[surface normal]] '''n''' at every point. If such a normal exists at all, then there are always two ways to select it: '''n''' or −'''n'''. More generally, an orientable surface admits exactly two orientations, and the distinction between an orient''ed'' surface and an orient''able'' surface is subtle and frequently blurred. An orientable surface is an abstract surface that admits an orientation, while an oriented surface is a surface that is abstractly orientable, and has the additional datum of a choice of one of the two possible orientations.
| |
| | |
| ;Examples
| |
| Most surfaces we encounter in the physical world are orientable. [[Sphere]]s, [[plane (mathematics)|planes]], and [[torus|tori]] are orientable, for example. But [[Möbius strip]]s, [[real projective plane]]s, and [[Klein bottle]]s are non-orientable. They, as visualized in 3-dimensions, all have just one side. The real projective plane and Klein bottle cannot be embedded in '''R'''<sup>3</sup>, only [[immersion (mathematics)|immersed]] with nice intersections.
| |
| | |
| Note that locally an embedded surface always has two sides, so a near-sighted ant crawling on a one-sided surface would think there is an "other side". The essence of one-sidedness is that the ant can crawl from one side of the surface to the "other" without going through the surface or flipping over an edge, but simply by crawling far enough.
| |
| | |
| In general, the property of being orientable is not equivalent to being two-sided; however, this holds when the ambient space (such as '''R'''<sup>3</sup> above) is orientable. For example, a torus embedded in
| |
| :<math>K^2 \times S^1</math>
| |
| | |
| can be one-sided, and a Klein bottle in the same space can be two-sided; here <math>K^2</math> refers to the Klein bottle.
| |
| | |
| ;Orientation by triangulation
| |
| Any surface has a [[triangulation (topology)|triangulation]]: a decomposition into triangles such that each edge on a triangle is glued to at most one other edge. Each triangle is oriented by choosing a direction around the perimeter of the triangle, associating a direction to each edge of the triangle. If this is done in such a way that, when glued together, neighboring edges are pointing in the opposite direction, then this determines an orientation of the surface. Such a choice is only possible if the surface is orientable, and in this case there are exactly two different orientations.
| |
| | |
| If the figure [[Image:Small pie.svg|20px]] can be consistently positioned at all points of the surface without turning into its mirror image, then this will induce an orientation in the above sense on each of the triangles of the triangulation by selecting the direction of each of the triangles based on the order red-green-blue of colors of any of the figures in the interior of the triangle.
| |
| | |
| This approach generalizes to any ''n''-manifold having a triangulation. However, some 4-manifolds do not have a triangulation, and in general for ''n'' > 4 some ''n''-manifolds have triangulations that are inequivalent.
| |
| | |
| ==Orientability of manifolds==
| |
| | |
| ===Topological definitions===
| |
| An ''n''-dimensional manifold (either embedded in a finite dimensional vector space, or an abstract manifold) is called non-orientable if it is possible to take the homeomorphic image of an ''n''-dimensional ball in the manifold and move it through the manifold and back to itself, so that at the end of the path, the ball has been reflected, using the same definition as for surfaces above. Equivalently, a ''n''-dimensional manifold is non-orientable if it contains a homeomorphic image of the space formed by taking the direct product of a (''n''-1)-dimensional ball ''B'' and the unit interval [0,1] and gluing the ball B×{0} at one end to the ball B×{1} at other end with a single reflection. For surfaces, this space is a Möbius strip; for [[3-manifold]]s, this is a [[solid Klein bottle]].
| |
| | |
| As another alternative definition, in the language of [[structure group]]s, an orientable manifold is one whose structure group (a priori GL(''n'')) can be reduced to the subgroup GL<sup>+</sup>(''n'') of orientation-preserving transforms. Concretely, an orientable manifold is one that has a cover of open ''n''-dimensional balls with consistent orientations (i.e. all transition maps are orientation preserving). Here one needs to define what a local orientation means, which can be done using orientations of vector bundles (a local orientation is an orientation of the tangent spaces at a point) or using [[singular homology]] (an orientation is a choice of generator of the ''n''-th [[relative homology]] group
| |
| :<math>H_n(M, M\setminus\{p\}; \mathbb{Z})</math>
| |
| | |
| at a point ''p''). A manifold is then said to be orientable if one can choose local orientations consistently throughout the manifold.
| |
| | |
| Using homology allows one to define orientability for compact ''n''-manifolds without considering local orientations. A compact ''n''-manifold ''M'' is orientable if and only if the top homology group,
| |
| :<math>H_n(M, \partial M; \mathbb{Z})</math>, is isomorphic to <math>\mathbb{Z}</math>.
| |
| | |
| Considering simplicial homology, which applies to any triangulable manifold, allows one to consider this a concrete statement about coherently orienting top-dimensional simplices in a triangulation, as done in the surface case above.
| |
| | |
| If the manifold has a differentiable structure, one can use the language of [[differential form]]s (see below).
| |
| | |
| ===Orientation of differential manifolds===
| |
| | |
| Another way of thinking about orientability is thinking of it as a choice of "right handedness" vs. "left handedness" at each point in the manifold. A differentiable manifold is said to be orientable if it is possible to select coordinate transitions so that there is a consistent choice of "right-hand" in each coordinate patch. More precisely, the manifold has a [[coordinate atlas]] all of whose transition functions have positive [[Jacobian determinant]]s. A maximal such atlas gives an orientation on the manifold, and the manifold so equipped is then called '''oriented'''.<ref>{{Cite book | last1=Spivak | first1=Michael | author1-link=Michael Spivak | title=Calculus on Manifolds | publisher=[[HarperCollins]] | isbn=978-0-8053-9021-6 | year=1965}}.</ref>
| |
| | |
| Equivalently, a ''n''-dimensional differentiable [[manifold]] is orientable if there is a consistent choice of oriented [[frame bundle|basis of tangent vectors]] at every point of the manifold. This can be formalized in a variety of ways, one of which is the condition that ''M'' should possess a [[volume form]]: a [[differential form]] ω of degree ''n'' which is nonzero at every point on the manifold. Given such an ''n''-form, the atlas consisting of local diffeomorphisms sending ω to a positive multiple of the Euclidean volume form on '''R'''<sup>''n''</sup> is oriented.
| |
| | |
| ==Orientable double cover==
| |
| A closely related notion uses the idea of [[covering space]]. For a connected manifold ''M'' take ''M*'', the set of pairs (''x'', o) where ''x'' is a point of ''M'' and ''o'' is an orientation at ''x''; here we assume ''M'' is either smooth so we can choose an orientation on the tangent space at a point or we use [[singular homology]] to define orientation. Then for every open, oriented subset of ''M'' we consider the corresponding set of pairs and define that to be an open set of ''M*''. This gives ''M*'' a topology and the projection sending (''x'', o) to ''x'' is then a 2-1 covering map. This covering space is called the '''orientable double cover''', as it is orientable. ''M*'' is connected if and only if ''M'' is not orientable.
| |
| | |
| Another way to construct this cover is to divide the loops based at a basepoint into either orientation-preserving or orientation-reversing loops. The orientation preserving loops generate a subgroup of the fundamental group which is either the whole group or of [[Index of a subgroup|index]] two. In the latter case (which means there is an orientation-reversing path), the subgroup corresponds to a connected double covering; this cover is orientable by construction. In the former case, one can simply take two copies of ''M'', each of which corresponds to a different orientation.
| |
| | |
| ==Orientation of vector bundles==
| |
| | |
| A real [[vector bundle]], which ''a priori'' has a [[GL(n)]] [[structure group]], is called ''orientable'' when the [[structure group]] may be [[Reduction of the structure group|reduced]] to <math>GL^{+}(n)</math>, the group of [[matrix (mathematics)|matrices]] with positive [[determinant]]. For the [[tangent bundle]], this reduction is always possible if the underlying base manifold is orientable and in fact this provides a convenient way to define the orientability of a [[smooth function|smooth]] real [[manifold]]: a smooth manifold is defined to be orientable if its [[tangent bundle]] is orientable (as a vector bundle). Note that as a manifold in its own right, the tangent bundle is ''always'' orientable, even over nonorientable manifolds.
| |
| | |
| ==Related concepts==
| |
| | |
| ===Linear algebra===
| |
| {{main|Orientation (mathematics)}}
| |
| The notion of orientability is essentially derived from the topology of the real [[general linear group]]
| |
| :<math>\operatorname{GL}(n,\mathbf{R})</math>, specifically that the lowest [[homotopy group]] is <math>\pi_0(\operatorname{GL}(n,\mathbf{R}))=\mathbf{Z}/2</math>
| |
| | |
| an invertible transform of a real vector space is either orientation-preserving or orientation-reversing.
| |
| | |
| This holds not only for differentiable manifolds but for topological manifolds, as the space of self-[[homotopy equivalence]]s of a sphere also has two [[Connected component (topology)|connected components]], which can be denoted the "orientation-preserving" and "orientation-reversing" maps.
| |
| | |
| The analogous notion for the [[symmetric group]] is the [[alternating group]] of [[Even and odd permutations|even permutations]].
| |
| | |
| ===Lorentzian geometry===
| |
| | |
| In [[Lorentzian manifold|Lorentzian geometry]], there are two kinds of orientability: space orientability and time orientability. These play a role in the [[causal structure]] of spacetime.<ref>{{cite book | author=[[Stephen Hawking|S.W. Hawking]], [[George Francis Rayner Ellis|G.F.R. Ellis]], | title=[[The Large Scale Structure of Space-Time]] | location=Cambridge | publisher=Cambridge University Press | year=1973 | isbn=0-521-20016-4}}</ref> In the context of [[general relativity]], a [[space-time]] manifold is space orientable if, whenever two right-handed observers head off in rocket ships starting at the same space-time point, and then meet again at another point, they remain right-handed with respect to one another. If a space-time is time-orientable then the two observers will always agree on the direction of time at both points of their meeting. In fact, a space-time is time-orientable if and only if any two observers can agree which of the two meetings preceded the other.<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 [http://arxiv.org/abs/gr-qc/0202031v4 arXiv:gr-qc/0202031v4]</ref>
| |
| | |
| Formally, the pseudo-orthogonal group O(''p'',''q'') has a pair of [[character theory|characters]]: the space orientation character σ<sub>+</sub> and the time orientation character σ<sub>−</sub>,
| |
| :<math>\sigma_{\pm} : \operatorname{O}(p,q)\to \{-1,+1\}.</math>
| |
| Their product σ = σ<sub>+</sub>σ<sub>−</sub> is the determinant, which gives the orientation character. A space-orientation of a pseudo-Riemannian manifold is identified with a [[section (fiber bundle)|section]] of the [[associated bundle]]
| |
| :<math>\operatorname{O}(M) \times_{\sigma_+} \{-1,+1\}</math>
| |
| where O(''M'') is the bundle of pseudo-orthogonal frames. Similarly, a time orientation is a section of the associated bundle
| |
| :<math>\operatorname{O}(M) \times_{\sigma_-} \{-1,+1\}.</math>
| |
| | |
| ==See also==
| |
| * [[Curve orientation]]
| |
| | |
| ==References==
| |
| <references />
| |
| | |
| == External links ==
| |
| *[http://www.map.mpim-bonn.mpg.de/Orientation_of_manifolds Orientation of manifolds] at the Manifold Atlas.
| |
| *[http://www.map.mpim-bonn.mpg.de/Orientation_covering Orientation covering] at the Manifold Atlas.
| |
| *[http://www.map.mpim-bonn.mpg.de/Orientation_of_manifolds_in_generalized_cohomology_theories Orientation of manifolds in generalized cohomology theories] at the Manifold Atlas.
| |
| * The Encyclopedia of Mathematics article on [http://www.encyclopediaofmath.org/index.php/Orientation Orientation].
| |
| <!--[[Category:Orientation]] No. Look at the cat before adding this.-->
| |
| | |
| [[Category:Differential topology]]
| |
| [[Category:Surfaces]]
| |
| | |
| [[de:Orientierung (Mathematik)#Orientierung einer Mannigfaltigkeit]]
| |