入口
ベクトル空間
目標
射影幾何学の基本定理
進捗
ルート設計中
ルート地図
- 1ベクトル空間入口準備中
射影空間の土台を用意する
- 2射影空間中継点準備中
原点を通る直線を点として見る
- 3射影部分空間中継点準備中
点・直線・平面の incidence を整理する
- 4共線性を保つ写像中継点準備中
直線上の点を直線上へ送る写像を見る
- 5半線形写像中継点準備中
体の自己同型を含む線形的な写像を用意する
- 6射影幾何学の基本定理目標準備中
共線性を保つ射影写像が半線形写像から来ることを示す
目標までの見通し
共線性を保つ射影写像が半線形写像から来ることを示す