2D 射影平面
直线的齐次表示:
平面上的一条直线的方程
a
x
+
b
y
+
c
=
0
ax+by+c=0
ax+by+c=0可以用矢量
(
a
,
b
,
c
)
T
(a,b,c)^T
(a,b,c)T表示。要注意的是对任何非零的k矢量
(
a
,
b
,
c
)
T
(a,b,c)^T
(a,b,c)T与
k
(
a
,
b
,
c
)
T
k(a,b,c)^T
k(a,b,c)T表示同一直线。
点的齐次表示:
一个点的任何齐次矢量的表示形式为
x
=
(
x
1
,
x
2
,
x
3
)
T
x=(x_1,x_2,x_3)^T
x=(x1,x2,x3)T,其非齐次坐标
x
=
(
x
1
/
x
3
,
x
2
/
x
3
)
T
x=(x_1/x_3,x_2/x_3)^T
x=(x1/x3,x2/x3)T。
结论1:
点x在直线l上的充要条件是
x
T
l
=
0
x^T l=0
xTl=0。注意有
x
T
l
=
l
T
x
=
x
∙
1
=
0
x^T l=l^T x=x∙1=0
xTl=lTx=x∙1=0
结论2:
两直线 l和 l’的交点是点
x
=
l
×
l
′
x=l×l'
x=l×l′
补充a和b两向量的叉乘:
c
=
a
×
b
=
(
a
.
y
∗
b
.
z
−
b
.
y
∗
a
.
z
,
b
.
x
∗
a
.
z
−
a
.
x
∗
b
.
z
,
a
.
x
∗
b
.
y
−
b
.
x
∗
a
.
y
)
c = a×b =(a.y*b.z-b.y*a.z , b.x*a.z-a.x*b.z , a.x*b.y-b.x*a.y)
c=a×b=(a.y∗b.z−b.y∗a.z,b.x∗a.z−a.x∗b.z,a.x∗b.y−b.x∗a.y)
结论3:
过两点x和x’的直线是
l
=
x
×
x
′
l=x×x'
l=x×x′
平行线的交点:
两平行直线
a
x
+
b
y
+
c
=
0
ax+by+c=0
ax+by+c=0和
a
x
+
b
y
+
c
′
=
0
ax+by+c'=0
ax+by+c′=0由结论2可得交点
(
b
,
−
a
,
0
)
T
(b,-a,0)^T
(b,−a,0)T。
理想点和无穷远线:
当齐次矢量
x
=
(
x
1
,
x
2
,
x
3
)
T
x=(x_1,x_2,x_3)^T
x=(x1,x2,x3)T中
x
3
=
0
x_3=0
x3=0时的点被称为理想点,或无穷远点。所有理想点集合在一条直线上,称无穷远线,用
I
∞
=
(
0
,
0
,
1
)
T
I_∞=(0,0,1)^T
I∞=(0,0,1)T表示。
射影平面的模型:
I
P
2
IP^2
IP2的点和线分别为中过原点的射线和平面
x
1
x
2
x_1 x_2
x1x2平面上的射线表示理想点,而
x
1
x
2
x_1 x_2
x1x2平面表示
I
∞
I_∞
I∞。
图
1
射
影
平
面
的
模
型
图1射影平面的模型
图1射影平面的模型
结论4 (对偶原理):
2维射影几何中的任何定理都有一个对应的对偶定理,它可以通过互换原定理中点和线的作用而导出。
二次曲线与对偶二次曲线:
在欧氏几何中,二次曲线有三种主要类型 : 双曲
线,椭圆和抛物线。
在非齐欢坐标中,二次曲线的方程是
a
x
2
+
b
x
y
+
c
y
2
+
d
x
+
e
y
+
f
=
0
ax^2+bxy+cy^2+dx+ey+f=0
ax2+bxy+cy2+dx+ey+f=0
通过替代
x
→
x
1
⁄
x
3
,
y
→
x
2
⁄
x
3
x→x_1⁄x_3 , y→x_2⁄x_3
x→x1⁄x3,y→x2⁄x3,得到:
a
x
1
2
+
b
x
1
x
2
+
c
x
2
2
+
d
x
1
x
3
+
e
x
2
x
3
+
f
x
3
2
=
0
ax_1^2+bx_1 x_2+cx_2^2+dx_1 x_3+ex_2 x_3+fx_3^2=0
ax12+bx1x2+cx22+dx1x3+ex2x3+fx32=0
表示成矩阵形式为
x
T
C
x
=
0
x^T Cx=0
xTCx=0
其中:
C
=
[
a
b
/
2
d
/
2
b
/
2
c
e
/
2
d
/
2
e
/
2
f
]
C=\begin{bmatrix} a &b/2 &d/2 \\ b/2& c & e/2\\ d/2& e/2&f \end{bmatrix}
C=⎣⎡ab/2d/2b/2ce/2d/2e/2f⎦⎤
结论5:
过(非退化)二次曲线
C
C
C上点
x
x
x的切线
l
l
l由
l
=
C
x
l= Cx
l=Cx确定。
对偶二次曲线:
上面定义的二次曲线
C
C
C更确切地应称为点二次曲线,因为它定义的是点的方程。一个由直线的方程定义的二次曲线也由 一个 3x3 矩阵表示,我们把它记为
C
∗
C^*
C∗。二次曲线
C
C
C的切线
l
l
l满足
l
T
C
∗
l
=
0
l^T C ^* l=0
lTC∗l=0。 其中 $C ^*
表
示
表示
表示 C $的伴随矩阵。
图
2
点
二
次
曲
线
及
其
对
偶
二
次
曲
线
图2点二次曲线及其对偶二次曲线
图2点二次曲线及其对偶二次曲线
退化二次曲线:
非满秩矩阵
C
C
C所定义的二次曲线称作退化二次曲线。退化的点二次曲线包含两条线(秩 2) 或一条重线(秩 1) 。