一组向量，通常不用括号，如
中的一组向量 的线性组合为 的向量，其中
中的一组向量 的所有线性组合构成的集合，称为 的张成空间，记为 即：
张成空间是包含这组向量的最小子空间 这是简写，全称为： 中的一组向量的张成空间是包含这组向量的最小子空间。
如果 等于 ，则称为向量组张成 比如 张成
多项式是一种映射： 如果 则称为 系数属于 的多项式
是系数 的多项式集合
对于多项式 若存在，其中 ，使得对于 则说的 次数为 , 记
表示系数次数不超过的所有多项式集合。它是有限维度的向量空间。
一个向量空间如果不是有限维度的，则是无限维度的。
中一组向量 称为线性无关，如果使得 （1）一个向量线性无关，当且仅当 （2）两个向量线性无关，当且仅当每个向量不等于另外一个向量的倍数 （3） 线性无关
一组向量线性无关，则线性相关。即 线性无关，当且仅当存在不全为0的 使得 （1）一组向量中的某个向量是其余向量的线性组合，则这个向量组是线性相关的。因此，可知。一组线性无关的向量组中任意向量都不可能由其余向量线性表示。 （2）包含0向量的向量组线性相关。因为0可以由其余向量线性表示。 证明：如果一个向量是其余向量的线性组合，那么使得 成立就无需所有系数为0，证毕。 引理 是 线性无关的向量组，则有 使得 （a） （b） 中去掉 j 项，则剩余组成的张成空间等于 换言之，存在一个向量可以有其余向量线性表示并且属于其余向量的张成空间。 线性无关组的长度小于等于张成组的长度
有限维度向量空间的子空间都是有限维度的。
附录： 本节重要的公式latex文本和url p\in P(F) a_0,a_1,..,a_m \in F http://latex.codecogs.com/gif.latex?\inline&space;\small&space;a_0,a_1,..,a_m&space;\in&space;F
a_m \neq 0 http://latex.codecogs.com/gif.latex?\inline&space;\small&space;a_m&space;\neq&space;0
\forall z \in F;p(z)=a_0+a_1z+…+a_mz^m http://latex.codecogs.com/gif.latex?\inline&space;\small&space;\forall&space;z&space;\in&space;F;p(z)=a_0+a_1z+…+a_mz^m
\rm deg p=m http://latex.codecogs.com/gif.latex?\inline&space;\small&space;\rm&space;deg&space;p=m
P_m(F):0\leq m http://latex.codecogs.com/gif.latex?\small&space;P_m(F):0\leq&space;m
a_1v_1+…+a_mv_m=0;\ a_1,…,a_m\in F \ and \ a_1=…=a_m=0 http://latex.codecogs.com/gif.latex?\small&space;a_1v_1+…+a_mv_m=0;\&space;a_1,…,a_m\in&space;F&space;\&space;and&space;\&space;a_1=…=a_m=0
v_j\in \rm span(\textit v_1,…,\textit v_{j-1}) http://latex.codecogs.com/gif.latex?\small&space;\rm&space;span(\textit&space;v_1,…,\textit&space;v_{j-1})
