射影平面はなぜ「必然」なのか——例外処理だらけの幾何学が美しくなる理由
Making Peace with the Projective Plane
射影空間や同次座標は、学生時代には動機づけのない恣意的な抽象論に見えた。だが後になって、これらは自然でほとんど必然的なものだと気づく。垂直線を特別扱いせず、「無限遠」を厳密に扱えるようになり、例外ケースが消えるからだ。著者は抽象を先に与えるトップダウン教育を批判し、動機づけを先に示すボトムアップのアプローチを提唱する。
学生だった頃、射影空間と同次座標は、何の動機づけもなく提示されたため、恣意的な抽象論に思えた。ずっと後になって、それらは自然で、ほとんど必然的なものだと気づいた。
HNでの議論
16- lopotubez
原点を通る直線と射影平面上の点との間に全単射が存在することを示せるので、射影平面上で平行線の族をたどると、それは原点を通る水平線、つまり「無限遠点」に対応することになる。また、その平行線と同じ方向も共有している。
私はこれを、腕を1次元部分空間、天井を射影平面だと思って寝そべりながら想像している。平行線の族をたどると、それらはすべて同じ直線に行き着く（馬鹿げて聞こえるのは分かっているが、私にとっては簡単な可視化方法なのだ）。
これによって、直線の一般方程式がどこから来るのかも明らかになる。原点を通る同じ直線 [a:b:c] と、それに垂直とされる別の直線 [x:y:z] を想像すると、ピタゴラスの定理により ax + by + cz = 0 が示せ、これはまさに [a:b:c] に垂直な平面である。だからその平面も水平だと想像すれば、それは「無限遠の地平線」に対応する。直線の一般方程式 aX + bY + c = 0 は、同次座標 (X,Y,1) を持つ射影平面との交点にすぎない。ここで X = x/z、Y = y/z、z != 0 である。射影平面上の点は原点を通る直線に対応し、射影平面上の直線は原点を通る平面に対応する。
現実が射影的であるように見えるのに、なぜ射影平面が学校で教えられる「デフォルト」の平面ではないのか、いつも不思議に思う。
- nh23423fefe
射影幾何学の応用を理解できた唯一の瞬間は、双ベクトルの指数関数を使って回転と並進が統一されるのを見たときだった。同次座標はまだよく分かっていない。f(lambda*x)=lambda^n*f(x) で f が準同型のようなものだというのは分かるし、なぜそもそもこんなことをするのかも、問題集を解いて理解したことは一度もない。ステレオ投影が何かは分かるが、問題に応用できない。
一方で、学んだ他の数学的対象の応用はしょっちゅう見かける。自分が「ああ、なるほど、これは射影的だから…」と考えるのを耳にしたことは一度もない。
- xeonmc
なぜ単に「方向空間」とか「大きさのない座標」と呼ばないのか、いつも不思議に思っていた。