对单位点原则的澄清


本文记号:

A=[e1]A=[e_{1}]

中 AA 代表拓广平面上的一个确定的点,而 e1e_{1} 是其一个代表向量。故 A=[ne1](n≠0)A=[ne_{1}] (n\neq 0) 也成立。

换一个角度,其实[e1][e_{1}] 可以被看作 {ρe1∣ρ≠0}\{\rho e_{1}|\rho\neq 0 \}

本文下面的 ρ\rho 全都是一个非零实数。


现在要在拓广平面上建立一个坐标系,使任意的D∈RP2D \in \mathbb{RP}^2 都能被写作

D=x1e1+x2e2+x3e3D=x_{1}e_{1}+x_{2}e_{2}+x_{3}e_{3}

在这个坐标系下DD可以被写作

D=[x1:x2:x3]D=[x_{1}:x_{2}:x_{3}]

其中e1,e2,e3e_{1},e_{2},e_{3}是一些抽象的线性无关三维向量,我们不关心它的分量。

我们不妨找不共线三点,各选取一个代表向量。

A1=[e1],A2=[e2],A3=[e3]A_{1}=[e_{1}], A_{2}=[e_{2}],A_{3}=[e_{3}]

由于线性无关,e1,e2,e3e_{1}, e_{2}, e_{3} 可以被当作一组基底。

那么,A1A_{1} 的坐标可以被写成 A1=e1A_{1}= e_{1} ,故,

A1=[1:0:0]A_{1} =[1:0:0]

但将 A1A_{1}表示为 A1=2e1A_{1}=2e_{1}也没有任何问题,此时