‫نظرية‪ :‬ليكن ‪ V, W‬فراغين اتجاهيين على مجال ‪ K‬و ‪ T:VW‬تحويلة خطية ‪ ،‬إذا كان ‪ dimV = n‬فإن‬

‫‪dimN(T) + dimR(T) = n‬‬

‫البرهان‪:‬‬
‫ليكن }‪ B = {v1, v2, …, vn‬أساس للفراغ ‪ ، V‬واضح أن })‪R(T) = span{T(v1), T(v2), …, T(vn‬‬
‫أوال‪ :‬إذا كان }‪ N(T) = {0‬سنبرهن أن })‪ {T(v1), T(v2), …, T(vn‬مستقلة خطيا‬
‫نفرض أن ‪x1T(v1) + x2T(v2) + … + xnT(vn) = 0‬‬
‫إذن ‪T(x1v1 + x2v2 + … + xnvn) = 0‬‬
‫إذن )‪x1v1 + x2v2 + … + xnvn N(T‬‬
‫إذن ‪x1v1 + x2v2 + … + xnvn = 0‬‬
‫لكن }‪ {v1, v2, …, vn‬مستقلة خطيا‪ ،‬إذن ‪x1 = x2 = … = xn = 0‬‬
‫إذن })‪ {T(v1), T(v2), …, T(vn‬مستقلة خطيا و ‪dimR(T) = n‬‬
‫ثانيا‪ :‬إذا كان }‪ ، N(T)  {0‬بما أن )‪ N(T‬فراغ اتجاهي فإن له أساس وليكن }‪{u1, …, ul‬‬
‫}‪ {u1, …, ul‬مستقلة خطيا في ‪ V‬فيمكن استكمالها والحصول على أساس }‪{u1, …, ul, ul+1, …un‬‬
‫للفراغ ‪V‬‬
‫})‪R(T) = span{T(u1), …, T(ul), T(ul+1), …, T(un)} = span{ T(ul+1), …, T(un‬‬
‫ألن ‪T(u1) = … = T(ul) = 0‬‬
‫سنبرهن أن })‪ { T(ul+1), …, T(un‬مستقلة خطيا‬
‫نفرض أن ‪x1T(ul+1) + … + xn-lT(un) = 0‬‬
‫إذن ‪T(x1ul+1 + … + xn-lun) = 0‬‬
‫إذن )‪x1ul+1 + … + xn-lun N(T‬‬
‫إذن ‪ x1ul+1 + … + xn-lun‬تركيبة خطية من }‪ ، {u1, …, ul‬لكن }‪ {u1, …, ul, ul+1, …un‬مستقلة‬
‫خطيا‬
‫إذن ‪ ، x1ul+1 + … + xn-lun = 0‬إذن ‪x1 = x2 = … = xn-l = 0‬‬
‫إذن })‪ { T(ul+1), …, T(un‬مستقلة خطيا و )‪dimR(T) = n  l = n  dimN(T‬‬