Коразмерность

Коразмерность подпространства $Y$ в пространстве $X$ есть число, равное разности между размерностью $X$ и размерностью $Y$. Пространство $X$ и его подпространство $Y$ могут иметь разную природу, как, например, векторное пространство, многообразие, топологическое пространство и т. д. То же относится и к размерности, это может быть размерность векторного пространства, многообразия, топологическая размерность и т. д.

Приведённое выше определение работает только в случае, если размерность $X$ конечна. Однако есть случаи, когда коразмерность может быть определена (и конечна) в случае, когда размерность пространство $X$ бесконечна. Например, коразмерность линейного подпространства $Y$ в пространстве $X$ определяется как размерность факторпространства $X/Y$.

В этой статье не хватает ссылок на источники информации. Информация должна быть проверяема, иначе она может быть поставлена под сомнение и удалена. Вы можете отредактировать эту статью, добавив ссылки на авторитетные источники. Эта отметка установлена 13 мая 2011.