∅の向こう側に反世界としての０の空間を考えたほうがよい。
今考えているのは有理数Qだから、∅の向こう側にあるのは￢Qとでもしよう。
そこにQと同じだけの反空間がある。
このように考えれば∅と０の区別をつけずにすむと思う。
０を中心として＋Qは０の向こう側に-Qがある。これと同じようにQは０の向こう側に￢Qがある。
>>1の①②...は￢Qの側にある。
そもそも、古代ギリシア数学では１は数ではなく単位扱いされている。
０と１は２以降の数とは違うclassにある。０と１の構造はおもしろい。
このへんがラングランズプログラムとかかわりがあるのかどうか。
