Lineaire deelruimte

Een lineaire deelruimte is in de lineaire algebra een deelverzameling van een vectorruimte die, bij dezelfde optelling en scalaire vermenigvuldiging als in die ruimte zelf, ook een vectorruimte is.

De deelverzameling ${\displaystyle W}$ van een vectorruimte ${\displaystyle V}$ is een lineaire deelruimte van ${\displaystyle V}$ als de optelling en scalaire vermenigvuldiging van ${\displaystyle V}$ inwendig zijn in ${\displaystyle W.}$ Dit wordt verwoord in de volgende stelling.