关键词：张成、线性无关、基、维度
linear span:
V中任意一组向量的span都是V的子空间（对加法和数乘封闭）
linear independent 线性无关
https://www.zybang.com/question/b9c39e019f815bf9195acfc9c56b7544.html
注意：2.3 式子是恒等于0 的概念
<基>
