絕對值可視作該數與零之間的距離
在數學中,實數
的絕對值或模,記號為
,是指去掉
的符號所得的非負值。若
是正數,則
; 若
是負數(則
是正數),則
;零的絕對值為零(
)。例如,
和
的絕對值都是
。絕對值可看作該數和零之間的距離。
絕對值的定義也可以從實數擴展到複數、四元數、有序環、域、向量空間等範圍。在數學和物理中,絕對值與量、距離、範數等概念密切相關。
實數絕對值的平面座標圖
若實數
,則在兩個相互對稱的數
和
中恰有一個數大於 0,這個大於 0 的數就稱為數
和數
的絕對值,記為
,0 的絕對值為 0 。
一個數的絕對值最小值為0,某數的絕對值表示為
某數
。對於所有實數
:若
是負數,
(即是
是一個正數);若
非負,
本身。即:
![{\displaystyle \left|a\right|={\begin{cases}a&(a>0)\\0&(a=0)\\-a&(a<0)\end{cases}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a8fd7ad458a59008c4c27b7ee0bb70aa3e6e163a)
一個數的絕對值可以視為該數在數線上的點和零的距離。例如 3 同時是 3 和 -3 的絕對值。
絕對值有以下性質:
![{\displaystyle |a|\geq 0}](https://wikimedia.org/api/rest_v1/media/math/render/svg/939352424bd8ad4eb5af77202976c6a0edb1f2de)
- 若
,![{\displaystyle |a|=0}](https://wikimedia.org/api/rest_v1/media/math/render/svg/37663023352ef6c42b7aaff6f3300400d32f3aea)
![{\displaystyle |ab|=|a||b|}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f4e22bb2e47c3db74775570cf3067e97cb84ff95)
- 若
,![{\displaystyle |{\frac {a}{b}}|={\frac {|a|}{|b|}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/5d962527502bc28e6992ddfa1e9c83554b3c78ff)
( 見三角不等式 )
![{\displaystyle |a-b|\geq {\Big |}{\big |}a{\big |}-{\big |}b{\big |}{\Big |}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f61a91e1e7cf3e7e2f2ea3d23e00e710c898f388)
- 若
,則
;若
,則![{\displaystyle a=-\left|a\right|}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a66164a8a874f6b2fc10677e55ec4b5c96ce4f25)
複數的絕對值定義為:若
,則
(見平方根和共軛複數)。它符合以上的六項性質,但以下的三項就不成立:
![{\displaystyle \left|a\right|={\sqrt {a^{2}}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/1a087c72133fd69ed92b057555541db5a7003799)
當且僅當 ![{\displaystyle -b\leq a\leq b}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9b8337e37080ec2d792144c29256703efa2482af)
當且僅當
或 ![{\displaystyle b\leq a}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d38bff9a811bdd9b92516d9c2694712555b99952)
但此時有
![{\displaystyle |{\bar {z}}|=|z|}](https://wikimedia.org/api/rest_v1/media/math/render/svg/60f099ef66bdf1c47ea6879cc940edfcbf7c833e)
![{\displaystyle {\sqrt {z{\bar {z}}}}=|z|}](https://wikimedia.org/api/rest_v1/media/math/render/svg/479d83707283d740a85583ea48f8bfa310cda04f)
最後兩道式子常用於計算涉及複數絕對值的不等式。
絕對值的定義可以照搬到有序環上。定義如下:
![{\displaystyle |a|={\begin{cases}a,&\;a\geq 0\\-a,&a<0,\end{cases}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/cc4e29125b21824b92c7c4307fa9158b4f3af356)
其中
是
的加法反元素,而 0 是有序環的加法單位元素。
在抽象的域上,我們用絕對值的基本性質來推廣定義。一個域
上的絕對值是一個函數
,滿足以下四條公理:
|
非負性質
|
|
正定性質
|
|
積性
|
|
三角不等式
|
由以上公理可以導出
。距離函數
賦予
度量空間結構。
如果將定義中的三角不等式換作以下較強的形式(有時又叫做強三角不等式)
![{\displaystyle \forall a,b\in F\quad |a+b|\leq \mathrm {max} \{|a|,|b|\}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7c27a99493bc329b7d3ddb9be896fcf64a29e77f)
則稱
為超度量域,或稱絕對值
不滿足阿基米德性質;反之則稱
滿足阿基米德性質。[1]。
超度量域的典型例子是 p進數域。一般來說,值群在
裏的賦值環對應到超度量域,此時賦值與絕對值的關係由
給出,其中
;不同的
給出等價的拓撲結構。
絕對值函數在
不可導。
![{\displaystyle {\frac {d}{dx}}|x|={\frac {x}{|x|}}={\begin{cases}1&x>0\\-1&x<0\end{cases}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/bc82355ba1c23cff87b8e0911f702650d9792bf1)
![{\displaystyle \int |x|dx={\frac {x|x|}{2}}+C}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a810d267d1aee6c91397bdf0efc6457f39f7a05f)
其中
是積分常數。
C 語言關於絕對值的函數有: abs()
, labs()
, llabs()
(在 C99 中),fabs()
、fabsf()
與 fabsl()
函數計算一個對象的絕對值。當輸入值不是最大負整數時,很容易寫出計算絕對值的巨集或函數。
以下巨集可接受整數或浮點數:
#define abs(i) ((i)>0 ? (i) : (-i))
如果以函數計算,需要寫多個函數,多載來處理不同數據類型:
int abs (int);
float abs (float);
double abs (double);
int abs (int i) {
if (i>0) {
return i;
} else {
return -i;
}
}
關於浮點數的絕對值演算法就要用點技巧,因為要為無窮大及 NaN(Not a Number)撰寫特別的程式碼。
在 Pascal、Fortran 和 Matlab 語言裏,取得絕對值的函數是 abs
,可以計算整數、實數,以及複數。
如以組合語言撰寫,應有可能以三行指令在暫存器內完成絕對值的判斷與轉換演算法,以下例子是 x86 結構上的 32 位元暫存器,採英特爾語法。
cdq
xor eax, edx
sub eax, edx
cdq
指令將帶號位元(sign bit)的 eax
轉成 edx
。如果 eax
是非負值,那 edx
變成 0,接下來的兩個指令會沒有影響,eax
將不變。如果 eax
是負數,那麼 edx
會變成 0xFFFFFFFF ,或是 -1。接下來的兩個指令會變成倒轉的二補數,並從 eax
暫存器中取得負數的絕對值。