Kernel & Image of Linear Transformations
2034 words
10 min read
Visual companion
Python
Type and operator map
Python Week 1: the first filter for runtime behavior
View
Revision summary
What this note is really saying
Short form
# Kernel & Image of Linear Transformations ## ๐ฏ Learning Objectives After this topic you will be able to: - Define the kernel (null space) of a linear transformation - Define the image (range) of a linear transformation - Find bases for the kernel and image of a linear transformation - State and apply the rank-null...

Kernel & Image of Linear Transformations
๐ฏ Learning Objectives
After this topic you will be able to:
- Define the kernel (null space) of a linear transformation
- Define the image (range) of a linear transformation
- Find bases for the kernel and image of a linear transformation
- State and apply the rank-nullity theorem for linear transformations
- Determine whether a linear transformation is injective or surjective
๐ Prerequisites
- Linear Transformations (Week 5) โ definition and properties
- Null Space & Column Space (Week 5) โ the matrix version of kernel and image
- Basis & Dimension (Week 4) โ finding bases for subspaces
1. Intuition: What Gets Crushed vs. What Gets Hit
Every linear transformation T:VโW tells us two things:
- Kernel (null space): Which vectors in V get mapped to 0? These are the "crushed" vectors โ they lose all information.
- Image (range): Which vectors in W can be reached? These are the "hit" vectors โ the possible outputs. (Diagram) Key insight: The kernel measures non-injectivity (how many vectors collapse to the same output). The image measures non-surjectivity (how much of W is covered).
2. Kernel
2.1 Definition
>ker(T)={vโVโฃT(v)=0Wโ}>Definition (Kernel). Let T:VโW be a linear transformation. The kernel (or null space) of T is:
Theorem: ker(T) is a subspace of V.
Proof:
- 0Vโโker(T) because T(0Vโ)=0Wโ โ
- If u,vโker(T), then T(u+v)=T(u)+T(v)=0+0=0, so u+vโker(T) โ
- If vโker(T) and cโR, then T(cv)=cT(v)=cโ 0=0, so cvโker(T) โ
2.2 Finding a Basis for the Kernel
Case 1: T:RnโRm with standard matrix A ker(T)=N(A). Find null space basis as before.
Case 2: T:VโW in abstract Set T(v)=0 and solve using the definition of T.
>A=[12โ24โโ1โ2โ]>Example 1: Kernel of a matrix transformationT:R3โR2, T(x)=Ax where
>[10โ20โโ10โ]>.Solve Ax=0: Row 2 = 2(Row 1), so RREF is
>ker(T)=โฉโจโงโx2โโโ210โโ+x3โโ101โโโญโฌโซโ>.x1โ+2x2โโx3โ=0, so x1โ=โ2x2โ+x3โ. Free: x2โ,x3โ.
Basis for ker(T): {(โ2,1,0),(1,0,1)}. dim(ker(T))=2. Example 2: Kernel of a polynomial transformationT:P2โโP1โ, T(p)=pโฒ (derivative).ker(T)={pโP2โโฃpโฒ(x)=0}={constantย polynomials}.Basis: {1}. dim(ker(T))=1. (Constant polynomials are degree 0.)
3. Image
3.1 Definition
>im(T)={T(v)โWโฃvโV}>Definition (Image). Let T:VโW be a linear transformation. The image (or range) of T is:
Theorem: im(T) is a subspace of W.
Proof:
- 0Wโโim(T) because T(0Vโ)=0Wโ โ
- If w1โ,w2โโim(T), then w1โ=T(v1โ), w2โ=T(v2โ). Then w1โ+w2โ=T(v1โ)+T(v2โ)=T(v1โ+v2โ)โim(T) โ
- If wโim(T) and cโR, cw=cT(v)=T(cv)โim(T) โ
3.2 Finding a Basis for the Image
Case 1: T:RnโRm with standard matrix A im(T)=C(A). Basis = pivot columns of A.
Case 2: Abstract T Find the span of {T(b1โ),โฆ,T(bnโ)} where {b1โ,โฆ,bnโ} is a basis of V, then reduce.
>A=[12โ24โโ1โ2โ]>Example 3: Image of a matrix transformationT:R3โR2, T(x)=Ax where
.Columns: (1,2), (2,4), (โ1,โ2). Columns 2 and 3 are multiples of column 1.im(T)=span{(1,2)}, a line through origin.Basis: {(1,2)}. dim(im(T))=1. Example 4: Image of a derivative transformationT:P2โโP1โ, T(p)=pโฒ.T(1)=0, T(x)=1, T(x2)=2x.im(T)=span{0,1,2x}=span{1,2x}=P1โ (all polynomials of degree โค1).Basis: {1,x}. dim(im(T))=2.
4. Rank-Nullity Theorem for Linear Transformations
>dim(ker(T))+dim(im(T))=dim(V)>Theorem (Rank-Nullity). For a linear transformation T:VโW where V is finite-dimensional:
Terminology:
- Nullity = dim(ker(T))
- Rank = dim(im(T))
Example 5: Checking rank-nullityFor T:P2โโP1โ, T(p)=pโฒ: dim(ker(T))=1 (constants) dim(im(T))=2 (P1โ) dim(P2โ)=3 1+2=3 โ
5. Injectivity, Surjectivity, and Isomorphism
5.1 Injectivity (One-to-One)
Theorem. T is injective iff ker(T)={0}. Proof: (โ) If T(v)=0, and T(0)=0, then by injectivity v=0. (โ) If T(u)=T(v), then T(uโv)=0, so uโvโker(T)={0}, hence u=v.
5.2 Surjectivity (Onto)
Theorem. T is surjective iff im(T)=W (i.e., dim(im(T))=dim(W)).
5.3 Isomorphism
Definition (Isomorphism). A linear transformation T:VโW is an isomorphism if it is both injective and surjective (bijective). In that case, V and W are called isomorphic. Key fact: Vโ W (isomorphic) iff dim(V)=dim(W). Example 6: IsomorphismT:R3โP2โ, T(a,b,c)=a+bx+cx2 is an isomorphism.ker(T): a+bx+cx2=0 โ a=b=c=0 โ ker(T)={0} (injective) โim(T)=P2โ (surjective) โdim(R3)=dim(P2โ)=3 โ
6. Edge Cases & Gotchas
| Situation | Kernel | Image |
|---|---|---|
| Zero transformation | ker(T)=V | im(T)={0} |
| Identity transformation | ker(T)={0} | im(T)=V |
| Projection onto subspace | The orthogonal complement | The subspace itself |
| **Differentiation on Pnโ ** | Constant polynomials | Pnโ1โ |
7. Common Pitfalls
โ Pitfall 1: Confusing kernel of T with kernel of its matrix
When T is given as a formula (not a matrix), solve T(v)=0 directly rather than trying to find its matrix first.
โ Pitfall 2: Thinking image = codomain
The image is a subspace of the codomain, but may not equal it. Surjectivity is a special case.
โ Pitfall 3: Forgetting rank-nullity counts domain dimension
dim(ker(T))+dim(im(T))=dim(V), not dim(W).
8. Formula Summary Table
| Concept | Definition | Relation to Matrix |
|---|---|---|
| Kernel | {vโVโฃT(v)=0} | N(A) |
| Image | {T(v)โWโฃvโV} | C(A) |
| Nullity | dim(ker(T)) | nโrank(A) |
| Rank | dim(im(T)) | rank(A) |
| Rank-Nullity | dim(ker)+dim(im)=dim(V) | r+(nโr)=n |
| Injective | ker(T)={0} | N(A)={0} |
| Surjective | im(T)=W | C(A)=Rm |
9. ๐ Practice Questions
>A=โ12โ1โ24โ2โโ>Q1: Kernel of a matrix transformationFind a basis for ker(T) where T:R3โR2, T(x,y,z)=(x+y,2x+2y).Solution: Solve x+y=0, 2x+2y=0 โ y=โx, z free. ker(T)={(x,โx,z)โฃx,zโR}=span{(1,โ1,0),(0,0,1)}. Basis: {(1,โ1,0),(0,0,1)}. Nullity = 2. Q2: Image of a matrix transformationFind a basis for im(T) where T(x,y)=(x+2y,2x+4y,โxโ2y).Solution: Standard matrix: T(1,0)=(1,2,โ1), T(0,1)=(2,4,โ2).
>A=โ111โ011โ001โโ>. Column 2 = 2(column 1). Basis for C(A): {(1,2,โ1)}. im(T)=span{(1,2,โ1)}, a line. Rank = 1. Q3: Rank-Nullity on a polynomial mapFor T:P2โโP2โ, T(p)(x)=p(0)+p(1)x+p(2)x2, find nullity and rank.Solution: Let p(x)=a+bx+cx2. p(0)=a, p(1)=a+b+c, p(2)=a+2b+4c. T(p)=a+(a+b+c)x+(a+2b+4c)x2.Kernel: Solve a=0, a+b+c=0, a+2b+4c=0. From first: a=0. Then b+c=0, 2b+4c=0 โ b=โc, 2(โc)+4c=2c=0 โ c=0, b=0. ker(T)={0}. Nullity = 0. Rank = dim(P2โ)โ0=3. im(T)=P2โ. Q4: Injective but not surjectiveShow T:R2โR3, T(x,y)=(x,y,0) is injective but not surjective.Solution: ker(T): (x,y,0)=(0,0,0) โ x=y=0. ker(T)={0}, injective โ.im(T)={(x,y,0)} = xy-plane in R3. Not all of R3 (e.g., (0,0,1) not reachable). Not surjective.Check rank-nullity: 0+2=2=dim(R2) โ Q5: Surjective but not injectiveShow T:R3โR2, T(x,y,z)=(x,0) is surjective? Actually no. Let me fix.T:R3โR2, T(x,y,z)=(x,y) is surjective (every (a,b) is reached by (a,b,0)), but not injective ((0,0,1) also maps to (0,0)).ker(T)={(0,0,z)}, dimension 1. im(T)=R2, dimension 2. Rank-nullity: 1+2=3=dim(R3) โ Q6: IsomorphismIs T:R3โR3, T(x,y,z)=(x,x+y,x+y+z) an isomorphism?Solution: Matrix of T:
>T(x)=[10โ01โ21โ]x>.det(A)=1๎ =0, so A is invertible. T is an isomorphism.ker(T)={0}, im(T)=R3. Q7: Kernel of an integral operatorT:C[0,1]โR, T(f)=โซ01โf(x)dx. What is ker(T)?Solution: ker(T)={fโC[0,1]โฃโซ01โf(x)dx=0}. These are functions with zero average (zero net area). Examples: f(x)=xโ21โ, sin(2ฯx). Note: ker(T) is infinite-dimensional. Q8: Image of a differentiation mapT:P3โโP2โ, T(p)=pโฒ. Find im(T).Solution: T(1)=0, T(x)=1, T(x2)=2x, T(x3)=3x2. im(T)=span{0,1,2x,3x2}=span{1,x,x2}=P2โ. So im(T)=P2โ (surjective). dim(im(T))=3. Nullity = dim(P3โ)โ3=4โ3=1. Q9: Determining if a vector is in the imageT:R3โR2,
. Is (3,1) in im(T)?Solution: Solve T(x)=(3,1): x+2z=3, y+z=1. Choose z=0: x=3, y=1. So x=(3,1,0) works. Yes, (3,1)โim(T). Q10: Kernel and image of projectionT:R3โR3, T(x,y,z)=(x,y,0) (projection onto xy-plane). Find bases for ker(T) and im(T).Solution: ker(T): (x,y,0)=(0,0,0) โ x=0,y=0. So ker(T)={(0,0,z)}=span{(0,0,1)}. Basis: {(0,0,1)}.im(T): T(1,0,0)=(1,0,0), T(0,1,0)=(0,1,0), T(0,0,1)=(0,0,0). im(T)=span{(1,0,0),(0,1,0)} = xy-plane. Basis: {(1,0,0),(0,1,0)}.Rank-nullity: 1+2=3 โ
๐ Cross-References
- Next topic: Matrix Representation of Linear Transformations
- Week 5 (Rank-Nullity Theorem): The matrix version of the same idea
- Week 7 (Similarity): Two matrix representations of the same T
- BSCS2004 (ML Foundations): Feature maps, kernel methods in SVM Join Discord Previous5.2 Linear TransformationsNext6.2 Matrix Representation