6.3 寻找更小的向量空间