Kodimension

Kodimensionen för ett delrum i rymden är ett tal lika med skillnaden mellan dimensionen och dimensionen . Ett rum och dess delrum kan vara av olika karaktär, såsom ett vektorrum , ett grenrör , ett topologiskt utrymme , etc. Detsamma gäller dimensionen, det kan vara dimensionen av ett vektorrum, ett grenrör, en topologisk dimension, etc. $Y$ $X$ $X$ $Y$ $X$ $Y$

Ovanstående definition fungerar bara om dimensionen är finit. Det finns dock fall där samdimensionen kan definieras (och är ändlig) i fallet då rummets dimension är oändlig. Till exempel definieras samdimensionen för ett linjärt delrum i ett utrymme som dimensionen för kvotutrymmet . $X$ $X$ $Y$ $X$ $X/Y$