はじめに
通常の距離が入ったやがコンパクトでないことはよく知られていると思うのですが,さて,別の距離が入ったものについてはどうなのだろうか,というのが気になったので記事になりました.よろしくお願いします.
コンパクトではないことの証明
前提知識1
まず,進距離って何ぞやっていう話ですよね.
有理数体上に次のように距離を定めます.
進距離
を素数とする.の任意の元はという形にかける.ただし,は整数,はで割れない整数である.はによって一意に定まるので,
とおく.また,と定めておく.このとき,上の距離をと定める.
これが距離であることは練習問題としておきます.『代数函数論』入門のシリーズを見てくだされば,どこかでとしたものが加法付値になっていることを言っていたと思うので,加法付値の性質を思い出していただければ証明できるはずです.
進距離が入った有理数体は結構面白くて,次のような等式が成り立ちます.
ただし,です.
- より明らか.
- としたとき,で,
が(1)より分かるから.
ちなみに,は完備ではありません.例えば,はコーシー列ですが,の元に収束しません(参考文献[1]182ページ).
前提知識2
位相空間論の前提知識です.
距離空間がコンパクトならば,完備かつ有界である.(参考文献[1],173ページ)
参考文献にはもっと強い主張が載っていますが,ここではこれで十分なので.(というより,全有界の定義が少し面倒だったので.)
本題
完備でも有界でもないので当たり前ですね.有界でないのは,より分かります.
おわりに
進距離をいれた有理数体がコンパクトではないことが言えたからなんだという話ではありますが,位相を考えているのだから,コンパクト性というのは重要な性質なはずです.というのもあり,きちんと証明してみました.(を進距離で完備化したもの)も有界でないので,コンパクトではないです.
[タイトルの命題は命題1を知っていれば明らかでしたね.この命題を知らなかったがために最初のver.では回りくどいやり方をしてしまっていました.ごめんなさい.気が向いたら命題1の証明の記事も上げると思います(追記)]それでは,ここまで見ていただきありがとうございました.