對偶圖形

對偶圖形(dual figures)，具有特定關係的兩個圖形。指成對偶對應的幾何圖形。射影幾何中一個圖形與把其中的各個幾何元素換成對偶元素，把其中的各個運算換成對偶運算而得到的另一個圖形間的關係。

例如，在射影平面上，把由點和直線所組成的一個圖形中的各元素改為它的對偶元素，各運算改為它的對偶運算，其結果形成另一個圖形，這兩個圖形稱為對偶圖形。又如在三維射影空間中，把由點、直線和平面所組成的一個圖形中各元素改為它的對偶元素，各運算改為它的對偶運算，其結果形成另一個圖形，這兩個圖形稱為空間中的對偶圖形。

其中對偶元素是射影幾何的一個數學術語，指射影幾何中元素間的一種特殊關係。在射影平面上，點與直線互為對偶元素。在三維射影空間中，點與平面互為對偶元素，直線的對偶元素仍是直線。 ^[2] 

定義1，“點”與“直線”叫做射影平面上的對偶元素。

定義2，“過一點作一直線”與“在一直線上取一點”叫做對偶作圖。

定義3，設有點和直線做組成的圖形，將此圖形中各元素改為它的對偶元素，各作圖改為對偶作圖，其結果形成另一圖形，這兩個圖形叫做對偶圖形。

由此定義可知，點列和線束是對偶圖形，如右圖1所示。

屬於同一平面的所有點的集合叫點場（點域），所在平面叫點場的底。點場的對偶圖形是屬於同一平面的所有直線的集合，叫做線場（線域），所在平面叫做線場的底。

點列和線束叫做一維基本形。點場與線場叫做二維基本形。 ^[1] 

作出下列圖形的對偶圖形。

其對偶圖形如下圖1所示。

作為對偶圖形的例子，我們引進後面常用的一些簡單平面圖形及其對偶圖形。 ^[1] 

由四個點（其中無三點共線）以及連結其中任意兩點的六條直線所組成的圖像叫完全四點形（右圖a）。這四個點叫定點，六條直線叫邊，沒有公共頂點的兩邊叫對邊，共有三對對邊，三對對邊的交點叫對邊點，它們構成一個三點形，叫對邊三點形。 ^[1] 

由四條直線（其中無三線共點）以及其中任意兩條直線的六個交點所組成的圖形叫完全四邊形（右圖b）。這四條直線叫邊，六個點叫頂點，不在公共邊上的兩頂點叫對頂，共有三對對頂，三對對頂的連線叫對頂線，它們構成一個三線形，叫對頂三線形。 ^[1]