この complex は複素数と観念複合体の掛詞として書いた。 今思ったのだけど、複体でもいいかな。

Gelfand-Mazurの定理:Kを実ノルム体とすれば、KはRまたはCと同形。この定理は複素数の世界の存在を強くいっている気がしていた。しかし、Hilbert空間の章を読み終わって、この定理はそこが重要なのではないのではないかという疑念が湧いてきた。 しかし、com…