1.基本表示
列向量:粗體符號如x總是表示列向量,其轉(zhuǎn)置表示行向量。
歐氏空間:,
為維度。
射影空間:,
為維度。
2D射影空間與歐氏空間關(guān)系:
2.2D射影平面
1)點與直線
點的表示:
直線的表示:
結(jié)論1:點在直線
上當(dāng)且僅當(dāng)
結(jié)論2:兩直線和
的交點是
結(jié)論3:過兩點和
的直線是
2)理想點與無窮遠(yuǎn)線
理想點:的點,可寫成
無窮遠(yuǎn)線:理想點的集合,直線方程為
對偶原理:2d射影幾何中的任何定理,互換定理中的點和線的位置,新的結(jié)論依然成立。
3)
中的點和直線在
中的繪制
點:過原點的射線(不包括原點)
直線:過原點的平面(不包括原點)
4)二次曲線與對偶二次曲線
二次曲線的表示形式
a.二階多項式
? ??????????????
b.矩陣
? ??????????????
其中:
? ??????????????
二次曲線的求解(五點法)
? ??????????????
其中,,稱二次曲線時我們可以直接說二次曲線
或者二次曲線
二次曲線的切線
結(jié)論4:與二次曲線相切于點
的直線
由
確定
對偶二次曲線
上面定義的二次曲線是通過二次曲線上的點來定義的,我們也可以使用二次曲線上的切線來定義二次曲線,記為:
? ??????????????
退化二次曲線
非滿秩矩陣所定義的二次曲線稱為退化二次曲線,退化的點二次曲線包含兩條線(秩2)或一條重線(秩1)
3.射影變換
射影映射是到它自身的一種滿足下列條件的可逆映射
三點
共線當(dāng)且僅當(dāng)
也共線。映射
是射影映射的充要條件是:存在一個
非奇異矩陣(行列式不為零)
,使得
的任何一個用矢量
表示的點都滿足
舉個栗子:消除平面透視圖像的射影失真
1)直線與二次曲線的變換
在點變換下
直線的變換:
二次曲線的變換:
對偶二次曲線的變換:
4.變換的層次
1)等距變換
變換方程:
? ??????????????
分塊形式:
? ???????????????
其中,
為保向變換,
稱為逆向變換,
為
旋轉(zhuǎn)矩陣,滿足正交
性(),
是二維平移向量。
不變量:長度、角度、面積。
群和定向:保向的等距變換形成一個群,逆向的等距變換沒有該性質(zhì)。
2)相似變換
變換方程:
? ??????????????
分塊形式:
? ??????????????
不變量:直線夾角、線段長度比、面積比。
度量結(jié)構(gòu):確定到只差一個相似變換的結(jié)構(gòu),第九章將繼續(xù)討論重構(gòu)。
3)仿射變換
變換方程:
? ??????????????
分塊形式:
? ??????????????
其中是非奇異矩陣,可以由
進(jìn)一步分解:
? ??????????????
? ??????????????
式中是對角陣,
是正交矩陣(
)。仿射矩陣
被看成是對原物體旋轉(zhuǎn)
,然后對物體的在
和
方向分別縮放
倍,然后再旋轉(zhuǎn)
。
(以上操作相當(dāng)在物體方向?qū)ξ矬w縮放
倍,在垂直于
的方向縮放
倍),最后對物體執(zhí)
行一個角度的旋轉(zhuǎn)。
不變量:平行線,平行線段的長度比,面積比
4)射影變換
分塊形式:
? ??????????????
不變量:四個共線點的交比
補(bǔ)充:射影變換與仿射變換的本質(zhì)區(qū)別為射影變換中的不是零,因此變換是非線性的。比如仿射變換作用于理想點,結(jié)果仍為理想點,而射影變換則將理想點變換為有限點。
射影變換的分解:
? ??????????????
其中是滿足
的歸一化上三角矩陣。如果
,上述分解是有效的,如果
為正,則分解唯一。
5.1D射影幾何
直線上的點用齊次坐標(biāo)表示為表示,
的點稱為理想點。
交比? ? 交比是的基本射影不變量,給定4個點,交比的定義為
? ??????????????
其中:
? ??????????????
共點線? ? 共點線是直線上共線點的對偶,任何四條共點線都有一個確定的交比