The torus is an orientable surface.

The Möbius strip is a non-orientable surface.

Intuitively, a surface S in the Euclidean space R³ is non-orientable, if a figure such as the figure can be moved around the surface and back to where it started so that it looks like , its mirror image. (This figure was chosen because it cannot be continuously moved to its mirror-image within a plane). Otherwise the surface is orientable. More precisely (and applicable to non-embedded surfaces) if there is a continuous map f from the product of a 2-dimensional ball B and the unit interval [0,1] to the surface, f:B×[0,1] → S such that f(b,t)=f(c,t) only if b=c for any t in [0,1], and f(b,0) = f(r(b),1) for every b in B, where r is a reflection map, then the surface is non-orientable. Image File history File links Torus. ... Image File history File links Torus. ... Mobius strip created with Mathematica. ... Mobius strip created with Mathematica. ... Around 300 BC, the Greek mathematician Euclid laid down the rules of what has now come to be called Euclidean geometry, which is the study of the relationships between angles and distances in space. ... Image File history File links Small_pie. ... Image File history File links Pie_2. ... In mathematics, an embedding (or imbedding) is one instance of some mathematical object contained within another instance, such as a group that is a subgroup. ...

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. This turns out 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. On a sphere, the sum of the angles of a triangle is not equal to 180°. A sphere is not a Euclidean space, but locally the laws of the Euclidean geometry are good approximations. ... This word should not be confused with homomorphism. ... A Möbius strip made with a piece of paper and tape. ...

A surface that is embedded in R³ will be orientable in the sense if and only if it is orientable as an abstract surface. Image File history File links Small_pie. ...

Examples

Most surfaces we encounter in the physical world are orientable. Spheres, planes, and tori are orientable, for example. But Möbius strips, real projective planes, and Klein bottles are non-orientable. They, as visualized in 3-dimensions, all have just one side. (Caveat: the real projective plane and Klein bottle can't be embedded in R³, only immersed with nice intersections.) A sphere (< Greek σφαίρα) is a perfectly symmetrical geometrical object. ... Two intersecting planes in three-dimensional space In mathematics, a plane is a fundamental two-dimensional object. ... A torus. ... A Möbius strip made with a piece of paper and tape. ... In mathematics, the real projective plane is a two-dimensional manifold, that is, a surface, that has basic applications to geometry, but which cannot be embedded in our usual three-dimensional space. ... The Klein bottle immersed in three-dimensional space. ...

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³ 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 K² refers to the Klein bottle.

A simply connected two-dimensional space which obeys Euclidean geometry is orientable. A geometrical object is called simply connected if it consists of one piece and doesnt have any circle-shaped holes or handles. Higher-dimensional holes are allowed. ... Space has been an interest for philosophers and scientists for much of human history. ... Euclid 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.^{[citation needed]} If space-time were non-orientable, 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 physics, spacetime is a mathematical model that combines three-dimensional space and one-dimensional time into a single construct called the space-time continuum, in which time plays the role of the 4th dimension. ... The deepest visible-light image of the cosmos, the Hubble Ultra Deep Field. ... 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 its mirror image by rotations and translations alone. ... It has been suggested that this article or section be merged with left-handed. ...

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. Image File history File links Small_pie. ... Image File history File links Pie_2. ... Image File history File links Small_pie. ...

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. Image File history File links Small_pie. ... Image File history File links Small_pie. ... Image File history File links Small_pie. ...

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. ... In mathematics, a solid Klein bottle is a 3-manifold (with boundary) homeomorphic to the quotient space obtained by gluing the top of D2 x I to the bottom by a reflection, i. ...

As another alternative definition, an orientable manifold 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 is often done using singular homology. In algebraic topology, singular homology refers to the usual homology functor from the category of topological spaces and continuous mappings to the category of graded abelian groups and group homomorphisms. ...

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 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). A differential form is a mathematical concept in the fields of multivariate calculus, differential topology and tensors. ...

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. Conversely, given such a form ω, we say that the manifold is oriented by ω. On a sphere, the sum of the angles of a triangle is not equal to 180°. A sphere is not a Euclidean space, but locally the laws of the Euclidean geometry are good approximations. ... A differential form is a mathematical concept in the fields of multivariate calculus, differential topology and tensors. ...

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.

Consideration of a closed path

Consider a closed path (or loop) on a surface, with some arbitrary start/end point. Now, consider another path, starting very close to the first start/end point, and runnning parallel to the first path. The path will eventually end up very close to the first start/end point again. If it is now on the same side of the loop as it started, then that loop is said to be orientated. If it is now on the opposite side of the loop as it started, then that loop is said to be non-orientated.

A surface is orientatable if there exsist no non-orientated loops.

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. In mathematics, specifically topology, a covering map is a continuous surjective map p : C &#8594; X, with C and X being topological spaces, which has the following property: to every x in X there exists an open neighborhood U such that p -1(U) is a union of mutually disjoint... In algebraic topology, singular homology refers to the usual homology functor from the category of topological spaces and continuous mappings to the category of graded abelian groups and group homomorphisms. ...

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. 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). Note that as a manifold in its own right, the tangent bundle is always orientable, even over nonorientable manifolds. In mathematics, a vector bundle is a geometrical construct where to every point of a topological space (or manifold, or algebraic variety) we attach a vector space in a compatible way, so that all those vector spaces, glued together, form another topological space (or manifold or variety). ... In mathematics, the general linear group of degree n over a field F (such as R or C), written as GL(n, F), is the group of n×n invertible matrices with entries from F, with the group operation that of ordinary matrix multiplication. ... In mathematics, in particular in topology, a fiber bundle is a space which locally looks like a product of two spaces but may possess a different global structure. ... In mathematics, in particular in topology, a fiber bundle is a space which locally looks like a product of two spaces but may possess a different global structure. ... In mathematics, the theory of fiber bundles with a structure group (a topological group) allows an operation of creating an associated bundle, in which the typical fiber of a bundle changes from to , which are both topological spaces with a group action of . ... In mathematics, a matrix (plural matrices) is a rectangular table of numbers or, more generally, a table consisting of abstract quantities that can be added and multiplied. ... In algebra, a determinant is a function depending on n that associates a scalar det(A) to every n×n square matrix A. The fundamental geometric meaning of a determinant is as the scale factor for volume when A is regarded as a linear transformation. ... In mathematics, a smooth function is one that is infinitely (indefinitely) differentiable, i. ... On a sphere, the sum of the angles of a triangle is not equal to 180°. A sphere is not a Euclidean space, but locally the laws of the Euclidean geometry are good approximations. ... In mathematics, the tangent bundle of a differentiable manifold M, denoted by T(M) or just TM, is the disjoint union of the tangent spaces to each point of M An element of T(M) is a pair (x,v) where x ∈ M and v ∈ Tx(M), the tangent space...

See also

• Curve orientation