Jump to content

Orientation/Vector space/Low dimension/Introduction/Section

From Wikiversity
Every point on a line defines an orientation. The two green points define the same orientation, the red point defines another orientation.

For a one-dimensional real vector space (s line), every vector is a base vector. If we remove the , then the line splits into two halves (two half-lines, two rays). If the line is lying "horizontally“, then we talk about the left-hand and the right-hand side; but this concepts are problematic if we move the line or change the angle of view. However, it is a simple fact that there are two sides, and it is easy to determine whether two points belong to the same side or to different sides, even though it is difficult to put names on the two sides. The two points are related by their transformation matrix (base change matrix), which is just one real number. The two points lie on the same side if and only if their transformation matrix is positive, they lie on different sides if and only if their transformation matrix is negative.

In the plane, there is a similar phenomenon, the sense of rotation. If, for example, we want to walk around a tree on the earth, then we can do this clockwise or counter-clockwise. These notions are fixed by the convention that we look "from above“. For a mole in the ground, the sense of rotation is reversed. If we are given a plane in space, it is not at all clear what clockwise means. However, it is for every plane clear that there are two sense of rotation, and whether to such direction coincide. Also this phenomenon can be understood with bases and their transformation matrices. We consider the center of the clock as the origin of the plane, and the finger as a vector, depending on time. For two consecutive points in times and , the finger represents the vectors and , and we make sure that the finger has moved less than a half rotation. The vectors and define a basis in the plane (after a half rotation we had , and the vectors were linearly dependent). Suppose that at the start time , the finger shows upstairs, then the clockwise motion of the finger is parametrized by .. The two vectors are

Was this clock put into the plane from the front or from behind?

The transformation matrix between the standard basis

is

The determinant of this matrix is , and this is negative for in the given range, for from it is positive. The transformation matrices between the bases

have a positive determinant. In this way, the clockwise direction does not fix a basis but it determines a class of bases with the property that their transformation matrix always has a positive determinant. For the counter-clockwise direction, we get bases of the type

the transformation matrices of these bases to the standard basis have positive determinant.

In space, there is a similar phenomenon; the human body helps to understand it. The right hand and the left hand are mirror-inverted (the leftt hand is the hand that is closer to the heart). We take a hand, we consider the center of the palm as the origin, and we stretch the thumb, the forefinger and the middle finger such that the thumb and the forefinger look like a pistol, and the middle finger points to the inside. The three fingers form in this ordering a sequence of three vectors in space, and they form a basis.

If we do this with the left hand and with the right hand, then it is possible to bring the thumbs and the forefingers in parallel position, but the middle fingers show in opposite direction. The transformation matrix between these two hand bases is

its determinant is negative. The right hand and the left hand represent different orientations of space bases.

We give now the general definition of an orientation. In the following, it is important to recall that a basis is not a set of the basis vectors but the ordered tuple of basis vectors.


Let denote a real finite-dimensional vector space. Two bases and are said to have the same orientation if the determinant of their transformation matrix is

positive.

This relation between bases is an equivalence relation; there are only two equivalence classes (called orientation or orientation classes) (with the exception of the zero space).


Let denote a real finite-dimensional vector space. An orientation of is an equivalence class of bases of under the equivalence relation of having the

same orientation.

It is easy to determine whether two bases has the same of the opposite orientation; however, it does not make sense to give a name to each orientation.

Many objects in nature and technique show that there are two different orientations. It is easy to see whether similar objects like a spring have the same or the opposite orientation.
The naming of the orientations, and to what mathematical orientation (represented by a basis) they correspond, is a convention.


Let denote a real finite-dimensional vector space. The space is called oriented if an orientation

is declared on it.

A vector space becomes oriented by declaring that has the orientation represented by the basis . The standard space carries usually the so-called standard orientation, represented by the standard basis . The standard orientation of is represented by , and by every positive number. The standard orientation of corresponds, when we draw the first standard vector to the right, and the second standard vector perpendicular upstairs, to the counter-clockwise orientation. In space, the standard orientation corresponds to the right-hand rule, when the first axis goes to the right, the second axis to the back and the third axis upstairs. The right hand yields a human-natural orientation of the space we are living in, and the standard orientation yields an orientation on ; these two things are unrelated, as there are many way to establish a coordinate system. The coordinate system just mentioned rests on a convention.

On an arbitrary real vector space, there is no canonical way to mark an orientation. For every real finite-dimensional vector space a, there exist a bijective linear mapping

and this sends the standard basis to a basis of ; however, this image basis and its orientation class depend on the chosen . It is not possible to define on every an orientation in a canonical way.

On a real affine space , an orientation is just an orientation of the underlying real vector space.