已知是两个向量空间,且满足关系:
那么称是的。
下图中的原点、过原点的直线、过原点的平面均为的子空间:
只包含零向量的向量组,也满足对数乘和加法封闭,所以也是向量空间。比如:
它代表是中的原点,所以是的子空间: