Two matrices are equivalent when for invertible matrices and of the appropriate sizes. A change of basis in the codomain multiplies a matrix on the left, while a change of basis in the domain multiplies it on the right. Hence two matrices of the same linear map in two pairs of bases are equivalent.
Conversely, start with the map having matrix in the standard bases. Given , choose domain and codomain bases whose change-of-coordinate matrices produce and ; then represents the same map in those bases. This proves the equivalence.
The column rank of is the dimension of the span of its columns, and its row rank is the dimension of the span of its rows. If represents , its column rank is . The transpose represents the dual mapso the row rank is .
If , thenwhose dimension is : extend a basis of to one of and use the dual basis. Rank-nullity now gives . This proves the equality of row rank and column rank.
For , the independent vectors lie in the coordinate subspace supported onwhich has dimension . Hence , and the stated form of Hall marriage theorem gives an injection with .
Let be the matrix whose th column is . Its column rank is . By equality of row and column rank, it has linearly independent rows. Let be their indices. The submatrix is invertible, so its columns are independent. Those columns are exactly the nonzero coordinates of , and therefore these truncated vectors are linearly independent.
Expanding gives a permutation for whichThus . Finally, order the coordinates with first. The matrix whose columns are the together with the for is block triangular, with diagonal blocks and an identity matrix. Its determinant is nonzero. Consequentlyis a basis of . This is the simultaneous basis exchange from a nonzero minor.
Articles by others on the same topic
There are currently no matching articles.