Rank of a matrix
The rank of a matrix is the dimension of the column space of , denoted .
Row rank = col rank for any matrix .
The determinant of a square matrix is non-zero its rank is .
Proof:
Row operations don’t change the determinant. The row echelon form of a square matrix is upper triangular, whose determinant is the product of diagonal entries. Full rank means all pivots are non-zero, so . If rank , at least one pivot is zero, so .