COORDINATE VECTOR

In linear algebra, a 'coordinate vector' is an explicit representation of a vector in an abstract vector space as an ordered list of numbers or, equivalently, as an element of the coordinate space 'F'n.
Coordinate vectors allow calculations with abstract objects to be transformed into calculations with blocks of numbers (matrices and column vectors), which we know how to do explicitly.

Contents
Definition
The standard representation
Examples
Example 1
Example 2
Basis transformation matrix

Definition


Let ''V'' be a vector space of dimension ''n'' over a field 'F' and let
: B = { b_1, b_2, ldots, b_n }
be an ordered basis for ''V''.
Then for every v in V there is a unique linear combination of the basis vectors that equals ''v'':
: v = lpha _1 b_1 + lpha _2 b_2 + cdots + lpha _n b_n
By one of the defining properties of bases, the α-s are determined uniquely by ''v'' and ''B''.
Now, we define the 'coordinate vector' of ''v'' relative to ''B'' (also called the ''B representation of v'') to be the following column vector:
: [ v ]_B = egin{bmatrix} lpha _1 \ dots \ lpha _n end{bmatrix}.
The α-s are called the coordinates of ''v''.

The standard representation


We can mechanize the above transformation by defining a function phi_B, called the ''standard representation of V with respect to B'', that takes every vector to its coordinate representation: phi_B(v)=[v]_B. Then phi_B is a linear transformation from ''V'' to 'F'n. In fact, it is an isomorphism, and its inverse phi_B^{-1}:mathbf{F}^n o V is simply
:phi_B^{-1}(lpha_1,ldots,lpha_n)=lpha_1 b_1+cdots+lpha_n b_n.
Alternatively, we could have defined phi_B^{-1} to be the above function from the beginning, realized that phi_B^{-1} is an isomorphism, and defined phi_B to be its inverse.

Examples


Example 1

Let P3 be the space of all the algebraic polynomials in degree less than 4 (i.e. the highest exponent of ''x'' can be 3). This space is linear and spanned by the following polynomials:
: B_P = { 1, x, x^2, x^3 }
matching
: 1 := egin{bmatrix} 1 \ 0 \ 0 \ 0 end{bmatrix} quad ; quad x := egin{bmatrix} 0 \ 1 \ 0 \ 0 end{bmatrix} quad ; quad x^2 := egin{bmatrix} 0 \ 0 \ 1 \ 0 end{bmatrix} quad ; quad x^3 := egin{bmatrix} 0 \ 0 \ 0 \ 1 end{bmatrix} quad
then the corresponding coordinate vector to the polynomial
: p left( x
ight) = a_0 + a_1 x + a_2 x^2 + a_3 x^3 is egin{bmatrix} a_0 \ a_1 \ a_2 \ a_3 end{bmatrix} .
According to that representation, the differentiation operator d/dx which we shall mark D will be represented by the following matrix:
: Dp(x) = P'(x) quad ; quad [D] =
egin{bmatrix}
0 & 1 & 0 & 0 \
0 & 0 & 2 & 0 \
0 & 0 & 0 & 3 \
0 & 0 & 0 & 0 \
end{bmatrix}

Using that method it is easy to explore the properties of the operator: such as invertibility, hermitian or anti-hermitian or none, 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's mark with '' [M]B '' the matrix which has columns consisting of ''b1, b2, ..., bn'' . Then,
: v = [M]^{B} [v]_B .
This formalism can be generalized for transforming ''v'' from ''B'' representation to a ''C'' representation (where ''C'' is another basis).
Defining 'basis transformation matrix' from B to C as the following matrix:
: [M]_{C}^{B} = egin{bmatrix} [b_1]_C & cdots & [b_n]_C end{bmatrix}
we receive the following theorem:
: [v]_C = [M]_{C}^{B} [v]_B
'Corollary:'

This matrix is Invertible matrix and ''M-1'' is the basis transformation matrix from C to B. In other words,
: [M]_{C}^{B} [M]_{B}^{C} = [M]_{C}^{C} = mathrm{Id}
: [M]_{B}^{C} [M]_{C}^{B} = [M]_{B}^{B} = mathrm{Id}
'Remarks:'
# The basis transformation matrix can be regarded as an automorphism over V.
# [M]_{E}^{B} = [M]^{B} where E is the standard basis.
# In order to easily remember the theorem
:: [v]_C = [M]_{C}^{B} [v]_B
:notice that the M's sub-index and v's sub-index are "canceling" each other and the M's sub-index is what remains and become v's new sub-index. The "canceling" of index is not a real canceling but rather a manipulation of symbols which serves us for purposes of convenience.

This article provided by Wikipedia. To edit the contents of this article, click here for original source.

psst.. try this: add to faves