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

乗法付値の同値性についての色々

239
0
$$\newcommand{a}[0]{\alpha} \newcommand{b}[0]{\beta} \newcommand{C}[0]{\mathbb{C}} \newcommand{d}[0]{\delta} \newcommand{dis}[0]{\displaystyle} \newcommand{e}[0]{\varepsilon} \newcommand{farc}[2]{\frac{#1}{#2}} \newcommand{G}[0]{\Gamma} \newcommand{g}[0]{\gamma} \newcommand{Gal}[0]{\operatorname{Gal}} \newcommand{id}[0]{\operatorname{id}} \newcommand{Im}[0]{\operatorname{Im}} \newcommand{Ker}[0]{\operatorname{Ker}} \newcommand{l}[0]{\left} \newcommand{Li}[0]{\operatorname{Li}} \newcommand{li}[0]{\operatorname{li}} \newcommand{N}[0]{\mathbb{N}} \newcommand{ol}[1]{\overline{#1}} \newcommand{ord}[0]{\operatorname{ord}} \newcommand{Q}[0]{\mathbb{Q}} \newcommand{r}[0]{\right} \newcommand{R}[0]{\mathbb{R}} \newcommand{Re}[0]{\operatorname{Re}} \newcommand{s}[0]{\sigma} \newcommand{ul}[1]{\underline{#1}} \newcommand{vt}[0]{\vartheta} \newcommand{Z}[0]{\mathbb{Z}} \newcommand{z}[0]{\zeta} \newcommand{ZZ}[1]{\mathbb{Z}/#1\mathbb{Z}} \newcommand{ZZt}[1]{(\mathbb{Z}/#1\mathbb{Z})^\times} $$

はじめに

 この記事は後の記事の準備として乗法付値の同値性について色々掘り下げていきます。

諸々の定義

乗法付値

 体$K$から非負実数$\R_{\geq0}$への写像$|\cdot|$乗法付値であるとは、$|\cdot|$が次の三つの条件を見たすことを言う。
$|x|=0\iff x=0$
$|xy|=|x|\,|y|$
$|x+y|\leq\max\{|x|,|y|\}$

 ちなみに$|x|\neq|y|$のとき、$|x|<|y|$とすると
$|y|=|x+y-x|\leq\max\{|x+y|,|x|\}=|x+y|\leq\max\{|x|,|y|\}=|y|$
なので
$|x+y|=|y|=\max\{|x|,|y|\}$
が成り立ちます。

同値な乗法付値

 体$K$の乗法付値$|\cdot|,|\cdot|'$が同値であるとは
$|x|<1\iff|x|'<1$
が成り立つことを言う。このとき
$|x|=1\iff|x|'=1$
$|x|>1\iff|x|'>1$
も成り立つ。

 自明な乗法付値$|x|=1\;(x\neq0)$と同値な付値は自明な乗法付値しかないので、以下非自明な乗法付値のみを考えるものとする。

乗法付値の同値性と同値な$2$つの命題

 体$K$の乗法付値$|\cdot|,|\cdot|'$が同値であることとある$\a>0$があって$|\cdot|'=|\cdot|^\a$が成り立つことは同値である。

 証明は自分で考えたので一般的な解法ではないかもしれませんが悪しからず。

 $|\cdot|'=|\cdot|^\a$であれば$|\cdot|,|\cdot|'$が同値となるのは自明なので逆を示す。
 同値な乗法付値$|\cdot|,|\cdot|'$$|x|<|y|,\;|x|,|y|\neq0,1$なる$x,y\in K$に対して、$\a=\log|x|'/\log|x|,\b=\log|y|'/\log|y|$、つまり$|x|'=|x|^\a,|y|'=|y|^\b$とおく。
 いま$\a<\b$とすると
$\dis\frac\a\b r<\farc{\log|y|}{\log|x|}< r$
なる有理数$r=p/q\;(q>0)$があって
$|x^p|>|y^q|$かつ$|x^p|'=|x|^{p\a}<|y|^{q\b}=|y^q|'$
が成り立つことになり矛盾。
 同様に$\a>\b$とすると
$\dis r<\farc{\log|y|}{\log|x|}<\frac\a\b r$
なる有理数$r=p/q\;(q>0)$があって
$|x^p|<|y^q|$かつ$|x^p|'=|x|^{p\a}>|y|^{q\b}=|y^q|'$
が成り立つことになり矛盾。
 よって$\a=\b$でなければならず、主張を得る。

 体$K$の乗法付値$|\cdot|,|\cdot|'$が同値であることと$|\cdot|,|\cdot|'$が同じ位相を定めることは同値である。

 命題1から同値な付値が同じ位相を定めることは自明なので逆を示す。
 同じ位相を定める付値$|\cdot|,|\cdot|'$について$|a|<1$なる$a\in K$を考えると、
$|a^n|=|a|^n\to0\quad(n\to\infty)$
より、$|\cdot|$の定める位相において$a^n\to0$が成り立つ。つまり$|\cdot|'$の定める位相においても$a^n\to0$が成り立ち、したがって$|a^n|'\to0$となるが、これは$|a|'<1$であることに他ならない。
 よって
$|a|<1\Rightarrow|a|'<1$
同様にその逆もわかり
$|a|<1\iff|a|'<1$
を得る。

後の記事のための補題

 (非自明な)絶対値$|\cdot|$の備わった完備体$K$とその有限次拡大体$L$について、$L$の乗法付値$|\cdot|_L$であって
$|x|_L=|x|\quad(x\in K)$
を満たすようなものは高々一つしか存在せず、存在すれば$L$$|\cdot|_L$について完備となる。

 もしそのような乗法付値$|\cdot|_L,|\cdot|'_L$があったとすると、$|\cdot|_L,|\cdot|'_L$$L$のノルムとみなせ、 前回の記事 より完備体上の有限次線形空間のノルムは全て同値であったので$|\cdot|_L,|\cdot|'_L$は同じ位相を定め、したがって乗法付値としても同値である(また$L$はこれらについて完備となる)。
 つまりある$\a>0$があって$|\cdot|'_L=|\cdot|_L^\a$が成り立つが、$|a|\neq0,1$なる$a\in K$を考えると
$|a|_L=|a|=|a|'_L=|a|_L^\a\neq0,1$
なので$\a=1$でなければならず主張を得る。

参考文献

投稿日:2022617

この記事を高評価した人

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

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

バッジはありません。

投稿者

子葉
子葉
836
155272
主に複素解析、代数学、数論を学んでおります。 私の経験上、その証明が簡単に探しても見つからない、英語の文献を漁らないと載ってない、なんて定理の解説を主にやっていきます。 同じ経験をしている人の助けになれば。最近は自分用のノートになっている節があります。

コメント

他の人のコメント

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