查看“︁射影平面”︁的源代码

{{NoteTA
|G1 = Math
|1 = zh-tw:投影平面; zh-cn:射影平面
|2 = zh-tw:投影空間; zh-cn:射影空间
|3 = zh-tw:投影幾何; zh-cn:射影几何
}}

{{for|2维和4维的流形的情形|实射影平面|复射影平面}}

[[File:Railroad-Tracks-Perspective.jpg|thumb|right|兩條平行線似乎相交於「無窮遠處」的[[消失點]]。在投影平面裡，這是真的。]]
在[[數學]]裡，'''投影平面'''（projective plane）是一個延伸[[平面 (数学)|平面]]概念的幾何結構。在普通的[[二維空間|歐氏平面]]裡，兩條線通常會相交於一點，但有些線（即[[平行線]]）不會相交。投影平面可被認為是個具有額外的「無窮遠點」之一般平面，平行線會於該點相交。因此，在投影平面上的兩條線會相交於一個且僅一個點。

[[文藝復興時期]]的藝術家在發展[[透視投影]]的技術中，為此一數學課題奠定了基礎。投影平面的典型範例為[[實投影平面]]，亦稱為「擴展歐氏平面」。此一範例在[[代數幾何]]、[[拓撲學]]及[[投影幾何]]內都很重要，在各領域內的形式均略有不同，可標計為 {{nowrap|PG(2, '''R''')}}、'''RP'''<sup>2</sup> 或 '''P'''<sub>2</sub>('''R''') 等符號。還有許多其他的投影平面，包括無限（如[[复射影平面|複投影平面]]）與有限（如[[法諾平面]]）之類型。

投影平面是二維[[投影空間]]，但並不是所有投影平面都可以嵌入三維投影空間內。投影平面是否能嵌入三維投影空間取決於該平面是否為[[笛沙格定理|笛沙格平面]]。

==定義==

'''投影平面'''由一組'''線'''、一組'''點'''，以及一個點與線之間的'''重合關係'''所組成，並具有以下性質<ref>在更形式的定義中，會指出「點、線及重合關係」為[[基礎概念]]（未定義名詞）。此一形式的觀點在瞭解投影平面內[[對偶性 (投影幾何)|對偶性]]這個概念時是很必要的。</ref>：
<div id="axioms-of-projective-planes">
#給定任意兩個不同的點，恰有一條線會重合這兩個點。
#給定任意兩條不同的線，恰有一個點會重合這兩條線。
#存在四個點，使得沒有線可以重合兩個以上的這些點。
</div>
第二個條件意指不存在[[平行線]]。最後一個條件則排除了「退化」的情況（見[[#退化平面|下文]]）。「重合」一詞用來強調點與線之間關係的對稱性質。因此，使用「點 P 重合線 l」來替代「P 位於 l 上」或「l 通過 P」。

==一些例子==

===擴展歐氏平面===

將一般的歐氏平面變換成投影平面的步驟如下：
#將每組平行線附加上一個新的點。該點可被視為重合該組的每條線。不同組平行線會得到不同的點。這些點被稱為[[無窮遠點]]。
#增加一條線，讓該線視為重合所有（且只有）無窮遠點。該線被稱為[[無窮遠線]]。

該擴展結構即為投影平面，並被稱為「擴展歐氏平面」或「[[實投影平面]]」。上述用來得到投影平面之步驟稱之為「投影完備」或投影化（projectivization）。該平面亦可由將 '''R'''<sup>3</sup> 視為向量空間來建構（見[[#向量空間建構|下文]]）。

===投影莫爾頓平面===
[[File:Moulton plane2.svg|thumb|right|300px|莫爾頓平面。線右斜，且在跨過y軸時彎曲。]]
以一般的坐標表示，所有[[莫爾頓平面]]的點都是歐氏平面上的點。要從歐氏平面造出莫爾頓平面，有些線須被重新定義。亦即，部分點組成的集合將會改變，但其他的線則會維持不變。重新定義所有具負斜率的線，使這些線上的點在負x坐標（y軸左邊）時維持原來的點，但在正x坐標（y軸右邊）時以具相同的y軸截點但為兩倍斜率之線上的點取代之，看起來就像是個「彎曲」的線。

莫爾頓平面有平行線，且為[[仿射平面]]。該平面可被投影化，如同前面的例子一般，以獲得「投影莫爾頓平面」。[[笛沙格定理]]不論是在莫爾頓平面或投影莫爾頓平面上都不是個有效的定理。

===有限的範例===

此一範例只有13個點及13條線，點標記為 P<sub>1</sub>、…、P<sub>13</sub>，而線則標記為 m<sub>1</sub>、…、m<sub>13</sub>。其[[重合關係]]（哪個點在哪條線上）可由以下[[重合矩陣]]給出。該矩陣的行由點標記，列由線標記。在行 i 及列 j 上的值 1 意指點 P<sub>''i''</sub> 位於線 m<sub>''j''</sub> 之上，而 0（此處為了便於閱讀而留白）則意指點與線沒有重合。該矩陣為霈橘-韋克斯勒範式（Paige-Wexler normal form）。
:::{| class="wikitable"
|-
! &nbsp;!! m<sub>1</sub>!! m<sub>2</sub> !! m<sub>3</sub>!! m<sub>4</sub>!! m<sub>5</sub>!! m<sub>6</sub>!! m<sub>7</sub>!! m<sub>8</sub>!! m<sub>9</sub>!! m<sub>10</sub>!! m<sub>11</sub>!! m<sub>12</sub>!! m<sub>13</sub>
|-
| '''P<sub>1</sub>''' || 1 || 1 || 1 || 1 || &nbsp; || &nbsp; || &nbsp; || &nbsp; || &nbsp; || &nbsp; || &nbsp; || &nbsp; || &nbsp;
|-
| '''P<sub>2</sub>''' || 1 || &nbsp; || &nbsp; || &nbsp; || 1 || 1 || 1 || &nbsp; || &nbsp; || &nbsp; || &nbsp; || &nbsp; || &nbsp;
|-
| '''P<sub>3</sub>''' || 1 || &nbsp; ||&nbsp;|| &nbsp; || &nbsp; || &nbsp; || &nbsp; || 1|| 1 || 1 || &nbsp; || &nbsp; || &nbsp;
|-
| '''P<sub>4</sub>''' || 1 || &nbsp; || &nbsp; || &nbsp; || &nbsp; ||&nbsp;|| &nbsp;||&nbsp;||&nbsp; || &nbsp; || 1 || 1 || 1
|-
| '''P<sub>5</sub>''' || &nbsp; || 1 || &nbsp; || &nbsp; || 1 ||&nbsp;|| &nbsp;||1|| &nbsp; || &nbsp; || 1 || &nbsp; || &nbsp;
|-
| '''P<sub>6</sub>''' || &nbsp; || 1 || &nbsp; || &nbsp; || &nbsp; ||1|| &nbsp;||&nbsp;|| 1 || &nbsp; || &nbsp; || 1 || &nbsp;
|-
| '''P<sub>7</sub>''' ||   || 1 ||   ||   ||   || || 1|| ||   || 1 ||   ||   || 1
|-
| '''P<sub>8</sub>''' ||   ||   || 1 ||   || 1 || ||  || || 1 ||   ||   ||   || 1
|-
| '''P<sub>9</sub>''' ||   ||   || 1 ||   ||   ||1||  || ||   || 1 || 1 ||   ||  
|-
| '''P<sub>10</sub>''' ||   ||   || 1 ||   ||   || || 1||1||   ||   ||   || 1 ||  
|-
| '''P<sub>11</sub>''' ||   ||   ||   || 1 || 1 || ||  || ||   || 1 ||   || 1 ||  
|-
| '''P<sub>12</sub>''' ||   ||   ||   || 1 ||   ||1||  ||1||   ||   ||   ||   || 1
|-
| '''P<sub>13</sub>''' ||   ||   ||   || 1 ||   || || 1|| || 1 ||   || 1 ||   ||  
|}

為證明此一範例符合投影平面的條件，可觀察每兩行都恰有一個共同的列出現 1（每對不同點會重合唯一條線），且每兩列都恰有一個共同的行出現 1 （每對不同線會重合唯一個點）。對許多的可能性，舉點 P<sub>1</sub>、P<sub>4</sub>、P<sub>5</sub> 及 P<sub>8</sub> 為例，都會滿足第3個條件。這個範例被稱之為「三階投影平面」。

==向量空間建構==

雖然擴展實平面上的無窮遠線似乎與該投影平面上的其他線有不同的性質，但實際並非如此。另一個建構相同投影平面的方法可顯示不存在任何一條線能與其他條線（在幾何意思上）相區分。在此一建構中，每個實投影平面上的「點」均為通過三維向量空間原點的一維子空間，而投影平面上的「線」則為通過三維空間原點的平面。此一概念可被廣義化，並更精確描述如下<ref name="Baez2002">Baez (2002).</ref>。

令 K 為任一[[除環]]，''K''<sup>3</sup> 為所有元素為 K 的三元組 ''x'' = (''x''<sub>0</sub>, ''x''<sub>1</sub>, ''x''<sub>2</sub>) 組成之集合。對 ''K''<sup>3</sup> 內任一非零元素 x，''K''<sup>3</sup> 內包含 x 的最小子空間（可看作所有透過原點的線內之向量）為 ''K''<sup>3</sup> 的子集
:<math>\{ k x : k \in K \}</math>
類似地，令 x 與 y 為 ''K''<sup>3</sup> 內線性獨立的元素，意即 {{nowrap|1=''kx'' + ''ly'' = 0}} 蘊涵 {{nowrap|1=''k'' = ''l'' = 0}}。''K''<sup>3</sup> 內包含 x 與 y 的最小子空間（可看作所有通過原點的平面內之向量）為 ''K''<sup>3</sup> 的子集
:<math>\{k x + l y : k, l \in K\}</math>
該二維子空間包含許多通過原點的一維子空間，可透過固定 k 與 l 的數值，並取所得向量的倍數而獲得。所選擇之 k 與 l 的比例若相同，則會給出相同的線。

在 K 上的'''投影平面'''，標記為 PG(2,''K'') 或 ''K'''''P'''<sup>2</sup>，由以 ''K''<sup>3</sup> 內一維子空間作為該平面上之點而組成。PG(2,''K'') 內點的子集 L 是 PG(2,''K'') 內的一條線，若存在 ''K''<sup>3</sup>內的二維子空間（由一維子空間組成之集合）恰好為 L。

對此一建構會產生投影平面的證明通常會留為線性代數的練習題。

此一建構的另一種（代數）觀點如下。此一投影平面的點等價於集合 {{nowrap|''K''<sup>3</sup> ∖ {(0, 0, 0)} }} 與以下等價關係的[[同餘]]
:''x'' ~ ''kx'',  對所有在 ''K''<sup>×</sup> 內的 ''k''
投影平面上的線可精確定義如上。

PG(2,''K'') 內一點的坐標 (''x''<sub>0</sub>, ''x''<sub>1</sub>, ''x''<sub>2</sub>) 被稱為[[齊次坐標]]。每個三元組 (''x''<sub>0</sub>, ''x''<sub>1</sub>, ''x''<sub>2</sub>) 均表示 PG(2,''K'') 內被明確定義的點，除了三元組 (0, 0, 0) 沒有表示任何點外。須注意，每個在 PG(2,''K'') 內的點均可以被多個三元組所表示。

若 K 是一個[[拓撲空間]]，則 ''K'''''P'''<sup>2</sup>，會繼承透過[[積拓撲|積]]、[[子空間拓撲|子空間]]與[[商拓撲|商空間]]形成的拓撲結構。

===經典例子===

[[實投影平面]] '''RP'''<sup>2</sup> 為將 K 取為[[實數]] '''R''' 時產生之投影平面。作為一封閉、不可定向的實二維[[流形]]，該平面常被當作拓撲學裡的一基本例子<ref name="Bredon1993">例如，實投影平面在Bredon於1993年出版的書中目錄裡即出現過37次。</ref>。

在此一建構中，考量 '''R'''<sup>3</sup> 內球心在原點的一單位球面。每個在此一建構內三維的線會與球面相交於一對對極點。因為三維的線表示 '''RP'''<sup>2</sup> 內的一點，所以可取該球面上的對極點，得到 '''RP'''<sup>2</sup> 的相同模型。'''RP'''<sup>2</sup> 內的線在對極點的建構之下，則為該球面上的大圓（三維的平面與球面的相交）。上述描述給出[[橢圓幾何]]的標準模型。

[[複投影平面]] '''CP'''<sup>2</sup> 則為將 K 取為[[复数 (数学)|複數]] '''C''' 時產生之投影平面。該平面是個封閉複二維流形，且因此是個封閉、不可定向的實四維流形。該平面與在其他[[體 (數學)|體]]上的投影平面均被當作[[代數幾何]]內的基本例子<ref name="Shafarevich1994">例如，體上的投影平面在Shafarevich於1194年出版的書中每一章都有提到。</ref>。

[[四元投影平面]]亦被視為一獨立的有趣課題。

===有限體平面===

由[[韋德伯恩小定理]]可知，有限除環必定可交換，且為一個體。因此，此一建構的有限例子亦被稱為「體平面」。取 K 為一具 ''q'' = ''p''<sup>''n''</sup>（其中 p 為質數）個元素的[[有限體]]，則會產生一個具 ''q''<sup>2</sup> + ''q'' + 1 個點的投影平面。該體平面通常標記為 PG(2,''q'')，其中 PG 表示投影幾何，「2」為其維度，而 q 則為該平面的「階」（為任一線上的點之數量減一）。下面所討論的法諾平面即標記為 PG(2,2)。「[[#有限的範例|有限的範例]]」一節中所舉的例子為投影平面 PG(2,3)。

[[File:fano plane.svg|thumb|right|法諾平面。以小黑點表示點，以線段與圓圈表示線。]]

[[法諾平面]]是由具2個元素的體所產生的投影平面，為最小的投影平面，僅具7個點及7條線。在右圖中，以小黑點表示7個點，並以6個線段與1圓圈表示7條線。不過，亦可等價地將小黑點視為「線」，並將線段與圓圈視為「點」。這為投影平面內[[對偶性 (投影幾何)|對偶性]]的一個例子：若線與點互換，其結果仍為投影平面（見[[#對偶性|下文]]）。7個點的置換會將[[重合 (幾何)|共線]]點（於同一線上的點）換成共線點，這稱之為該平面的[[直射變換]]或[[對稱|對稱性]]。一幾何的直射變換會形成一個在置換下的[[群 (數學)|群]]，而對法諾平面來說，該群 (PΓL(3,2) = PGL(3,2)) 有168個元素。

===笛沙格定理與笛沙格平面===

[[笛沙格定理]]在投影平面上是普遍有效的，若且唯若該平面可由如[[#向量空間建構|上述]]在除環上的三維向量空間所建構<ref>[[大衛·希爾伯特]]證明了該陳述較難的「唯若」部分。</ref>。此類平面稱之為「笛沙格平面」，因[[吉拉德·笛沙格]]而得名。實（或複）投影平面與[[#一些例子|上述]]的三階投影平面均為笛沙格投影平面的例子。無法依此方法建構的投影平面則稱為[[非笛沙格平面]]，而上面的[[莫爾頓平面]]即為一例。PG(2,''K'') 的標記法僅適用於笛沙格平面。

==子平面==

投影平面的'''子平面'''是指該平面上點的子集，使其可組成具相同重合關係的投影平面。

[[理查德·于貝爾·布魯克]]於1955年證明下列定理<ref>{{harv|Bruck|1955}}</ref>。令 Π 為 N 階有限投影平面，且具 M 階的純子平面 Π<sub>0</sub>，則 ''N'' = ''M''<sup>2</sup> 或 ''N'' ≥ ''M''<sup>2</sup> + ''M''。

當 N 為完全平方數時，<math>\sqrt{N}</math> 階的子平面稱之為「貝爾子平面」（Baer subplanes）。每個平面上的點均處於貝爾子平面的一條線上，且每條平面上的線均包含一個貝爾子平面上的點。

在有限笛沙格平面 PG(2,''p<sup>n</sup>'') 裡，其子平面的階為有限體 GF(''p<sup>n</sup>'') 子體的階，亦即為 ''p<sup>i</sup>''，其中 i 為 n 的因數。而在非笛沙格平面上，布魯克定理可給出與子平面的階有關的唯一訊息。該定理中不等式仍不知其為等式時的條件為何。是否在 N 階子平面裡存在一個 M 階子平面，使得 ''M''<sup>2</sup> + ''M'' = ''N''，這仍是個未解的問題。若此類子平面存在，則必為合數（非質數）階的投影平面。

===法諾子平面===

'''法諾子平面'''是指一個同構於 PG(2,2) 的子平面，該平面為唯一的二階投影平面。

若考慮法諾平面上的一個「四邊形」（4個點，沒有3點共線），這些點可決定平面上的6條線。其他3個點（稱為該四邊形的「對角點」）為這6條線相交於四邊形頂點外的其他點。第七條線則包含所有的對角點（通常繪成圓形或半圓形）。

將該子空間以「法諾」為名其實是一種誤稱。[[基諾·法諾]]（1871年-1952年），在發展一套新的歐氏幾何公理時，將任一四邊形的對角點絕不會共線作為其中的一個公理。這即是所謂的「法諾公理」。不過，法諾子平面其實違反了法諾公理，因此應該被稱為「非法諾子平面」，但這個名稱沒有獲得太多人的支持。

在有限笛沙格平面 PG(2,''q'') 裡，法諾子平面存在若且唯若 q 為偶數（亦即為2的次方）。此一條件在非笛沙格平面裡是不確定的。法諾子平面可能存在於任一6階以上的非笛沙格平面內，而事實上，在所有曾被找過的非笛沙格平面（無論是奇數或偶數階）內，均被發現含有法諾子平面。

一個未解的問題為：是否每個非笛沙格平面都含有法諾子平面？

與法諾子平面有關的一個定理為由格里森（Gleason）於1956年提出，為：

:若在有限投影平面上的每個四邊形均有共線的對角點，則該平面為（偶數階的）笛沙格平面。

==仿射平面==

歐氏平面的投影化能產生實投影平面。相反的操作，從投影平面開始，移除一條線及所有與該線重合的點，可得到'''仿射平面'''。

===定義===
更形式化地說，[[仿射空間]]由一組'''線'''、一組'''點'''，及一個點與線間的'''重合關係'''，並具有下列性質：
<div id="axioms-of-affine-planes">
#給定任意兩個不同的點，恰有一條線重合兩個點。
#給定任意直線 l 及任意不與 l 重合的點 P，恰有一條與 P 重合，且不與 l 相交的線。
#存在4個點，使得沒有線能重合兩個以上的這些點。
</div>
第2個條件指存在[[平行線]]，並被稱為[[約翰·普萊費爾|普萊費爾]]公理。該條件內的「不相交」為「不存在重合兩條線的點」之簡寫。

歐氏平面與莫爾頓平面均為無限仿射平面的例子。有限投影平面在移除一條線或該線上的點後，會形成一個有限仿射平面。有限仿射平面的'''階'''為該平面上任一線的點之數量（其數值會與其由來之投影平面的階相同）。由投影平面 PG(2,''q'') 形成的仿射平面標記為 AG(2,''q'')。

存在 N 階投影平面，若且唯若存在 N 階[[仿射平面]]。當只有一個仿射平面為 N 階時，亦只會有一個投影平面為 N 階，但反之不一定正確。移除投影平面上不同的線所形成的仿射平面間會同構，若且唯若移除的線在投影平面直射變換群屬同一軌道。這些敘述在無限投影平面時亦成立。

===從仿射平面建構投影平面===

K 上的仿射平面 ''K''<sup>2</sup> 可透過將仿射（非齊次）坐標映射至齊次坐標來嵌入 ''K'''''P'''<sup>2</sup>，
: <math>(x_1, x_2) \to (x_1, x_2, 1).</math>

其像的互補為 (''x''<sub>1</sub>, ''x''<sub>2</sub>, 0) 形式的點。從剛才所給的嵌入之觀點來看，這些點為[[無窮遠點]]，會構成 ''K'''''P'''<sup>2</sup> 內的一條線，即該線由 ''K''<sup>3</sup> 內的平面
:<math>\{k (0, 1, 0) + l (1, 0, 0) : k, l \in K\}</math>

所形成，稱之為[[無窮遠線]]。無窮遠點是平行為在建構擴展實平面時會增加的「額外」點；其中，點 (''x''<sub>1</sub>, ''x''<sub>2</sub>, 0)即為所有斜率為 ''x''<sub>2</sub> / ''x''<sub>1</sub> 的線會相交之點。例如，考慮兩條在仿射平面 ''K''<sup>2</sup> 上的線
: <math>u = \{(x, 0) : x \in K\}</math>
: <math>y = \{(x, 1) : x \in K\}</math>

這兩條線的斜率均為0且不相交。可透過上述的嵌入將這兩條線視為 ''K'''''P'''<sup>2</sup> 的子集，但這些子集並不是 ''K'''''P'''<sup>2</sup> 的線，還需要在每個子集上加入點 (1, 0, 0)；亦即，讓
: <math>\bar{u} = \{(x, 0, 1) : x \in K\} \cup \{(1, 0, 0)\}</math>
: <math>\bar{y} = \{(x, 1, 1) : x \in K\} \cup \{(1, 0, 0)\}</math>

上面兩個集合才是 ''K'''''P'''<sup>2</sup> 內的線。ū 由 ''K''<sup>3</sup> 內的平面
: <math>\{k (0, 0, 1) + l (1, 0, 0) : k, l \in K\}</math>

所形成；而 ȳ 則由平面
: <math>{k (0, 1, 1) + l (1, 0, 0) : k, l \in K}</math>
所形成。投影線 ū 與 ȳ 相交於 (1, 0, 0)。事實上，所有在 ''K''<sup>2</sup> 內斜率為 0 的線，當以上述方式投影化後，均會相交於 ''K'''''P'''<sup>2</sup> 內的點 (1, 0, 0)。

當一仿射平面不具有 K 為除環之 ''K''<sup>2</sup> 形式時，仍能被嵌入於一投影平面內，但上面所用之建構並無法生效。為執行此類嵌入的一個常用方法涉及擴展仿射坐標的集合，並需作用於更一般的「代數」內。

===廣義坐標===
{{main|平面三元環}}

可建構一個坐標「環」，稱之為[[平面三元環]]（不是真正的環），對應至任何一個投影平面。該平面三元環不必然是個體或除環，且有許多投影平面不是由除環所建構出的。那些不可由除環建構出來的投影平面稱之為[[非笛沙格平面]]，且是個活躍的研究領域。[[凱萊平面]]為[[八元數]]上的一投影平面，該平面即是其中之一，因為八元數無法形成一個除環<ref name="Baez2002"/>。

相反地，給定一平面三元環 (R,T)，可建構出一投影平面（見下文）。其之間的關係不是一對一的。投影平面可以與數個非同構的平面三元環有關。三元運算子 T 可用來產業2個在集合 R 上的二元運算子，以如下方式：
: a + b = T(a,1,b)，及
: a • b = T(a,b,0)。
若 T(x,m,k) = x•m + k，則稱該三元運算子是「線性」的。當投影平面的坐標系確實形成一個環時，一個三元運算子可使用右邊的環運算來定義，以產生出一個平面三元環。

此一平面三元坐標環的代數性質可對應至該平面的幾何重合性質。例如，[[笛沙格定理]]對應至由[[除環]]中獲得的坐標環，而[[帕普斯定理]]則對應至由[[可交換]]體中獲得的該環。滿足帕普斯定理的投影平面一般稱為「帕普斯平面」。此外，八元數等不一定具[[結合律]]的[[可除代數]]對應至[[穆方平面]]。

在有限投影平面上，笛沙格定理蘊涵著帕普斯定理此一純幾何敘述目前所得的唯一證明是透過代數的途徑。使用[[韋德伯恩小定理]]可知道有限除環必定是可交換的。（其相反於任一投影平面上均為真，且可以幾何方式證明，但在此敘述中，有限是重要的，因為存在不符合帕普斯定理的無限笛沙格平面。）

使用非齊次坐標與平面三元環描述 ''N''(≥ 2) 階有限投影平面如下：
:令一點標記為 (''∞'')。
:標記 N 個點為 (''r'')，其中 ''r'' = 0, ..., (''N''&nbsp;&minus;&nbsp;1)。
:標記 ''N''<sup>2</sup> 個點為 (''r'', ''c'')，其中 ''r'', ''c'' = 0, ..., (''N''&nbsp;&minus;&nbsp;1)。
在這些點上，建構下列的線：
:一條線 <nowiki>[</nowiki>''∞''<nowiki>]</nowiki> = { (∞), (0), ..., (N ? 1)}
:N 條線 <nowiki>[</nowiki>''c''<nowiki>]</nowiki> = {(''∞''), (''c'',0), ..., (''c'', ''N''&nbsp;&minus;&nbsp;1)}，其中 ''c'' = 0, ..., (''N''&nbsp;&minus;&nbsp;1)
:''N''<sup>2</sup> 條線 <nowiki>[</nowiki>''r'', ''c''<nowiki>]</nowiki> = {(''r'') 與點 (''x'', '''T'''(''x'',''r'',''c'') }，其中 ''x'', ''r'', ''c'' = 0, ..., (''N''&nbsp;&minus;&nbsp;1) 且 '''T''' 為平面三元環的三元運算子。

舉 N=2 為例，可使用符號 {0,1} 表示2階的有限體。三元運算子定義為 T(x,m,k) = xm + k，其右邊的乘法與加法產生的結果如下：
:一條線 <nowiki>[</nowiki>''∞''<nowiki>]</nowiki> = { (''∞''), (0), (1)}，
:2條線 <nowiki>[</nowiki>''c''<nowiki>]</nowiki> = {(''∞''), (''c'',0), (''c'',1) : ''c'' = 0, 1}，
::<nowiki>[</nowiki>0<nowiki>]</nowiki> = {(''∞''), (0,0), (0,1) }
::<nowiki>[</nowiki>1<nowiki>]</nowiki> = {(''∞''), (1,0), (1,1) }
4條線 <nowiki>[</nowiki>''r'', ''c''<nowiki>]</nowiki>: {(''r'') 與點 (''i'',''ir'' + ''c'')}，其中 i = 0, 1 : ''r'', ''c'' = 0, 1。
::<nowiki>[</nowiki>0,0<nowiki>]</nowiki>: {(0), (0,0), (1,0) }
::<nowiki>[</nowiki>0,1<nowiki>]</nowiki>: {(0), (0,1), (1,1) }
::<nowiki>[</nowiki>1,0<nowiki>]</nowiki>: {(1), (0,0), (1,1) }
::<nowiki>[</nowiki>1,1<nowiki>]</nowiki>: {(1), (0,1), (1,0) }

==退化平面==

<!-- 檔案不存在 [[File:Degenerate planes wec.svg|thumb |（非空）退化投影平面]] ，可從英文維基百科取得 -->

退化平面不符合投影平面定義的第三個條件。退化平面在結構上不夠雜複到足以有趣，但不時會作為一般論述的特例出現。共有7個退化平面（{{harv | Albert | Sandler | 1968}}）如下：

# 空集合;
# 一個點，沒有線；
# 一條線，沒有點；
# 一個點，一組線，該點重合所有的線；
# 一條線，一組點，該線重合所有的點；
# 點 P 重合線 m，任意（亦可能沒有）條線均與 P 重合，且任意個點均與 m 重合；
# 點 P 不重合線 m，任意（亦可能沒有）條線均與 P 重合，且任意個點均與 m 重合。

這7種情形並不是完全獨立的，第4種與第5種情形可視為第6種情形之特例，第2種與第3種情形則可分別視為第4種與第5種情形之特例。第7種情形可因此被分成兩類退化平面如下（下述表示為有限退化平面之情況，但亦可自然地擴展至無限多）：

1) 對任意多點 ''P''<sub>1</sub>, ..., ''P''<sub>''n''</sub>，及線 ''L''<sub>1</sub>, ..., ''L''<sub>''m''</sub>，

:''L''<sub>1</sub> = { ''P''<sub>1</sub>, ''P''<sub>2</sub>, ..., ''P''<sub>''n''</sub>}
:''L''<sub>2</sub> = { ''P''<sub>1</sub> }
:''L''<sub>3</sub> = { ''P''<sub>1</sub> }
:...
:''L''<sub>''m''</sub> = { ''P''<sub>1</sub> }

2) 對任意多點 ''P''<sub>1</sub>, ..., ''P''<sub>''n''</sub>，及線 ''L''<sub>1</sub>, ..., ''L''<sub>''n''</sub>（點與線的數量一樣），

:''L''<sub>1</sub> = { ''P''<sub>2</sub>, ''P''<sub>3</sub>, ..., ''P''<sub>''n''</sub> }
:''L''<sub>2</sub> = { ''P''<sub>1</sub>, ''P''<sub>2</sub> }
:''L''<sub>3</sub> = { ''P''<sub>1</sub>, ''P''<sub>3</sub> }
:...
:''L''<sub>''n''</sub> = { ''P''<sub>1</sub>, ''P''<sub>''n''</sub> }

==直射變換==
{{Main| 直射變換}}

投影平面的[[直射變換]]是指該平面映射至該平面，使點映射至點，線映射至線，而會保留重合關係的的一[[對射]]；亦即，若 σ 為此一對射，且點 P 在線 m 上，則 P<sup>σ</sup> 在 m<sup>σ</sup> 上<ref>幾何學家較喜歡以冪次的符號標記映射，所以P<sup>σ</sup>比σ(P)較為常見。</ref>。

若 σ 是一投影平面的直射變換，點 P 若 P = P<sup>σ</sup>，則稱 P 為 σ 的'''不動點'''；線 m 若 m = m<sup>σ</sup>，則稱 m 為 σ 的'''不動線'''。不動線上的點不一定為不動點，只是這些點在 σ 下的映射值會侷限於該線之上。一個直射變換的所有不動點與不動線會形成一個'''封閉結構'''，這些點與線組成的系統會符合投影平面定義的第一個與第二個條件，但不一定符合第三個條件。因此，任何一個直射變換的不動點與不動線結構會形成一個投影平面，亦或是一個退化平面。其不動結構會形成一個投影平面的直射變換，稱之為'''平面直射變換'''。

===單應性===
{{Main|投影變換}}

PG(2,''K'') 的[[單應性]]（或投影變換）是指該類投影平面的直射變換，使其為對應之向量空間的線性變換。使用齊次坐標，投影變換可表示成在 K 上可逆 3 &times; 3 矩陣，使得 ''y'' = ''M'' ''x''<sup>T</sup>，其中 x 與 y 為 ''K''<sup>3</sup> 上的點，且 M 為在 K 上可逆 3 &times; 3 矩陣<ref>點被視為行向量，所以在此式中的矩陣乘法時，須將點 x 寫成列向量。</ref>。若兩個矩陣間，一個矩陣可透過乘上一常數純量變換成另一矩陣，則這兩個矩陣表示同一投影變換。因此，投影變換所組成的群是[[一般線性群]]除以純量矩陣的商群，稱之為[[投影線性群]]。

PG(2,''K'') 的另一種直射變換可由 K 的[[自同構]]導出，稱之為'''自同構直射變換'''。若 α 為 K 的自同構，則其直射變換由 (x<sub>0</sub>,x<sub>1</sub>,x<sub>2</sub>) → (x<sub>0</sub><sup>α</sup>,x<sub>1</sub><sup>α</sup>,x<sub>2</sub><sup>α</sup>) 給定者，即為一自同構直射變換。[[投影幾何基本定理]]表示，所有 PG(2,''K'') 的直射變換均為投影變換或自同構直射變換。自同構直射變換為平面直射變換。

==平面對偶==
{{Main|對偶性 (投影幾何)}}

{{details|重合結構#對偶結構}}
投影平面被公理化地定義為一[[重合結構]]，有一組點 P、一組線 L，以及決定何點會位於何線上的[[重合關係]] I。當 P 與 L 均僅為集合，兩者間的角色可以互換，並定義出一個'''平面對偶結構'''。

透過交換「點」與「線」的角色，
:C=(P,L,I)
可得到對偶結構
:C* =(L,P,I*),
其中，I* 為 I 的[[反關係]]。

在投影平面裡，包含點、線與其之間重合關係的陳述，若是由另一陳述互換「點」與「線」，並作些必要的文法上之調整而得，則稱之為該陳述的平面對偶陳述。「兩個點會位於唯一條線上」的平面對偶陳述為「兩條線會相交於唯一點上」。

若一陳述於投影平面 C 為真，則該陳述的平面對偶亦必須在對偶平面 C* 上為真。因此，「在C上」證明內的每個陳述均可對偶成在「C*上」證明內的每個陳述。

在投影平面 C 內，可證明存在4條線，其中任意3條線都不會共點。對偶此一定理與投影平面定義的前兩個公理，可證明平面對偶結構 C* 亦為一投影平面，稱之為 C 的'''對偶平面'''。

若 C 與 C* 同構，則稱 C 為'''自對偶'''。任一除環 K 上的投影平面 PG(2,''K'') 均為自對偶。不過，[[非笛沙格平面]]有些不是自對偶（如[[霍爾平面]]），有些則是（如[[休斯平面]]）。

'''平面對偶原則'''表示，對偶任一在自對偶投影平面 C 上的定理，會產生另一個在 C 上一樣有效的定理。

==關聯==
{{main|關聯 (投影幾何)}}
'''對偶變換'''為從投影平面 ''C'' = (''P'', ''L'', I) 至其對偶平面 ''C''* = (''L'', ''P'', I*) ，並保留其重合關係的一映射。亦即，對偶變換 σ 會將點映射至線，線映射至點 (''P''<sup>σ</sup> = ''L'' and ''L''<sup>σ</sup> = ''P'') ，使得若一點 Q 位於一線 m 上（標記為 ''Q'' I ''m''），則 ''Q''<sup>σ</sup> I* ''m''<sup>σ</sup> ⇔ ''m''<sup>σ</sup> I ''Q''<sup>σ</sup>。一對偶變換若為一同構，則稱之為'''關聯'''<ref>{{harv|Dembowski|1968}}  pg.151.</ref>。若關聯存在，則該投影平面 C 為自對偶。

在除環 K 上的投影平面 PG(2,''K'') 裡，對偶亦可稱為'''互反'''（reciprocity）<ref>{{harv|Casse|2006}} pg.94.</ref>。此類平面均為自對偶。依據[[投影幾何基本定理]]，互反由 K 的一個[[自同構函數]]與一個[[直射變換]]所組成。若互反的自同構為恆等函數，則該互反亦稱為'''投影關聯'''。

兩階關聯（[[對合]]）亦稱為'''對極'''（polarity）。若一關聯 φ 不是對極，則 φ<sup>2</sup> 為一非平凡直射變換。

==有限投影平面==

可證明一個投影平面會有相同數量的點與線（有限或無限）。因此，對每個有限投影平面而言，總存在一個[[整數]] ''N'' ≥ 2，使得該平面有
:''N''<sup>2</sup> + ''N'' + 1 個點，
:''N''<sup>2</sup> + ''N'' + 1 條線，
:每條線上有 N + 1 個點，且
:每個點會有 N + 1 條線。
該整數 N 即稱為該投影平面的'''階'''。（另見[[有限幾何]]的條目。）

利用有限體的向量空間建構，可知存在一個為 ''N'' = ''p''<sup>''n''</sup> 階的投影平面，其中 ''p''<sup>''n''</sup> 為任一[[質數冪次]]。實際上，現在所有已知的有限投影平面，其階均為質數冪次。

是否存在其他階的有限投影平面仍是個未解的問題。唯一一個已知在階上的限制為[[Bruck–Ryser–Chowla定理]]，描述若階 N [[同餘]]於1或2模4，則必為兩個完全平方數之和。這排除了 N = 6。下一個 N = 10 的例子也已透過大量的電腦運算排除。剩下的什麼都還不知道；尤其是，是否存在一個12階的有限投影平面仍然未決。

另一個存在已久的未決問題為，是否存在一個「質數」階有限投影平面不是有限體平面（等價地說，是否存在一個質數階的非笛沙格投影平面）。

N階投影平面均為[[斯坦納系統]] S(2, ''N''&nbsp;+&nbsp;1, ''N''<sup>2</sup>&nbsp;+&nbsp;''N''&nbsp;+&nbsp;1)。相反地，亦可證明所有具(λ = 2)形式的斯坦納系統均為投影平面。

N階相互[[希臘拉丁方陣|正交拉丁方陣]]的數量至多為 ''N'' &minus; 1，且等式存在若且唯若存在一個 N 階投影平面。

所有投影平面的分類仍遠未完成，但已知部分小階的結果如下：

* 2：均同構於 PG(2,2)
* 3：均同構於 PG(2,3)
* 4：均同構於 PG(2,4)
* 5：均同構於 PG(2,5)
* 6：不可能作為投影平面的階，由[[加斯頓·泰利]]所證明，他亦證明了[[歐拉]]的[[36軍官問題]]無解。
* 7：均同構於 PG(2,7)
* 8：均同構於 PG(2,8)
* 9：PG(2,9)，及三個不同（非同構）[[非笛沙格平面]]<ref>{{harv | Room | Kirkpatrick | 1971}}</ref>。
* 10：不可能作為投影平面的階，由大量的電腦運算證明<ref>{{harv|Lam|1991}}</ref>。
* 11：至少有 PG(2,11)，其他仍不知道，但有可能。
* 12：推測不可能作為投影平面的階。

==高維投影空間內的投影平面==

投影平面可被視為「幾何」維度為2的[[投影幾何]]<ref>在幾何與代數（向量空間）裡，有不同的「維度」概念。在幾何裡，線為一維、平面為二維，立方體為三維等等。不過在向量空間裡，維度為基本向量的數量。當幾何由向量空間建構出來時，這兩個維度的概念會導致混淆，因此通常稱幾何的概念為「幾何」或「投影」維度，其他的為「代數」或「向量空間」維度。在投影空間裡，這兩個概念在數量上的關連為：代數維度 = 幾何維度 + 1。</ref>。高維投影幾何可透過類比於投影平面定義內的重合關係來定義。這些高維投影幾何比投影平面更容易「駕馭」，因為有額外的自由度讓[[笛沙格定理]]於高維幾何內可被幾何地證明。這意指，與該幾何相關之坐標「環」必定為除環 K，且投影幾何會同構於由向量空間 ''K''<sup>''d''+1</sup> 建構而成的幾何，即 PG(''d'',''K'')。如同前述所給之建構一般，d 維[[投影空間]] PG(''d'',''K'') 的點為 ''K''<sup>''d'' + 1</sup> 內通過原點的線，且 PG(''d'',''K'') 內的線會對應至 ''K''<sup>''d'' + 1</sup> 內通過原點的平面。實際上，每個 PG(''d'',''K'') 內的 i 維物件（其中 ''i'' &lt; ''d''）均可對應至 ''K''<sup>''d'' + 1</sup> 維向量空間內通過原點的 (i+1) 維向量子空間。投影空間可依序廣義化為[[格拉斯曼空間]]。

可證明，若笛沙格定理於維度大於2的投影空間內成立，則也必然於所有包含於該空間的平面內成立。因為存在不符合笛沙格定理的投影平面（[[非笛沙格平面]]），這些平面無法內嵌至高維投影空間內。只有由向量空間建構的平面 PG(2,''K'') 可出現於高維投影空間內。一些數學原則只在此類投影平面內有效，因此有些關於投影空間的陳述於幾何維度為2時，總是必須提及其例外<ref>「有人也許會說，今日研究的投影幾何可分成兩個極為獨立的領域，這也不無理由。一方面，研究幾何基礎的學者傾向將笛沙格空間視為已完全知悉。因為唯一可能為非笛沙格空間的一定是個平面，所以只需專注研究投影平面的理論，尤其是非笛沙格平面。另一方面，其他學者（尤其是代數幾何學家）不希望侷限在二維空間，且不想讓非笛沙格平面作為其定理裡的例外。對於後者，不存在笛沙格空間以外的投影空間。」{{harv|Bruck|Bose|1964|loc=Introduction}}</ref>。

==另見==
*[[區組設計]]
*[[組合設計]]
*[[重合結構]]
*[[投影幾何]]
*[[实射影平面]]
*[[非笛沙格平面]]
*[[切触结构]]

==注記==
{{reflist}}

==參考資料==
*{{Citation | last1 = Albert | first1 = A. Adrian |author1-link=Abraham Adrian Albert| last2 = Sandler | first2 = Reuben | title = An Introduction to Finite Projective Planes | publisher = Holt, Rinehart and Winston | place = New York | year = 1968}}
*{{citation|first=John C.|last=Baez|authorlink=John C. Baez|title=The octonions|journal=Bull. Amer. Math. Soc.|volume=39|year=2002|pages=145–205|url=http://math.ucr.edu/home/baez/octonions/|doi=10.1090/S0273-0979-01-00934-X|access-date=2015-08-09|archive-url=https://web.archive.org/web/20081009232658/http://math.ucr.edu/home/baez/octonions/|archive-date=2008-10-09|dead-url=yes}}
*{{citation | first=Glen E. | last=Bredon | authorlink=Glen Bredon | title=Topology and Geometry | publisher=Springer-Verlag | year=1993 | isbn=0-387-97926-3}}
* {{citation|last=Bruck|first=R. H.|authorlink=Richard Bruck|title=Difference Sets in a Finite Group|journal=Trans. Amer. Math. Soc.|year=1955|volume=78|pages=464–481|doi=10.1090/s0002-9947-1955-0069791-3}}
* {{citation|last=Bruck|first=R. H.|author1-link=Richard Bruck|last2=Bose|first2=R. C.|author2-link=Raj Chandra Bose|title=The Construction of Translation Planes from Projective Spaces|journal=J. Algebra|year=1964|volume=1|pages=85–102|doi=10.1016/0021-8693(64)90010-9}}
* {{Citation | last = Casse | first = Rey | title = Projective Geometry: An Introduction | publisher = Oxford University Press | place = Oxford | year = 2006 | isbn =0-19-929886-6 }}
* {{Citation | last1=Dembowski | first1=Peter | title=Finite geometries | publisher=[[Springer-Verlag]] | location=Berlin, New York | series=[[Ergebnisse der Mathematik und ihrer Grenzgebiete]], Band 44 | mr=0233275  | year=1968 | isbn=3-540-61786-8}}
*{{citation
 | last = Gleason | first = Andrew M. | authorlink = Andrew Gleason
 | doi = 10.2307/2372469
 | journal = [[American Journal of Mathematics]]
 | mr = 0082684
 | pages = 797–807
 | title = Finite Fano planes
 | volume = 78
 | year = 1956}}
*{{Citation | last1=Hall | first1=Marshall |authorlink=Marshall Hall (mathematician)| title=Projective planes | jstor=1990331 | mr=0008892  | year=1943 | journal=[[Transactions of the American Mathematical Society]] | issn=0002-9947 | volume=54 | pages=229–277 | issue=2 | publisher=American Mathematical Society}}
*{{citation | first1=D.|last1= Hughes|first2= F.|last2=Piper | title=Projective Planes | publisher=Springer-Verlag | year=1973 | isbn=0-387-90044-6}}
*{{Citation | last = Kárteszi | first = F. | title = Introduction to Finite Geometries| publisher = North-Holland | place = Amsterdam | year = 1976 | isbn = 0-7204-2832-7}}
*{{citation | last = Lam | first = Clement W. H. | title = The Search for a Finite Projective Plane of order 10 | journal = American Mathematical Monthly | year = 1991 | volume = 98 | issue = 4 | pages = 305–318 | url = http://www.cecm.sfu.ca/organics/papers/lam/ | doi = 10.2307/2323798 | accessdate = 2009-01-27 | archive-date = 2011-09-27 | archive-url = https://web.archive.org/web/20110927112713/http://www.cecm.sfu.ca/organics/papers/lam/ | dead-url = no }}
*Lindner, Charles C. and Christopher A. Rodger (eds.) ''Design Theory'', CRC-Press; 1 edition (October 31, 1997). ISBN 0-8493-3986-3.
*{{Citation | last = Lüneburg | first = Heinz | title = Translation Planes | publisher = Springer Verlag | place = Berlin | year = 1980 | isbn = 0-387-09614-0}}
*{{Citation | last1=Moulton | first1=Forest Ray | authorlink = Forest Ray Moulton | title=A Simple Non-Desarguesian Plane Geometry | jstor=1986419 | year=1902 | journal=[[Transactions of the American Mathematical Society]] | issn=0002-9947 | volume=3 | issue=2 | pages=192–195}}
*{{Citation | last1 = Room | first1 = T. G.|author1-link=Thomas Gerald Room | last2 = Kirkpatrick | first2 = P. B. | title = Miniquaternion Geometry | publisher = Cambridge University Press | place = Cambridge | year = 1971 |isbn = 0-521-07926-8}}
*{{citation | first=I. R.|last=Shafarevich |authorlink=Igor Shafarevich| title=Basic Algebraic Geometry | publisher=Springer-Verlag | year=1994 | isbn=0-387-54812-2}}
*{{Citation | last = Stevenson | first = Frederick W. | title = Projective Planes | publisher = W.H. Freeman and Company | place = San Francisco |year = 1972 | isbn = 0-7167-0443-9}}

==外部連結==
{{Commonscat|Projective plane|射影平面}}
*G. Eric Moorhouse, ''[https://web.archive.org/web/20060717030032/http://www.uwyo.edu/moorhouse/pub/planes/ Projective Planes of Small Order]'', (2003)
*[http://www.ams.org/notices/200710/tx071001294p.pdf Ch. Weibel: Survey of Nondesarguesian planes ] {{Wayback|url=http://www.ams.org/notices/200710/tx071001294p.pdf |date=20201227042301 }}
*{{mathworld|urlname=ProjectivePlane|title=Projective plane}}

[[Category:射影几何]]
[[Category:重合幾何]]
[[Category:平面几何]]