## ArchetypeWArchetype W

⬜  Summary   Domain is polynomials, codomain is polynomials. Domain and codomain both have dimension 3. Injective, surjective, invertible, 3 distinct eigenvalues, diagonalizable.
⬜  Definition  A linear transformation (Definition LT).
\begin{align*} &\ltdefn{T}{P_2}{P_2}& \lteval{T}{a+bx+cx^2}&= \left(19a+6b-4c\right)+ \left(-24a-7b+4c\right)x+ \left(36a+12b-9c\right)x^2 \end{align*}
⬜  Kernel  A basis for the kernel of the linear transformation (Definition KLT).
\begin{equation*} \set{\ } \end{equation*}
⬜  Injective?  Is the linear transformation injective (Definition ILT)? Yes.

Since the kernel is trivial Theorem KILT tells us that the linear transformation is injective.

⬜  Spanning Set for Range  A spanning set for the range of a linear transformation (Definition RLT) can be constructed easily by evaluating the linear transformation on a standard basis (Theorem SSRLT).
\begin{equation*} \set{19-24x+36x^2,\, 6-7x+12x^2,\, -4+4x-9x^2} \end{equation*}
⬜  Range  A basis for the range of the linear transformation (Definition RLT). If the linear transformation is injective, then the spanning set just constructed is guaranteed to be linearly independent (Theorem ILTLI) and is therefore a basis of the range with no changes. Injective or not, this spanning set can be converted to a “nice” linearly independent spanning set by making the vectors the rows of a matrix (perhaps after using a vector representation), row-reducing, and retaining the nonzero rows (Theorem BRS), and perhaps un-coordinatizing.
\begin{equation*} \set{1,\,x,\,x^2} \end{equation*}
⬜  Surjective?  Is the linear transformation surjective (Definition SLT)? Yes.

A basis for the range is the standard basis of $$\complex{5}\text{,}$$ so $$\rng{T}=\complex{5}$$ and Theorem RSLT tells us $$T$$ is surjective. Or, the dimension of the range is 5, and the codomain ($$\complex{5}$$) has dimension 5. So the transformation is surjective.

⬜  Subspace Dimensions  Subspace dimensions associated with the linear transformation (Definition ROLT, Definition NOLT). Verify Theorem RPNDD, and examine parallels with earlier results for matrices.
\begin{align*} \text{rank}&=3&\text{nullity}&=0&\text{domain}&=3 \end{align*}
⬜  Invertible?  Is the linear transformation invertible (Definition IVLT, and examine parallels with the existence of matrix inverses.)? Yes.

Both injective and surjective (Theorem ILTIS). Notice that since the domain and codomain have the same dimension, either the transformation is both injective and surjective (making it invertible, as in this case) or else it is both not injective and not surjective.

⬜  Matrix Representation  Matrix representation of the linear transformation, as given by Definition MR and explained by Theorem FTMR.
\begin{equation*} \text{domain basis}=\set{1,\,x,\,x^2} \end{equation*}
\begin{equation*} \text{codomain basis}=\set{1,\,x,\,x^2} \end{equation*}
\begin{equation*} \text{matrix representation}=\begin{bmatrix} 19 & 6 & -4 \\ -24 & -7 & 4 \\ 36 & 12 & -9 \end{bmatrix} \end{equation*}
⬜  Inverse Linear Transformation  The inverse linear transformation (Definition IVLT). Verify that $$T^{-1}\left(T\left(\vect{x}\right)\right)=\vect{x}$$ and $$T\left(T^{-1}\left(\vect{x}\right)\right)=\vect{x}\text{.}$$
\begin{equation*} \ltdefn{\ltinverse{T}}{P_2}{P_2},\quad \lteval{\ltinverse{T}}{a+bx+cx^2} = (-5a-2b+\frac{4}{3}c)+ (24a+9b-\frac{20}{3}c)x + (12a+4b-\frac{11}{3}c)x^2 \end{equation*}
⬜  Eigenvalues, Eigenspaces  Eigenvalues, and bases for eigenspaces (Definition EELT, Theorem EER). Evaluate the linear transformation with each eigenvector as an interesting check.
\begin{align*} \eigensystem{T}{-1}{2x+3x^2}\\ \eigensystem{T}{1}{-1+3x}\\ \eigensystem{T}{3}{1-2x+x^2}\\ %& forces align environment \end{align*}
⬜  Diagonal Matrix Representation  A diagonal matrix representation relative to a basis of eigenvectors.
\begin{equation*} \text{basis}=\set{2x+3x^2,\,-1+3x,\,1-2x+x^2} \end{equation*}
\begin{equation*} \text{matrix representation}=\begin{bmatrix} -1 & 0 & 0 \\ 0 & 1 & 0 \\ 0 & 0 & 3 \end{bmatrix} \end{equation*}