Akademik

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

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

2) К. подмногообразия N в дифференцируемом многообразии М - К. касательного подпространства T^(N).в касательном пространстве Т _Х (М).в точке . Если Ми Nконечномерны, то Если Ми N - дифференцируемые многообразия, L - подмногообразие в - дифференцируемое отображение, трансверсальное подмногообразию L, то

3) К. алгебраического подмногообразия (или аналитического пространства) Yв алгебраическом многообразии (аналитическом пространстве) X - разность

Лит.:[1] Б у р б а к и Н., Алгебра. Алгебраические структуры. Линейная и полилинейная алгебра, пер. с франц., М., 1962; [2] е г о же, Дифференцируемые и аналитические многообразия. Сводка результатов, пер. с франц., М., 1975; [3] Голубицкий М., Г и й е м и н В., Устойчивые отображения и их особенности, пер. с англ., М., 1977.

В. Е. Говоров, А. Ф. Харталадзе.