对于线性空间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}