1D 射影几何与交比
直线上的点
x
x
x用齐次坐标表示为
(
x
1
,
x
2
)
T
(x_1, x_2)^T
(x1,x2)T,而
(
x
1
,
0
)
T
(x_1,0)^T
(x1,0)T是该直线的理想点。我们将用记号
x
ˉ
\bar{x}
xˉ表示 2 维矢量
(
x
1
,
x
2
)
T
(x_1, x_2)^T
(x1,x2)T。其可用齐次矩阵表示:
x
ˉ
′
=
H
2
×
2
x
ˉ
\bar{x}^{'}=H_{2\times 2}\bar{x}
xˉ′=H2×2xˉ
交比:
交比是
I
P
1
IP^1
IP1 的基本射影不变量。给定 4 个点
x
ˉ
i
\bar{x}_i
xˉi,交比定义为:
C
r
o
s
s
(
x
ˉ
1
,
x
ˉ
2
,
x
ˉ
3
,
x
ˉ
4
)
=
∣
x
ˉ
1
x
ˉ
2
∣
∣
x
ˉ
3
x
ˉ
4
∣
∣
x
ˉ
1
x
ˉ
3
∣
∣
x
ˉ
2
x
ˉ
4
∣
Cross(\bar{x}_{1},\bar{x}_{2},\bar{x}_{3},\bar{x}_{4})=\frac{\left |\bar{x}_{1} \bar{x}_{2} \right |\left |\bar{x}_{3} \bar{x}_{4} \right |}{\left |\bar{x}_{1} \bar{x}_{3} \right |\left |\bar{x}_{2} \bar{x}_{4} \right |}
Cross(xˉ1,xˉ2,xˉ3,xˉ4)=∣xˉ1xˉ3∣∣xˉ2xˉ4∣∣xˉ1xˉ2∣∣xˉ3xˉ4∣
其中:
∣
x
ˉ
i
x
ˉ
j
∣
=
d
e
t
[
x
i
1
x
j
1
x
i
2
x
j
2
]
\left |\bar{x} _{i}\bar{x} _{j} \right |=det\begin{bmatrix} x_{i1} & x_{j1}\\ x_{i2} &x_{j2} \end{bmatrix}
∣xˉixˉj∣=det[xi1xi2xj1xj2]
交比的主要特点:
- 交比的值与各点 x ˉ i \bar{x} _{i} xˉi所用的具体的齐次表示无关。
- 如果每点 x ˉ i \bar{x} _{i} xˉi都是有限点,并在齐次表示中均选择 x 2 = 1 x_2 = 1 x2=1 。那么 ∣ x ˉ i x ˉ j ∣ \left |\bar{x} _{i}\bar{x} _{j} \right | ∣xˉixˉj∣ 就表示 x ˉ i \bar{x} _{i} xˉi到 x ˉ j \bar{x} _{j} xˉj的带符号的距离。
- :如果点 x ˉ i \bar{x} _{i} xˉi中有一个理想点,交比的定义仍然有效.。
- 在任何直线的射影变换下,交比的值不变。
共点线: 共点线是直线上共线点的对偶。这意味着平面上的共点线也有几何 I P 1 IP^1 IP1。特别是,任何四条共点线都有一个确定的交比。