Definition 6.1.9 (Codimension).label Let $W\suf V$ be vector spaces then the codimension of $W$ in $V$ is $\text{codim}_{V}(W)\define\dim(V/W)$ which is equal to $\text{codim}_{V}(W)=\dim(V)-\dim(W)$ if $W$ is finite dimensional.
Definition 6.1.9 (Codimension).label Let $W\suf V$ be vector spaces then the codimension of $W$ in $V$ is $\text{codim}_{V}(W)\define\dim(V/W)$ which is equal to $\text{codim}_{V}(W)=\dim(V)-\dim(W)$ if $W$ is finite dimensional.