Orientation (mathematics)

Orientation (mathematics)

:"See also orientation (geometry)."

In mathematics, an orientation on a real vector space is a choice of which ordered bases are "positively" oriented and which are "negatively" oriented. In the three-dimensional Euclidean space, the two possible basis orientations are called right-handed and left-handed (or right-chiral and left-chiral), respectively. However, the choice of orientation is independent of the handedness or chirality of the bases (although right-handed bases are typically declared to be positively oriented, they may also be assigned a negative orientation).

Definition

Let "V" be a real vector space and let "b"1 and "b"2 be two ordered bases for "V". It is a standard result in linear algebra that there exists a unique linear transformation "A" : "V" → "V" that takes "b"1 to "b"2. The bases "b"1 and "b"2 are said to have the "same orientation" (or be consistently oriented) if "A" has positive determinant; otherwise they have "opposite orientations". The property of having the same orientation defines an equivalence relation on the set of all ordered bases for "V". If "V" is non-zero, there are precisely two equivalence classes determined by this relation. An orientation on "V" is an assignment of +1 to one equivalence class and −1 to the other.

Every ordered basis lives in one equivalence class or another. Thus any choice of a privileged ordered basis for "V" determines an orientation: the orientation class of the privileged basis is declared to be positive. For example, the standard basis on R"n" provides a standard orientation on R"n". Any choice of a linear isomorphism between "V" and R"n" will then provide an orientation on "V".

The ordering of elements in a basis is crucial. Two bases with a different ordering will differ by some permutation. They will have the same/opposite orientations according to whether the signature of this permutation is ±1. This is because the determinant of a permutation matrix is equal to the signature of the associated permutation.

Zero-dimensional case

The concept of orientation defined above gives the zero-dimensional vector space only one orientation (since the determinant of the empty matrix is 1). However, it is useful to be able to assign different orientations to a point (e.g. orienting the boundary of a 1-dimensional manifold). An alternate definition of orientation that works regardless of dimension is the following: An orientation on "V" is a map from the set of ordered bases of "V" to the set {pm 1} that is invariant under base changes with positive determinant and changes sign under base changes with negative determinant (it is equivarient with respect to the homomorphism GL_n o pm 1). The set of ordered bases of the zero-dimensional vector space has one element (the empty set), and so there are two maps from this set to {pm 1}.

A subtle point is that a zero-dimensional vector space is naturally (canonically) oriented, so we can talk about an orientation being positive (agreeing with the canonical orientation) or negative (disagreeing). An application is interpreting the Fundamental theorem of calculus as a special case of Stokes' theorem.

Two ways of seeing this are:
* A zero-dimensional vector space is a point, and there is a unique map from a point to a point, so every zero-dimensional vector space is naturally identified with R^0, and thus is oriented.
* The 0th exterior power of a vector space is the ground field K, which here is R^1, which has an orientation (given by the standard basis)

Alternate viewpoints

Multilinear algebra

For any real vector space "V" we can form the "k"th-exterior power of "V", denoted Λ"k""V". This is a real vector space of dimension "n"-choose-"k". The vector space Λ"n""V" (called the "top exterior power") therefore has dimension 1. That is, Λ"n""V" is just a real line. There is no "a priori" choice of which direction on this line is positive. An orientation is just such a choice. Any nonzero element ω of Λ"n""V" determines an orientation of "V" by declaring ω to be in the positive direction. To connect with the basis point of view we say that the positively oriented bases are those on which ω evaluates to a positive number (since ω is a "n"-form we can evaluate it on an ordered set of "n" vectors, giving an element of R). The form ω is called an orientation form. If {"e""i"} is a privileged basis for "V" then the orientation form giving the standard orientation is "e"1∧"e"2∧…∧"e""n".

The connection of this with the determinant point of view is:the determinant of an endomorphism Tcolon V o V can be interpreted as the induced action on the top exterior power.

Lie group theory

Let "B" be the set of all ordered bases for "V". Then the general linear group GL("V") acts freely and transitively on "B". (In fancy language, "B" is a GL("V")-torsor). This means that as a manifold, "B" is (noncanonically) homeomorphic to GL("V"). Note that the group GL("V") is not connected, but rather has two connected components according to whether the determinant of the transformation is positive or negative (except for GL0, which is the trivial group and thus has a single connected component; this corresponds to the canonical orientation on a zero-dimensional vector space). The identity component of GL("V") is denoted GL+("V") and consists of those transformations with positive determinant. The action of GL+("V") on "B" is "not" transitive: there are two orbits which correspond to the connected components of "B". These orbits are precisely the equivalence classes referred to above. Since "B" does not have a distinguished element (i.e. a privileged basis) there is no natural choice of which component is positive. Contrast this with GL("V") which does have a privileged component: the component of the identity. A specific choice of homeomorphism between "B" and GL("V") is equivalent to a choice of a privileged basis and therefore determines an orientation.

More formally: pi_0(GL(V)) = (GL(V)/GL^+(V) = {pm 1},and the Stiefel manifold of n-frames in V is a GL(V)-torsor, so V_n(V)/GL^+(V) is a torsor over {pm 1}, i.e., it's 2 points, and a choice of one of them is an orientation.

Orientation on manifolds

One can also discuss orientation on manifolds. Each point "p" on an "n"-dimensional differentiable manifold has a tangent space "T""p""M" which is an "n"-dimensional real vector space. One can assign to each of these vector spaces an orientation. However, one would like to know whether it is possible to choose the orientations so that they "vary smoothly" from point to point. Due to certain topological restrictions, there are situations when this is impossible. A manifold which admits a smooth choice of orientations for its tangents spaces is said to be "orientable". See the article on orientability for more on orientations of manifolds.

ee also

*Rotation representation (mathematics)
*Orientability
*Chirality (mathematics)
*Even and odd permutations
*Handedness
*Cartesian coordinate system


Wikimedia Foundation. 2010.

Игры ⚽ Нужна курсовая?

Look at other dictionaries:

  • Orientation (physical) — For other uses, see orientation. Orientation means direction of some axis or vector or pseudo vector.It can be orientation of an arrow of a compass, or orientation of the director in the nematic liquid crystal, as orientation of an electric or… …   Wikipedia

  • Orientation — may refer to: Orientation (mental), a function of the mind Orientation (film), a 1996 short film produced by the Church of Scientology Orientation of churches is the architectural feature of facing ( orienting ), churches towards the east (Latin …   Wikipedia

  • Mathematics education in Australia — varies considerably between various states due to the different education systems in place in each state. Contents 1 New South Wales 1.1 Higher School Certificate 2 Victoria 2.1 …   Wikipedia

  • Orientation (vector space) — See also: orientation (geometry) The left handed orientation is shown on the left, and the right handed on the right. In mathematics, orientation is a notion that in two dimensions allows one to say when a cycle goes around clockwise or… …   Wikipedia

  • Orientation (geometry) — This article is about the orientation or attitude of an object in space. For orientation as a property in linear algebra, see Orientation (vector space). Changing orientation of a rigid body is the same as rotating the axes of a reference frame… …   Wikipedia

  • mathematics — /math euh mat iks/, n. 1. (used with a sing. v.) the systematic treatment of magnitude, relationships between figures and forms, and relations between quantities expressed symbolically. 2. (used with a sing. or pl. v.) mathematical procedures,… …   Universalium

  • Mathematics, Engineering, Science Achievement — For other organizations with the acronym Mesa, see Mesa (disambiguation). Mathematics, Engineering, Science Achievement (MESA) is an academic preparation program for K 12, community college and university level students in California. Established …   Wikipedia

  • Orientation entanglement — In mathematics and physics, the notion of orientation entanglement is sometimes[1] used to develop intuition relating to the geometry of spinors or alternatively as a concrete realization of the failure of the special orthogonal groups to be… …   Wikipedia

  • mathematics, East Asian — Introduction       the discipline of mathematics as it developed in China and Japan.       When speaking of mathematics in East Asia, it is necessary to take into account China, Japan, Korea, and Vietnam as a whole. At a very early time in their… …   Universalium

  • Orientation character — In algebraic topology, a branch of mathematics, an orientation character on a group π is a group homomorphism . This notion is of particular significance in surgery theory. Contents 1 Motivation 2 …   Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”