Image of a Linear Transformation

Definition

The image (or range) of a linear transformation T:VWT: V \rightarrow W is the set of all vectors in WW that are the result of applying TT to some vector in VV:

Im(T)=range(T)={T(v):vV}\text{Im}(T) = \text{range}(T) = \{T(v) : v \in V\}

This is the set of all possible outputs of the transformation.

Properties

  1. Subspace: The image of a linear transformation T:VWT: V \rightarrow W is a subspace of WW.

  2. Dimension: The dimension of the image is called the rank of TT:

rank(T)=dim(Im(T))\text{rank}(T) = \dim(\text{Im}(T))
  1. Surjectivity: A linear transformation TT is surjective (onto) if and only if Im(T)=W\text{Im}(T) = W, i.e., the image is the entire codomain.
    • This means every vector in WW is the output of TT for some input
    • By the Rank-Nullity Theorem, TT can only be surjective if dim(V)dim(W)\dim(V) \geq \dim(W)

Image of a Matrix

For a matrix ARm×nA \in \mathbb{R}^{m \times n}, the image of AA is the set of all possible vectors bRm\vec{b} \in \mathbb{R}^m such that Ax=bA\vec{x} = \vec{b} for some xRn\vec{x} \in \mathbb{R}^n:

Im(A)={bRm:b=Ax for some xRn}\text{Im}(A) = \{\vec{b} \in \mathbb{R}^m : \vec{b} = A\vec{x} \text{ for some } \vec{x} \in \mathbb{R}^n\}

This corresponds to the image of the linear transformation TA:RnRmT_A: \mathbb{R}^n \rightarrow \mathbb{R}^m defined by TA(x)=AxT_A(\vec{x}) = A\vec{x}.

Finding the Image of a Matrix

To find a basis for the image of a matrix AA:

  1. Transform AA into row-reduced echelon form (RREF) using Gaussian elimination.
  2. Identify the pivot columns in the original matrix.
  3. The columns of the original matrix corresponding to these pivot positions form a spanning set for the image.
  4. If you need a basis, take only the linearly independent columns from this spanning set.

Alternatively, the image of AA is the span of the columns of AA.

Example

Consider the matrix:

A=[123246]A = \begin{bmatrix} 1 & 2 & 3 \\ 2 & 4 & 6 \end{bmatrix}

The RREF of AA is:

[123000]\begin{bmatrix} 1 & 2 & 3 \\ 0 & 0 & 0 \end{bmatrix}

We see that only the first column is a pivot column.

Therefore, a basis for the image of AA is:

{[12]}\left\{ \begin{bmatrix} 1 \\ 2 \end{bmatrix} \right\}

And the rank of AA is 1.

Relationship with the Null Space

The image and null space of a linear transformation are related through the Rank-Nullity Theorem:

dim(V)=rank(T)+nullity(T)\dim(V) = \text{rank}(T) + \text{nullity}(T)

This fundamental relationship tells us that:

  • The higher the rank (dimension of the image), the lower the nullity (dimension of the null space)
  • The sum of these dimensions always equals the dimension of the domain
  • A transformation cannot be both injective and surjective unless the domain and codomain have the same dimension

Applications

  1. Systems of Linear Equations: The image of a coefficient matrix represents the set of right-hand sides for which the system has a solution.

  2. Linear Transformations: Understanding the image helps identify what vectors can be reached by a transformation.

  3. Change of Basis: When changing basis, the image gives the range of possible representations in the new basis.

  4. Eigenspaces: The image of (AλI)(A - \lambda I) is complementary to the eigenspace for eigenvalue λ\lambda.

Exercise

Find a basis for the image of the matrix:

B=[121124003611]B = \begin{bmatrix} 1 & 2 & 1 & 1 \\ 2 & 4 & 0 & 0 \\ 3 & 6 & 1 & 1 \end{bmatrix}

Determine the rank of BB and verify the Rank-Nullity Theorem.