Linear Algebra Done Right · Problem 3C.7
Linear Maps — Sheldon Axler
Mathematics — Linear Algebra · matrices-linear-maps
Problem
Suppose is a basis of and is finite-dimensional. Suppose . Prove that there exists a basis of such that all entries in the first row of [with respect to the bases and ] are 0 except for possibly a 1 in the first row, first column. In this exercise, unlike Exercise 5, you are given the basis of instead of being able to choose a basis of .Intuitive explanation
The key is to build a basis of that respects the structure of 's image. Start by deciding what you want the first column of the matrix to look like—either all zeros (if is zero) or a 1 in position —then construct accordingly. For the remaining basis vectors , choose them to span the kernel of or to be orthogonal to in the appropriate sense, ensuring their images don't interfere with the first row. This is a dimension-counting argument: you have freedom in choosing 's basis, so use it strategically to zero out unwanted entries.
Intuitive explanation
The key is to build a basis of that respects the structure of 's image. Start by deciding what you want the first column of the matrix to look like—either all zeros (if is zero) or a 1 in position —then construct accordingly. For the remaining basis vectors , choose them to span the kernel of or to be orthogonal to in the appropriate sense, ensuring their images don't interfere with the first row. This is a dimension-counting argument: you have freedom in choosing 's basis, so use it strategically to zero out unwanted entries.