Orientation (vector space)

Last updated September 08, 2024

The orientation of a real vector space or simply orientation of a vector space is the arbitrary choice of which ordered bases are "positively" oriented and which are "negatively" oriented. In the three-dimensional Euclidean space, right-handed bases are typically declared to be positively oriented, but the choice is arbitrary, as they may also be assigned a negative orientation. A vector space with an orientation selected is called an oriented vector space, while one not having an orientation selected, is called unoriented.

In mathematics, orientability is a broader notion that, in two dimensions, allows one to say when a cycle goes around clockwise or counterclockwise, and in three dimensions when a figure is left-handed or right-handed. In linear algebra over the real numbers, the notion of orientation makes sense in arbitrary finite dimension, and is a kind of asymmetry that makes a reflection impossible to replicate by means of a simple displacement. Thus, in three dimensions, it is impossible to make the left hand of a human figure into the right hand of the figure by applying a displacement alone, but it is possible to do so by reflecting the figure in a mirror. As a result, in the three-dimensional Euclidean space, the two possible basis orientations are called right-handed and left-handed (or right-chiral and left-chiral).

Definition

Let V be a finite-dimensional real vector space and let b₁ and b₂ 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₁ to b₂. The bases b₁ and b₂ 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.^[1]

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ⁿ provides a standard orientation on Rⁿ (in turn, the orientation of the standard basis depends on the orientation of the Cartesian coordinate system on which it is built). Any choice of a linear isomorphism between V and Rⁿ 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.

Similarly, let A be a nonsingular linear mapping of vector space Rⁿ to Rⁿ. This mapping is orientation-preserving if its determinant is positive.^[2] For instance, in R³ a rotation around the Z Cartesian axis by an angle α is orientation-preserving: $\mathbf {A} _{1}={\begin{pmatrix}\cos \alpha &-\sin \alpha &0\\\sin \alpha &\cos \alpha &0\\0&0&1\end{pmatrix}}$ while a reflection by the XY Cartesian plane is not orientation-preserving: $\mathbf {A} _{2}={\begin{pmatrix}1&0&0\\0&1&0\\0&0&-1\end{pmatrix}}$

Zero-dimensional case

The concept of orientation degenerates in the zero-dimensional case. A zero-dimensional vector space has only a single point, the zero vector. Consequently, the only basis of a zero-dimensional vector space is the empty set $\emptyset$ . Therefore, there is a single equivalence class of ordered bases, namely, the class $\{\emptyset \}$ whose sole member is the empty set. This means that an orientation of a zero-dimensional space is a function $\{\{\emptyset \}\}\to \{\pm 1\}.$ It is therefore possible to orient a point in two different ways, positive and negative.

Because there is only a single ordered basis $\emptyset$ , a zero-dimensional vector space is the same as a zero-dimensional vector space with ordered basis. Choosing $\{\emptyset \}\mapsto +1$ or $\{\emptyset \}\mapsto -1$ therefore chooses an orientation of every basis of every zero-dimensional vector space. If all zero-dimensional vector spaces are assigned this orientation, then, because all isomorphisms among zero-dimensional vector spaces preserve the ordered basis, they also preserve the orientation. This is unlike the case of higher-dimensional vector spaces where there is no way to choose an orientation so that it is preserved under all isomorphisms.

However, there are situations where it is desirable to give different orientations to different points. For example, consider the fundamental theorem of calculus as an instance of Stokes' theorem. A closed interval $[a, b]$ is a one-dimensional manifold with boundary, and its boundary is the set ${a, b}$ . In order to get the correct statement of the fundamental theorem of calculus, the point $b$ should be oriented positively, while the point $a$ should be oriented negatively.

On a line

The one-dimensional case deals with a line which may be traversed in one of two directions. There are two orientations to a line just as there are two orientations to a circle. In the case of a line segment (a connected subset of a line), the two possible orientations result in directed line segments . An orientable surface sometimes has the selected orientation indicated by the orientation of a surface normal.

Alternate viewpoints

Multilinear algebra

For any n-dimensional real vector space V we can form the kth-exterior power of V, denoted Λ^kV. This is a real vector space of dimension ${\tbinom {n}{k}}$ . The vector space ΛⁿV (called the top exterior power) therefore has dimension 1. That is, Λⁿ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 linear form ω on ΛⁿV determines an orientation of V by declaring that x is in the positive direction when ω(x) > 0. 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 an 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 and {e_i^∗} is the dual basis, then the orientation form giving the standard orientation is e₁^∗ ∧ e₂^∗ ∧ … ∧ e_n^∗.

The connection of this with the determinant point of view is: the determinant of an endomorphism $T:V\to 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 GL₀, 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}(\operatorname {GL} (V))=(\operatorname {GL} (V)/\operatorname {GL} ^{+}(V)=\{\pm 1\}$ , and the Stiefel manifold of n-frames in $V$ is a $\operatorname {GL} (V)$ -torsor, so $V_{n}(V)/\operatorname {GL} ^{+}(V)$ is a torsor over $\{\pm 1\}$ , i.e., its 2 points, and a choice of one of them is an orientation.

Geometric algebra

The various objects of geometric algebra are charged with three attributes or features: attitude, orientation, and magnitude.^[4] For example, a vector has an attitude given by a straight line parallel to it, an orientation given by its sense (often indicated by an arrowhead) and a magnitude given by its length. Similarly, a bivector in three dimensions has an attitude given by the family of planes associated with it (possibly specified by the normal line common to these planes ^[5]), an orientation (sometimes denoted by a curved arrow in the plane) indicating a choice of sense of traversal of its boundary (its circulation), and a magnitude given by the area of the parallelogram defined by its two vectors.^[6]

Orientation on manifolds

Each point p on an n-dimensional differentiable manifold has a tangent space T_pM which is an n-dimensional real vector space. Each of these vector spaces can be assigned an orientation. Some orientations "vary smoothly" from point to point. Due to certain topological restrictions, this is not always possible. A manifold that admits a smooth choice of orientations for its tangent spaces is said to be orientable .

Related Research Articles

In mathematics, the determinant is a scalar-valued function of the entries of a square matrix. The determinant of a matrix $A$ is commonly denoted $det(A)$ , $det A$ , or $| A |$ . Its value characterizes some properties of the matrix and the linear map represented, on a given basis, by the matrix. In particular, the determinant is nonzero if and only if the matrix is invertible and the corresponding linear map is an isomorphism.

In algebra, a homomorphism is a structure-preserving map between two algebraic structures of the same type. The word homomorphism comes from the Ancient Greek language: ὁμός meaning "same" and μορφή meaning "form" or "shape". However, the word was apparently introduced to mathematics due to a (mis)translation of German ähnlich meaning "similar" to ὁμός meaning "same". The term "homomorphism" appeared as early as 1892, when it was attributed to the German mathematician Felix Klein (1849–1925).

<span class="mw-page-title-main">Lie algebra</span> Algebraic structure used in analysis

In mathematics, a Lie algebra is a vector space $together with an operation called the Lie bracket, an alternating bilinear map, that satisfies the Jacobi identity. In other words, a Lie algebra is an algebra over a field for which the multiplication operation is alternating and satisfies the Jacobi identity. The Lie bracket of two vectors and is denoted . A Lie algebra is typically a non-associative algebra. However, every associative algebra gives rise to a Lie algebra, consisting of the same vector space with the commutator Lie bracket, .$

In mathematics, and more specifically in linear algebra, a linear map is a mapping $between two vector spaces that preserves the operations of vector addition and scalar multiplication. The same names and the same definition are also used for the more general case of modules over a ring; see Module homomorphism.$

Linear algebra is the branch of mathematics concerning linear equations such as:

In mathematics, an operator is generally a mapping or function that acts on elements of a space to produce elements of another space. There is no general definition of an operator, but the term is often used in place of function when the domain is a set of functions or other structured objects. Also, the domain of an operator is often difficult to characterize explicitly, and may be extended so as to act on related objects.

In linear algebra, the rank of a matrix $A$ is the dimension of the vector space generated by its columns. This corresponds to the maximal number of linearly independent columns of $A$ . This, in turn, is identical to the dimension of the vector space spanned by its rows. Rank is thus a measure of the "nondegenerateness" of the system of linear equations and linear transformation encoded by $A$ . There are multiple equivalent definitions of rank. A matrix's rank is one of its most fundamental characteristics.

In linear algebra, the trace of a square matrix $A$ , denoted $tr(A)$ , is defined to be the sum of elements on the main diagonal of $A$ . The trace is only defined for a square matrix.

In mathematics, the general linear group of degree n is the set of n×n invertible matrices, together with the operation of ordinary matrix multiplication. This forms a group, because the product of two invertible matrices is again invertible, and the inverse of an invertible matrix is invertible, with the identity matrix as the identity element of the group. The group is so named because the columns of an invertible matrix are linearly independent, hence the vectors/points they define are in general linear position, and matrices in the general linear group take points in general linear position to points in general linear position.

In mathematics, the orthogonal group in dimension $n$ , denoted $O(n)$ , is the group of distance-preserving transformations of a Euclidean space of dimension $n$ that preserve a fixed point, where the group operation is given by composing transformations. The orthogonal group is sometimes called the general orthogonal group, by analogy with the general linear group. Equivalently, it is the group of $n \times n$ orthogonal matrices, where the group operation is given by matrix multiplication (an orthogonal matrix is a real matrix whose inverse equals its transpose). The orthogonal group is an algebraic group and a Lie group. It is compact.

<span class="mw-page-title-main">Symplectic group</span> Mathematical group

In mathematics, the name symplectic group can refer to two different, but closely related, collections of mathematical groups, denoted $Sp(2 n, F)$ and $Sp(n)$ for positive integer n and field F (usually C or R). The latter is called the compact symplectic group and is also denoted by $. Many authors prefer slightly different notations, usually differing by factors of 2 . The notation used here is consistent with the size of the most common matrices which represent the groups. In Cartan's classification of the simple Lie algebras, the Lie algebra of the complex group Sp(2 n, C) is denoted C n, and Sp(n) is the compact real form of Sp(2 n, C) . Note that when we refer to the (compact) symplectic group it is implied that we are talking about the collection of (compact) symplectic groups, indexed by their dimension n .$

In mathematics, a symplectic matrix is a $matrix with real entries that satisfies the condition$

<span class="mw-page-title-main">Orientability</span> Possibility of a consistent definition of "clockwise" in a mathematical space

In mathematics, orientability is a property of some topological spaces such as real vector spaces, Euclidean spaces, surfaces, and more generally manifolds that allows a consistent definition of "clockwise" and "anticlockwise". A space is orientable if such a consistent definition exists. In this case, there are two possible definitions, and a choice between them is an orientation of the space. Real vector spaces, Euclidean spaces, and spheres are orientable. A space is non-orientable if "clockwise" is changed into "counterclockwise" after running through some loops in it, and coming back to the starting point. This means that a geometric shape, such as , that moves continuously along such a loop is changed into its own mirror image . A Möbius strip is an example of a non-orientable space.

In mathematics, differential forms provide a unified approach to define integrands over curves, surfaces, solids, and higher-dimensional manifolds. The modern notion of differential forms was pioneered by Élie Cartan. It has many applications, especially in geometry, topology and physics.

In mathematics, the exterior algebra or Grassmann algebra of a vector space $is an associative algebra that contains which has a product, called exterior product or wedge product and denoted with, such that for every vector in The exterior algebra is named after Hermann Grassmann, and the names of the product come from the "wedge" symbol and the fact that the product of two elements of is "outside"$

In mathematics, the affine group or general affine group of any affine space is the group of all invertible affine transformations from the space into itself. In the case of a Euclidean space, the affine group consists of those functions from the space to itself such that the image of every line is a line.

In mathematics, a volume form or top-dimensional form is a differential form of degree equal to the differentiable manifold dimension. Thus on a manifold $of dimension, a volume form is an -form. It is an element of the space of sections of the line bundle, denoted as . A manifold admits a nowhere-vanishing volume form if and only if it is orientable. An orientable manifold has infinitely many volume forms, since multiplying a volume form by a nowhere-vanishing real valued function yields another volume form. On non-orientable manifolds, one may instead define the weaker notion of a density.$

In mathematics, and specifically differential geometry, a density is a spatially varying quantity on a differentiable manifold that can be integrated in an intrinsic manner. Abstractly, a density is a section of a certain line bundle, called the density bundle. An element of the density bundle at x is a function that assigns a volume for the parallelotope spanned by the n given tangent vectors at x.

<span class="mw-page-title-main">Sign (mathematics)</span> Number property of being positive or negative

In mathematics, the sign of a real number is its property of being either positive, negative, or 0. Depending on local conventions, zero may be considered as having its own unique sign, having no sign, or having both positive and negative sign. In some contexts, it makes sense to distinguish between a positive and a negative zero.

An oriented matroid is a mathematical structure that abstracts the properties of directed graphs, vector arrangements over ordered fields, and hyperplane arrangements over ordered fields. In comparison, an ordinary matroid abstracts the dependence properties that are common both to graphs, which are not necessarily directed, and to arrangements of vectors over fields, which are not necessarily ordered.

References

↑ W., Weisstein, Eric. "Vector Space Orientation". mathworld.wolfram.com. Retrieved 2017-12-08.{{cite web}}: CS1 maint: multiple names: authors list (link)
↑ W., Weisstein, Eric. "Orientation-Preserving". mathworld.wolfram.com. Retrieved 2017-12-08.{{cite web}}: CS1 maint: multiple names: authors list (link)
↑ Leo Dorst; Daniel Fontijne; Stephen Mann (2009). Geometric Algebra for Computer Science: An Object-Oriented Approach to Geometry (2nd ed.). Morgan Kaufmann. p. 32. ISBN 978-0-12-374942-0. The algebraic bivector is not specific on shape; geometrically it is an amount of oriented area in a specific plane, that's all.
↑ B Jancewicz (1996). "Tables 28.1 & 28.2 in section 28.3: Forms and pseudoforms". In William Eric Baylis (ed.). Clifford (geometric) algebras with applications to physics, mathematics, and engineering. Springer. p. 397. ISBN 0-8176-3868-7.
↑ William Anthony Granville (1904). "§178 Normal line to a surface". Elements of the differential and integral calculus. Ginn & Company. p. 275.
↑ David Hestenes (1999). New foundations for classical mechanics: Fundamental Theories of Physics (2nd ed.). Springer. p. 21. ISBN 0-7923-5302-1.

External links

"Orientation", Encyclopedia of Mathematics , EMS Press, 2001 [1994]

This page is based on this Wikipedia article
Text is available under the CC BY-SA 4.0 license; additional terms may apply.
Images, videos and audio are available under their respective licenses.

[1] W., Weisstein, Eric. "Vector Space Orientation". mathworld.wolfram.com. Retrieved 2017-12-08.{{cite web}}: CS1 maint: multiple names: authors list (link)

[2] W., Weisstein, Eric. "Orientation-Preserving". mathworld.wolfram.com. Retrieved 2017-12-08.{{cite web}}: CS1 maint: multiple names: authors list (link)

[Dorst-3] Leo Dorst; Daniel Fontijne; Stephen Mann (2009). Geometric Algebra for Computer Science: An Object-Oriented Approach to Geometry (2nd ed.). Morgan Kaufmann. p. 32. ISBN 978-0-12-374942-0. The algebraic bivector is not specific on shape; geometrically it is an amount of oriented area in a specific plane, that's all.

[Jancewicz1-4] B Jancewicz (1996). "Tables 28.1 & 28.2 in section 28.3: Forms and pseudoforms". In William Eric Baylis (ed.). Clifford (geometric) algebras with applications to physics, mathematics, and engineering. Springer. p. 397. ISBN 0-8176-3868-7.

[Granville-5] William Anthony Granville (1904). "§178 Normal line to a surface". Elements of the differential and integral calculus. Ginn & Company. p. 275.

[Hestenes-6] David Hestenes (1999). New foundations for classical mechanics: Fundamental Theories of Physics (2nd ed.). Springer. p. 21. ISBN 0-7923-5302-1.

[1]

[2]

[4]

[5]

[6]