数学における絶対値（ぜったいち、）は、数の「大きさ」の概念を与える規準の一つである。その数が 0 からどれだけ離れているかを知ることができる。実数の絶対値または母数（ぼすう、; 尺度）はなる条件、あるいはこれに同値ななどの条件で与えられる。前者の条件では実数から符号を取り除いたもの、後者の条件からは 0 からの距離を与えるものという解釈を得ることができる。実数の絶対値に関して、が成り立ち、絶対値に関する不等式を絶対値を用いない形に書き直すことができる。例えば、 などとなる。一般には必ずしも単純に書き換えることはできず、いくつかの場合に分けて調べることになる。基本的な性質として、任意の実数 についてなどが成立する。これは距離函数が満たす性質と対応する（後述）。また、などの性質が成り立つ。実数の絶対値が定める非負実数値函数は絶対値の性質により、"y"-軸対称な連続関数である。この函数は "x" = 0 以外で微分可能であり、その導函数は符号関数 sgn("x") （あるいは本質的にヘヴィサイドの階段関数）であり、定義可能な範囲 (−∞, 0) ∪ (0, ∞) における連続函数であるが、"x" = 0 における値をどのように定めるとしても R = (−∞, ∞) の全体で連続な函数へ延長することは出来ない。また絶対値函数は任意区間で可積分であり、その原始函数がで与えられることも右辺を微分することにより直ちに確かめられる。絶対値の基本性質、非負性・非退化性・偶性・劣加法性は距離函数が満たす性質と対応しており、 を任意の実数としてと書いても同値である。即ち と置けば は距離函数になる。任意の順序環 に対して、 を の加法単位元、" は の加法逆元とすれば、実数の場合とまったく同じくとして絶対値が定義される。複素数 "z" = "a" + "ib" に対して、その絶対値はで与えられる非負実数値である。"b" = 0 とすることにより、"z" が実数値を取るときには実数の絶対値に一致することが確かめられる。"z" をガウス平面上の点として解釈すれば、|"z"| とは原点から "z" までの距離である。複素数を扱う際に、その数を絶対値と偏角とによって表す極形式の考え方は有益である。複素数 "z" とその複素共軛 "z" に対してが成り立つ。また、は "z" が引き起こすガウス平面上の一次変換の母数（モジュラス）である。絶対値の概念を拡張したものとしてノルムがある。（実または複素数体） 上のベクトル空間 に属するベクトル のノルムあるいは大きさ (magnitude) または長さ (length) は、以下の性質を満たす。従って、ノルムは距離 を誘導する。上記の実数に対する絶対値、複素数に対する絶対値はどちらもノルムの条件を満たす。絶対値の誘導する距離はノルムの誘導する距離である。リース空間と呼ばれるのベクトル に対しては、で絶対値が定義される。例えば集合 上の実数値（あるいはより一般に全順序群に値をとる）函数全体の成す集合は、, に対して と置くことによりリース空間となり、各 に対してが の絶対値を与える。 と置けば、絶対値は と書ける。有理数体上の "p"-進絶対値など、体の賦値も絶対値の一般化である。賦値には加法賦値と乗法賦値があり、乗法賦値のことをしばしば絶対値あるいはモジュラスと呼称する。特に複素数体 C の部分体がアルキメデス的な乗法賦値を持つならば、それは本項で述べたような通常の絶対値に（同値の差を除いて）一致する。賦値体はその賦値の定める距離位相に関して位相体を成す。非アルキメデス的な乗法付値は一階の加法的な賦値と対応がとれ、これらはしばしば同一のものとして扱われる。加法的賦値体あるいは順序体においてその賦値環は、その体における正の数全体の集合を本質的に特徴付けるものである。有限体 F ("q" = "p") において標準的な賦値（モジュラス）は "p"-進絶対値の冪である。これを適当なハール測度による立方体の体積と理解することもある。一次元ルベーグ外測度は半開区間上で "μ"(("a

出典:wikipedia