体K上有限次元線型空間N,M(dimN=n, dimM=m)に対して、NからMへの線型写像全体の集合L(N,M)と、m×n行列全体の集合M(m,n,K)が1対1対応すること

f∈L(N,M)に対して、dimN=Im(f)+Ker(f)であること