今日までの数学は, 岩波位相幾何学 I で, スカラー体 K が K = R, C, or H の場合の S^n_K のあたりのところまでやっていました. 僕の博士論文では, H^n は左 H ベクトル空間とし, HP^n の定義では, H^n-{0} に H-{0} が右から作用した時の orbit space であ…