射影平面のソースを表示

{{参照方法|date=2016年6月}}
[[File:Railroad-Tracks-Perspective.jpg|thumb|right|平行な線路は無限遠にある[[消失点]]で交わる。]]
[[数学]]における'''射影平面'''（しゃえいへいめん、{{lang-en-short|''projective plane''}}）とは、初等的な[[平面]]の概念を拡張する幾何学的な構成のことである。通常の平面においては、二直線は典型的には一つの交点を持つが、特定の直線の組（平行線）は交点を持たない。一方、射影平面においては、通常の平面に「無限遠点」が追加され、平行線は無限遠点で交点を持つ。従って、射影平面では'''任意'''の相異なる二直線がただ一点において交わる。

射影平面の定義としてよく用いられるものが二種類ある。ひとつは[[線型代数学]]から来るもので、この場合の射影平面は、適当な{{仮リンク|古典群|en|classical group}}に対する[[等質空間]]として与えられる。この場合の重要な例として、[[実射影平面]]<ref>実射影平面 {{math|'''RP'''<sup>2</sup>}} の {{math|'''R'''<sup>3</sup>}} への[[はめ込み]]の一種が[[ボーイ曲面]]である。</ref><ref>[https://www.youtube.com/watch?v=dekzCBOlNAc Make your Boy surface] ボーイ曲面をはさみと紙とセロテープで工作する動画。[http://arxiv.org/pdf/1303.6448v1.pdf 設計図(英語)][https://web.archive.org/web/20181106150147/http://www.geocities.jp/n_dimension_n_dimension/nihongo.pdf 設計図（日本語）]  その紙工作の設計図。</ref> {{math|'''RP'''<sup>2</sup>}} および{{仮リンク|複素射影平面|en|complex projective plane}} {{math|'''CP'''<sup>2</sup>}} が挙げられる。もうひとつは、もっと一般の{{仮リンク|公理的幾何学|en|axiomatic geometry}}および[[有限幾何学]]の立場により与えられる定義である。これは[[平面幾何学]]の[[接続 (幾何学)|接続]]的性質の研究に適している。

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

== 線型代数学的な定義 == 
線型代数学的には、射影平面は「三次元空間内の原点を通る直線全体の成す集合」として与えられる。射影平面上の直線は三次元空間内の原点を通る平面から生じる。きちんと述べれば、以下のようになる<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'' に対し、原点と ''x'' を通る ''K'' <sup>3</sup> 内の「直線」とは、 ''K'' <sup>3</sup> の部分集合
:<math>\{k x : k \in K\}</math>
のことである。同様に ''K'' <sup>3</sup> の線型独立な点 ''x'', ''y'' （つまり ''kx'' + ''ly'' = 0 ならば必ず ''k'' = ''l'' = 0）に対し、原点と ''x'', ''y'' を通る「平面」とは、 ''K'' <sup>3</sup> の部分集合
:<math>\{k x + l y : k, l \in K\}</math>
のことであり、この平面は無数の直線を含む。

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

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

''K'''''P'''<sup>2</sup> における座標系 (''x'' <sub>0</sub>, ''x'' <sub>1</sub>, ''x'' <sub>2</sub>) は'''斉次座標系''' {{lang|en|(''homogeneous coordinates'')}} と呼ばれる。各三つ組 (''x'' <sub>0</sub>, ''x'' <sub>1</sub>, ''x'' <sub>2</sub>) は ''K'''''P'''<sup>2</sup> の点を[[well-defined|矛盾無く表す]]が、三つ組 (0, 0, 0) だけは例外で ''K'''''P'''<sup>2</sup> のどの点にも対応しない。''K'' が[[有限体]]でない限り ''K'''''P'''<sup>2</sup> の各点に対応する三つ組は無数に存在しうる。

=== 例 ===
*''K'' として[[実数]]体 '''R''' を取れば、[[実射影平面]] '''RP'''<sup>2</sup> が生じる。これは位相幾何学において、向きを持たない実二次元の[[多様体]]の基本的な例を与えるものである<ref name="Bredon1993">例えば {{harv|Bredon|1993}} の索引には実射影平面が37回も出てくる。</ref>。

*''K'' として[[複素数]]体 '''C''' を取れば、[[複素射影平面]] '''CP'''<sup>2</sup> が生じる。これは複素二次元の閉多様体であり、従って向きを持つ実四次元の多様体である。他の[[可換体|体]]上の射影平面ともども[[代数幾何学]]の基本的な例を与える<ref name="Shafarevich1994">例えば、{{harv|Shafarevich|1994}} では、体上の射影平面が通して扱われている。</ref>。

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

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

=== 通常平面との関係 ===
[[File:Fano Plane P2(F2).png|thumb|300px|平面 '''F'''<sub>2</sub><sup>2</sup> 上の平行な直線に対して無限遠点を付け加えると、すべての相異なる直線が一点で必ず交わる{{仮リンク|ファノ平面|en|Fano plane}} PG(2, 2) = '''F'''<sub>2</sub>'''P'''<sup>2</sup> が得られる。]]
体 ''K'' 上の通常の平面 ''K'' <sup>2</sup> は射影平面 ''K'''''P'''<sup>2</sup> へ写像
:<math>(x_1, x_2) \mapsto (1, x_1, x_2)</math>

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

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

を考えれば、これらの傾きはともに 0 であってこれらは交わらない。これらを先ほどの埋め込みによって ''K'''''P'''<sup>2</sup> の部分集合と見なせば、これらは ''K'''''P'''<sup>2</sup> における直線とはならないが、それぞれに点 (0, 1, 0) を加えた
:<math>\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}</math>
は ''K'''''P'''<sup>2</sup> における直線となる。<span style="text-decoration:overline>''a''</span> は ''K''<sup>3</sup> における平面
:<math>\{k (1, 0, 0) + l (0, 1, 0) : k, l \in K\}</math>
から生じ、<span style="text-decoration:overline>''b''</span> は平面
:<math>\{k (1, 0, 1) + l (0, 1, 0) : k, l \in K\}</math>
から生じる。これらの射影直線 <span style="text-decoration:overline>''a''</span>, <span style="text-decoration:overline>''b''</span> は点 (0, 1, 0) において交わる。実は、''K'' <sup>2</sup> における傾き 0 の直線はすべて、この方法で射影化したとき、''K'''''P'''<sup>2</sup> の点 (0, 1, 0) において交わる。

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

=== 射影変換 ===
{{Main|[[射影線型群|射影変換]]}}

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

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

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

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

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

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

ここで、''N'' ≥ 2 は射影平面の'''位数''' {{lang|en|(''order'')}} と呼ばれる[[整数]]である（[[有限幾何学]]も参照）。

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

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

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

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

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

=== 素数位数の平面の構成 ===
素数位数 ''N'' の射影平面は、位数 ''N'' の有限体上の線型代数学的構成を用いて構成することができる。あるいは以下のようにしても構成できる。
: 一点 ''P'' を用意する。
: ''N'' 個の点を用意して、''c'' = 0, ..., ''N'' &minus; 1 に応じて、''P''(''c'') と書く。
: 同様に ''N''<sup>2</sup> 個の点を ''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''<sup>2</sup> 本の直線を ''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''<sup>''n''</sup> に対して同位数の射影平面が存在する。事実として、「知られている」全ての有限射影平面はその位数が素数冪である。

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

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

位数 ''N'' の射影平面はスタイナーの S(2, ''N'' + 1, ''N''<sup>2</sup> + ''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 : この位数の射影平面は存在しない（[[レオンハルト・オイラー|オイラー]]の{{仮リンク|士官36人の問題|en|Thirty-six officers problem}}として、[[ガストン・タリー|タリー]]により示された）。
*7 : 全て PG(2,7) に同型
*8 : 全て PG(2,8) に同型
*9 : PG(2,9) および三種類の異なる（同型でない）非デザルグ平面
*10 : この位数の射影平面は存在しない（計算機による膨大な計算の結果として証明された）。
*11 : すくなくとも PG(2,11) が挙げられる。他は知られていないが可能性はある。
*12 : この位数の射影平面は存在しないと予想されているが証明はされていない。

=== 退化平面 ===

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

# 任意個数の点 ''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> }
# 任意個数の点 ''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> }

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

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

== 注釈 ==
{{reflist}}

== 参考文献 ==
*{{Citation | last1 = Albert | first1 = A. Adrian | last2 = Sandler | first2 = Reuben | title = An Introduction to Finite Projective Planes | publisher = Holt, Rinehart and Winston | place = New York | year = 1968}}
*John C. Baez, "The Octonions", Bull. Amer. Math. Soc. 39 (2002), 145-205. Available electronically.[https://math.ucr.edu/home/baez/octonions/]
*{{cite book | author=Glen E. Bredon | title=Topology and Geometry | publisher=Springer-Verlag | year=1993 | isbn=0-387-97926-3}}
*{{Citation | last = Dembowski | first = Peter | title = Finite Geometries | publisher = Springer Verlag | place = Berlin | year = 1968}}
*{{cite book | author=D. Hughes and F. 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}}
* Clement W.H. Lam, [http://www.cecm.sfu.ca/organics/papers/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.
*{{Citation | last = Lüneburg | first = Heinz | title = Translation Planes | publisher = Springer Verlag | place = Berlin | year = 1980 | isbn = 0-387-09614-0}}
*{{mathworld|urlname=ProjectivePlane|title=Projective plane}}
*G. Eric Moorhouse, ''[http://www.uwyo.edu/moorhouse/pub/planes/ Projective Planes of Small Order]'', (2003)
*{{Citation | last1 = Room | first1 = T. G. | last2 = Kirkpatrick | first2 = P. B. | title = Miniquaternion Geometry | publisher = Cambridge University Press | place = Cambridge | year = 1971 |isbn = 0-521-07926-8}}
*{{cite book | author=I. R. 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}}

== 外部リンク ==
* {{Cite journal|和書|author=平峰豊 |date=2001-06 |url=https://hdl.handle.net/2433/41170 |title=有限射影平面概観 (群論とその周辺 : 総括と展望) |journal=数理解析研究所講究録 |ISSN=1880-2818 |publisher=京都大学数理解析研究所 |volume=1214 |pages=46-61 |hdl=2433/41170 |CRID=1050001335515136256}}
* {{高校数学の美しい物語|1190|射影平面の３通りの定義}}
* {{高校数学の美しい物語|2714|座標を用いた射影平面の定義}}

{{Normdaten}}
{{DEFAULTSORT:しやえいへいめん}}
[[Category:射影幾何学]]
[[Category:数学に関する記事]]