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