この記事は後の記事の準備として乗法付値の同値性について色々掘り下げていきます。
体$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)$と同値な付値は自明な乗法付値しかないので、以下非自明な乗法付値のみを考えるものとする。
体$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$でなければならず主張を得る。