Definition:Codimension

From ProofWiki
Jump to navigation Jump to search

Definition

Let $X$ be a manifold.

Let $Z$ be a submanifold of $X$.


The codimension of $Z$ in $X$ is the dimension of $X$ minus the dimension of $Z$.