Coordinate vector

The standard representation

We can mechanize the above transformation by defining a function ${\displaystyle {\varphi }_B}$, called the standard representation of V with respect to B, that takes every vector to its coordinate representation: ${\displaystyle {\varphi }_B(v)=[v{]}_B}$. Then ${\displaystyle {\varphi }_B}$ is a linear transformation from V to Fⁿ. In fact, it is an isomorphism, and its inverse ${\displaystyle {\varphi }_B^{-1}:F^n\to V}$ is simply

${\displaystyle {\varphi }_B^{-1}({\alpha }_1,\dots ,{\alpha }_n)={\alpha }_1{b}_1+\cdots +{\alpha }_n{b}_n.}$

Alternatively, we could have defined ${\displaystyle {\varphi }_B^{-1}}$ to be the above function from the beginning, realized that ${\displaystyle {\varphi }_B^{-1}}$ is an isomorphism, and defined ${\displaystyle {\varphi }_B}$ to be its inverse.

Examples

Example 1

Let ${\displaystyle P_3}$ be the space of all the algebraic polynomials of degree at most 3 (i.e. the highest exponent of x can be 3). This space is linear and spanned by the following polynomials:

${\displaystyle B_P=\left\{1,x,x^2,x^3\right\}}$

matching

${\displaystyle 1:=\left[\begin{array}{c}1\\ 0\\ 0\\ 0\end{array}\right];x:=\left[\begin{array}{c}0\\ 1\\ 0\\ 0\end{array}\right];x^2:=\left[\begin{array}{c}0\\ 0\\ 1\\ 0\end{array}\right];x^3:=\left[\begin{array}{c}0\\ 0\\ 0\\ 1\end{array}\right]}$

then the coordinate vector corresponding to the polynomial

${\displaystyle p\left(x\right)=a_0+a_{1}x+a_2{x}^2+a_3{x}^3}$

is

${\displaystyle \left[\begin{array}{c}{a}_0\\ a_1\\ a_2\\ a_3\end{array}\right].}$

According to that representation, the differentiation operator d/dx which we shall mark D will be represented by the following matrix:

${\displaystyle Dp(x)=P^{\prime }(x);[D]=\left[\begin{array}{cccc}0& 1& 0& 0\\ 0& 0& 2& 0\\ 0& 0& 0& 3\\ 0& 0& 0& 0\end{array}\right]}$

Using that method it is easy to explore the properties of the operator, such as: invertibility, Hermitian or anti-Hermitian or neither, spectrum and eigenvalues, and more.

Example 2

The Pauli matrices, which represent the spin operator when transforming the spin eigenstates into vector coordinates.

Basis transformation matrix

Let B and C be two different bases of a vector space V, and let us mark with ${\displaystyle [M{]}_C^B}$ the matrix which has columns consisting of the C representation of basis vectors b₁, b₂, …, b_n:

${\displaystyle [M{]}_C^B=\left[\begin{array}{ccc}[b_1{]}_C& \cdots & [b_n{]}_C\end{array}\right]}$

This matrix is referred to as the basis transformation matrix from B to C. It can be regarded as an automorphism over ${\displaystyle F^n}$. Any vector v represented in B can be transformed to a representation in C as follows:

${\displaystyle [v{]}_C=[M{]}_C^B[v{]}_B.}$

Under the transformation of basis, the superscript on the transformation matrix, M, and the subscript on the coordinate vector, v, are the same, and seemingly cancel, leaving the remaining subscript. While this may serve as a memory aid, it is important no such cancellation, or similar mathematical operation, is taking place.

Corollary

The matrix M is an invertible matrix and M⁻¹ is the basis transformation matrix from C to B. In other words,

${\displaystyle \begin{array}{cc}\mathrm{Id}& =[M{]}_C^B[M{]}_B^C=[M{]}_C^C\\ & =[M{]}_B^C[M{]}_C^B=[M{]}_B^B\end{array}}$

Infinite-dimensional vector spaces

Suppose V is an infinite-dimensional vector space over a field F. If the dimension is κ, then there is some basis of κ elements for V. After an order is chosen, the basis can be considered an ordered basis. The elements of V are finite linear combinations of elements in the basis, which give rise to unique coordinate representations exactly as described before. The only change is that the indexing set for the coordinates is not finite. Since a given vector v is a finite linear combination of basis elements, the only nonzero entries of the coordinate vector for v will be the nonzero coefficients of the linear combination representing v. Thus the coordinate vector for v is zero except in finitely many entries.

The linear transformations between (possibly) infinite-dimensional vector spaces can be modeled, analogously to the finite-dimensional case, with infinite matrices. The special case of the transformations from V into V is described in the full linear ring article.