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

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. В. Е. Говоров, А. Ф. Харталадзе.