射影平面との和解

射影平面との和解

私のニュースレターでは、最新の数回の投稿の紹介と、時折追加の解説を提供しています。最新のニュースレターで私は次のように書きました。

射影空間と同次座標は、学生時代には動機付けなしに提示されたため、恣意的な抽象化のように思えました。ずっと後に、それらが自然で、ほとんど必然的なものであることを理解しました。射影空間に移行すると、例外的なケースや「無限遠」にあるオブジェクトへの曖昧な言及がなくなります。

私の数学教育は非常にトップダウンでした：抽象化が先、具体例が後（もしあれば）。私はしばらくの間それでうまくいっていましたが、大学院時代のある時点で私の抽象化許容度の上限に達しました。今では、抽象化をまず動機付けてから提示するのではなく、ボトムアップのアプローチを提唱するでしょう。

射影平面を初めて見たのは、おそらくトポロジーのクラスで、誰かが正方形から始めて、物理的に不可能な方法で反対側の辺を貼り合わせることで平面を構築できると言ったときでした。これはギミックのように思え、非可避多様体を構築する方法ではありましたが、実用的なものではありませんでした。もう一つの構築方法は、射影平面は反対側の点を同一視した通常の球であると言うことです。私はそれをもう少し満足のいくものだと感じましたが、それでも動機付けられていませんでした。

私が感謝したかったのは、射影平面が例外的なケースを排除し、「無限遠」という考え方を厳密にすることで、幾何学をより洗練させるために発明されたと言うことでした。例えば、幾何学的な計算では、しばしば垂直線に特別な扱いをする必要がありますが、射影幾何学では垂直線は特別ではありません。

あなたは、平面上の点を単に（x、y）としてではなく、（x、y、1）として表現し、（x、y）方向の無限遠点には（x、y、0）を使用することから始めることができます。それはハックのように見えるかもしれませんが、確かに動機付けられています。これは、グラフィックスプログラマーが行うであろうまさにそのようなことです。実際、多くのプログラマーが独立して射影幾何学にたどり着いたと想像できます。

この追加の座標を導入した後、最後の座標が0または1以外の値であった場合に何が意味するのかを尋ねるのは自然です。これらの拡張された座標で計算を開始すると、すぐにこれに遭遇します。最後の座標がゼロでない場合は常にその座標で正規化するというルールを設けることができ、そうすれば実質的に同次座標を発見したことになります。

上記のようなアプローチは、楕円曲線暗号でよく見られます。暗号化アルゴリズムの実装を考えているプログラマーは、（x、y）点という具体的な言葉で考えていますが、やがて謎の「無限遠点」を心配し、それを正しく処理する必要に迫られます。そのとき、同次座標は窮地を脱するためのツールとして現れます。

---

この投稿のタイトルを「ストレンジラブ博士、あるいは：心配をやめて射影平面を愛する方法」のようなものにしようかと考えましたが、それがどれほどうまく受け取られるか確信がありませんでした。読者の多くがこの1964年の映画を見たことがあるとは思えませんが、「心配をやめて…を愛する方法」という定型句は、映画自体よりも広く知られています。