Rectangular kernel and solution-fibre example
ID: rectangular-kernel-and-solution-fibre-example
Consider the linear map represented by the rectangular matrixTo compute its kernel, solve the homogeneous linear system , . Taking gives , , soThus represents a null direction of a linear map: decreasing the first input by two, increasing the second by one, and decreasing the third by one changes neither output. Solving the homogeneous linear system is the concrete computation behind a kernel; the column space instead decides which outputs are attainable.[ref]
Lecture 6: Column space and nullspace. Gilbert Strang, Lecture 6: Column space and nullspace, opening lecture description: the distinct roles of Ax=0 and Ax=b
Now prescribe the nonzero output . The linear system becomes , . Again take :Direct substitution gives , and . Conversely, the two linear equations force exactly this form, so no solutions have been omitted. This fiber is an affine subspace of dimension one in the three-dimensional input vector space. It is parallel to the kernel, but does not pass through the origin. For instance, and both give , while their difference gives zero. Adding and gives output , which is another way to see that this nonzero-output fiber is not a vector subspace.
Three-dimensional inputs along one null direction give the same two-dimensional output
. The blue straight line is the kernel in the actual three-dimensional input vector space. The orange solution straight line is its translation by . Three marked inputs map to the single orange output in the two-dimensional output vector space; the blue kernel maps to zero. Finite plotted segments represent infinite straight lines. Details.The first and third columns of are and , a basis of the output vector space. Hence has matrix rank two and reaches every output. The rank-nullity theorem predicts nullity before we solve any linear system. It provides a useful completeness check: one nonzero kernel vector already forms a basis here, so a second independent null direction of a linear map would signal a calculation error. In general, matrix rank for an matrix leaves independent kernel directions, rather than .[ref]
The Rank Theorem. Margalit and Rabinoff, Interactive Linear Algebra, §2.9, Rank Theorem: column count equals rank plus nullity
New to topics? Read the docs here!
