Математическая энциклопедия - коразмерность

1) К. (или факторраз-мерность) подпространства Lв векторном пространстве V - размерность факторпространства .V/L;она обозначается codimV Lили просто codim Lи совпадает с размерностью прямого дополнения к Lв V. Справедливо равенств

Если Ми N - два подпространства в V, имеющие конечные К., то также имеют конечные К., причем

2) К. подмногообразия N в дифференцируемом многообразии М - К. касательного подпространства T .