0
大学数学基礎解説
文献あり

アルキメデス付値と非アルキメデス付値

171
1

乗法付値の定義を思い出しておきます.Kは体とします.

乗法付値

KからR0への写像φが以下の条件を満たすときφKの乗法付値という.

  1. φ(xy)=φ(x)φ(y)
  2. φ(x+y)φ(x)+φ(y)
  3. φ(x)=0x=0

ここで,2つ目の条件をφ(x+y)max(φ(x),φ(y))と強くしたものを非アルキメデス付値といいます.反対に,乗法付値であって非アルキメデス付値でない付値のことをアルキメデス付値と言います.

Qに通常の絶対値を考えたものはアルキメデス付値である.

x=2,y=1とすればわかる.

付値体は完備化を考えることができました.労力削減ということで,以下の命題の証明は参考文献[1]の139ページをご覧ください.

L/Kを(代数的とは限らない)体の拡大,φLL上の乗法付値,φKφLKへの制限とするとき,φKが非アルキメデス付値であることと,φLが非アルキメデス付値であることは同値である.

この命題から,付値体を完備化しても,アルキメデス性は継承されるということが分かります.ということで,次の命題を示します.

非アルキメデス完備付値体において,
limnan=0n=0an<
が成り立つ.

sm=n=0manがコーシー列であることを示せばよい.|・|で付値のことを表すものとします.|smsl|=|am+am1++al+1|max(|am|,|al+1|)で,m,lを無限大に飛ばすと,右辺はlimnan=0になるので,smはコーシー列.よって今考えている空間の完備性から,命題が成り立つ.

アルキメデス付値だと,例えばan=1/nのとき,級数は発散したので非アルキメデス付値っていいんやな~と思っていただければ幸いです.ちなみになんですけど,距離構造の入った位相体で付値体にならないものって存在するのでしょうか?前回,コメントをいただいてから考えてみたのですが,思いつけなかったのでここで愚痴をこぼしておきます.それでは今回も見ていただきありがとうございました.

参考文献

[1]
雪江明彦, 代数学のひろがり
投稿日:20241029
OptHub AI Competition

この記事を高評価した人

高評価したユーザはいません

この記事に送られたバッジ

バッジはありません。
バッチを贈って投稿者を応援しよう

バッチを贈ると投稿者に現金やAmazonのギフトカードが還元されます。

投稿者

はじめまして!楽しい記事を書ければと思いますので、よろしくお願いします。

コメント

他の人のコメント

コメントはありません。
読み込み中...
読み込み中