Русская Википедия:Коразмерность
Коразмерность подпространства <math>Y</math> в пространстве <math>X</math> есть число, равное разности между размерностью <math>X</math> и размерностью <math>Y</math>. Пространство <math>X</math> и его подпространство <math>Y</math> могут иметь разную природу, как, например, векторное пространство, многообразие, топологическое пространство и т. д. То же относится и к размерности, это может быть размерность векторного пространства, многообразия, топологическая размерность и т. д.
Приведённое выше определение работает только в случае, если размерность <math>X</math> конечна. Однако есть случаи, когда коразмерность может быть определена (и конечна) в случае, когда размерность пространство <math>X</math> бесконечна. Например, коразмерность линейного подпространства <math>Y</math> в пространстве <math>X</math> определяется как размерность факторпространства <math>X/Y</math>.
