前のページ 1/1 次のページ

数学において、絶対値(ぜったいち、)は数の「大きさ」の概念を与える規準の一つである。その数が 0 からどれだけ離れているかを知ることができる。

◆ 実数の絶対値

実数の絶対値または母数(ぼすう、; 尺度)は

:

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

: $|a|\; =\; \backslash sqrt$

などの条件で与えられる。前者の条件では実数から符号を取り除いたもの、後者の条件からは 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|

などの性質が成り立つ。

◆ 絶対値函数

実数の絶対値が定める非負実数値函数

: $\backslash mathbb\backslash ni\; x\; \backslash mapsto\; |x|\; \backslash in\; \backslash mathbb\_+$

は絶対値の性質により、y-軸対称な連続函数である。この函数は x = 0 以外で微分可能であり、その導函数

:

は符号函数 sgn(x) (あるいは本質的にヘヴィサイドの階段函数)であり、定義可能な範囲 (−∞, 0) ∪ (0, ∞) における連続函数であるが、x = 0 における値をどのように定めるとしても R = (−∞, ∞) の全体で連続な函数へ延長することは出来ない。また絶対値函数は任意区間で可積分であり、その原始函数が

: $\backslash int\; |x|\backslash ,dx\; =\; \backslash fracx|x|\; +\; C$

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

◆ 複素数の絶対値

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

: $|z|\; =\; \backslash sqrt$

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

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

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

: $|z|\; =\; |\backslash bar|$

が成り立つ。また、

: $|z|^2\; =\; z\backslash bar$

は 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 の部分体がアルキメデス的な乗法付値を持つならば、それは本項で述べたような通常の絶対値に(同値の差を除いて)一致する。付値体はその付値の定める距離位相に関して位相体を成す。

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

: $|x|\_q\; :=\; q^=\; |x|\_p^f$

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

◆ 関連項目

・ ノルム

・ 付値

前のページ 1/1 次のページ

・絶対値 page1