Dimension des Quotientenvektorraumes.

Als Kodimension eines Unterraumes U ⊆ V eines Vektorraumes V über 𝕂 bezeichnet man die Dimension des Quotientenvektorraumes V/U über 𝕂. Die übliche Schreib- und Bezeichnungsweise ist \begin{eqnarray}\text{codim}\,\,U\,\,:= \text {dim}\,V/U.\end{eqnarray}