Linear transformations are the fundamental morphisms in linear algebra, providing the natural way to relate different vector spaces while preserving their linear structure. Just as continuous functions are the natural maps between topological spaces and group homomorphisms are the natural maps between groups, linear transformations are the natural maps between vector spaces. This chapter develops the theory of linear transformations between abstract vector spaces, extending our previous work with matrix transformations to the general setting.
Examples and Properties
We begin by establishing the definition and fundamental properties of linear transformations, then explore the rich variety of examples that arise across different areas of mathematics.
Definition 7.1 (Linear Transformation). Let \(V\) and \(W\) be vector spaces over the same field \(\mathbb{F}\). A function \(T: V \to W\) is called a linear transformation (or linear map) if it satisfies:
Additivity: \(T(\boldsymbol{u} + \boldsymbol{v}) = T(\boldsymbol{u}) + T(\boldsymbol{v})\) for all \(\boldsymbol{u}, \boldsymbol{v} \in V\)
Homogeneity: \(T(c\boldsymbol{v}) = cT(\boldsymbol{v})\) for all \(\boldsymbol{v} \in V\) and \(c \in \mathbb{F}\)
Theorem 7.3 (Basic Properties of Linear Transformations). If \(T: V \to W\) is a linear transformation, then:
\(T(\boldsymbol{0}_V) = \boldsymbol{0}_W\) (zero vector is mapped to zero vector)
\(T(-\boldsymbol{v}) = -T(\boldsymbol{v})\) for all \(\boldsymbol{v} \in V\) (negatives are preserved)
\(T(c_1\boldsymbol{v}_1 + c_2\boldsymbol{v}_2 + \cdots + c_n\boldsymbol{v}_n) = c_1T(\boldsymbol{v}_1) + c_2T(\boldsymbol{v}_2) + \cdots + c_nT(\boldsymbol{v}_n)\) (linearity extends to finite linear combinations)
Proof. Property 1: Using homogeneity with \(c = 0\): \[T(\boldsymbol{0}_V) = T(0 \cdot \boldsymbol{v}) = 0 \cdot T(\boldsymbol{v}) = \boldsymbol{0}_W\] for any \(\boldsymbol{v} \in V\).
Property 2: We have \(-\boldsymbol{v} = (-1)\boldsymbol{v}\), so: \[T(-\boldsymbol{v}) = T((-1)\boldsymbol{v}) = (-1)T(\boldsymbol{v}) = -T(\boldsymbol{v})\]
Property 3: This follows by induction on the number of terms, using additivity and homogeneity repeatedly. ◻
Example 7.4 (Matrix Transformations). Every \(m \times n\) matrix \(\mathbf{A}\) defines a linear transformation \(T_{\mathbf{A}}: \mathbb{R}^n \to \mathbb{R}^m\) by: \[T_{\mathbf{A}}(\boldsymbol{x}) = \mathbf{A}\boldsymbol{x}\]
We’ve already verified that matrix multiplication is linear. This provides our fundamental class of examples and, as we’ll see, every linear transformation between finite-dimensional spaces can be represented this way.
Specific examples:
Identity transformation: \(I_V: V \to V\) defined by \(I_V(\boldsymbol{v}) = \boldsymbol{v}\)
Zero transformation: \(\mathcal{O}: V \to W\) defined by \(\mathcal{O}(\boldsymbol{v}) = \boldsymbol{0}_W\)
Scaling transformation: \(S_c: \mathbb{R}^n \to \mathbb{R}^n\) defined by \(S_c(\boldsymbol{v}) = c\boldsymbol{v}\)
Projection transformations: Orthogonal projection onto subspaces
Rotation transformations: Rotations in \(\mathbb{R}^2\) and \(\mathbb{R}^3\)
Example 7.5 (Differentiation and Integration). 1. Differentiation Operator: Define \(D: \mathcal{P}_n \to \mathcal{P}_{n-1}\) by \(D(p) = p'\) (the derivative of polynomial \(p\)).
Verification of linearity: \[D(af + bg) = (af + bg)' = af' + bg' = aD(f) + bD(g)\]
Explicit action: If \(p(x) = a_0 + a_1x + a_2x^2 + \cdots + a_nx^n\), then: \[D(p)(x) = a_1 + 2a_2x + 3a_3x^2 + \cdots + na_nx^{n-1}\]
2. Integration Operator: Define \(I: \mathcal{P}_n \to \mathcal{P}_{n+1}\) by \(I(p)(x) = \int_0^x p(t) \, dt\).
This is linear because: \[I(af + bg)(x) = \int_0^x (af(t) + bg(t)) \, dt = a\int_0^x f(t) \, dt + b\int_0^x g(t) \, dt = aI(f)(x) + bI(g)(x)\]
3. Higher-Order Derivatives: The \(k\)-th derivative operator \(D^k: C^k(\mathbb{R}) \to C(\mathbb{R})\) defined by \(D^k(f) = f^{(k)}\) is linear.
Example 7.6 (Evaluation and Point Functionals). 1. Evaluation at a Point: For a fixed \(a \in \mathbb{R}\), define \(\text{ev}_a: \mathcal{P} \to \mathbb{R}\) by \(\text{ev}_a(p) = p(a)\).
This is linear: \[\text{ev}_a(cp + dq) = (cp + dq)(a) = cp(a) + dq(a) = c \cdot \text{ev}_a(p) + d \cdot \text{ev}_a(q)\]
2. Linear Functionals: More generally, any linear transformation \(T: V \to \mathbb{F}\) (where \(\mathbb{F}\) is the scalar field) is called a linear functional. These form the dual space \(V^*\).
Examples of linear functionals:
\(T(x_1, x_2, x_3) = 2x_1 - 3x_2 + x_3\) on \(\mathbb{R}^3\)
\(T(p) = \int_0^1 p(x) \, dx\) on \(\mathcal{P}\)
\(T(\mathbf{A}) = \operatorname{tr}(\mathbf{A})\) (trace) on \(\mathbb{R}^{n \times n}\)
Example 7.7 (Coordinate Projections and Inclusions). 1. Coordinate Projections: Define \(\pi_i: \mathbb{R}^n \to \mathbb{R}\) by \(\pi_i(x_1, x_2, \ldots, x_n) = x_i\).
These extract the \(i\)-th coordinate and are clearly linear.
2. Canonical Inclusion: If \(W\) is a subspace of \(V\), the inclusion map \(\iota: W \to V\) defined by \(\iota(\boldsymbol{w}) = \boldsymbol{w}\) is linear.
3. Direct Sum Projections: If \(V = U \oplus W\) (direct sum), there are natural projection maps \(\pi_U: V \to U\) and \(\pi_W: V \to W\) such that every \(\boldsymbol{v} \in V\) can be uniquely written as \(\boldsymbol{v} = \pi_U(\boldsymbol{v}) + \pi_W(\boldsymbol{v})\).
Theorem 7.8 (Linear Transformations Determined by Basis Images). Let \(V\) and \(W\) be vector spaces, and let \(\mathcal{B} = \{\boldsymbol{v}_1, \boldsymbol{v}_2, \ldots, \boldsymbol{v}_n\}\) be a basis for \(V\). For any choice of vectors \(\boldsymbol{w}_1, \boldsymbol{w}_2, \ldots, \boldsymbol{w}_n \in W\), there exists a unique linear transformation \(T: V \to W\) such that \(T(\boldsymbol{v}_i) = \boldsymbol{w}_i\) for \(i = 1, 2, \ldots, n\).
Proof. Existence: Since \(\mathcal{B}\) is a basis, every \(\boldsymbol{v} \in V\) can be uniquely written as: \[\boldsymbol{v} = c_1\boldsymbol{v}_1 + c_2\boldsymbol{v}_2 + \cdots + c_n\boldsymbol{v}_n\]
Define \(T: V \to W\) by: \[T(\boldsymbol{v}) = c_1\boldsymbol{w}_1 + c_2\boldsymbol{w}_2 + \cdots + c_n\boldsymbol{w}_n\]
Well-defined: Since the representation of \(\boldsymbol{v}\) in terms of the basis is unique, \(T(\boldsymbol{v})\) is uniquely determined.
Linearity: Let \(\boldsymbol{u} = a_1\boldsymbol{v}_1 + \cdots + a_n\boldsymbol{v}_n\) and \(\boldsymbol{v} = b_1\boldsymbol{v}_1 + \cdots + b_n\boldsymbol{v}_n\). Then: \[\boldsymbol{u} + \boldsymbol{v} = (a_1 + b_1)\boldsymbol{v}_1 + \cdots + (a_n + b_n)\boldsymbol{v}_n\]
So: \[T(\boldsymbol{u} + \boldsymbol{v}) = (a_1 + b_1)\boldsymbol{w}_1 + \cdots + (a_n + b_n)\boldsymbol{w}_n = T(\boldsymbol{u}) + T(\boldsymbol{v})\]
Homogeneity follows similarly.
Correctness: By construction, \(T(\boldsymbol{v}_i) = 0\boldsymbol{w}_1 + \cdots + 1\boldsymbol{w}_i + \cdots + 0\boldsymbol{w}_n = \boldsymbol{w}_i\).
Uniqueness: If \(S: V \to W\) is another linear transformation with \(S(\boldsymbol{v}_i) = \boldsymbol{w}_i\), then for any \(\boldsymbol{v} = c_1\boldsymbol{v}_1 + \cdots + c_n\boldsymbol{v}_n\): \[S(\boldsymbol{v}) = c_1S(\boldsymbol{v}_1) + \cdots + c_nS(\boldsymbol{v}_n) = c_1\boldsymbol{w}_1 + \cdots + c_n\boldsymbol{w}_n = T(\boldsymbol{v})\] ◻
Example 7.10 (Constructing Linear Transformations via Basis Images). 1. From \(\mathbb{R}^2\) to \(\mathbb{R}^3\): Define \(T: \mathbb{R}^2 \to \mathbb{R}^3\) by specifying: \[T(1, 0) = (1, 2, 3), \quad T(0, 1) = (4, 5, 6)\]
For any \((x, y) \in \mathbb{R}^2\): \[T(x, y) = xT(1, 0) + yT(0, 1) = x(1, 2, 3) + y(4, 5, 6) = (x + 4y, 2x + 5y, 3x + 6y)\]
2. From \(\mathcal{P}_2\) to \(\mathcal{P}_3\): Define \(T: \mathcal{P}_2 \to \mathcal{P}_3\) by: \[T(1) = x, \quad T(x) = x^2, \quad T(x^2) = x^3\]
For any \(p(x) = a + bx + cx^2\): \[T(p) = aT(1) + bT(x) + cT(x^2) = ax + bx^2 + cx^3\]
This transformation "shifts up" the powers of \(x\).
3. Non-example: We cannot define a linear transformation \(T: \mathbb{R}^2 \to \mathbb{R}^2\) by \(T(x, y) = (x^2, y)\) because this violates linearity: \[T(2 \cdot (1, 0)) = T(2, 0) = (4, 0) \neq 2 \cdot (1, 0) = 2T(1, 0)\]
Theorem 7.11 (Operations on Linear Transformations). Let \(S, T: V \to W\) be linear transformations and \(c\) be a scalar. Then:
The sum \((S + T): V \to W\) defined by \((S + T)(\boldsymbol{v}) = S(\boldsymbol{v}) + T(\boldsymbol{v})\) is linear
The scalar multiple \((cT): V \to W\) defined by \((cT)(\boldsymbol{v}) = cT(\boldsymbol{v})\) is linear
The set \(\mathcal{L}(V, W)\) of all linear transformations from \(V\) to \(W\) forms a vector space under these operations
Proof. Sum is linear: \[(S + T)(a\boldsymbol{u} + b\boldsymbol{v}) = S(a\boldsymbol{u} + b\boldsymbol{v}) + T(a\boldsymbol{u} + b\boldsymbol{v})\] \[= aS(\boldsymbol{u}) + bS(\boldsymbol{v}) + aT(\boldsymbol{u}) + bT(\boldsymbol{v}) = a(S + T)(\boldsymbol{u}) + b(S + T)(\boldsymbol{v})\]
Scalar multiple is linear: \[(cT)(a\boldsymbol{u} + b\boldsymbol{v}) = cT(a\boldsymbol{u} + b\boldsymbol{v}) = c(aT(\boldsymbol{u}) + bT(\boldsymbol{v})) = a(cT)(\boldsymbol{u}) + b(cT)(\boldsymbol{v})\]
Vector space structure: All vector space axioms can be verified directly. The zero transformation serves as the additive identity, and \((-T)(\boldsymbol{v}) = -T(\boldsymbol{v})\) provides additive inverses. ◻
Definition 7.12 (Matrix Representation of Linear Transformations). Let \(T: V \to W\) be a linear transformation where \(V\) and \(W\) are finite-dimensional with bases \(\mathcal{B} = \{\boldsymbol{v}_1, \ldots, \boldsymbol{v}_n\}\) and \(\mathcal{C} = \{\boldsymbol{w}_1, \ldots, \boldsymbol{w}_m\}\) respectively. The matrix representation of \(T\) with respect to these bases is the \(m \times n\) matrix \([\mathbf{T}]_{\mathcal{C}}^{\mathcal{B}}\) whose \(j\)-th column is the coordinate vector \([T(\boldsymbol{v}_j)]_{\mathcal{C}}\).
Theorem 7.13 (Matrix Representation Theorem). If \(T: V \to W\) is linear and \([\mathbf{T}]_{\mathcal{C}}^{\mathcal{B}}\) is its matrix representation, then for any \(\boldsymbol{v} \in V\): \[[T(\boldsymbol{v})]_{\mathcal{C}} = [\mathbf{T}]_{\mathcal{C}}^{\mathcal{B}} [\boldsymbol{v}]_{\mathcal{B}}\]
Moreover, the map \(T \mapsto [\mathbf{T}]_{\mathcal{C}}^{\mathcal{B}}\) is a vector space isomorphism between \(\mathcal{L}(V, W)\) and \(\mathbb{R}^{m \times n}\).
Example 7.14 (Computing Matrix Representations). 1. Differentiation operator on \(\mathcal{P}_3\): Let \(D: \mathcal{P}_3 \to \mathcal{P}_2\) be the differentiation operator with standard bases \(\mathcal{B} = \{1, x, x^2, x^3\}\) and \(\mathcal{C} = \{1, x, x^2\}\).
\[D(1) = 0 = 0 \cdot 1 + 0 \cdot x + 0 \cdot x^2 \Rightarrow [D(1)]_{\mathcal{C}} = \begin{pmatrix} 0 \\ 0 \\ 0 \end{pmatrix}\]
\[D(x) = 1 = 1 \cdot 1 + 0 \cdot x + 0 \cdot x^2 \Rightarrow [D(x)]_{\mathcal{C}} = \begin{pmatrix} 1 \\ 0 \\ 0 \end{pmatrix}\]
\[D(x^2) = 2x = 0 \cdot 1 + 2 \cdot x + 0 \cdot x^2 \Rightarrow [D(x^2)]_{\mathcal{C}} = \begin{pmatrix} 0 \\ 2 \\ 0 \end{pmatrix}\]
\[D(x^3) = 3x^2 = 0 \cdot 1 + 0 \cdot x + 3 \cdot x^2 \Rightarrow [D(x^3)]_{\mathcal{C}} = \begin{pmatrix} 0 \\ 0 \\ 3 \end{pmatrix}\]
Therefore: \[[\mathbf{D}]_{\mathcal{C}}^{\mathcal{B}} = \begin{pmatrix} 0 & 1 & 0 & 0 \\ 0 & 0 & 2 & 0 \\ 0 & 0 & 0 & 3 \end{pmatrix}\]
Verification: For \(p(x) = 2 + 3x - x^2 + 4x^3\), we have \([p]_{\mathcal{B}} = (2, 3, -1, 4)^T\) and \(p'(x) = 3 - 2x + 12x^2\), so \([p']_{\mathcal{C}} = (3, -2, 12)^T\).
\[[\mathbf{D}]_{\mathcal{C}}^{\mathcal{B}} [p]_{\mathcal{B}} = \begin{pmatrix} 0 & 1 & 0 & 0 \\ 0 & 0 & 2 & 0 \\ 0 & 0 & 0 & 3 \end{pmatrix} \begin{pmatrix} 2 \\ 3 \\ -1 \\ 4 \end{pmatrix} = \begin{pmatrix} 3 \\ -2 \\ 12 \end{pmatrix}\]
Kernel and Image
Every linear transformation naturally gives rise to two important subspaces: the kernel (which generalizes the null space) and the image (which generalizes the column space). These subspaces encode essential information about the transformation’s behavior.
Definition 7.15 (Kernel and Image). Let \(T: V \to W\) be a linear transformation.
The kernel (or null space) of \(T\) is: \[\ker(T) = \{\boldsymbol{v} \in V : T(\boldsymbol{v}) = \boldsymbol{0}_W\}\]
The image (or range) of \(T\) is: \[\text{im}(T) = \{T(\boldsymbol{v}) : \boldsymbol{v} \in V\} = \{T(\boldsymbol{v}) \in W : \boldsymbol{v} \in V\}\]
Theorem 7.16 (Kernel and Image are Subspaces). For any linear transformation \(T: V \to W\):
\(\ker(T)\) is a subspace of \(V\)
\(\text{im}(T)\) is a subspace of \(W\)
Proof. Kernel is a subspace:
Non-empty: \(T(\boldsymbol{0}_V) = \boldsymbol{0}_W\), so \(\boldsymbol{0}_V \in \ker(T)\)
Closed under addition: If \(\boldsymbol{u}, \boldsymbol{v} \in \ker(T)\), then: \[T(\boldsymbol{u} + \boldsymbol{v}) = T(\boldsymbol{u}) + T(\boldsymbol{v}) = \boldsymbol{0}_W + \boldsymbol{0}_W = \boldsymbol{0}_W\] So \(\boldsymbol{u} + \boldsymbol{v} \in \ker(T)\).
Closed under scalar multiplication: If \(\boldsymbol{v} \in \ker(T)\) and \(c\) is a scalar: \[T(c\boldsymbol{v}) = cT(\boldsymbol{v}) = c\boldsymbol{0}_W = \boldsymbol{0}_W\] So \(c\boldsymbol{v} \in \ker(T)\).
Image is a subspace:
Non-empty: \(\boldsymbol{0}_W = T(\boldsymbol{0}_V) \in \text{im}(T)\)
Closed under addition: If \(\boldsymbol{w}_1, \boldsymbol{w}_2 \in \text{im}(T)\), then \(\boldsymbol{w}_1 = T(\boldsymbol{v}_1)\) and \(\boldsymbol{w}_2 = T(\boldsymbol{v}_2)\) for some \(\boldsymbol{v}_1, \boldsymbol{v}_2 \in V\). Therefore: \[\boldsymbol{w}_1 + \boldsymbol{w}_2 = T(\boldsymbol{v}_1) + T(\boldsymbol{v}_2) = T(\boldsymbol{v}_1 + \boldsymbol{v}_2) \in \text{im}(T)\]
Closed under scalar multiplication: If \(\boldsymbol{w} = T(\boldsymbol{v}) \in \text{im}(T)\) and \(c\) is a scalar: \[c\boldsymbol{w} = cT(\boldsymbol{v}) = T(c\boldsymbol{v}) \in \text{im}(T)\]
◻
Definition 7.17 (Rank and Nullity). For a linear transformation \(T: V \to W\):
Theorem 7.18 (Fundamental Theorem of Linear Algebra (Rank-Nullity Theorem)). If \(T: V \to W\) is a linear transformation and \(V\) is finite-dimensional, then: \[\dim(V) = \operatorname{null}(T) + \operatorname{rank}(T)\]
Proof. Let \(n = \dim(V)\) and \(k = \operatorname{null}(T) = \dim(\ker(T))\).
Step 1: Choose a basis \(\{\boldsymbol{u}_1, \boldsymbol{u}_2, \ldots, \boldsymbol{u}_k\}\) for \(\ker(T)\).
Step 2: Extend this to a basis \(\{\boldsymbol{u}_1, \boldsymbol{u}_2, \ldots, \boldsymbol{u}_k, \boldsymbol{v}_1, \boldsymbol{v}_2, \ldots, \boldsymbol{v}_{n-k}\}\) for \(V\).
Step 3: We claim that \(\{T(\boldsymbol{v}_1), T(\boldsymbol{v}_2), \ldots, T(\boldsymbol{v}_{n-k})\}\) is a basis for \(\text{im}(T)\).
Spanning: Any \(T(\boldsymbol{v}) \in \text{im}(T)\) can be written as: \[T(\boldsymbol{v}) = T\left(\sum_{i=1}^k a_i\boldsymbol{u}_i + \sum_{j=1}^{n-k} b_j\boldsymbol{v}_j\right) = \sum_{i=1}^k a_iT(\boldsymbol{u}_i) + \sum_{j=1}^{n-k} b_jT(\boldsymbol{v}_j) = \sum_{j=1}^{n-k} b_jT(\boldsymbol{v}_j)\] since \(T(\boldsymbol{u}_i) = \boldsymbol{0}\) for all \(i\).
Linear independence: Suppose \(\sum_{j=1}^{n-k} c_jT(\boldsymbol{v}_j) = \boldsymbol{0}\). Then: \[T\left(\sum_{j=1}^{n-k} c_j\boldsymbol{v}_j\right) = \boldsymbol{0}\]
This means \(\sum_{j=1}^{n-k} c_j\boldsymbol{v}_j \in \ker(T)\), so it can be written as: \[\sum_{j=1}^{n-k} c_j\boldsymbol{v}_j = \sum_{i=1}^k d_i\boldsymbol{u}_i\]
Rearranging: \[\sum_{i=1}^k (-d_i)\boldsymbol{u}_i + \sum_{j=1}^{n-k} c_j\boldsymbol{v}_j = \boldsymbol{0}\]
Since the full set is a basis for \(V\), all coefficients must be zero: \(c_j = 0\) for all \(j\).
Conclusion: \(\operatorname{rank}(T) = \dim(\text{im}(T)) = n - k = \dim(V) - \operatorname{null}(T)\). ◻
Example 7.20 (Computing Kernels and Images). 1. Differentiation Operator: Consider \(D: \mathcal{P}_3 \to \mathcal{P}_2\) defined by \(D(p) = p'\).
Kernel: \(\ker(D) = \{p \in \mathcal{P}_3 : p' = 0\} = \{c : c \in \mathbb{R}\}\) (constant polynomials) So \(\operatorname{null}(D) = 1\).
Image: Since \(D(a + bx + cx^2 + dx^3) = b + 2cx + 3dx^2\), we can achieve any polynomial in \(\mathcal{P}_2\) by choosing appropriate coefficients. Therefore \(\text{im}(D) = \mathcal{P}_2\), so \(\operatorname{rank}(D) = 3\).
Verification: \(\dim(\mathcal{P}_3) = 4 = 1 + 3 = \operatorname{null}(D) + \operatorname{rank}(D)\)
2. Linear Functional: Consider \(T: \mathbb{R}^3 \to \mathbb{R}\) defined by \(T(x, y, z) = x + 2y - z\).
Kernel: \(\ker(T) = \{(x, y, z) : x + 2y - z = 0\}\) (a plane through the origin) A basis for \(\ker(T)\) can be found by solving \(x + 2y - z = 0\): Setting \(y = s, z = t\), we get \(x = -2s + t\), so: \[\ker(T) = \operatorname{span}\{(-2, 1, 0), (1, 0, 1)\}\] Therefore \(\operatorname{null}(T) = 2\).
Image: \(\text{im}(T) = \mathbb{R}\) since \(T\) is surjective (e.g., \(T(a, 0, 0) = a\) for any \(a \in \mathbb{R}\)). So \(\operatorname{rank}(T) = 1\).
Verification: \(\dim(\mathbb{R}^3) = 3 = 2 + 1 = \operatorname{null}(T) + \operatorname{rank}(T)\)
3. Matrix Transformation: Consider \(T: \mathbb{R}^4 \to \mathbb{R}^3\) represented by: \[\mathbf{A} = \begin{pmatrix} 1 & 2 & 0 & 1 \\ 0 & 1 & 1 & 2 \\ 1 & 3 & 1 & 3 \end{pmatrix}\]
Row reducing the augmented matrix \([\mathbf{A}|\boldsymbol{0}]\): \[\begin{pmatrix} 1 & 2 & 0 & 1 & 0 \\ 0 & 1 & 1 & 2 & 0 \\ 1 & 3 & 1 & 3 & 0 \end{pmatrix} \sim \begin{pmatrix} 1 & 0 & -2 & -3 & 0 \\ 0 & 1 & 1 & 2 & 0 \\ 0 & 0 & 0 & 0 & 0 \end{pmatrix}\]
From this RREF, we see that \(x_3\) and \(x_4\) are free variables. Setting \(x_3 = s, x_4 = t\): \[x_1 = 2s + 3t, \quad x_2 = -s - 2t\]
So \(\ker(T) = \operatorname{span}\{(2, -1, 1, 0), (3, -2, 0, 1)\}\) and \(\operatorname{null}(T) = 2\).
The rank is \(\operatorname{rank}(T) = 4 - 2 = 2\), which we can verify by noting that the RREF has 2 pivot columns.
Theorem 7.21 (Characterizations via Kernel and Image). Let \(T: V \to W\) be a linear transformation. Then:
\(T\) is injective (one-to-one) if and only if \(\ker(T) = \{\boldsymbol{0}\}\)
\(T\) is surjective (onto) if and only if \(\text{im}(T) = W\)
If \(\dim(V) = \dim(W)\), then \(T\) is bijective if and only if \(T\) is injective if and only if \(T\) is surjective
Proof. Property 1: (\(\Rightarrow\)) If \(T\) is injective and \(\boldsymbol{v} \in \ker(T)\), then \(T(\boldsymbol{v}) = \boldsymbol{0} = T(\boldsymbol{0})\). By injectivity, \(\boldsymbol{v} = \boldsymbol{0}\).
(\(\Leftarrow\)) Suppose \(\ker(T) = \{\boldsymbol{0}\}\) and \(T(\boldsymbol{u}) = T(\boldsymbol{v})\). Then \(T(\boldsymbol{u} - \boldsymbol{v}) = T(\boldsymbol{u}) - T(\boldsymbol{v}) = \boldsymbol{0}\), so \(\boldsymbol{u} - \boldsymbol{v} \in \ker(T) = \{\boldsymbol{0}\}\). Therefore \(\boldsymbol{u} = \boldsymbol{v}\).
Property 2: This is immediate from the definition of surjectivity.
Property 3: When \(\dim(V) = \dim(W) = n\), the Rank-Nullity Theorem gives: \[n = \operatorname{null}(T) + \operatorname{rank}(T)\]
\(T\) is injective \(\Leftrightarrow \ker(T) = \{\boldsymbol{0}\} \Leftrightarrow \operatorname{null}(T) = 0 \Leftrightarrow \operatorname{rank}(T) = n \Leftrightarrow \text{im}(T) = W \Leftrightarrow T\) is surjective. ◻
Definition 7.22 (Change of Basis for Linear Transformations). If \(T: V \to V\) is a linear transformation and \(\mathcal{B}, \mathcal{C}\) are two bases for \(V\), then the matrix representations \([\mathbf{T}]_{\mathcal{B}}\) and \([\mathbf{T}]_{\mathcal{C}}\) are related by: \[[\mathbf{T}]_{\mathcal{C}} = [\mathbf{P}]_{\mathcal{C}}^{\mathcal{B}} [\mathbf{T}]_{\mathcal{B}} [\mathbf{P}]_{\mathcal{B}}^{\mathcal{C}}\] where \([\mathbf{P}]_{\mathcal{B}}^{\mathcal{C}}\) is the change of basis matrix from \(\mathcal{C}\) to \(\mathcal{B}\).
Isomorphisms and Composition
Isomorphisms are the "perfect" linear transformations—bijective maps that preserve all linear structure. They allow us to identify different vector spaces as being "essentially the same" from a linear algebra perspective.
Definition 7.24 (Isomorphism). A linear transformation \(T: V \to W\) is called an isomorphism if it is bijective (both injective and surjective). In this case, we say that \(V\) and \(W\) are isomorphic, denoted \(V \cong W\).
Theorem 7.25 (Properties of Isomorphisms). If \(T: V \to W\) is an isomorphism, then:
\(T^{-1}: W \to V\) exists and is also an isomorphism
\(T\) preserves linear combinations: \(T(c_1\boldsymbol{v}_1 + \cdots + c_n\boldsymbol{v}_n) = c_1T(\boldsymbol{v}_1) + \cdots + c_nT(\boldsymbol{v}_n)\)
\(T\) maps linearly independent sets to linearly independent sets
\(T\) maps spanning sets to spanning sets
\(T\) maps bases to bases
Proof. Property 1: Since \(T\) is bijective, \(T^{-1}\) exists. To show linearity of \(T^{-1}\): Let \(\boldsymbol{w}_1, \boldsymbol{w}_2 \in W\) with \(T^{-1}(\boldsymbol{w}_1) = \boldsymbol{v}_1\) and \(T^{-1}(\boldsymbol{w}_2) = \boldsymbol{v}_2\). Then: \[T^{-1}(a\boldsymbol{w}_1 + b\boldsymbol{w}_2) = T^{-1}(aT(\boldsymbol{v}_1) + bT(\boldsymbol{v}_2)) = T^{-1}(T(a\boldsymbol{v}_1 + b\boldsymbol{v}_2)) = a\boldsymbol{v}_1 + b\boldsymbol{v}_2 = aT^{-1}(\boldsymbol{w}_1) + bT^{-1}(\boldsymbol{w}_2)\]
Property 3: Suppose \(\{\boldsymbol{v}_1, \ldots, \boldsymbol{v}_k\}\) is linearly independent in \(V\). If \(c_1T(\boldsymbol{v}_1) + \cdots + c_kT(\boldsymbol{v}_k) = \boldsymbol{0}\), then: \[T(c_1\boldsymbol{v}_1 + \cdots + c_k\boldsymbol{v}_k) = \boldsymbol{0}\] Since \(T\) is injective, \(c_1\boldsymbol{v}_1 + \cdots + c_k\boldsymbol{v}_k = \boldsymbol{0}\). By linear independence, all \(c_i = 0\).
Properties 4 and 5: Follow from Properties 1-3 and the fact that \(T\) is surjective. ◻
Theorem 7.26 (Fundamental Isomorphism Theorem). Two finite-dimensional vector spaces are isomorphic if and only if they have the same dimension.
Proof. (\(\Rightarrow\)) If \(T: V \to W\) is an isomorphism, then \(T\) maps a basis of \(V\) to a basis of \(W\), so \(\dim(V) = \dim(W)\).
(\(\Leftarrow\)) Suppose \(\dim(V) = \dim(W) = n\). Let \(\mathcal{B} = \{\boldsymbol{v}_1, \ldots, \boldsymbol{v}_n\}\) be a basis for \(V\) and \(\mathcal{C} = \{\boldsymbol{w}_1, \ldots, \boldsymbol{w}_n\}\) be a basis for \(W\). Define \(T: V \to W\) by \(T(\boldsymbol{v}_i) = \boldsymbol{w}_i\) and extend linearly.
\(T\) is injective because if \(T(\boldsymbol{v}) = \boldsymbol{0}\) for \(\boldsymbol{v} = c_1\boldsymbol{v}_1 + \cdots + c_n\boldsymbol{v}_n\), then \(c_1\boldsymbol{w}_1 + \cdots + c_n\boldsymbol{w}_n = \boldsymbol{0}\). Since \(\mathcal{C}\) is a basis, all \(c_i = 0\), so \(\boldsymbol{v} = \boldsymbol{0}\).
\(T\) is surjective because any \(\boldsymbol{w} = d_1\boldsymbol{w}_1 + \cdots + d_n\boldsymbol{w}_n \in W\) is the image of \(\boldsymbol{v} = d_1\boldsymbol{v}_1 + \cdots + d_n\boldsymbol{v}_n \in V\). ◻
Corollary 7.27 (Classification of Finite-Dimensional Vector Spaces). Every \(n\)-dimensional vector space over \(\mathbb{F}\) is isomorphic to \(\mathbb{F}^n\). Thus, up to isomorphism, there is exactly one vector space of each finite dimension over a given field.
Example 7.28 (Standard Isomorphisms). 1. Coordinate Isomorphism: For any \(n\)-dimensional vector space \(V\) with basis \(\mathcal{B}\), the coordinate map \([\cdot]_{\mathcal{B}}: V \to \mathbb{R}^n\) is an isomorphism.
2. Polynomial-Vector Isomorphism: \(\mathcal{P}_n \cong \mathbb{R}^{n+1}\) via the map \(T(a_0 + a_1x + \cdots + a_nx^n) = (a_0, a_1, \ldots, a_n)\).
3. Matrix-Vector Isomorphism: \(\mathbb{R}^{m \times n} \cong \mathbb{R}^{mn}\) by vectorizing matrices (stacking columns).
4. Function Space Isomorphism (Finite-Dimensional): The space of polynomials of degree at most \(n\) is isomorphic to the space of sequences \((a_0, a_1, \ldots, a_n)\), connecting function spaces to coordinate spaces.
Now we turn to composition of linear transformations:
Definition 7.29 (Composition of Linear Transformations). If \(T: U \to V\) and \(S: V \to W\) are linear transformations, their composition \(S \circ T: U \to W\) is defined by: \[(S \circ T)(\boldsymbol{u}) = S(T(\boldsymbol{u}))\]
Theorem 7.30 (Composition Preserves Linearity). If \(T: U \to V\) and \(S: V \to W\) are linear transformations, then \(S \circ T: U \to W\) is also linear.
Proof. For any \(\boldsymbol{u}_1, \boldsymbol{u}_2 \in U\) and scalars \(a, b\): \[(S \circ T)(a\boldsymbol{u}_1 + b\boldsymbol{u}_2) = S(T(a\boldsymbol{u}_1 + b\boldsymbol{u}_2)) = S(aT(\boldsymbol{u}_1) + bT(\boldsymbol{u}_2))\] \[= aS(T(\boldsymbol{u}_1)) + bS(T(\boldsymbol{u}_2)) = a(S \circ T)(\boldsymbol{u}_1) + b(S \circ T)(\boldsymbol{u}_2)\] ◻
Theorem 7.31 (Matrix Representation of Composition). If \(T: U \to V\) and \(S: V \to W\) are linear transformations with matrix representations \([\mathbf{T}]\) and \([\mathbf{S}]\) respectively, then: \[[\mathbf{S \circ T}] = [\mathbf{S}][\mathbf{T}]\]
Example 7.33 (Composition in Action). 1. Successive Rotations: Consider rotations \(R_\alpha: \mathbb{R}^2 \to \mathbb{R}^2\) by angle \(\alpha\) and \(R_\beta: \mathbb{R}^2 \to \mathbb{R}^2\) by angle \(\beta\). Their composition \(R_\beta \circ R_\alpha\) is rotation by angle \(\alpha + \beta\).
This corresponds to matrix multiplication: \[\begin{pmatrix} \cos\beta & -\sin\beta \\ \sin\beta & \cos\beta \end{pmatrix}\begin{pmatrix} \cos\alpha & -\sin\alpha \\ \sin\alpha & \cos\alpha \end{pmatrix} = \begin{pmatrix} \cos(\alpha+\beta) & -\sin(\alpha+\beta) \\ \sin(\alpha+\beta) & \cos(\alpha+\beta) \end{pmatrix}\]
2. Differentiation followed by Integration: Consider \(D: \mathcal{P}_2 \to \mathcal{P}_1\) (differentiation) and \(I: \mathcal{P}_1 \to \mathcal{P}_2\) (integration from 0 to \(x\)).
For \(p(x) = ax^2 + bx + c\): \[D(p) = 2ax + b\] \[(I \circ D)(p)(x) = \int_0^x (2at + b) \, dt = ax^2 + bx\]
So \((I \circ D)(p) = p - c\) (integration of derivative loses the constant term).
Matrix representations: \[[\mathbf{D}] = \begin{pmatrix} 0 & 1 & 0 \\ 0 & 0 & 2 \end{pmatrix}, \quad [\mathbf{I}] = \begin{pmatrix} 0 & 0 \\ 1 & 0 \\ 0 & \frac{1}{2} \end{pmatrix}\]
\[[\mathbf{I}][\mathbf{D}] = \begin{pmatrix} 0 & 0 \\ 1 & 0 \\ 0 & \frac{1}{2} \end{pmatrix}\begin{pmatrix} 0 & 1 & 0 \\ 0 & 0 & 2 \end{pmatrix} = \begin{pmatrix} 0 & 0 & 0 \\ 0 & 1 & 0 \\ 0 & 0 & 1 \end{pmatrix}\]
This matrix representation confirms that \((I \circ D)\) acts as \(p(x) \mapsto p(x) - p(0)\).
Theorem 7.34 (Properties of Composition). Composition of linear transformations satisfies:
Associativity: \((R \circ S) \circ T = R \circ (S \circ T)\) when defined
Identity: \(I_V \circ T = T\) and \(T \circ I_U = T\) for \(T: U \to V\)
Distributivity: \((S_1 + S_2) \circ T = S_1 \circ T + S_2 \circ T\) and \(S \circ (T_1 + T_2) = S \circ T_1 + S \circ T_2\) when defined
Definition 7.35 (Invertible Linear Transformation). A linear transformation \(T: V \to W\) is invertible if there exists a linear transformation \(S: W \to V\) such that \(S \circ T = I_V\) and \(T \circ S = I_W\). In this case, \(S = T^{-1}\) is unique and called the inverse of \(T\).
Theorem 7.36 (Characterization of Invertible Transformations). A linear transformation \(T: V \to W\) is invertible if and only if \(T\) is an isomorphism.
Proof. (\(\Rightarrow\)) If \(T\) is invertible with inverse \(S\), then \(T\) is bijective: - Injective: If \(T(\boldsymbol{v}_1) = T(\boldsymbol{v}_2)\), then \(\boldsymbol{v}_1 = S(T(\boldsymbol{v}_1)) = S(T(\boldsymbol{v}_2)) = \boldsymbol{v}_2\). - Surjective: For any \(\boldsymbol{w} \in W\), we have \(\boldsymbol{w} = T(S(\boldsymbol{w}))\), so \(\boldsymbol{w}\) is in the image of \(T\).
(\(\Leftarrow\)) If \(T\) is an isomorphism, then \(T^{-1}\) exists as a function and is linear (as proved earlier). The compositions \(T^{-1} \circ T\) and \(T \circ T^{-1}\) are the appropriate identity transformations. ◻