которая проходит через начало координат под прямым углом к третьей оси. Вообще легко видеть, что оболочка
всегда является подпространством.
Размерность. Размерность подпространства
будем обозначать как
Размерность есть минимальное число векторов, необходимых для того, чтобы построить оболочку для
. В трехмерном пространстве
Сумма двух подпространств. Пусть
— два подпространства. Суммой
будет множество векторов
которые могут быть записаны в виде
где
Легко видеть, что сумма
— также подпространство. Приведем некоторые примеры.
1) Если
то
— здесь индикаторные векторы в шестимерном пространстве). Заметим, что
2) Вообще, если
то
Произведение подпространств. Пусть
и
— два подпространства. Их произведением
называется оболочка векторов
которые могут быть представлены в виде покоординатного (поточечного) произведения векторов
где
[см. раздел 11.1.1]. В частности, если
то их произведение
Например, если
то
так как
Аналогично, если в четырехмерном пространстве рассмотреть векторы
и определить
то
Чтобы увидеть это, отметим, что
Множество
векторов
где
вообще говоря, не является подпространством. Снова рассмотрим пример для четырехмерного пространства с
Тогда
так что
могут быть записаны в виде произведений. Однако
. С другой стороны,
и отсутствует решение, такое, чтобы