第十二周 正定二次型、线性空间 · 12.2 线性空间的定义与性质（1）