Корозмірність

Матеріал з Вікіпедії — вільної енциклопедії.
Перейти до навігації Перейти до пошуку

Корозмірність підпростору в векторному просторі — розмірність факторпростору . Корозмірність позначається або просто

Для випадку коли є скінченновимірним простором корозмірність рівна розмірності прямого доповнення до у і зокрема справедливою є рівність:

Якщо і — два підпростори y , корозмірності яких є скінченними, то підпростори і також мають скінченні корозмірності, і до того ж

Через корозмірності векторних просторів вводяться також корозмірності афінних просторів.

Корозмірністю підмноговида в диференційовному многовиді називається корозмірність дотичного підпростору в дотичному просторі в точці Якщо і є скінченновимірними, то

Через цю формулу також визначається корозмірність алгебричного підмноговиду.

Для диференційовних многовидів корозмірність підмноговиду рівна розмірності нормального розшарування так як розмірність підмноговиду рівна розмірності дотичного розшарування.

Див. також[ред. | ред. код]