翻訳|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進付値と自明な付値と絶対値しか(本質的には)存在しないことが知られている。
[足立恒雄]
宇宙事業会社スペースワンが開発した小型ロケット。固体燃料の3段式で、宇宙航空研究開発機構(JAXA)が開発を進めるイプシロンSよりもさらに小さい。スペースワンは契約から打ち上げまでの期間で世界最短を...
12/17 日本大百科全書(ニッポニカ)を更新
11/21 日本大百科全書(ニッポニカ)を更新
10/29 小学館の図鑑NEO[新版]動物を追加
10/22 デジタル大辞泉を更新
10/22 デジタル大辞泉プラスを更新