logo

Order Basis and Coordinate Vectors 📂Linear Algebra

Order Basis and Coordinate Vectors

Definition1

Let’s say VV is a finite-dimensional vector space. When a specific order is assigned to a basis of VV, it is called an ordered basis.

Let’s say β={v1,,vn}\beta = \left\{ \mathbf{v}_{1}, \dots, \mathbf{v}_{n} \right\} is an ordered basis of VV. Then, due to the uniqueness of basis representation, for vV\mathbf{v} \in V, scalars aia_{i} uniquely exist as follows.

v=a1v1+anvn \mathbf{v} = a_{1}\mathbf{v}_{1} + \dots a_{n}\mathbf{v}_{n}

a1,,ana_{1},\dots,a_{n} is called the coordinate of v\mathbf{v} relative to basis β\beta. The matrix that has the iith coordinate as its iith component is called the coordinate vector of v\mathbf{v} relative to β\beta or coordinate matrix, and is denoted as [v]β[\mathbf{v}]_{\beta}.

[v]β=[a1a2an] [\mathbf{v}]_{\beta} = \begin{bmatrix} a_{1} \\ a_{2} \\ \vdots \\ a_{n} \end{bmatrix}

Furthermore, the ordered basis β\beta is called a coordinate system.

Explanation

The basis is defined as a set, and the order in which the elements of the set are listed does not matter, which means α={e1,e2,e3}={e2,e3,e1}=β\alpha = \left\{ \mathbf{e}_{1}, \mathbf{e}_{2}, \mathbf{e}_{3} \right\} = \left\{ \mathbf{e}_{2}, \mathbf{e}_{3}, \mathbf{e}_{1} \right\} = \beta. Therefore, to abstract the concept of ‘coordinate’, it is necessary to assign order to the elements of the basis. Now, if we say α,β\alpha, \beta is an ordered basis,

α={e1,e2,e3}{e2,e3,e1}=β \alpha = \left\{ \mathbf{e}_{1}, \mathbf{e}_{2}, \mathbf{e}_{3} \right\} \ne \left\{ \mathbf{e}_{2}, \mathbf{e}_{3}, \mathbf{e}_{1} \right\} = \beta

  • [vi]β=ei[\mathbf{v}_{i}]_{\beta} = \mathbf{e}_{i} holds. ei\mathbf{e}_{i} is the standard basis.

  • The function T:v[v]βT : \mathbf{v} \mapsto [\mathbf{v}]_{\beta} becomes a linear transformation from VV to Rn\mathbb{R}^{n}.

  • Regarding vector space Rn\mathbb{R}^{n}, {e1,,en}\left\{ \mathbf{e}_{1}, \dots, \mathbf{e}_{n} \right\} is called the standard ordered basis.


  1. Stephen H. Friedberg, Linear Algebra (4th Edition, 2002), p79-80 ↩︎