生成子空间的拓广及其等价定义

1 生成子空间的定义设V是数域P上的一个线性空间,S(?)V,且S≠Ф.令A={W│W是V的子空间,W(?)S}.显然V本身是包含S的一个子空间,故V∈A,因而A≠Ф,令K=(?)w命题1:K=(?)W是V的子空间证明 首先,(?)W∈A 因为W是V的子空间,所以O∈W,故O∈K,因而K(?)V,且K≠Ф.