射影幾何学
[Wikipedia|▼Menu]
.mw-parser-output .ambox{border:1px solid #a2a9b1;border-left:10px solid #36c;background-color:#fbfbfb;box-sizing:border-box}.mw-parser-output .ambox+link+.ambox,.mw-parser-output .ambox+link+style+.ambox,.mw-parser-output .ambox+link+link+.ambox,.mw-parser-output .ambox+.mw-empty-elt+link+.ambox,.mw-parser-output .ambox+.mw-empty-elt+link+style+.ambox,.mw-parser-output .ambox+.mw-empty-elt+link+link+.ambox{margin-top:-1px}html body.mediawiki .mw-parser-output .ambox.mbox-small-left{margin:4px 1em 4px 0;overflow:hidden;width:238px;border-collapse:collapse;font-size:88%;line-height:1.25em}.mw-parser-output .ambox-speedy{border-left:10px solid #b32424;background-color:#fee7e6}.mw-parser-output .ambox-delete{border-left:10px solid #b32424}.mw-parser-output .ambox-content{border-left:10px solid #f28500}.mw-parser-output .ambox-style{border-left:10px solid #fc3}.mw-parser-output .ambox-move{border-left:10px solid #9932cc}.mw-parser-output .ambox-protection{border-left:10px solid #a2a9b1}.mw-parser-output .ambox .mbox-text{border:none;padding:0.25em 0.5em;width:100%;font-size:90%}.mw-parser-output .ambox .mbox-image{border:none;padding:2px 0 2px 0.5em;text-align:center}.mw-parser-output .ambox .mbox-imageright{border:none;padding:2px 0.5em 2px 0;text-align:center}.mw-parser-output .ambox .mbox-empty-cell{border:none;padding:0;width:1px}.mw-parser-output .ambox .mbox-image-div{width:52px}html.client-js body.skin-minerva .mw-parser-output .mbox-text-span{margin-left:23px!important}@media(min-width:720px){.mw-parser-output .ambox{margin:0 10%}}

この項目「射影幾何学」は途中まで翻訳されたものです。(原文:en:Projective geometry 06:49, 20 September 2011)
翻訳作業に協力して下さる方を求めています。ノートページや履歴、翻訳のガイドラインも参照してください。要約欄への翻訳情報の記入をお忘れなく。(2011年9月)

数学における射影幾何学(しゃえいきかがく、: projective geometry)は、射影変換の下で不変な幾何学的性質を研究する学問である(エルランゲン・プログラムも参照)。射影幾何は、初等的なユークリッド幾何とは設定を異にしており、射影空間といくつか基本的な幾何学的概念をもとに記述される。

初等的な直観としては、射影空間はそれと同じ次元のユークリッド空間と比べて「余分な」点(「無限遠点」と呼ばれる)を持ち、射影幾何学的な変換においてその余分な点と通常の点を行き来することが許されると考えることができる。射影幾何学における種々の有用な性質は、このような変換(射影変換)に関連して与えられる。最初に問題となるのは、この射影幾何学的な状況を適切に記述することのできる幾何学的な言語はどのようなものであるかということである。例えば、射影幾何において(ユークリッド幾何で扱うようには)の概念を考えることはできない。実際、角が射影変換の下で不変でないような幾何学的概念の一つであることは透視図などを見れば明らかであり、このような透視図法に関する理論が、事実射影幾何学の源流の一つともなっている。初等的な幾何学とのもう一つの違いとして「平行線は無限遠点において交わる」と考えることが挙げられる。これにより、初等幾何学の概念を射影幾何学へ持ち込むことができる。これもやはり、透視図において鉄道の線路が地平線において交わるといったような直観を基礎に持つ概念である。二次元における射影幾何の基本的な内容に関しては射影平面の項へ譲る。

こういった考え方は古くからあったものだが、射影幾何学として発展するのは主に19世紀のことである。多くの研究が取りまとめられ、射影幾何学は当時の幾何学の最も代表的な分野となった。ここでいう射影幾何学は、座標系(斉次座標系)の各成分が複素数となる複素射影空間についての理論である。そしていくつかのより抽象的な数学の系譜(例えば不変式論、代数幾何学イタリア学派、あるいは古典群の研究へつながるフェリックス・クラインエルランゲン・プログラムなど)が射影幾何学を礎として打ち立てられていった。これらの主題に関わった多くの研究者は、肩書きとしては総合幾何学 (synthetic geometry) に属する研究者である。他にも、射影幾何学の公理的研究から生まれた研究分野として有限幾何学がある。

射影幾何学自体も現在では多くの研究分野へ細分化が進んでおり、主なものとしては、射影代数幾何学(射影代数多様体の研究)と射影微分幾何学(射影変換に関する微分不変量の研究)の二つを挙げることができるだろう。
概観

射影幾何においても距離は定義できる。例えば、実射影平面の点を三次元ユークリッド空間の原点を通る直線で表現した時、ユークリッド空間の距離は直線間の距離としては意味がないが、直線と原点を中心とした単位球との二つの交点を元に、二つの直線間の射影平面での距離を交点間の距離の短いほうと定義できる。平面射影幾何学は、直線との配置問題 (configuration) の研究に端を発する。実際、デザルグらによる透視図法の原理的な説明[1]において、射影幾何学として理解することのできるいくつかの設定に、幾何学的に意味のある言及が散見される。より高次元の空間では、超平面などの線型な部分空間を考えることができて、それらは双対性を示す。この双対性の最も簡単な説明として、射影平面における「相異なる二点は直線を一意的に定める」(その直線は与えられた二点を通る)という言及と「相異なる二直線は点を一意的に定める」(その点は与えられた二直線の交点)という言及が、命題として同じ構造をしているということを挙げることができる。また、射影幾何は直定規のみを用いて構成することができる幾何としても捉えることができる[2]。そして射影幾何がコンパスを用いた構成を必要としないことから、そこには円も角も角度も平行線も中間性の概念も存在しないことがわかる[3]。これらの理由から射影幾何において成立する定理は、初等幾何におけるそれよりも単純な形に述べることができるようになる。例えば、(初等幾何において)異なる円錐曲線は(複素)射影幾何においては全て同値である。また、円に関する定理のいくつかは、もっと一般の定理の特別の場合として見ることができる。

19世紀初頭にポンスレーラザール・カルノーらの業績が数学の一分野としての射影幾何学を確立する[3]。その厳密な基礎付けは、カール・フォン・シュタウトによって取り組まれ、19世紀の後半にジュゼッペ・ペアノ、マリオ・ピエリ、アレッサンドロ・パドア、ジーノ・ファノらによって完成を見ることになる[4]。射影幾何学は(ユークリッド幾何学アフィン幾何学と同じく)クラインによるエルランゲンプログラムに従った研究もなされた。


次ページ
記事の検索
おまかせリスト
▼オプションを表示
ブックマーク登録
mixiチェック!
Twitterに投稿
オプション/リンク一覧
話題のニュース
列車運行情報
暇つぶしWikipedia

Size:46 KB
出典: フリー百科事典『ウィキペディア(Wikipedia)
担当:undef