絶対値

提供: miniwiki
移動先:案内検索


ファイル:Khoang cach tren duong thang thuc.png
数の絶対値は零からの距離と考えられる

数学における実数 x絶対値(ぜったいち、: absolute value)または母数(ぼすう、: modulusテンプレート:Abs は、その符号を無視して得られる非負の値を言う。つまり正数 x に対して テンプレート:Abs = x および負数 x に対して テンプレート:Abs = x(このとき x は正)であり、また テンプレート:Abs = 0 である。例えば 3 の絶対値は 3 であり −3 の絶対値も 3 である。数の絶対値はその数の零からの距離と見なすことができる。

実数の絶対値を一般化する概念は、数学において広範で多様な設定のもとで生じてくる。例えば、絶対値は複素数四元数順序環などに対しても定義することができる。様々な数学的あるいは物理学的な文脈における大きさEnglish版 (magnitude) や距離およびノルムなどの概念は、絶対値と緊密な関係にある

用語と記法

1806年にジャン゠ロバート・アルガンEnglish版が導入した用語 module は、フランス語で「測る単位」を意味する言葉で、特に複素数の絶対値を表すためのものであった[1][2]。それは対応するラテン語の modulus として1866年に英語にも借用翻訳されている[1]absolute value が本項に言う意味で用いられたのは、少なくとも1806年にフランス語で[3]および1857年に英語で[4]見られる。両側を縦棒で括る記法 テンプレート:Absカール・ヴァイアシュトラスが1841年に導入した[5]。絶対値を表すほかの名称には numerical value[1](数値)や magnitude[1](大きさ)などが挙げられる。プログラム言語や計算機ソフトでは x の絶対値を abs(x) のような函数記法で表すことが一般に行われる。

縦棒で括る記法は他の数学的文脈でもいくつも用いられる(例えば、集合を縦棒で括ればその集合の濃度を表し、行列に用いれば行列式を表す)。したがって、縦棒が絶対値を表すためのものか判断するには、その引数が絶対値の概念が定義される代数的対象(例えば、実数や複素数や四元数などのノルム多元体)かどうかに注意が払われなければならない。絶対値とよく似て非なる概念に縦棒記法が使われる例として、Rn のベクトルに対するユークリッドノルム[6]および上限ノルム[7]などが挙げられるが、これらについては二重縦棒と下付き添字を用いた記法(それぞれ テンプレート:Norm2 および テンプレート:Norm)を用いるのがより一般的で紛れも少ない。

実数の絶対値

実数の絶対値

[math]|x|:=\begin{cases} x & (x\ge 0)\\ -x & (x \lt 0) \end{cases}[/math]

なる条件[8]、あるいはこれに同値な

[math]|a|=\sqrt{a^2}[/math]

などの条件[9] で与えられる。これは[math]|x|:=\max\{x,-x\}[/math]といっても同じである. 最初の条件では実数から符号を取り除いたもの, 2つ目の条件からは 0 からの距離を与えるものという解釈を得ることができる。

実数の絶対値に関して、

[math]|a| \le b \iff -b \le a \le b [/math]
[math]|a| \ge b \iff a \le -b\ [/math] or [math]b \le a [/math]

は絶対値を含む不等式を扱うのに有用である。例えば、テンプレート:Abs ≤ 9 ⇔ −9 ≤ x − 3 ≤ 9 ⇔ −6 ≤ x ≤ 12 などとできる。

性質

基本的な性質として、任意の実数 a, b について

などが成立する。これは距離函数が満たす性質と対応する(後述)。また、

などの性質が成り立つ。

絶対値函数

ファイル:Absolute value.svg
絶対値函数のグラフ
ファイル:Absolute value composition.svg
三次函数と絶対値函数の異なる順番での合成

実数の絶対値が定める非負実数値函数 Rxテンプレート:AbsR+ は至る所連続で、x = 0 を除き至る所微分可能[注釈 1]である。また、区間 テンプレート:Open-closed 上で単調増大であり、区間 テンプレート:Closed-open で単調減少である。各実数とその反数の絶対値は同じ値であるから、絶対値函数は偶函数であり、それゆえ逆函数を持たない。この実絶対値函数は区分線型凸函数である。また、冪等である。

x ≠ 0 における導函数

[math]\dfrac{d}{dx}|x| = \begin{cases} 1 & (x\gt 0)\\ -1 & (x\lt 0)\end{cases}[/math]

sign(x)(あるいは本質的にヘヴィサイドの階段関数[10][11])であり、定義可能な範囲 (−∞, 0) ∪ (0, ∞) における連続函数であるが、x = 0 における値をどのように定めるとしても テンプレート:Mathbf 全体で連続な函数へ延長することは出来ない。

また絶対値函数は任意区間で可積分であり、その原始函数が

[math]\int |x|\,dx = \frac{1}{2}x|x| + C[/math]

で与えられることも右辺を微分することにより直ちに確かめられる。

絶対値が誘導する距離

絶対値の基本性質、非負性・非退化性・偶性・劣加法性は、二数の絶体差English版 を考えることにより、ノルム絶対値ノルム)として距離函数が満たす性質と対応しており、x, y, z を任意の実数として

と書いても同値である[注釈 2]。即ち d(x,y) = テンプレート:Abs と置けば d絶対距離と呼ばれる距離函数になる。

その他の絶対値

順序環における絶対値

任意の順序環 R に対して、0R加法単位元、"a" は a加法逆元とすれば、実数の場合とまったく同じく

[math]|x|:=\begin{cases}a & (a\ge 0)\\-a & (a \lt 0)\end{cases}[/math]

として絶対値が定義される。


複素数の絶対値

ファイル:Complex.png
原点からの距離 r が絶対値を表す

複素数 z = a + ib に対して、その絶対値は

[math] |z| = \sqrt{a^2+b^2} [/math]

で与えられる非負実数値である。b = 0 とすることにより、z が実数値を取るときには実数の絶対値に一致することが確かめられる。

zガウス平面上の点として解釈すれば、テンプレート:Abs とは原点から z までの距離である。複素数を扱う際に、その数を絶対値と偏角とによって表す極形式の考え方は有益である。

複素数 z とその複素共軛 z に対して

[math] |z| = |\bar{z}|[/math]

が成り立つ。また、

[math] |z|^2 = z\bar{z}[/math]

z が引き起こすガウス平面上の一次変換の母数(モジュラス)である。

ベクトルのノルム

絶対値の概念を拡張したものとしてノルムがある。(実または複素数体)K 上のベクトル空間 V に属するベクトル v のノルムあるいは大きさ (magnitude) または長さ (length) v は、以下の性質

を満たす。従って、ノルムは距離 d(x, y) = ‖xy を誘導する。上記の実数に対する絶対値、複素数に対する絶対値はどちらもノルムの条件を満たす。絶対値の誘導する距離はノルムの誘導する距離である。

リース空間における絶対値

リース空間と呼ばれる順序線型空間English版のベクトル v に対しては、テンプレート:Abs = v ∨ (−v) で絶対値が定義される。例えば集合 X 上の実数値(あるいはより一般に全順序群に値をとる)函数全体の成す集合は、f, g に対して (fg)(x) テンプレート:Coloneqq max{f(x), g(x)}, (fg)(x) テンプレート:Coloneqq min{f(x), g(x)} と置くことによりリース空間となり、各 f に対して

テンプレート:Abs(x) テンプレート:Coloneqq max{±f(x)}

f の絶対値を与える。f± テンプレート:Coloneqq ±f ∨ 0 と置けば、絶対値は テンプレート:Abs = f+ + f と書ける。

体の賦値

有理数体上の p-進絶対値など、体の賦値も絶対値の一般化である。賦値には加法賦値乗法賦値があり、乗法賦値(特に指数賦値)のことをしばしば絶対値あるいはモジュラスと呼称する。賦値体はその賦値の定める距離位相に関して位相体を成す。

複素数体 C の部分体がアルキメデス的な乗法賦値を持つならば、それは本項で述べたような通常の絶対値に(同値の差を除いて)一致する。代数体上のアルキメデス的な乗法付値 [math]|x|_v[/math] は、 C への埋め込み σ をうまくとれば、 [math]|\sigma(x)|[/math] (ここで [math]|\cdot|[/math] は通常の絶対値)と同値となる。一方、代数体上の非アルキメデス的な乗法付値は、有理数体上のp進付値に(同値の差を除いて)一致する。代数体上の乗法付値の同値類のうち、有理数体上で通常の絶対値あるいは正規p進付値と一致するものを標準的な絶対値 (standard absolute value)という[13]

v が代数体 K 上の標準的な絶対値であるとき、この絶対値による K の完備化を [math]K_v[/math] とあらわす。また、この絶対値を有理数体上に制限したものによる、有理数体の完備化を [math]\mathbb{Q}_v[/math] とあらわす。このとき [math]K_v[/math][math]\mathbb{Q}_v[/math] の拡大体となっており、その拡大次数 [math]n_v=[K_v: \mathbb{Q}_v][/math]v局所次数 (local degree) と呼ぶ。このとき、

[math]\lVert x\rVert _v=|x|_v^{n_v}[/math]

正規化された絶対値 (normalized absolute value) という。 v がアルキメデス的な絶対値であれば、 K の埋め込み σ をうまくとり、

[math]\lVert x\rVert _v=|\sigma(x)|^{n_v}[/math]

とあらわせる。また、このとき σ が実埋め込みならば [math]n_v=1[/math] で、複素埋め込みならば [math]n_v=2[/math] が成り立つ。v が非アルキメデス的な絶対値で、 v の有理数体への制限が p-進付値に一致しているとき、 p の上にある K 上の素イデアル π をうまくとれば、[math]\lVert \cdot\rVert _v[/math] は正規 π-進付値に一致する。すなわち

[math]\lVert x\rVert _v=|x|_\pi[/math]

が成り立つ(この正規化された絶対値 [math]\lVert \cdot\rVert _v[/math][math]|\cdot|_v[/math] と書いている文献も存在する[14]。)。

v がすべての標準的な絶対値を走るとき、 積公式 (product formula)

[math]\prod_v \lVert x\rVert _v=\prod_v |x|_v^{n_v}=1[/math]

が成り立つ。

非アルキメデス的な乗法付値は一階の加法的な賦値と対応がとれ、これらはしばしば同一のものとして扱われる。加法的賦値体あるいは順序体においてその賦値環は、その体における正の数全体の集合を本質的に特徴付けるものである。有限体 Fq (q = pf) において標準的な賦値(モジュラス)は p-進絶対値の冪

[math]|x|_q := q^{-v_p(x)} =|x|_p^f[/math]

である。これを適当なハール測度による立方体の体積と理解することもある。

注釈

  1. ただし、この微分可能性は複素微分可能を意味しない。つまり、複素変数の絶対値函数はコーシー–リーマンの方程式を満たさない[10]
  2. この公理系は極小ではない。実際、非負性は他の三つから出る: 0 = d(a, a) ≤ d(a, b) + d(b, a) = 2d(a, b).

出典

  1. 1.0 1.1 1.2 1.3 Oxford English Dictionary, Draft Revision, June 2008
  2. Nahin, O'Connor and Robertson, and functions.Wolfram.com.; for the French sense, see Littré, 1877
  3. Lazare Nicolas M. Carnot, Mémoire sur la relation qui existe entre les distances respectives de cinq point quelconques pris dans l'espace, p. 105 at Google Books
  4. James Mill Peirce, A Text-book of Analytic Geometry at Google Books. The oldest citation in the 2nd edition of the Oxford English Dictionary is from 1907. もちろん relative value(相対値)と対照を成す語としても absolute value(絶対値)は使われる
  5. Nicholas J. Higham, Handbook of writing for the mathematical sciences, SIAM. 0-89871-420-6{{#invoke:check isxn|check_isbn|0-89871-420-6|error={{#invoke:Error|error|{{ISBN2}}のパラメータエラー: 無効なISBNです。|tag=span}}}}, p. 25
  6. Spivak, Michael (1965). Calculus on Manifolds. Boulder, CO: Westview, 1. ISBN 0805390219. 
  7. Munkres, James (1991). Analysis on Manifolds. Boulder, CO: Westview, 4. ISBN 0201510359. 
  8. Mendelson, p. 2.
  9. Stewart, James B. (2001). Calculus: concepts and contexts. Australia: Brooks/Cole. ISBN 0-534-37718-1. , p. A5
  10. 10.0 10.1 Weisstein, Eric W. “Absolute Value”. MathWorld(英語). Template:Cite webの呼び出しエラー:引数 accessdate は必須です。
  11. Bartel and Sherbert, p. 163
  12. Peter Wriggers, Panagiotis Panatiotopoulos, eds., New Developments in Contact Problems, 1999, 3-211-83154-1{{#invoke:check isxn|check_isbn|3-211-83154-1|error={{#invoke:Error|error|{{ISBN2}}のパラメータエラー: 無効なISBNです。|tag=span}}}}, p. 31–32
  13. Hindry & Silvermann, p. 171
  14. たとえば Yann Bugeaud; Kálmán Győry (1996), “Bounds for the solutions of unit equations”, Acta Arithmetica 74: 67--80, MR MR1367579, http://pldml.icm.edu.pl/pldml/element/bwmeta1.element.bwnjournal-article-aav74i1p67bwm 

参考文献

  • Bartle; Sherbert; Introduction to real analysis (4th ed.), John Wiley & Sons, 2011 978-0-471-43331-6{{#invoke:check isxn|check_isbn|978-0-471-43331-6|error={{#invoke:Error|error|{{ISBN2}}のパラメータエラー: 無効なISBNです。|tag=span}}}}.
  • Mendelson, Elliott, Schaum's Outline of Beginning Calculus, McGraw-Hill Professional, 2008. 978-0-07-148754-2{{#invoke:check isxn|check_isbn|978-0-07-148754-2|error={{#invoke:Error|error|{{ISBN2}}のパラメータエラー: 無効なISBNです。|tag=span}}}}.
  • (2000) Diophantine Geometry, Graduate Texts in Mathematics. Springer-Verlag. DOI:10.1007/978-1-4612-1210-2. ISBN 0-387-98975-4. 

関連項目

外部リンク

  • {{#invoke:citation/CS1|citation

|CitationClass=citation }}