Определение. Линейным подпространством линейного пространства L называется подмножество К векторов пространства L, замкнутое относительно операций сложения и умножения на число, т. е. из того, что векторы а, Ъ е К, следует, что а + Ъ и аа принадлежат К.