Linear Algebra: Linear Algebra
Change of Basis
In the previous theory, the elements of the matrix were determined by how they transform the basis vectors. Let’s take a closer look at two different basis in \(\mathbb{R}^2\): a canonical basis \(\{\mathbf{b}_1,\mathbf{b}_2\}\) and an arbitrary non-canonical basis \(\{\mathbf{d}_1,\mathbf{d}_2\}\) whose elements can be expressed in the canonical basis as: \[\mathbf{d}_1 = \cv{3/5\\ 1/3} \quad\text{and}\quad \mathbf{d}_2= \cv{1/3\\ 1 }.\] The two bases are visualized in the figure below.
We can think of a basis as a language we use to explicitly write vectors and operators as matrices. However, the way an arbitrary operator \(\mathbf{A}\) transforms a vector \(\mathbf{v}\) shouldn’t depend on the basis we use. Therefore, we must adjust the entries of the matrix depending on which basis we use, because as described before, rows of the matrix correspond to the vectors to which the basis vectors transform to. So let’s try to motivate intuitively how we can transform a matrix \(\mathbf{A}\) that is written in the canonical basis \(\{\mathbf{b}_1,\mathbf{b}_2\}\) into a matrix \(\mathbf{A'}\) which describes the same operation, but in the new basis \(\mathbf{d_2}= \cv{1/3\\ 1 }\). The procedure is as follows:
- We take a vector from the written using vectors from the new basis and translate it into a language of the old basis using a transformation \(\mathbf{S}\) (In this context, translation is meant in the context of the language, not as a spatial translation).
- We act on this translated vector with the operator \(\mathbf{A}\) expressed in the canonical basis.
- We convert the transformed vector back to the language of the new basis using the inverse transformation \(\mathbf{S}^{-1}\).
So, in total, we can express the change of basis of a matrix as: \[\mathbf{A'}= \mathbf{S}^{-1}\mathbf{A}\mathbf{S}\] Next question is, what does the transformation \(\mathbf{S}\) between languages correspond to? Well, in our example, if we speak the language of the new basis, then we would express the vectors of the new basis as \(\mathbf{d_1} = \cv{3/5\\ 1/3}\) and \(\mathbf{d}_2 =\cv{1/3\\ 1 }\). However, if we want to express these new vectors in the old canonical basis, then we would write them in the form of earlier equation. Therefore, the transformation \(\mathbf{S}\) for this example is equal to: \[\mathbf{S}=\matrix{\frac{3}{5}&\frac{1}{3}\\ \frac{1}{3} & 1}.\] The inverse transformation can be found and is equal to: \[\mathbf{S}^{-1}=\matrix{\frac{45}{22}&-\frac{15}{22}\\-\frac{15}{22}& \frac{27}{22}},\] which is not the nicest expression, but we can transform any operator \(\mathbf{A}\) written in the canonical basis \(\{\mathbf{b}_1,\mathbf{b}_2\}\) into a matrix \(\mathbf{A'}\) written in the \(\{\mathbf{d}_1,\mathbf{d}_2\}\) basis.
We can check whether the transformation \(S)^{-1}\) makes sense by applying it for example on the vector \(\mathbf{d}_1\) written in the canonical basis: \[\begin{aligned}\mathbf{S}^{-1}\, \mathbf{d}_1 &= \matrix{\frac{45}{22}&-\frac{15}{22}\\-\frac{15}{22}& \frac{27}{22}}\cv{3/5\\ 1/3} \\[0.25cm] &= \cv{1 \\ 0},\end{aligned}\] which is exactly the expected result, because if we speak the language of the \(\{\mathbf{d}_1,\mathbf{d}_2\}\) basis, we would write the vector \(\mathbf{d}_1\) as \(\mathbf{d}_1=\cv{1 \\ 0}\).
Summary In this theory page, we have found a way that ensures that the effect of a matrix doesn’t depend on the basis used. To do so, we adjusted the matrix entries depending on the basis. To transform a matrix from the canonical basis to an arbitrary basis, we took a vector from the new basis, transformed it to the old basis, apply the matrix, and transformed the result back to the new basis.