有限幾何学のソースを表示

'''有限幾何学'''（ゆうげんきかがく）とは[[有限集合|有限]]個の[[点 (数学)|点]]から構成される[[幾何学]]の体系である。例えば[[ユークリッド幾何学]]は有限幾何学でない。ユークリッド空間における「[[線]]」は無限に多くの（実際は[[実数]]と同じ[[濃度 (数学)|濃度]]の)「点」を含むからである。
ユークリッド幾何は任意の[[次元]]で存在することと同様に、有限幾何も任意の(有限)次元で存在する。ただし、ユークリッド幾何とは異なり、有限幾何の場合は同じ次元でも各種の異なった(幾何学的)構造が存在し得る。

== 概要 ==
有限幾何は[[有限体]]上の構造と関連した[[ベクトル空間]]として、[[線型代数]]を通じて定義できる。それは[[ガロア幾何]]とも呼ばれる。または有限幾何は、純粋に[[組合せ論]]的に定義することもできる。

多くの場合には(しかしすべてではない)有限幾何はガロア幾何と同じものである。例えば3次元またはそれ以上の次元における任意の[[有限射影空間]]は、ある[[有限体]]上の[[射影空間]]と同型である(有限体上のベクトル空間の射影化)。

そこでこの場合は両者の違いはない。しかし2次元においては、組合せ論的に定義された射影平面で、有限体上の射影空間と同型にならないようなもの、いわゆる[[非デザルグ平面]]が存在する。そこでこの場合は両者は異なるものである。

== 有限平面 ==
次の注意は有限「平面」のみに適応できる。

有限平面幾何には[[アフィン平面]]幾何と[[射影平面]]幾何の二種類がある。[[アフィン幾何]]においては[[平行線]]は通常の意味で使われる。これに対し、[[射影幾何]]においては任意の二つの直線がただひとつの[[交点]]をもつ、すなわち平行線は存在しない。有限アフィン平面幾何と有限射影平面幾何は、どちらも簡単な[[公理系]]によって構成される。

=== 有限アフィン平面 ===
アフィン平面幾何は、空でない集合<math>X</math>(その要素は「点」と呼ばれる)、および、次の条件を満たすような<math>X</math>の部分集合の空でない族<math>L</math>(その要素は「直線」と呼ばれる)から構成される。
# 2つの異なる任意の点が与えられたとき、それらを含むような直線がただ一つだけ存在する。
# [[平行線公準]] :直線<math>\ell</math>と<math>\ell</math>上にない一点<math>p</math>が与えられたとき、<math>p</math>を含み<math>\ell</math>とは交点をもたない、すなわち<math>\ell \cap \ell' = \varnothing.</math>となるような直線<math>\ell'</math>がただ一つだけ存在する。
# どの3点も同一直線にないような4点集合が存在する。
最後の公理は、この幾何が[[空集合]]でないことを保証する。最初の二つはこの幾何の特性を規定する。
[[Image:Order 2 affine plane.svg|thumb|4点と6直線を含む位数2の有限アフィン平面の図。同じ色の「直線」は「平行」の関係にある]]

ただ4点のみを含むもっとも単純なアフィン平面は位数2のアフィン平面と呼ばれる。3点は同一直線上にないので、任意の点の対がただひとつの直線を定める。そしてこの平面は6直線を含む。 これは互いに交わらない辺を「平行」と見なした四面体に対応する。あるいは向かい合う2辺だけではなく2つの対角線も「平行」と見なした正方形にも対応する。

さらに一般的に、位数<math>n</math>の有限アフィン平面は<math>n^2</math>個の点と<math>n^2+n</math>本の直線を持ち、各直線は<math>n</math>個の点を含む。そして各点は<math>n+1</math>本の直線に含まれる。

[[Image:Order 3 affine plane.svg | thumb | 240px | right | 9点と12直線を持つ位数3の有限アフィン平面の図。同じ色の「直線」は「平行」の関係にある]]

=== 有限射影平面 ===
有限射影平面は、空でない集合<math>X</math>(その要素は「点」と呼ばれる)、および、次の条件を満たすような<math>X</math>の部分集合の空でない族<math>L</math>(その要素は「直線」と呼ばれる)から構成される。
# 2つの異なる任意の点が与えられたとき、それらを含むような直線がただ一つだけ存在する。
# 2つの異なる任意の直線の交わり(集合の意味での[[交わり]]である)はただ一つの点を含む。
# どの3点も同一直線にないような4点集合が存在する。

[[Image:fano plane.svg|thumb|7点と7直線を持つ[[ファノ平面]]の図]]
最初の二つの公理は、点と直線の役回りが入れ代わっていることをのぞけばほとんど同一である。これは射影平面幾何に対して、この幾何で真であるような命題は、点と直線あるいは直線と点を入れ換えても真である、という意味での[[双対原理]]を示唆する。
第三の公理は、4点の存在を要求するだけだが、最初の二つの公理を満たすためには少なくとも7点が必要である。

有限射影平面のもっとも簡単な例は、7点と7直線を持ち、各点が3直線の上にあり、各直線が3点を含むようなものである。この特殊な有限射影平面は、[[ファノ平面]]とも呼ばれる。
この平面から任意の一つの直線とその直線が含む点を取り除くと、位数2のアフィン平面になる。このためファノ平面は、位数2の射影平面と呼ばれる。
一般的に位数''n''の射影平面は<math>n^2 + n +1 </math>の点および直線を持ち、各直線は<math> n +1 </math>個の点を含み、各点は<math> n +1 </math>本の直線に含まれる。

ファノ平面の7個の点の[[置換 (数学)|置換]](それは全部で7!種類ある)で、同一直線上にある点の組が同一直線上に移されるようなものは[[群 (数学)|群]]をなし、この平面の[[対称性]]と呼ばれる。この位数168の[[対称性の群]]は、PSL(2,7) = PSL(3,2),および一般線形群 GL(3,2)と同型である。

=== 平面の位数 ===
[[位数]]<math>n</math>の有限平面とは、各直線が<math>n</math>個の点を含むもの(アフィン平面の場合)、または各直線が<math>n+1</math>個の点を含むもの(射影平面の場合)である。有限幾何における有名な未解決問題の一つとして、
: 有限平面の位数は常に素数の冪であろうか?
という問題がある。これは真であると予想されているが、証明は得られていない。

<math>q=p^k</math>要素を持つ有限体上の射影平面またはアフィン平面を使うことにより、<math>n</math>が素数冪の時には常に位数<math>n</math>のアフィンおよび射影平面が存在する。
有限体から構成されない平面も存在するが、それらも含めすべて既知の有限平面は素数冪の位数である。

現在のところ、この問題に関するもっとも一般的な結果は、1949年の[[:en:Bruck–Ryser theorem|Bruck–Ryserの定理]]である。<ref>{{Harvnb|Bruck|Ryser|1949}}</ref>

;Bruck–Ryserの定理 :[[正整数]]<math>n</math>が、<math>4k+1</math>または<math>4k+2</math>の形であって、かつ2つの整数の[[平方和]]に等しくないならば、位数<math>n</math>の有限平面は存在しない。

素数の冪ではなく、Bruck–Ryserの定理の前提も満たさないような最小の整数は10である。<math>10=4\cdot 2 + 2</math>だが、<math>10 = 1^2 + 3^2 </math>だからである。

位数10の有限平面が存在しないことは、1989年に計算機を利用して証明された<ref>{{Harvnb|Lam|1991}}</ref>。

Bruck–Ryserの定理が適用できないような次に小さい数は12である。

== 3次元あるいはそれ以上の次元の有限幾何 ==
少なくとも3次元以上の空間においては、<math>k \geq 3</math>ならば公理的に構成されるすべての射影空間はある[[斜体 (数学)|斜体]]上の<math>k</math>次元射影空間<math>PG(k, q)</math>に同型である、という[[オズワルド・ヴェブレン|ヴェブレン]]・[[ジョン・ウェズリー・ヤング|ヤング]]の定理<ref>{{Harvnb|Veblen|Bussey|1906}}</ref>が証明されているため、有限「平面」幾何と、それより高い次元の有限幾何の間には重要な違いがある。
一般的な高次元の有限空間に関する議論は、たとえば{{Harv|Hirschfeld|1998}}を参照のこと

=== 有限3-空間 ===
すべての体<math>K</math>に関連して、点、直線、平面がそれぞれ体<math>K</math>上の4次元ベクトル空間における1,2,3次元部分空間とみなせるようなある(3次元)[[射影空間]]が存在する。

次に射影空間に対する公理の集合を示す。公理的に構成する射影幾何においては、点と直線として未定義要素が採用される。平面と3-空間は結合と存在の公理を使うことで定義される。

結合の公理

P-1: AとBが異なる点ならば、AとBの両方を含むような直線が少なくとも一つ存在する。

P-2: AとBが異なる点ならば、AとBの両方を含むような直線が一つより多くは存在しない。

P-3:  3点A,B,Cはどの二つも同一直線上になく、D,Eは、B, C, D が同一直線上にあり、C, A, E が同一直線上にあるような点とすると、ある点Fで、A,B,Fが同一直線上にありかつD,E,Fが同一直線上にあるようなものが存在する。

存在の公理

P-4: 少なくとも一つの直線が存在する。

P-5: 各直線上には少なくとも3つの異なった点が存在する。

P-6: すべての点が同一直線上にある、ということはない。

P-7: すべての点が同一平面上にある、ということはない。

P-8: <math>S_3</math>が3-空間なら、すべての点は<math>S_3</math>上にある

これらの公理が満たされるような多くの異なった有限射影3-空間が存在する。

[[File:fano3space.png |thumb | 図1:ファノの3次元有限射影幾何。 ]]

図1の3-空間はそのような空間の一つであり、この空間における全ての点、直線、平面は公理P-1からP-8を満たしている。
これはまた、体<math>Z_2</math>上の最小の3次元射影空間でもある。
この射影空間は15点、35直線、15平面を持ち、15平面のそれぞれは7点と7直線を含む。各面は幾何学的にファノ平面に同型である。すべての点は7直線に含まれ、全ての直線は3点を含む。加えて、二つの異なった点はただ一つの直線と、ただ一つの直線を交わりとするような二つの平面に含まれる。
1892年に、[[ジーノ・ファノ]]はそのような有限幾何、--すなわち15点、35直線、15平面を持ち、各平面が7点と7直線を含むような3次元幾何--について初めて研究した。

=== 有限''n''-空間 ===
一般的に任意の正の整数<math>n</math>に対し、<math>n</math>-空間の幾何は<math>n</math>次元幾何と呼ばれる。4次元射影幾何はP-8を次のP-8'に置き換え、さらに最後の公理P-8"を付け加えることで得られる。

P-8': すべての点が同一3-空間にある、ということはない。

P-8": <math>S_4</math>が4-空間なら、すべての点は<math>S_4</math>上にある。

一般的に<math>n</math>次元射影幾何(n = 4,5,...)は、P-8を次のような公理で置き換えることで得られる。

(i)	全ての点が同一の<math>S_3, S_4,\ldots , S_{n-1}</math>上にある、ということはない。

(ii)	<math>S_n</math>がn-空間なら、すべての点は<math>S_n</math>上にある

これら高次元(n>3)空間の研究は最新の数学理論においても多くの重要な応用を持っている。

== 応用 ==
有限幾何は[[組合せ論]]や[[符号理論]]の各種の問題に対して、その解のモデルを提供する。
有名な一例として、[[カークマンの女学生問題]]<ref>[http://home.wlu.edu/~mcraea/finite_geometry/Applications/Prob31SchoolGirl/problem31.html Problem 31: Kirkman's schoolgirl problem]</ref>などがある。
{{節stub}}

== 関連項目 ==
* [[ブロックデザイン]]
* [[ガロア幾何]]
* [[射影平面]]
* [[ファノ平面]]
* [[線型空間]]
* [[シュタイナー系]]

== 脚注 ==
{{脚注ヘルプ}}
{{Reflist}}

== 参考文献 ==
{{refbegin}}
* {{Citation|last1=Bruck |first1=R.H.|last2=Ryser |first2=H.J. |year=1949 |title=The nonexistence of certain finite projective planes |journal=Canadian Journal of Mathematics |volume=1 |issue=1 |pages=88&ndash;93}}
* {{citation|first=C. W. H.|last=Lam |title=The Search for a Finite Projective Plane of Order 10 |journal= American Mathematical Monthly |volume=98 |number=4 |year=1991|pages=305–318 |url=http://www.cecm.sfu.ca/organics/papers/lam/|accessdate=2010-11-30 }}
* {{Citation|last1=Veblen |first1 = Oswald |last2= Bussey | first2= W. H. |year= 1906 |title= Finite projective geometries |journal= Transactions |volume= 7|issue=2 |pages=241-259 |doi = 10.2307/1986438 |url = http://www.ams.org/journals/tran/1906-007-02/S0002-9947-1906-1500747-6/S0002-9947-1906-1500747-6.pdf |format =PDF |accessdate = 2010-12-02}}
*{{Citation | last = Hirschfeld | first = James  | year = 1998 | title = Projective Geometries over Finite Fields | edition = 2 | publisher = Oxford University Press | place = | id = | isbn = 0198502958 | url = | accessdate= }}
*{{Citation | last = Margaret Lynn | first = Batten  | year = 1986 | title = Combinatorics of Finite Geometries | series=  | volume = |edition =  | chapter = |chapter-url =  | publisher  = Cambridge University Press | place = | id = | isbn = 0521267641 | url = | accessdate= }}
* {{Citation | last = Peter | first = Dembowski | year = 1997  | title = Finite Geometries | series=  | volume = | edition = | chapter = |chapter-url =  | publisher = Springer | place =  | isbn =3540617868 | url = | accessdate= }}
*{{Citation | last = Eves | first = Howard | year = 1972| title = A Survey of Geometry | series=  | volume = | edition = Revised edition | chapter = |chapter-url = | publisher = Allyn and Bacon Inc. | place = | isbn = 0205032265 | url = | accessdate= }}
*{{Citation | last = Meserve | first = Bruce E  | year = 1983 | title = Fundamental Concepts of Geometry  | series= Addison-Wesley Mathematics Series | volume = | edition = | chapter = |chapter-url =  | publisher = Dover Publications,  | place =New York | isbn = 0486634159 | url = | accessdate= }}
* {{citation|first=Polster|last=Burkard |title= Yea Why Try Her Raw Wet Hat: A Tour of Projective the Smallest Space | journal= Mathematical Intelligencer |volume= 21 |number= 2 |year=  1999 |pages= 39-43 |doi = 10.1007/BF03024845 |url= http://doi.org/10.1007/BF03024845 | accessdate= 2010-11-30 }}
* {{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 |accessdate=2024-01-11 }}
{{refend}}

== 外部リンク ==
*{{MathWorld|title=finite geometry|urlname=FiniteGeometry}}
* {{cite web |url= http://www.cims.nyu.edu/vigrenew/ug_research/MichaelGreenberg.pdf |author=Michael Greenberg|title= Finite Geometries for Those with a Finite Patience for Mathematics | work = 2004 Summer Undergraduate Research Experience Program. |publisher= The Courant Institute of Mathematical Sciences, New York University |date=2004-09-13|format = PDF |accessdate= 2010-12-01 }}
* {{cite web |url= http://www.math.mtu.edu/~jbierbra/HOMEZEUGS/finitegeom04.ps |author = Juergen Bierbrauer |title= Finite geometry |work = Lecture Notes MA 5980  |publisher= Department of Mathematical Sciences Michigan Technological University |date=2004-04-19|format=PostScript |accessdate= 2010-12-01 }}
* {{cite web |url= http://cage.ugent.be/geometry/links.php |author = Research Group Incidence Geometry |title= Links |work =  |publisher= Ghent University |accessdate= 2010-12-01 }} 有限幾何に関するWeb上の資料へのリンク集。
* {{cite web |url= http://www.ams.org/featurecolumn/archive/finitegeometries.html |author = Joe Malkevitch |title= Finite Geometries? |work = Feature Column |publisher= American Mathematical Society|year= 2006 |month=9 |accessdate= 2010-12-01 }}有限幾何の歴史概要
* {{cite web |url= http://cage.ugent.be/~fdc/intensivecourse/intensivecourse_final.html |author = |title= Galois Geometry and Generalized Polygons |work =  |publisher= The University of Ghent |year= 1998 |month=4|accessdate= 2010-12-01 }} ガロア幾何と一般化多面体の集中講義録。
* {{citation |first=Scott|last=Carnahan |title= Small finite sets |work= [https://sbseminar.wordpress.com/ Secret Blogging Seminar] |date=2007-10-27 |url=https://sbseminar.wordpress.com/2007/10/27/small-finite-sets/ |accessdate= 2010-12-01 }} [[ジャン＝ピエール・セール]]による、小さな有限集合上の標準幾何性についてのノート
* {{cite web |url= http://home.wlu.edu/~mcraea/Finite_Geometry/MainPage/main_page.htm |author = |title= Finite Geometry Problem Page |work =  |publisher= Washington and Lee University |year=2001 |accessdate= 2010-12-01 }}問題を通じて学ぶ有限幾何。


{{Normdaten}}
{{DEFAULTSORT:ゆうけんきかかく}}
[[Category:組合せ論]]
[[Category:離散幾何学]]
[[Category:数学に関する記事]]