Subsection PMR Properties of Matrix Representations

It will not be a surprise to discover that the kernel and range of a linear transformation are closely related to the null space and column space of the transformation's matrix representation. Perhaps this idea has been bouncing around in your head already, even before seeing the definition of a matrix representation. However, with a formal definition of a matrix representation (Definition MR), and a fundamental theorem to go with it (Theorem FTMR) we can be formal about the relationship, using the idea of isomorphic vector spaces (Definition IVS). Here are the twin theorems.

Theorem KNSI Kernel and Null Space Isomorphism

Suppose that $\ltdefn{T}{U}{V}$ is a linear transformation, $B$ is a basis for $U$ of size $n$, and $C$ is a basis for $V$. Then the kernel of $T$ is isomorphic to the null space of $\matrixrep{T}{B}{C}$, \begin{equation*} \krn{T}\isomorphic\nsp{\matrixrep{T}{B}{C}} \end{equation*}

Example KVMR Kernel via matrix representation

An entirely similar result applies to the range of a linear transformation and the column space of a matrix representation of the linear transformation.

Theorem RCSI Range and Column Space Isomorphism

Suppose that $\ltdefn{T}{U}{V}$ is a linear transformation, $B$ is a basis for $U$ of size $n$, and $C$ is a basis for $V$ of size $m$. Then the range of $T$ is isomorphic to the column space of $\matrixrep{T}{B}{C}$, \begin{equation*} \rng{T}\isomorphic\csp{\matrixrep{T}{B}{C}} \end{equation*}

Example RVMR Range via matrix representation

Theorem KNSI and Theorem RCSI can be viewed as further formal evidence for the Coordinatization Principle, though they are not direct consequences.

Diagram KRI is meant to suggest Theorem KNSI and Theorem RCSI, in addition to their proofs (and so carry the same notation as the statements of these two theorems). The dashed lines indicate a subspace relationship, with the smaller vector space lower down in the diagram. The central square is highly reminiscent of Diagram FTMR. Each of the four vector representations is an isomorphism, so the inverse linear transformation could be depicted with an arrow pointing in the other direction. The four vector spaces across the bottom are familiar from the earliest days of the course, while the four vector spaces across the top are completely abstract. The vector representations that are restrictions (far left and far right) are the functions shown to be invertible representations as the key technique in the proofs of Theorem KNSI and Theorem RCSI. So this diagram could be helpful as you study those two proofs.

SVG image not dispayed

Diagram KRI Kernel and Range Isomorphisms

Sage LTR Linear Transformation Restrictions
(in context)