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

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

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

2. для всех .

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

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