- 1) К. (или факторраз-мерность) подпространства Lв векторном пространстве V - размерность факторпространства .V/L;она обозначается codimV Lили просто codim Lи совпадает с размерностью прямого дополнения к Lв V. Справедливо равенств
Если Ми N - два подпространства в V, имеющие конечные К., то также имеют конечные К., причем
2) К. подмногообразия N в дифференцируемом многообразии М - К. касательного подпространства T^(N).в касательном пространстве Т Х (М).в точке . Если Ми Nконечномерны, то Если Ми N - дифференцируемые многообразия, L - подмногообразие в - дифференцируемое отображение, трансверсальное подмногообразию L, то
3) К. алгебраического подмногообразия (или аналитическо
…