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

- 1) К. (или факторраз-мерность) подпространства Lв векторном пространстве V - размерность факторпространства.V/L;она обозначается codimV Lили просто codim Lи совпадает с размерностью прямого дополнения к Lв V. Справедливо равенств [img: http://localhost:8080/file/031201-13.jpg] Если Ми N - два подпространства в V, имеющие конечные К., то [img: http://localhost:8080/file/031201-14.jpg] также имеют конечные К., причем [img: http://localhost:8080/file/031201-15.jpg] 2) К. подмногообразия N в дифференцируемом многообразии М - К. касательного подпространства T^(N).в касательном пространстве Т Х (М).в точке [img: http://localhost:8080/file/031201-16.jpg]. Если Ми Nконечномерны, то [img: http://localhost:8080/file/031201-17.jpg] Если Ми N - дифференцируемые многообразия, L - подмногообразие в [img: http://localhost:8080/file/031201-18.jpg] - дифференцируемое отображение, трансверсальное подмногообразию L, то [img: http://localhost:8080/file/031201-19.jpg] 3) К. алгебраического подмногообразия (или аналитического пространства) Yв алгебраическом многообразии (аналитическом пространстве) X - разность [img: http://localhost:8080/file/031201-20.jpg]