对于线性空间V,dim span{a1,a2……an}=rank{a1,a2……an},也就是说span是线性空间V其中的一个最大无关组时,则称该子空间为生成线性子空间。设向量组{α1,α2,···,αm}在线性空间V中,由它们的一切线性组合生成的子空间: Span{α1,α2,···,αm }=L(α1,α2,···,αm) = {k1α1+k2α2+···+kmαm| ki}