絶対値
数学において、絶対値（ぜったいち、テンプレート:Lang-en）は数の「大きさ」の概念を与える規準の一つである。その数が 0 からどれだけ離れているかを知ることができる。
実数の絶対値
実数の絶対値または母数（ぼすう、テンプレート:Lang-en; 尺度）は
- <math>|x|:=\begin{cases}
x & (x\ge 0)\\ -x & (x < 0) \end{cases}</math> なる条件、あるいはこれに同値な
- <math>|a|=\sqrt{a^2}</math>
などの条件で与えられる。前者の条件では実数から符号を取り除いたもの、後者の条件からは 0 からの距離を与えるものという解釈を得ることができる。
実数の絶対値に関して、
- −b ≤ a ≤ b のとき、且つそのときに限って、|a| ≤ b
が成り立ち、絶対値に関する不等式を絶対値を用いない形に書き直すことができる。例えば、
- |x - 3| ≤ 9 ⇔ −9 ≤ x − 3 ≤ 9 ⇔ −6 ≤ x ≤ 12
などとなる。一般には必ずしも単純に書き換えることはできず、いくつかの場合に分けて調べることになる。
性質
基本的な性質として、
- 非負性: |a| ≥ 0
- a = 0 のとき、且つそのときに限って、|a| = 0
- 対称性: |−a| = |a|
- 劣加法性: |a + b| ≤ |a| + |b|
などが成立する。これは距離函数が満たす性質と対応している。また、各式が定義される範囲において
- 乗法性: |ab| = |a||b|, |a/b| = |a|/|b|
などの性質が成り立つ。
絶対値函数
実数の絶対値が定める非負実数値函数
- <math>\mathbb{R} \ni x \mapsto |x| \in \mathbb{R}_+</math>
は絶対値の性質により、y-軸対称な連続関数である。この函数は x = 0 以外で微分可能であり、その導函数
- <math>d|x|/dx = \begin{cases} 1 & (x>0)\\ -1 & (x<0)\end{cases}</math>
は符号関数 sgn(x) （あるいは本質的にヘヴィサイドの階段関数）であり、定義可能な範囲 (−∞, 0) ∪ (0, ∞) における連続函数であるが、x = 0 における値をどのように定めるとしても R = (−∞, ∞) の全体で連続な函数へ延長することは出来ない。また絶対値函数は任意区間で可積分であり、その原始函数が
- <math>\int |x|\,dx = \frac{1}{2}x|x| + C</math>
で与えられることも右辺を微分することにより直ちに確かめられる。
複素数の絶対値
複素数 z = a + ib に対して、その絶対値は
- <math> |z| = \sqrt{a^2+b^2} </math>
で与えられる非負実数値である。b = 0 とすることにより、z が実数値を取るときには実数の絶対値に一致することが確かめられる。
z をガウス平面上の点として解釈すれば、|z| とは原点から z までの距離である。複素数を扱う際に、その数を絶対値と偏角とによって表す極形式の考え方は有益である。
複素数 z とその複素共軛 z に対して
- <math> |z| = |\bar{z}|</math>
が成り立つ。また、
- <math> |z|^2 = z\bar{z}</math>
は z が引き起こすガウス平面上の一次変換の母数（モジュラス）である。
ノルムと距離函数
絶対値の概念を拡張したものとしてノルムがある（絶対値の乗法性はスカラー倍に関する斉次性に読み替える）。上記の実数に対する絶対値、複素数に対する絶対値はどちらもノルムの条件を満たす。ノルムは距離を定める。実際以下の性質
- 非負性: |x − y| ≥ 0
- 不可識別者同一性: |x − y| = 0 ⇔ x = y
- 三角不等式: |x − z| ≤ |x − y| + |y − z|
が成立し、d(x, y) = |x − y| が距離函数となることが確認できる。
ルベーグ測度
一次元ルベーグ外測度は半開区間上で μ((a, b]) = |b − a| を満たす右連続単調増加な集合函数の定めるスティルチェス測度である。
体の賦値
有理数体上の p-進絶対値など、体の賦値も絶対値の一般化である。賦値には加法賦値と乗法賦値があり、乗法賦値のことをしばしば絶対値あるいはモジュラスと呼称する。特に複素数体 C の部分体がアルキメデス的な乗法賦値を持つならば、それは本項で述べたような通常の絶対値に（同値の差を除いて）一致する。賦値体はその賦値の定める距離位相に関して位相体を成す。
非アルキメデス的な乗法付値は一階の加法的な賦値と対応がとれ、これらはしばしば同一のものとして扱われる。加法的賦値体あるいは順序体においてその賦値環は、その体における正の数全体の集合を本質的に特徴付けるものである。有限体 Fq (q = pf) において標準的な賦値（モジュラス）は p-進絶対値の冪
- <math>|x|_q := q^{-v_p(x)} =|x|_p^f</math>
である。これを適当なハール測度による立方体の体積と理解することもある。
