[latexpage] $\mathcal{E}$是一个非空集合，里面的元素称为“点”。对于集合中的这些点，我们可以做《几何原本》说能做的所有事，从而得到一切《几何原本》能得到的结论。其中就包括允许我们谈及“由点$a$到点$b$的有向线段”，$a,b\in\mathcal{E}$。我们建立一个“从点$a$到点$b$的有向线段”到一个向量空间$\mathcal{V}$的映射$\Phi:\mat…