[過去ﾛｸﾞ] 現代数学の系譜 工学物理雑談 古典ガロア理論も読む78 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
712(1): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/11/09(土)15:18 ID:aIAMZK1h(15/39) AAS
>>711
つづき
任意の異なる二点に対し、それらを接続する直線がただ一つ存在する。
任意の異なる二直線に対し、それらのいずれとも接続する点がただ一つ存在する。
平面上の四点で、そのうちの二点よりも多くに接続するような直線は一つも存在しない、というものが存在する。
条件2は平行線が存在しないことを意味する。また条件3は退化する場合（後述）を除くためだけにある。
性質
射影平面においては、それが含む直線の数と点の数とが同じであることを示すことができる（有限でも無限でも）。有限射影平面は
N^2 + N + 1 個の点と、
N^2 + N + 1 本の直線を持ち、
各直線上に N + 1 個の点が載っていて、
各点を N + 1 本の直線が通る。
ここで、N >= 2 は射影平面の位数 (order) と呼ばれる整数である（有限幾何学も参照）。
前節に述べたような線型代数学的定義から生じる射影平面はどれも、本節に言う組合せ論的な定義に基づく射影平面として記述することができる。従って、位数 p^n の有限体から、位数 N = p^n の射影平面を与えることができる。
有限位数の存在
既に説明したように、各素数冪 p^n に対して同位数の射影平面が存在する。事実として、「知られている」全ての有限射影平面はその位数が素数冪である。
それ以外の位数についても有限射影平面が存在するかどうかというのは、未解決の問題である。
位数に関する一般的な制限として知られているのは、位数 N が法 4 に関して 1 または 2 と合同ならば、それは二つの平方数の和にならなければいけないというブルック＝ライザー＝チョウラの定理である。
これにより N = 6 が除外できる。次の場合は N = 10 が、大規模計算機の計算により除外された。それ以上の場合については知られていない（特に N = 12 も未解決である）。
射影平面の分類は全然終わっていない。いくつかの結果を位数の順に以下に示す。
つづく
713: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/11/09(土)15:18 ID:aIAMZK1h(16/39) AAS
>>712
つづき
・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) および三種類の異なる（同型でない）非デザルグ平面
・10 : この位数の射影平面は存在しない（計算機による膨大な計算の結果として証明された）。
・11 : すくなくとも PG(2,11) が挙げられる。他は知られていないが可能性はある。
・12 : この位数の射影平面は存在しないと予想されているが証明はされていない。
外部ﾘﾝｸ:en.wikipedia.org
Projective plane
The archetypical example is the real projective plane, also known as the extended Euclidean plane.[1]
This example, in slightly different guises, is important in algebraic geometry, topology and projective geometry where it may be denoted variously by PG(2, R), RP^2, or P2(R), among other notations.
There are many other projective planes, both infinite, such as the complex projective plane, and finite, such as the Fano plane.
A projective plane is a 2-dimensional projective space, but not all projective planes can be embedded in 3-dimensional projective spaces.
Such embeddability is a consequence of a property known as Desargues' theorem, not shared by all projective planes.
(引用終り)
以上
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ
ぬこの手 ぬこTOP 0.039s