乗法付値の定義を思い出しておきます.は体とします.
乗法付値
からへの写像が以下の条件を満たすときをの乗法付値という.
ここで,2つ目の条件をと強くしたものを非アルキメデス付値といいます.反対に,乗法付値であって非アルキメデス付値でない付値のことをアルキメデス付値と言います.
に通常の絶対値を考えたものはアルキメデス付値である.
付値体は完備化を考えることができました.労力削減ということで,以下の命題の証明は参考文献[1]の139ページをご覧ください.
を(代数的とは限らない)体の拡大,を上の乗法付値,をのへの制限とするとき,が非アルキメデス付値であることと,が非アルキメデス付値であることは同値である.
この命題から,付値体を完備化しても,アルキメデス性は継承されるということが分かります.ということで,次の命題を示します.
がコーシー列であることを示せばよい.|・|で付値のことを表すものとします.で,を無限大に飛ばすと,右辺はになるので,はコーシー列.よって今考えている空間の完備性から,命題が成り立つ.
アルキメデス付値だと,例えばのとき,級数は発散したので非アルキメデス付値っていいんやな~と思っていただければ幸いです.ちなみになんですけど,距離構造の入った位相体で付値体にならないものって存在するのでしょうか?前回,コメントをいただいてから考えてみたのですが,思いつけなかったのでここで愚痴をこぼしておきます.それでは今回も見ていただきありがとうございました.