ARIKIsusumu

[ARIKIsusumu @SATsukuda]

@inuix 気に入ってます。このシリーズが、表現論に触れる方々の共通の知識基盤になりますように、と祈ってます。装丁はその雰囲気にぴったりです。店頭で、数学書に興味がある皆様の目も引くと思うし。

[ARIKIsusumu @SATsukuda]

@Kantaro196611 その通りですが、これは四則演算だけでなく全順序との両立まで仮定した説明。たとえば3進数(3進法ではないことに注意)で、なぜ…2222.000=-1 かと言うのと同じ疑問だと思ったほうがよいように思います。ちなみに無限少数が右に無限に続くのはp が無限大、つまり実数の時だけです。

[ARIKIsusumu @SATsukuda]

@onisci 2進法でx=0.111.. と置くと、2x=1.111… だから2x-x=1. つまりx=1. 無限少数の集合を考えてもいいけどそれが四則演算を持つことを要請すると無矛盾であるためには同値関係で割る必要があると言う話。同値関係はコーシー列を用いて与えられる。

[ARIKIsusumu @SATsukuda]

@rikoushonotana @kyonRTseries 岩波じやないですよ。

[ARIKIsusumu @SATsukuda]

@rikoushonotana 共立出版の100周年企画の表現論シリーズ