Codimensiunea

Codimensiunea unui subspațiu în spațiu este un număr egal cu diferența dintre dimensiune și dimensiune . Un spațiu și subspațiul său pot fi de natură diferită, cum ar fi un spațiu vectorial , o varietate , un spațiu topologic etc. Același lucru este valabil și pentru dimensiune, poate fi dimensiunea unui spațiu vectorial, o varietate, o dimensiune topologică, etc. $Y$ $X$ $X$ $Y$ $X$ $Y$

Definiția de mai sus funcționează numai dacă dimensiunea este finită. Cu toate acestea, există cazuri în care codimensiunea poate fi definită (și este finită) în cazul în care dimensiunea spațiului este infinită. De exemplu, codimensiunea unui subspațiu liniar într-un spațiu este definită ca dimensiunea spațiului coeficient . $X$ $X$ $Y$ $X$ $X Y$