定义 1.2. (线性子空间)

设 $W$ 为 $V$ 的一个非空子集合,若 $W$ 关于 $V$ 的加法和数乘也成为线性空间,则称 $W$ 为 $V$ 的一个线性子空间.