... eigenvectors cor-responding to distinct eigenvalues are linearly independent (see 5.6),(v1, ,vdim V) is linearly independent. A linearly independent list ofDiagonal Matrices 89dim V vectors ... will be needed to un-derstand linear operators is presented in Chapter 4. If you takeclass time going through the proofs in this chapter (which con-tains no linear algebra) , then you probably ... combined into a requirementof linearity in the first slot. More precisely, for each fixed w ∈ V, thefunction that takes v to v,w is a linear map from V to F. Becauseevery linear map takes 0 to 0,...