设V是n维向量空间，则在V中任意n个线性无关的向量必是V的一组基

设V是数域P上的n维线性空间，、为V的两个维数相同的子空间则

设V 是线性空间是V的一个线性变换，线性无关，则向量组也线性无关。

设是n维线性空间V的线性变换，那么可对角化的充分必要条件是V可以分解为n个一维不变子空间的直和。