关于B站三蓝一棕up主线性代数的本质系列视频的笔记（十二）抽象向量空间