Vektorraum/Untervektorraum/Kodimension/Definition

Kodimension

Unter der Kodimension eines Untervektorraumes

${}U\subseteq V\,$

in einem endlichdimensionalen ${}K$-Vektorraum ${}V$ versteht man die Differenz

$\operatorname {dim} _{}\left(V\right)-\operatorname {dim} _{}\left(U\right).$