- КОРАЗМЕРНОСТЬ
- 1) К. (или факторраз-мерность) подпространства Lв векторном пространстве V - размерность факторпространства .V/L;она обозначается codimV Lили просто codim Lи совпадает с размерностью прямого дополнения к Lв V. Справедливо равенств
Если Ми N - два подпространства в V, имеющие конечные К., то
также имеют конечные К., причем 
2) К. подмногообразия N в дифференцируемом многообразии М - К. касательного подпространства T^(N).в касательном пространстве Т Х (М).в точке
. Если Ми Nконечномерны, то 
Если Ми N - дифференцируемые многообразия, L - подмногообразие в 
- дифференцируемое отображение, трансверсальное подмногообразию L, то 
3) К. алгебраического подмногообразия (или аналитического пространства) Yв алгебраическом многообразии (аналитическом пространстве) X - разность
Лит.:[1] Б у р б а к и Н., Алгебра. Алгебраические структуры. Линейная и полилинейная алгебра, пер. с франц., М., 1962; [2] е г о же, Дифференцируемые и аналитические многообразия. Сводка результатов, пер. с франц., М., 1975; [3] Голубицкий М., Г и й е м и н В., Устойчивые отображения и их особенности, пер. с англ., М., 1977.
В. Е. Говоров, А. Ф. Харталадзе.
Математическая энциклопедия. — М.: Советская энциклопедия. И. М. Виноградов. 1977—1985.
