Consider the linear transformation \(T\colon \IR^2\to\IR^2\) corresponding to the standard matrix \(A=\left[\begin{matrix}1 & 3\\-1 & 2\end{matrix}\right]\text{.}\)
The tool in FigureΒ 46 can be used to visualize the effect of a linear transformation (defined by its standard matrix) on the geometry of the unit square defined by the standard basic vectors \(\vec e_1,\vec e_2\text{.}\)
The image in FigureΒ 47 illustrates how the linear transformation \(T : \IR^2 \rightarrow \IR^2\) given by the standard matrix \(A = \left[\begin{array}{cc} 2 & 0 \\ 0 & 3 \end{array}\right]\) transforms the unit square.
The image below illustrates how the linear transformation \(S : \IR^2 \rightarrow \IR^2\) given by the standard matrix \(B = \left[\begin{array}{cc} 2 & 3 \\ 0 & 4 \end{array}\right]\) transforms the unit square.
Notice that while a linear map can transform vectors in various ways, linear maps always transform parallelograms into parallelograms, and these areas are always transformed by the same factor: in the case of \(B=\left[\begin{array}{cc} 2 & 3 \\ 0 & 4 \end{array}\right]\text{,}\) this factor is \(8\text{.}\)
Since this change in area is always the same for a given linear map, it will be equal to the value of the transformed unit square (which begins with area \(1\)).
We will define the determinant of a square matrix \(B\text{,}\) or \(\det(B)\) for short, to be the factor by which \(B\) scales areas. In order to figure out how to compute it, we first figure out the properties it must satisfy.
The transformation of the unit square by the standard matrix \([\vec{e}_1\hspace{0.5em} \vec{e}_2]=\left[\begin{array}{cc}1&0\\0&1\end{array}\right]=I\) is illustrated below. If \(\det([\vec{e}_1\hspace{0.5em} \vec{e}_2])=\det(I)\) is the area of resulting parallelogram, what is the value of \(\det([\vec{e}_1\hspace{0.5em} \vec{e}_2])=\det(I)\text{?}\)
\(\det[\cdots\hspace{0.5em}c\vec{v}\hspace{0.5em}\cdots]=
c\det[\cdots\hspace{0.5em}\vec{v}\hspace{0.5em}\cdots]\text{,}\) assuming no other columns change.
\(\det[\cdots\hspace{0.5em}\vec{v}+\vec{w}\hspace{0.5em}\cdots]=
\det[\cdots\hspace{0.5em}\vec{v}\hspace{0.5em}\cdots]+
\det[\cdots\hspace{0.5em}\vec{w}\hspace{0.5em}\cdots]\text{,}\) assuming no other columns change.
Essentially, the determinant measures the change in βsizeβ caused by a transformation, where βsizeβ means area for \(2\times 2\) matrices and volume for \(3\times 3\) matrices.
The determinant must also satisfy other properties. Consider \(\det([\vec v \hspace{1em}\vec w+c \vec{v}])\) and \(\det([\vec v\hspace{1em}\vec w])\text{.}\)
The base of both parallelograms is \(\vec{v}\text{,}\) while the height has not changed, so the determinant does not change either. This can also be proven using the other properties of the determinant:
Swapping columns may be thought of as a reflection, which is represented by a negative determinant. For example, the following matrices transform the unit square into the same parallelogram, but the second matrix reflects its orientation.
To summarize, weβve shown that the column versions of the three row-reducing operations a matrix may be used to simplify a determinant in the following way:
The transformation given by the standard matrix \(A\) scales areas by \(4\text{,}\) and the transformation given by the standard matrix \(B\) scales areas by \(3\text{.}\) By what factor does the transformation given by the standard matrix \(AB\) scale areas?
Since the transformation given by the standard matrix \(AB\) is obtained by applying the transformations given by \(A\) and \(B\text{,}\) it follows that
Find a matrix \(R\) such that \(B=RA\text{,}\) by applying the same row operation to \(I=\left[\begin{array}{cccc}1&0&0&0\\0&1&0&0\\0&0&1&0\\0&0&0&1\end{array}\right]\text{.}\)
So we may compute the determinant of \(\left[\begin{array}{cc} 2 & 4 \\ 2 & 3 \end{array}\right]\) by using determinant properties to manipulate its rows/columns to reduce the matrix to \(I\text{:}\)
Suppose we have a linear transformation \(T\colon\IR^2\to\IR^2\text{.}\) Given some shape \(S\) in the plane \(\IR^2\text{,}\) we can use to \(T\) to transform it into some new shape \(T(S)\text{.}\) Consider the following questions about properties that may or may not be preserved by \(T\text{.}\)