절댓값

수학에서 절댓값이란, 어떤 실수에서 부호를 제거한 값을 말한다. 예를 들어, 3과 -3의 절댓값은 둘 다 3이 된다.

또한, 복소수, 사원수, 벡터 등에 대해서도 절댓값을 일반화시킬 수 있다.

실수

절대값 함수

어떠한 실수 a의 절대값은 $|a|\,$로 표기하며, 다음과 같이 정의된다.

$|a|:={\begin{cases}a,&{\mbox{if }}a\geq 0\\-a,&{\mbox{if }}a<0.\end{cases}}$

정의에 따라, 이 값은 거리이므로 항상 0 이상이다. 따라서 절대값이 가장 작은 수는 0이다. 그리고 다음의 정리들이 성립한다.

$|a|={\sqrt {a^{2}}}$

$|a|\geq 0$

$|a|=0\iff a=0$

$|ab|=|a||b|\,$

$|a+b|\leq |a|+|b|$

$|-a|=|a|\,$ (대칭성)

$|a-b|=0\iff a=b$

$|a-b|\leq |a-c|+|c-b|$ (삼각부등식)

$|a/b|=|a|/|b|{\mbox{ (if }}b\neq 0)\,$

$|a-b|\geq |a|-|b|$

또한, 다음 식은 유용하게 사용된다.

$|a|\leq b\iff -b\leq a\leq b$

$|a|\geq b\iff -a\leq -b{\mbox{ or }}b\leq a$

이 식을 이용하면 절대값이 들어간 부등식을 쉽게 풀 수 있다.

$|x-3|\leq 9$

$\iff -9\leq x-3\leq 9$

$\iff -6\leq x\leq 12$

복소수

복소수에서는 값들의 크기 비교가 불가능하기 때문에, 실수에서의 정의를 쓸 수 없다. 대신, 앞에서의 성질 중 하나인

$|a|={\sqrt {a^{2}}}$

를 이용할 수 있다.

임의의 복소수

$z=x+yi\,$

에 대해, 절댓값 $|z|,$는 다음과 같이 정의된다.

$|z|:={\sqrt {x^{2}+y^{2}}}.$

이렇게 정의하면, 앞의 절대값의 성질이 모두 성립하며, 특히 이 정의는 z가 실수일 때에도 성립하게 된다.

$|x+i0|={\sqrt {x^{2}+0^{2}}}={\sqrt {x^{2}}}=|x|.$

이때 피타고라스의 정리에 따라 절대값은 원점과 복소수 사이의 거리를 의미하게 된다. 더 일반적으로, 두 복소수 사이의 거리는 복소수의 차의 절대값이 된다.

참고

• Nahin, Paul J.; An Imaginary Tale; Princeton University Press; (hardcover, 1998). ISBN 0-691-02795-1
• O'Connor, J.J. and Robertson, E.F.; "Jean Robert Argand"
• Schechter, Eric; Handbook of Analysis and Its Foundations, pp 259–263, "Absolute Values", Academic Press (1997) ISBN 0-12-622760-8