射影平面

数学における**射影平面**（しゃえいへいめん、）とは、初等的な平面の概念を拡張する幾何学的な構成のことである。通常の平面においては、二直線は典型的には一つの交点を持つが、特定の直線の組（平行線）は交点を持たない。一方、射影平面においては、通常の平面に「無限遠点」が追加され、平行線は無限遠点で交点を持つ。従って、射影平面では**任意**の相異なる二直線がただ一点において交わる。

射影平面の定義としてよく用いられるものが二種類ある。ひとつは線型代数学から来るもので、この場合の射影平面は、適当なに対する等質空間として与えられる。この場合の重要な例として、実射影平面  および  が挙げられる。もうひとつは、もっと一般のおよび有限幾何学の立場により与えられる定義である。これは平面幾何学の接続的性質の研究に適している。

射影平面の概念は、もっと高次元の射影空間の概念に一般化される。射影平面は二次元の射影空間である。

## 線型代数学的な定義
線型代数学的には、射影平面は「三次元空間内の原点を通る直線全体の成す集合」として与えられる。射影平面上の直線は三次元空間内の原点を通る平面から生じる。きちんと述べれば、以下のようになる。

*K* を任意の可除環（斜体）とし、 *K* 3 を *K* の元の三つ組 *x* = (*x* 0, *x* 1, *x* 2) 全体の成す集合（直積集合）とする。*K* 3 の零ベクトルでない任意の点 *x* に対し、原点と *x* を通る *K* 3 内の「直線」とは、 *K* 3 の部分集合
:\{k x : k \in K\}
のことである。同様に *K* 3 の線型独立な点 *x*, *y* （つまり *kx* + *ly* = 0 ならば必ず *k* = *l* = 0）に対し、原点と *x*, *y* を通る「平面」とは、 *K* 3 の部分集合
:\{k x + l y : k, l \in K\}
のことであり、この平面は無数の直線を含む。

可除環 *K* 上の**射影平面** *K***P**2 とは、*K* 3 の原点を通る直線全体の成す集合をいう。*K***P**2 の部分集合 *L* が、射影平面 *K***P**2 内の（射影）**直線**であるとは、*K* 3 における平面で、それが含む直線全体の成す集合が *K***P**2 においてちょうど *L* と一致するものが存在するときにいう。

少し異なる定義の仕方もあって、射影平面というのは集合 *K* 3 &#x2216; {(0, 0, 0)} を
:x \sim k x,\quad k \in K
で与えられる同値関係で割ったものである、ということもできる。この場合も射影平面内の直線は先ほどとまったく同じように定義できる。*K* が位相空間ならば *K***P**2 にも（直積位相、部分空間の位相、商位相を通じて）内在的な位相が入る。 

*K***P**2 における座標系 (*x* 0, *x* 1, *x* 2) は**斉次座標系**  と呼ばれる。各三つ組 (*x* 0, *x* 1, *x* 2) は *K***P**2 の点を矛盾無く表すが、三つ組 (0, 0, 0) だけは例外で *K***P**2 のどの点にも対応しない。*K* が有限体でない限り *K***P**2 の各点に対応する三つ組は無数に存在しうる。

### 例
**K* として実数体 **R** を取れば、実射影平面 **RP**2 が生じる。これは位相幾何学において、向きを持たない実二次元の多様体の基本的な例を与えるものである。

**K* として複素数体 **C** を取れば、複素射影平面 **CP**2 が生じる。これは複素二次元の閉多様体であり、従って向きを持つ実四次元の多様体である。他の体上の射影平面ともども代数幾何学の基本的な例を与える。

*四元射影平面もまた別な意義を持つ対象である。ケーリー平面は八元数環上の射影平面と考えられるが、八元数環が斜体を成さないため、きちんとした構成を十分に記述することはできない。

**K* として位数 *p* *n* の有限体を取れば、*p* 2*n* + *p* *n* + 1 個の点を持つ射影平面が得られる。後述するファノ平面は *p* *n* = 2 とした場合にあたる。

### 通常平面との関係

体 *K* 上の通常の平面 *K* 2 は射影平面 *K***P**2 へ写像
:(x_1, x_2) \mapsto (1, x_1, x_2)

によって埋め込まれる。この写像の像の補集合は (0, *x* 1, *x* 2) なる形の点全体の成す集合であり、このような埋め込みが与えられているという観点によって、補集合の点は無限遠点を表している。無限遠点の全体は *K***P**2 における直線を成す（つまり、この直線は *K* 3 における平面
:\{k (0, 0, 1) + l (0, 1, 0) : k, l \in K\}

から生じる）。直観的には、無限遠点というのは平行線の交わる所としての「余分な」点であり、点 (0, *x* 1, *x* 2) というのは傾きが *x* 2/*x* 1 であるような直線すべての交点に対応する。例えば、通常の平面 *K* 2 における二直線
:\begin{align}
 a &= \{(x_1, 0) : x_1 \in K\},\\
 b &= \{(x_1, 1) : x_1 \in K\}
\end{align}

を考えれば、これらの傾きはともに 0 であってこれらは交わらない。これらを先ほどの埋め込みによって *K***P**2 の部分集合と見なせば、これらは *K***P**2 における直線とはならないが、それぞれに点 (0, 1, 0) を加えた
:\begin{align}
 \bar a = \{(1, x_1, 0) : x_1 \in K\} \cup \{(0, 1, 0)\}\\
 \bar b = \{(1, x_1, 1) : x_1 \in K\} \cup \{(0, 1, 0)\}
\end{align}
は *K***P**2 における直線となる。*a* は *K*3 における平面
:\{k (1, 0, 0) + l (0, 1, 0) : k, l \in K\}
から生じ、*b* は平面
:\{k (1, 0, 1) + l (0, 1, 0) : k, l \in K\}
から生じる。これらの射影直線 *a*, *b* は点 (0, 1, 0) において交わる。実は、*K* 2 における傾き 0 の直線はすべて、この方法で射影化したとき、*K***P**2 の点 (0, 1, 0) において交わる。

先ほど与えた平面 *K* 2 の射影平面 *K***P**2 への埋め込みは一意ではなく、それぞれの埋め込みごとにその無限遠点となる点は変わってくる。例えば、埋め込み
:(x_1, x_2) \mapsto (x_2, 1, x_1)
を考えれば、像の補集合に属する (*x* 0, 0, *x* 2) なる形の点が無限遠点と見なされる。

### 射影変換

射影平面 *K***P**2 における（射影）変換とは、*K***P**2 からそれ自身への可逆な写像であって、直線を直線に写すものをいう。斉次座標系を用いれば、これは 3-次正則行列 *M* を用いて
: y = Mx
と書くことができる。二つの行列が同じ射影変換を定めるのは、一方が他方の定数倍であるときに限る。従って、射影変換全体の成す群は一般線型群の剰余群である。

### 高次元化
いくつか線型代数学的な定義を挙げたが、いずれもより高次元の場合に拡張するのは容易である。*d*-次元射影空間 *K***P***d* は、*K* *n*+1 内の原点を通る直線全体の成す集合であり、*K***P***d* 内の直線は *K* *n*+1 の原点を通る平面に対応する。射影空間の概念はさらにグラスマン空間の概念へ一般化することができる。

## 組合せ論的な定義
より一般な組合せ論的定義によれば、**射影平面**は**直線**の集合と**点**の集合から成り、点と直線との間の**結合**あるいは**接続**  と呼ばれる以下のような性質を持つ関係を備えるものである。

# 任意の異なる二点に対し、それらを接続する直線がただ一つ存在する。
# 任意の異なる二直線に対し、それらのいずれとも接続する点がただ一つ存在する。
# 平面上の四点で、そのうちの二点よりも多くに接続するような直線は一つも存在しない、というものが存在する。

条件2は平行線が存在しないことを意味する。また条件3は退化する場合（後述）を除くためだけにある。

### 性質
射影平面においては、それが含む直線の数と点の数とが同じであることを示すことができる（有限でも無限でも）。有限射影平面は 
* *N*2 + *N* + 1 個の点と、
* *N*2 + *N* + 1 本の直線を持ち、
* 各直線上に *N* + 1 個の点が載っていて、
* 各点を *N* + 1 本の直線が通る。

ここで、*N* ≥ 2 は射影平面の**位数**  と呼ばれる整数である（有限幾何学も参照）。

前節に述べたような線型代数学的定義から生じる射影平面はどれも、本節に言う組合せ論的な定義に基づく射影平面として記述することができる。従って、位数 *p**n* の有限体から、位数 *N* = *p**n* の射影平面を与えることができる。

ファノ平面は二元体から生じる射影平面である。これは最小の射影平面で、わずか七つの点と七つの直線から成る。右図では、七つの「点」を小さな黒丸で表し、七つの「直線」は六本の線分と一つの円で表したものだが、射影平面の双対性により（点と直線とを互いに入れ替えたものもやはり射影平面となるから）、黒丸を「直線」、線分と円を「点」と思うこともできる。この七つの点に対して置換を施すと、共線点（同一直線上にある点）を共線点へ移す変換を引き起こす。このことを以って、ファノ平面は「対称」であるという。

### 一般化された座標
組合せ論的に定義される任意の射影平面に対して、平面三項環と呼ばれる座標「環」（ただし、本当に環となっているとは限らない）を対応させることができる。平面三項環は体または斜体になっている必要はなく、また斜体から構成することができない射影平面というものも多く存在する。そのような射影平面は非デザルグ的な射影平面と呼ばれ、未だ活発な研究の成されている研究対象である。

この平面三項環が持つ代数的性質は、それに対応して平面が持つ幾何学的な接続関係の性質に読み替えることができる。例えば、デザルグの定理に対応するのは座標環が斜体から得られるということであり、またパップスの定理が対応するのは座標環が可換体から得られるということである。あるいは（たとえば八元数体のように）必ずしも結合的でない交代的な可除代数から得られるようなものにはムーファン平面が対応する。  

有限射影平面においてデザルグの定理がパップスの定理を含むという純粋に幾何学的な主張の、しかし唯一知られている証明は、斜体に成分を持つ座標をとってウェダーバーンの定理（有限可除環は必ず可換体である）を用いるという代数的な方法によってなされる（逆にパップスの定理がデザルグの定理を含むことは、（有限とは限らない）任意の射影平面において真であり、しかもこれは幾何学的に証明することができる）。

### 素数位数の平面の構成
素数位数 *N* の射影平面は、位数 *N* の有限体上の線型代数学的構成を用いて構成することができる。あるいは以下のようにしても構成できる。
: 一点 *P* を用意する。
: *N* 個の点を用意して、*c* = 0, ..., *N* &minus; 1 に応じて、*P*(*c*) と書く。
: 同様に *N*2 個の点を *P*(*r*, *c*) (*r*, *c* = 0, ..., *N* &minus; 1) とする。

これらの点に対して、以下のように直線を構成する
: 一本の直線が *L* = {*P*, *P*(0), ..., *P*(*N* &minus; 1)} で与えられる。
: *N* 本の直線を、*c* = 0, ..., *N* &minus; 1 に応じて、*L*(*c*) = {*P*, *P*(0, *c*), ..., *P*(*N* &minus; 1, *c*)} とする。
: *N*2 本の直線を *L*(*r*, *c*) = {*P*(*c*) および P((*r* + *ci*) mod *N*, *i*)} (*i*, *r*, *c* = 0, ..., *N* &minus; 1) とする。

ただし、ここで書いた式 
: (*r* + *ci*) mod *N*
で *i* が 0 から *N* &minus; 1 までの全ての値を亘るのは、*N* が素数の場合に限る。

この構成から、二つの退化平面が生じる。すなわち、*N* = 0 に対してただ一つの点がただ一つの直線に接続したものが得られ、*N* = 1 に対して三点と三直線からなる三角形が得られる。素数 *N* に対しては、この方法で構成される任意の平面が上記定義の条件3を満足する。

例えば *N* = 2 とすると、
: 一直線 *L* = { *P*, *P*(0), *P*(1)}
: 二直線 *L*(*c*) = {*P*, *P*(0,*c*), *P*(1,*c*)} (*c* = 0, 1)
: 四直線 *L*(*r*, *c*) = {*P*(*c*), P((*r* + *ci*) mod *2*, *i*) | *i* = 0, 1} (*r*, *c* = 0, 1)
となる。

### 有限位数の存在
既に説明したように、各素数冪 *p**n* に対して同位数の射影平面が存在する。事実として、「知られている」全ての有限射影平面はその位数が素数冪である。

それ以外の位数についても有限射影平面が存在するかどうかというのは、未解決の問題である（有限射影平面の基本予想 ）。位数に関する一般的な制限として知られているのは、位数 *N* が法 4 に関して 1 または 2 と合同ならば、それは二つの平方数の和にならなければいけないというブルック＝ライザー＝チョウラの定理である。これにより *N* = 6 が除外できる。次の場合は *N* = 10 が、大規模計算機の計算により除外された。それ以上の場合については知られていない（特に *N* = 12 も未解決である）。

位数 *N* の射影平面が存在するための必要十分条件は、位数 *N* のアフィン平面が存在することである。位数 *N* のアフィン平面がただ一つ存在するならば、位数 *N* の射影平面もただ一つ存在するが、逆は必ずしも真でない。

位数 *N* の射影平面はシュタイナーの S(2, *N* + 1, *N*2 + *N* + 1)-系である（シュタイナー系参照）。逆に *N* &ge; 2 に対するこの形のシュタイナー系が射影平面となることが証明できる。

位数 *N* の互いに直交するラテン方格の総数は高々 *N* &minus; 1 である。これが *N* &minus; 1 となりうる必要十分条件は、その位数の射影平面が存在することである。

一方、射影平面の分類は全然終わっていない。いくつかの結果を位数の順に以下に示す。
*2 : 全て PG(2,2) に同型
*3 : 全て PG(2,3) に同型
*4 : 全て PG(2,4) に同型
*5 : 全て PG(2,5) に同型
*6 : この位数の射影平面は存在しない（オイラーのとして、タリーにより示された）。
*7 : 全て PG(2,7) に同型
*8 : 全て PG(2,8) に同型
*9 : PG(2,9) および三種類の異なる（同型でない）非デザルグ平面
*10 : この位数の射影平面は存在しない（計算機による膨大な計算の結果として証明された）。
*11 : すくなくとも PG(2,11) が挙げられる。他は知られていないが可能性はある。
*12 : この位数の射影平面は存在しないと予想されているが証明はされていない。

### 退化平面

退化平面とは、上述の定義における条件3を満足しない場合である。退化平面には二つの系列がある。

# 任意個数の点 *P*1, ..., *P**n* および直線 *L*1, ..., *L**m* が以下を満たすもの。 
#:*L*1 = { *P*1, *P*2, ..., *P**n*}
#:*L*2 = { *P*1 }
#:*L*3 = { *P*1 }
#:…
#:*L**m* = { *P*1 }
# 任意個数の点 *P*1, ..., *P**n* および直線 *L*1, ..., *L**n* が以下を満たすもの（点の数と直線の数は同数である）。
#:*L*1 = { *P*2, *P*3, ..., *P**n* }
#:*L*2 = { *P*1, *P*2 }
#:*L*3 = { *P*1, *P*3 }
#:…
#:*L**n* = { *P*1, *P**n* }

### 高次元化
接続関係を用いた定義も、二次元より高次元の射影幾何における対応物を考えることができる。高次元化したものは、平面の場合ほどには興味深い性質を示さず（平面の場合よりもよく振舞うといってもよいが）、つまり斜体上の古典的な射影空間となる。そうなる理由は別な場所で述べるほうが適切であろうけれども、高次元射影空間における接続の性質を用いて幾何学的にデザルグの定理を示せる（つまり、座標環が斜体となる）ことによる。

## 関連項目
*接続構造 (Incidence structure)
*射影幾何学

## 注釈

## 参考文献
*
*John C. Baez, "The Octonions", Bull. Amer. Math. Soc. 39 (2002), 145-205. Available electronically.https://math.ucr.edu/home/baez/octonions/
*
*
*
*
* Clement W.H. Lam, "The Search for a Finite Projective Plane of Order 10", *American Mathematical Monthly* **98**, (no. 4) 1991, pp.&nbsp;305 – 318.
*Lindner, Charles C. and Christopher A. Rodger (eds.) *Design Theory*, CRC-Press; 1 edition (October 31, 1997). ISBN 0-8493-3986-3.
*
*
*G. Eric Moorhouse, *[http://www.uwyo.edu/moorhouse/pub/planes/ Projective Planes of Small Order]*, (2003)
*
*
*

## 外部リンク
* 
* 
*