Linear Algebra Done Right · Problem 3C.7

Linear Maps — Sheldon Axler

Mathematics — Linear Algebra · matrices-linear-maps

Problem

Suppose w1,…,wnw_1, \ldots, w_n is a basis of WW and VV is finite-dimensional. Suppose T∈L(V,W)T \in \mathcal{L}(V, W). Prove that there exists a basis v1,…,vmv_1, \ldots, v_m of VV such that all entries in the first row of M(T)\mathcal{M}(T) [with respect to the bases v1,…,vmv_1, \ldots, v_m and w1,…,wnw_1, \ldots, w_n] 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 WW instead of being able to choose a basis of WW.
Intuitive explanation

The key is to build a basis of VV that respects the structure of TT's image. Start by deciding what you want the first column of the matrix to look like—either all zeros (if TT is zero) or a 1 in position (1,1)(1,1)—then construct v1v_1 accordingly. For the remaining basis vectors v2,…,vmv_2, \ldots, v_m, choose them to span the kernel of TT or to be orthogonal to w1w_1 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 VV's basis, so use it strategically to zero out unwanted entries.

Intuitive explanation

The key is to build a basis of VV that respects the structure of TT's image. Start by deciding what you want the first column of the matrix to look like—either all zeros (if TT is zero) or a 1 in position (1,1)(1,1)—then construct v1v_1 accordingly. For the remaining basis vectors v2,…,vmv_2, \ldots, v_m, choose them to span the kernel of TT or to be orthogonal to w1w_1 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 VV's basis, so use it strategically to zero out unwanted entries.

Related theory

Browse the problem library