A surface S in the Euclidean space R3 is orientable if a two-dimensional figure (for example, 
) cannot be moved around the surface and back to where it started so that it looks like its own mirror image (
). Otherwise the surface is non-orientable.
More precisely, and applicable to non-embedded surfaces, a surface is orientable if there is no continuous map f from the product of a 2-dimensional ball B and the unit interval [0,1] to the surface, ![f: B\times [0,1] \to S](../../../../math/c/d/c/cdca6bdd050b2c92e8cc375fb797054d.png)
such that f(b,t)=f(c,t) only if b=c for every t in [0,1], and there exists a reflection map r such that f(b,0) = f(r(b),1) for every b in B. In Mathematics, an embedding (or imbedding) is one instance of some Mathematical structure contained within another instance such as a group In Mathematics, a reflection (also spelled reflexion) is a map that transforms an object into its Mirror image.
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. A manifold is a mathematical space in which every point has a neighborhood which resembles Euclidean space, but in which the global structure may be This turns out to be equivalent to the question of whether the surface contains no subset that is homeomorphic to the Möbius strip. Topological equivalence redirects here see also Topological equivalence (dynamical systems. This article is about the mathematical object See Mobius Band (music group for the music group Thus, for surfaces, the Möbius strip may be considered the source of all non-orientability.
A surface that is embedded in R3 will be orientable in the sense if and only if it is orientable as an abstract surface. ↔
Contents |
Oriented vs. orientable
For an orientable surface, a consistent choice of "clockwise" (as opposed to counter-clockwise) is called an orientation, and the surface is called oriented. An orientable surface admits exactly 2 orientations, and the distinction between an oriented surface and an orientable 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 2 possible orientations.
Examples
Most surfaces we encounter in the physical world are orientable. Spheres, planes, and tori are orientable, for example. "Globose" redirects here See also Globose nucleus. A sphere (from Greek σφαίρα - sphaira, "globe In Geometry, a torus (pl tori) is a Surface of revolution generated by revolving a Circle in three dimensional space about an axis Coplanar But Möbius strips, real projective planes, and Klein bottles are non-orientable. This article is about the mathematical object See Mobius Band (music group for the music group Construction Consider a Sphere, and let the Great circles of the sphere be "lines" and let pairs of Antipodal points be "points" In Mathematics, the Klein bottle is a certain non- orientable Surface, i They, as visualized in 3-dimensions, all have just one side. (Caveat: the real projective plane and Klein bottle can't be embedded in R3, only 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 R3 above) is orientable. For example, a torus embedded in 
can be one-sided, and a Klein bottle in the same space can be two-sided; here K2 refers to the Klein bottle.
A simply connected two-dimensional space which obeys Euclidean geometry is orientable. In Topology, a geometrical object or space is called simply connected (or 1-connected) if it is Path-connected and every path between two points can be Space is the extent within which Matter is physically extended and objects and Events have positions relative to one another Euclidean geometry is a mathematical system attributed to the Greek Mathematician Euclid of Alexandria.
The space-time manifold of the actual universe is believed to be orientable. SpaceTime is a patent-pending three dimensional graphical user interface that allows end users to search their content such as Google Google Images Yahoo! YouTube eBay Amazon and RSS The Universe is defined as everything that Physically Exists: the entirety of Space and Time, all forms of Matter, Energy Otherwise, you could take a round trip along some noncontractible path through spacetime, then when you arrived back you (or the rest of the universe, from your perspective) would have become left-right reversed, like a mirror image of itself (see chirality and handedness). In Geometry, a figure is chiral (and said to have chirality) if it is not identical to its Mirror image, or more particularly if it cannot be mapped to Handedness is an attribute of human beings defined by their unequal distribution of Fine motor skill between the left and right Hands.
Orientation by a triangulation
Orientability, for surfaces, is easily defined, regardless of whether the surface is embedded in an ambient space or not. Any surface has a triangulation: a decomposition into triangles such that each edge on a triangle is glued to at most one other edge. We can orient each triangle, by choosing a direction for each edge (think of this as drawing an arrow on each edge) so that the arrows go from head to tail as we go around the boundary of the triangle. If we can do this so that in addition triangles sharing an edge have arrows on that edge going in opposite directions, then we call what we've done an orientation for the surface. Note that whether the surface is orientable is independent of triangulation; this fact is not obvious, but a standard exercise.
This rather precise definition is based on intuition gathered from observing the following phenomenon:
Imagine a figure on the surface, that can freely slide along the surface but cannot be lifted off the surface (figure is chosen because of its handedness). If the surface is a Möbius band, and the figure slides all the way around the band and returns to its starting point, then it will look like mirror-image rather than . If the surface is a sphere, on the other hand, that cannot happen.
The relation to the definition above is that sliding the around from triangle to triangle in a triangulation gives an orientation for each triangle; the in a triangle induces a choice of arrow for each edge, based on the order red-green-blue of colors. The only obstruction to consistently orienting all the triangles is that when the returns to its original starting triangle, it may induce choices of arrows going opposite to the original choice. Clearly, if this never happens, then we want the surface to be orientable, whereas if this does happen, then we want to call the surface non-orientable.
The definition above can be generalized to an n-manifold that has a triangulation, but there are problems with that approach: 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-manifolds, this is a solid Klein bottle. In Mathematics, a 3-manifold is a 3-dimensional Manifold. The topological Piecewise-linear, and smooth categories are all equivalent in three dimensions In Mathematics, a solid Klein bottle is a 3-manifold (with boundary homeomorphic to the Quotient space obtained by gluing the top of D^2
As another alternative definition, in the language of structure groups, an orientable manifold is one whose structure group (a priori GL(n)) can be reduced to the subgroup GL+(n) of orientation-preserving transforms. In Mathematics, in particular in Topology, a fiber bundle (or fibre bundle) is a space which looks locally like a Product space. 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
at a point p). In Algebraic topology, a branch of Mathematics, singular homology refers to the study of a certain set of Topological invariants of a Topological space In Algebraic topology, a branch of Mathematics, the (singular homology of a topological space relative to a subspace is a construction in Singular 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, 
, is nontrivial. 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 forms (see below). In the mathematical fields of Differential geometry and Tensor calculus, differential forms are an approach to Multivariable calculus which is
Orientation of differential manifolds by top-dimensional forms
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.
Formally, a n-dimensional differentiable manifold is called orientable if it possesses a differential form ω of degree n which is nonzero at every point on the manifold. A manifold is a mathematical space in which every point has a neighborhood which resembles Euclidean space, but in which the global structure may be In the mathematical fields of Differential geometry and Tensor calculus, differential forms are an approach to Multivariable calculus which is Conversely, given such a form ω, we say that the manifold is oriented by ω.
The crucial point to observe here is that such a differential form gives a choice of "right handed" basis at each point. A traveler in an orientable manifold will never change his/her handedness by going on a round trip.
Orientable double cover
A closely related notion uses the idea of covering space. In Mathematics, a covering space is a Topological space C which "covers" another space X by a Surjective Local homeomorphism 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. In Algebraic topology, a branch of Mathematics, singular homology refers to the study of a certain set of Topological invariants of a Topological space 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 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 reduced to GL + (n), the group of matrices with positive determinant. In Mathematics, a vector bundle is a topological construction which makes precise the idea of a family of Vector spaces parameterized by another space In Mathematics, the general linear group of degree n is the set of n × n invertible matrices, together with the operation In Mathematics, in particular in Topology, a fiber bundle (or fibre bundle) is a space which looks locally like a Product space. In Mathematics, in particular in Topology, a fiber bundle (or fibre bundle) is a space which looks locally like a Product space. In Mathematics, in particular the theory of Principal bundles one can ask if a G-bundle "comes from" a subgroup H. In Mathematics, a matrix (plural matrices) is a rectangular table of elements (or entries) which may be Numbers or more generally In Algebra, a determinant is a function depending on n that associates a scalar, det( A) to every n × n 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 real manifold: a smooth manifold is defined to be orientable if its tangent bundle is orientable (as a vector bundle). In Mathematical analysis, a differentiability class is a classification of functions according to the properties of their Derivatives Higher order differentiability A manifold is a mathematical space in which every point has a neighborhood which resembles Euclidean space, but in which the global structure may be In Mathematics, the tangent bundle of a smooth (or differentiable manifold M, denoted by T ( M) or just TM, is the Note that as a manifold in its own right, the tangent bundle is always orientable, even over nonorientable manifolds.
Related concepts
The notion of orientability is essentially derived from the topology of the real general linear group 
, specifically that the lowest homotopy group is 
: an invertible transform of a real vector space is either orientation-preserving or orientation-reversing. In Mathematics, the general linear group of degree n is the set of n × n invertible matrices, together with the operation In Mathematics, homotopy groups are used in Algebraic topology to classify Topological spaces The base point preserving maps from an n -dimensional
This holds not only for differentiable manifolds but for topological manifolds, as the space of self-homotopy equivalences of a sphere also has two connected components, which can be denoted the "orientation-preserving" and "orientation-reversing" maps. In Topology, two continuous functions from one Topological space to another are called homotopic ( Greek homos = identical
The analogous notion for the symmetric group is the alternating group of even permutations. In Mathematics, the symmetric group on a set X, denoted by S X or Sym( X) is the group whose underlying In Mathematics, an alternating group is the group of Even permutations of a Finite set. In Mathematics, the Permutations of a Finite set (ie the bijective mappings from the set to itself fall into two classes of equal size the even
See also
In Mathematics, a positively oriented curve is a planar Simple closed curve (that is a curve in the plane whose starting point is also the end point and which hasDapyx Software network: MP3 Explorer | Ebook Manager | Zenithic