Every linear-map problem lands in one of these cells. Read this table like a checklist — each row is a shape of behaviour. Recall n=dimV (input dimension) and m=dimW (output dimension), just defined above.
#
Case class
What's special
Nullity / Rank
Example
A
Injective, not onto (n<m: fewer input than output dims)
maps up a dimension, crushes nothing
null =0, rank =n
Ex 1
B
Onto, not injective (n>m: more input than output dims)
maps down, must crush something
null >0, rank =m
Ex 2
C
Bijective (square, n=m, invertible)
perfect one-to-one, both directions
null =0, rank =n
Ex 3
D
The zero map (degenerate)
crushes everything
null =n, rank =0
Ex 4
E
Projection (idempotent, kernel = a line/plane)
keeps a subspace, kills the rest
null >0, rank <n
Ex 5
F
Rank-deficient square (n=m but det=0)
square but NOT invertible
null >0, rank <n
Ex 6
G
Non-Rn space (polynomials, the derivative)
vectors aren't columns
null =1, rank =n−1
Ex 7
H
Word problem (real world)
translate first, then compute
depends
Ex 8
I
Exam twist (find k so a vector is reachable)
image-membership test
—
Ex 9
The Injective surjective bijective properties are just cells A, B, C read off the nullity/rank.
Kernel: set the output to zero: x=0, y=0, x+y=0. The first two already force x=y=0.
Why this step? Kernel = inputs sent to 0; solve T(x,y)=(0,0,0) directly.
So kerT={(0,0)}, nullity =0 → T is injective.
Why this step? Injective ⟺kerT={0} (parent's rule, no exceptions).
Image: the matrix is A=101011; columns (1,0,1) and (0,1,1). They aren't multiples of each other, so they're independent → rank =2.
Why this step? For T(x)=Ax, the image is the column space; its dimension is the number of independent columns.
Since rank =2<3=dimR3, the image is a plane inside 3D, not all of it → not onto.
Kernel:x−z=0 and y+z=0, so x=z and y=−z. Let z=t: (t,−t,t)=t(1,−1,1).
Why this step? Solve T=0; one free parameter t remains.
kerT=span{(1,−1,1)}, nullity =1. A nonzero kernel → not injective.
Why this step? One free variable = a whole line of inputs crushed to 0.
Image: matrix A=(1001−11); columns (1,0),(0,1),(−1,1). The first two already span all of R2 → rank =2, image =R2 → onto.
Why this step? Two independent columns fill the 2D output space.
Matrix A=(2111), determinant =2⋅1−1⋅1=1=0.
Why this step? A nonzero determinant means the columns are independent — no collapse.
Kernel:2x+y=0, x+y=0. Subtract: x=0, then y=0. So kerT={0}, nullity =0, injective.
Why this step? Solve T=0; the unique solution being 0 confirms det=0.
Kernel:T(x,y)=(0,0) needs x=0; y is free. So kerT={(0,y)}=span{(0,1)}, the y-axis, nullity =1.
Why this step? Points directly above/below origin cast their shadow onto 0.
Image: outputs are (x,0) = the whole x-axis, rank =1.
Why this step? Every shadow lands on the x-axis; nothing above it is reachable.
Idempotent check:T(T(x,y))=T(x,0)=(x,0)=T(x,y). Projecting twice = projecting once. ✓
Why this step? A projection fixes what's already in its image (that's the definition of idempotent above).
detA=1⋅4−2⋅2=0. Not invertible.
Why this step? Zero determinant flags dependent columns → a collapse.
Kernel:x+2y=0 (both rows give this), so x=−2y. (−2y,y)=y(−2,1). kerT=span{(−2,1)}, nullity =1.
Why this step? The two equations are secretly one equation → one free variable.
Image: columns (1,2) and (2,4); the second is 2× the first → only one independent column. imT=span{(1,2)}, rank =1 — a line, not the plane.
Why this step? Dependent columns span a lower-dimensional space.
Kernel:D(a+bx+cx2)=b+2cx=0 forces b=0 and c=0; a is free. So kerD={a⋅1}=constants, nullity =1.
Why this step? Only constant functions have zero slope everywhere.
Image:D(a+bx+cx2)=b+2cx, which is any polynomial of degree ≤1 = span{1,x}, rank =2.
Why this step? Differentiating drops the degree by one, so outputs live in P1.
Write T(a,b,c)=(a+b+c,2a+b+3c), matrix A=(121113).
Why this step? Read the coefficients straight off the two recipe formulas.
(i) Kernel:a+b+c=0 and 2a+b+3c=0. Subtract the first from the second: a+2c=0⇒a=−2c. Then b=−a−c=2c−c=c. So (a,b,c)=(−2c,c,c)=c(−2,1,1).
Why this step? Eliminate one variable to expose the free parameter.
kerT=span{(−2,1,1)}: blends along this direction cancel to zero volume and zero sugar (algebraically). Nullity =1.
(ii) Image: columns (1,2) and (1,1) are independent → rank =2 = dimR2. Every (volume, sugar) pair is reachable → onto.
We need (x+y,x−y,2x)=(3,1,k) for some x,y. From the first two: x+y=3, x−y=1 → add: 2x=4, x=2, then y=1.
Why this step? Solve the two "free" coordinates first; they pin down x,y uniquely.
The third coordinate is forced: 2x=2⋅2=4. So we need k=4.
Why this step? Once x is fixed, the third output can't be chosen independently — the plane's constraint.
R4→R2, onto ::: Cell B — onto, not injective (nullity =2).
T(v)=0 ::: Cell D — the zero map (nullity = dim V, rank 0).
2×2 with det=0 ::: Cell F — rank-deficient square.
Derivative on P3 ::: Cell G — non-Rn; nullity 1, rank 3.
R2→R5 injective ::: Cell A — injective, not onto.
What does idempotent mean? ::: T∘T=T — applying twice equals applying once (projections).