Подпространство векторного пространства

Определение 2. Непустое множество векторов векторного пространства называется линейным подпространством ⁶⁾, если:

1. для любых векторов ;

2. для всех .

Определение 3. Коразмерностью ⁷⁾ линейного подпространства называется разность .

Определение 4. Подпространство, коразмерность которого равна 1, называется гиперплоскостью ⁸⁾.