代数学
代数幾何学にはいったよ。
多項式環からつくられる代数方程式の環がある。そいつらのなす包含関係は・・・
- 空間全体を解に持つ方程式がある。
- 解を持たない方程式がある。
- 解の範囲がA,Bであるふたつの方程式があればA∪Bを解に持つ方程式もある。
- (x-A)(x-B)のことですね。
- 解の範囲が
なる方程式群があれば、
たちの共通部分を解に持つ方程式もある。
- ネター環ですからな。
これって何かに似てない？そう、代数方程式の零点集合たちを閉集合たちとする位相が、解空間にはいるんだ。
まあこの位相はハウスドルフじゃなかったり、そもそも零点集合からもとの代数方程式がちっとも復元できない*1場合が多々あったりするんだけどね。
でももとの多項式環が代数閉体だったら話は別。ある程度復元する方法があって・・・続く。
