Dimenziótétel

1. Sablon:Label A dimenziótétel vagy nullitás–rang tétel a lineáris algebrában alapvetően a véges dimenziós terek között ható leképezések magterének és képterének komplementer jellegére mutat rá. Ha φ lineáris leképezés egy n dimenziós térből valamely másikba hat, Ker φ = { v | φv = 0 } a φ magtere és Im φ a leképezés értékkészlete, mint altér, akkor

dim Ker φ + dim Im φ = n

Ugyanazon terek között ható két leképezés közül, amelyik magtérdimenziója nagyobb, annak a képtérdimenziója kisebb.

A tétel a dimenziók szerepeltetése nélkül tovább általánosítható nem feltétlenül véges dimenziós V₁ térre is, a következő formában:

Ker φ ⊕ Im φ ≅ V₁

A tétel kapcsolatban van az első izomorfizmustétellel és az Abel-csoportok közötti morfizmusok dekompozíciós tételével.

---

Ha V₁ véges dimenziós, V₂ pedig tetszőleges lineáris tér, továbbá φ:V₁ $\to$ V₂ lineáris leképezés, akkor

$\mathrm{d}\mathrm{i}\mathrm{m}\mathrm{K}\mathrm{e}\mathrm{r}\phi +\mathrm{d}\mathrm{i}\mathrm{m}\mathrm{I}\mathrm{m}\phi =\mathrm{d}\mathrm{i}\mathrm{m}{V}_1$

• rang-nullitás-tétel