Vektorraum/Untervektorraum/Kodimension/Definition

Kodimension

Unter der Kodimension eines Untervektorraumes

${}U\subseteq V\,$

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

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