线性代数 李炯生、查建国 《线性代数》 · 第 165 页 · 定义 4.6.1 设 $U$ 是数域 $F$ 上的线性空间 $V$ 的非空向量集合。如果 $U$ 对于线性空间 $V$ 的向量加法和纯量与向量的乘法是封闭的，即对任意 $\alpha,\beta\in U$，有 $\alpha+\beta\in U$，并且对任意 $\lambda\in F$，$\alpha\in U$，有 $\lambda\alpha\in U$，则 $U$ 称为线性空间 $V$ 的子空间。 查看原书页面 由 admin 提交
