翻訳|valuation
Rを実数体(すなわち実数の全体のなす体)とすると絶対値| |は次のような基本性質をもつ。
(1)任意の実数xに対して|x|≧0 とくに
|x|=0⇔x=0
(2)任意の実数x、yに対して
|xy|=|x||y|
(3)任意の実数x、yに対して
|x+y|≦|x|+|y|
一般にKを体とし、をKから実数体Rへの写像
とするとき
(1)任意のx(∈K)に対して(x)≧0 とくに
(x)=0 ⇔ x=0
(2)任意のx,y(∈K)に対して
(xy)=
(x)
(y)
(3)任意のx,y(∈K)に対して
(x+y)≦
(x)+
(y)
の3条件が成り立つならば、を体Kの付値という。絶対値は実数体Rの付値である。そのほか、たとえば
(0)=0,
(x)=1 (x≠0)と定義すれば一つの付値が得られる。これを自明な付値という。
Qを有理数体とし、pを固定した素数とする。有理数xをpn(a/b)(nは整数、a、bはpと素な整数)という形に表し、
p(x)=p-n
と定義すると、p進付値とよばれる一つの付値が得られる。有理数体の付値にはp進付値と自明な付値と絶対値しか(本質的には)存在しないことが知られている。
[足立恒雄]
収穫年度を2年経過した米。《季 秋》[類語]米・玄米・白米・新米・古米・粳うるち・粳米・糯もち・糯米・黒米・胚芽米・精白米・内地米・外米・早場米・遅場米・新穀・米粒・飯粒・小米・屑米...