This entry is about the concepts of direction of a vector and of a line in linear algebra/analytic geometry. For the concept in order theory see at direction.
homotopy theory, (∞,1)-category theory, homotopy type theory
flavors: stable, equivariant, rational, p-adic, proper, geometric, cohesive, directed…
models: topological, simplicial, localic, …
see also algebraic topology
Introductions
Definitions
Paths and cylinders
Homotopy groups
Basic facts
Theorems
In vector/affine geometry the parallel? vectors with the same orientation form an equivalence class. The same holds for oriented lines and even higher dimensional oriented subspaces. The equivalence class of a vector (or other object) is called its direction. (In the case of higher dimension we may say “-direction”; see also bivector.) If the vector space is normed, then each such equivalence class has a canonical unit vector representative, called a direction vector.
If we neglect the orientation we get a bigger equivalence class, called the unoriented direction. Unoriented directions have a representing unit vector only up to sign.
For a real vector space, or more generally a vector space over an ordered field, the direction of a non-zero vector is its equivalence class under the multiplication with positive scalars.
If is a normed vector space (such as an inner product space with the induced norm ), the direction of is canonically represented by the unit norm vector obtained by multiplying with the inverse of its norm
which may be regarded as an element of the unit sphere of .
(e.g. MathWorld)
Equivalently:
Recall that a nonzero vector is parallel to a linear subspace of a vector space if has a representative of the form (i.e. ) with . When is a line, we say that furthermore has the same orientation as if points (in the sense of def. ) in the positive direction along .
The direction of a non-zero vector is the equivalence class of oriented lines parallel to and having the same orientation.
Similarly, the unoriented direction of a non-zero vector in any vector space is its equivalence class under multiplication by non-zero elements of the ground field, hence the element it represents in the corresponding projective space . Unlike oriented direction, this makes sense over an arbitrary field.
The unit direction vector can be attached not only to a (direction of) a vector but also to a direction of lines per se (see Wikipedia, Direction vector).
J. Lelong-Ferrand defines the direction of an affine subspace of an affine space as its orbit under the action of the translation group. This agrees with the parallelness in Choquet where two affine subspaces of the same dimension are parallel if their translation group of vectors (as a subgroup of the group of vectors of translations of the entire space) is the same.
In microlocal analysis the wave front set of a distribution records the direction (def. ) of all those wave vectors along which, locally, the Fourier transform of the distribution is not a rapidly decaying function.
MathWorld, Unit vector
Gustave Choquet, Geometry in a modern setting, Hermann 1969
K. Horvatić, Linear algebra (in Croatian), 2004
Jacquelline Lelong-Ferrand, Les fondements de la géométrie, Presses Universitaires de France 1985.
Last revised on June 7, 2023 at 08:40:22. See the history of this page for a list of all contributions to it.