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