Definition:Vector (Euclidean Space)

From ProofWiki
Jump to navigation Jump to search

This page is about Vector in the context of Euclidean Space. For other uses, see Vector.


A vector is defined as an element of a vector space.

We have that $\R^n$, with the operations of vector addition and scalar multiplication, form a real vector space.

Hence a vector in $\R^n$ is defined as any element of $\R^n$.

$\R^2$: Plane Vector

Consider the real vector space $\R^2$.

A vector in $\R^2$ can be referred to as a plane vector.

$\R^3$: Space Vector

Consider the real vector space $\R^3$.

A vector in $\R^3$ can be referred to as a space vector.

Vector Notation

Several conventions are found in the literature for annotating a general vector quantity in a style that distinguishes it from a scalar quantity, as follows.

Let $\set {x_1, x_2, \ldots, x_n}$ be a collection of scalars which form the components of an $n$-dimensional vector.

The vector $\tuple {x_1, x_2, \ldots, x_n}$ can be annotated as:

\(\ds \bsx\) \(=\) \(\ds \tuple {x_1, x_2, \ldots, x_n}\)
\(\ds \vec x\) \(=\) \(\ds \tuple {x_1, x_2, \ldots, x_n}\)
\(\ds \hat x\) \(=\) \(\ds \tuple {x_1, x_2, \ldots, x_n}\)
\(\ds \underline x\) \(=\) \(\ds \tuple {x_1, x_2, \ldots, x_n}\)
\(\ds \tilde x\) \(=\) \(\ds \tuple {x_1, x_2, \ldots, x_n}\)

To emphasize the arrow interpretation of a vector, we can write:

$\bsv = \sqbrk {x_1, x_2, \ldots, x_n}$


$\bsv = \sequence {x_1, x_2, \ldots, x_n}$

In printed material the boldface $\bsx$ or $\mathbf x$ is common. This is the style encouraged and endorsed by $\mathsf{Pr} \infty \mathsf{fWiki}$.

However, for handwritten material (where boldface is difficult to render) it is usual to use the underline version $\underline x$.

Also found in handwritten work are the tilde version $\tilde x$ and arrow version $\vec x$, but as these are more intricate than the simple underline (and therefore more time-consuming and tedious to write), they will only usually be found in fair copy.

It is also noted that the tilde over $\tilde x$ does not render well in MathJax under all browsers, and differs little visually from an overline: $\overline x$.

The hat version $\hat x$ usually has a more specialized meaning, namely to symbolize a unit vector.

In computer-rendered materials, the arrow version $\vec x$ is popular, as it is descriptive and relatively unambiguous, and in $\LaTeX$ it is straightforward.

However, it does not render well in all browsers, and is therefore (reluctantly) not recommended for use on this website.

Geometric Interpretation

From the definition of the real number plane, we can represent the vector space $\R^2$ by points on the plane.

That is, every pair of coordinates $\tuple {x_1, x_2}$ can be uniquely defined by a point in the plane.

An arrow with base at the origin and terminal point $\tuple {x_1, x_2}$ is defined to have the length equal to the magnitude of the vector, and direction defined by the relative location of $\tuple {x_1, x_2}$ with the origin as the point of reference.

Each vector is then represented by the set of all directed line segments with:

  • Direction equal to the direction of $\overrightarrow {\tuple {0, 0} \tuple {x_1, x_2} }$


The reader should be aware that a vector in $\R^n$ is and only is an ordered $n$-tuple of $n$ real numbers. The geometric interpretations given above are only representations of vectors.

Further, the geometric interpretation of a vector is accurately described as the set of all line segments equivalent to a given directed line segment, rather than any particular line segment.

Also see