Определение 1. Подпространством линейного пространства L называется такое подмножество
элементов L, которое само является линейным пространством.
Т.е. подпространство замкнуто относительно операций сложения и умножения на число. (все аксиомы выполняются автоматически).
Примеры.
, множество решений однородной СЛАУ.
Определение 2. Линейной оболочкой системы элементов
, принадлежащих L, называется совокупность всех линейных комбинаций этих элементов:
.
Непосредственно из определения следует, что любая линейная оболочка является линейным пространством, а любое линейное пространство – линейной оболочкой натянутой на какой-либо базис этого пространства.
Теорема 1 (основное свойство линейных оболочек). Любой вектор системы
, линейно зависящий от остальных, можно исключить без изменения линейной оболочки.
{Пусть, для определенности,
а
произвольный. Тогда
, т.е.
}
Следствие. Размерность линейной оболочки равна рангу соответствующей системы элементов: