Kodimension

Kodimensionen af et underrum i rummet er et tal svarende til forskellen mellem dimensionen og dimensionen . Et rum og dets underrum kan være af forskellig karakter, såsom et vektorrum , et manifold , et topologisk rum osv. Det samme gælder dimensionen, det kan være dimensionen af et vektorrum, et manifold, en topologisk dimension, etc. $Y$ $x$ $x$ $Y$ $x$ $Y$

Ovenstående definition virker kun, hvis dimensionen er endelig. Der er dog tilfælde, hvor kodimensionen kan defineres (og er endelig) i det tilfælde, hvor rummets dimension er uendelig. For eksempel er kodimensionen af et lineært underrum i et rum defineret som dimensionen af kvotientrummet . $x$ $x$ $Y$ $x$ $X/Y$