Рассмотрите систему

неоднородных уравнений с

неизвестными из

. Показать, что решение системы -- не подпространство

(Оффтоп)
Это переведено с испанского, на оригинале будет звучать так:

Линейное подпространство или векторное подпространство ― непустое подмножество

линейного пространства

такое, что

само является линейным пространством по отношению к определенным в

действиям сложения и умножения на скаляр. Чтобы подмножество было подпространством, необходимо и достаточно, чтобы:
для всяких векторов

, вектор

, при любых

.
Что-то я тут не очень понимаю -- за что тут зацепиться? Если

неизвестных, то почему бы не подпространство

.
Если определитель матрицы

не равен нулю, то система имеет единственное решение, которое как раз подпространство

Пусть

, где

-- общее решение однородной системы, а

-- частное решение неоднородной.

Вектор

не принадлежит подпространству решений, потому

не принадлежит подпространству решений (при

)