1. 梗概:

向量空间的一组张成该空间的一个线性无关向量集