Example IVSAV Isomorphic vector spaces, Archetype V

Archetype V is a linear transformation from $P_3$ to $M_{22}$, \begin{equation*} \ltdefn{T}{P_3}{M_{22}},\quad\lt{T}{a+bx+cx^2+dx^3}= \begin{bmatrix} a+b & a-2c\\ d & b-d \end{bmatrix} \end{equation*}

Since it is injective and surjective, Theorem ILTIS tells us that it is an invertible linear transformation. By Definition IVS we say $P_3$ and $M_{22}$ are isomorphic.

At a basic level, the term “isomorphic” is nothing more than a codeword for the presence of an invertible linear transformation. However, it is also a description of a powerful idea, and this power only becomes apparent in the course of studying examples and related theorems. In this example, we are led to believe that there is nothing “structurally” different about $P_3$ and $M_{22}$. In a certain sense they are the same. Not equal, but the same. One is as good as the other. One is just as interesting as the other.

Here is an extremely basic application of this idea. Suppose we want to compute the following linear combination of polynomials in $P_3$, \begin{equation*} 5(2+3x-4x^2+5x^3)+(-3)(3-5x+3x^2+x^3) \end{equation*}

Rather than doing it straight-away (which is very easy), we will apply the transformation $T$ to convert into a linear combination of matrices, and then compute in $M_{22}$ according to the definitions of the vector space operations there (Example VSM), \begin{align*} &\lt{T}{5(2+3x-4x^2+5x^3)+(-3)(3-5x+3x^2+x^3)}\\ &=5\lt{T}{2+3x-4x^2+5x^3}+(-3)\lt{T}{3-5x+3x^2+x^3}&&\knowl{./knowls/theorem.LTLC.knowl}{\text{Theorem LTLC}}\\ &=5 \begin{bmatrix} 5 & 10\\5 & -2 \end{bmatrix} +(-3) \begin{bmatrix} -2 & -3\\1 & -6 \end{bmatrix}&&\text{Definition of $T$}\\ &= \begin{bmatrix} 31 & 59\\22 & 8 \end{bmatrix}&&\text{Operations in $M_{22}$} \end{align*}

Now we will translate our answer back to $P_3$ by applying $\ltinverse{T}$, which we demonstrated in Example AIVLT, \begin{equation*} \ltdefn{\ltinverse{T}}{M_{22}}{P_3},\quad \lt{\ltinverse{T}}{\begin{bmatrix}a&b\\c&d\end{bmatrix}}=(a - c - d)+ (c + d)x +\frac{1}{2}(a - b - c - d)x^2+cx^3 \end{equation*}

We compute, \begin{equation*} \lt{\ltinverse{T}}{ \begin{bmatrix} 31 & 59\\22 & 8 \end{bmatrix} } =1+30x-29x^2+22x^3 \end{equation*} which is, as expected, exactly what we would have computed for the original linear combination had we just used the definitions of the operations in $P_3$ (Example VSP). Notice this is meant only as an illustration and not a suggested route for doing this particular computation.

(in context)