距離空間
距離空間というものが気に食わなかった。なぜが特別扱いされているのだろう。という議論の途中で考えたこと。
思うに完備アルキメデス順序体のアルキメデスってところが意外と重要なんじゃないかなと。
で順序を保つ埋め込みが存在しないことの略証
辞書式順序を保つ全射写像を が存在するとする。
となるはずだが、右辺は発散するので矛盾。(f(x,1)-f(x,0) は任意のに対して正だが、 を考えると、ある が存在してその濃度は非有限(でないと[0,1]が高々可算になり矛盾)。よって から適当な数の元を選べば発散することが言える)
それのどこが non-trivial か、っていわれそうですけれども思いついたので…
全順序で最大最小を持たず順序に対して連結で可分ならば実数と位相空間として同型らしい。
連結と可分に効いてくるから。うにゃうにゃ。