Codimensión
La codimensión de un subespacio en el espacio es un número igual a la diferencia entre la dimensión y la dimensión . Un espacio y su subespacio pueden ser de diferente naturaleza, como un espacio vectorial , una variedad , un espacio topológico , etc. Lo mismo se aplica a la dimensión, puede ser la dimensión de un espacio vectorial, una variedad, una dimensión topológica, etc.
La definición anterior solo funciona si la dimensión es finita. Sin embargo, hay casos en los que la codimensión se puede definir (y es finita) en el caso de que la dimensión del espacio sea infinita. Por ejemplo, la codimensión de un subespacio lineal en un espacio se define como la dimensión del espacio cociente .
