Kernel, Image, Nullity, and Rank Math 130 Linear Algebra
Kernel, Image, Nullity, and Rank Math 130 Linear Algebra
nullity(T ) nullity(U T )
T (x) = b.
Solving the equation means looking for a vector
x in the inverse image T 1 (b). It will exist if and
only if b is in the image T (V ).
When the system of linear equations is homogeneous, then b = 0. Then the solution set is the
subspace of V weve called the kernel of T . Thus,
kernels are solutions to homogeneous linear equations.
When the system is not homogeneous, then the
solution set is not a subspace of V since it doesnt
contain 0. In fact, it will be empty when b is not in
the image of T . If it is in the image, however, there
is at least one solution a V with T (a) = b. All
the rest can be found from a by adding solutions x
of the associated homogeneous equations, that is,
1 0 1/2 1/2
0 1 5/2 3/2
x = y = 2 2 z = 2 + 52 z
basis
because its vectors neednt be independent.
0
1
z
z
Proof. A vector in the image of T is of the form
T (v) where v V . But is a basis of V ,
so v is a linear combination of the basis vectors
{b1 , . . . , bn }. Therefore, T (v) is same linear combination of the vectors T (b1 ), . . . , T (bn ). Therefore,
every vector in the image of T is a linear combination of vectors in T ().
q.e.d.
In general, the solution set for the nonhomogeneous equation Ax = b wont be a one-dimensional
C = {T (bk+1 ), . . . , T (bn )}
line. Its dimension will be the nullity of A, and it
will be parallel to the solution space of the associ- is a basis of T (V ). That will show that r = n k
ated homogeneous equation Ax = 0.
as required.
2
Since the rank plus the nullity of a transformation equals the dimension of its domain, r + k = n,
we have the following corollary.
Proof. (2) and (3) are equivalent by a previous theorem. (4) and (5) are equivalent by the definition of
rank. Since n = r + k, (3) is equivalent to (5). (1)
is equivalent to the conjunction of (2) and (3), but
theyre equivalent to each other, so theyre equivalent to (1).
q.e.d.
Math 130 Home Page at
http://math.clarku.edu/~djoyce/ma130/