符号関数
sgn  ( − x ) = − sgn  x {\displaystyle \operatorname {sgn}(-x)=-\operatorname {sgn} x} (奇関数)
sgn  1 x = 1 sgn  x ( x ≠ 0 ) {\displaystyle \operatorname {sgn} {\frac {1}{x}}={\frac {1}{\operatorname {sgn} x}}\quad (x\neq 0)}
sgn  x y = sgn  x sgn  y {\displaystyle \operatorname {sgn} xy=\operatorname {sgn} x\operatorname {sgn} y}
sgn  x y = sgn  x sgn  y ( y ≠ 0 ) {\displaystyle \operatorname {sgn} {\frac {x}{y}}={\frac {\operatorname {sgn} x}{\operatorname {sgn} y}}\quad (y\neq 0)}
sgn  x y = ( sgn  x ) y {\displaystyle \operatorname {sgn} x^{y}=(\operatorname {sgn} x)^{y}}
実数に対しては、加えて次のような性質を持つ。
符号関数(ふごうかんすう、英: sign function, signum function)は、実数に対しその符号に応じて1、−1、0のいずれかを返す関数。
sgn  x = { 1 : x > 0 0 : x = 0 − 1 : x < 0 {\displaystyle \operatorname {sgn} x={\begin{cases}1&:\ x>0\\0&:\ x=0\\-1&:\ x<0\end{cases}}}
およびそれを拡張した複素関数。
記号は sgn x のほかに、sgn(x), Sgn x, sign x なども使われる。記号としての sgn はレオポルト・クロネッカーが導入した。
英語から「サイン関数」とも呼ぶが、この名は正弦関数 sin と非常に紛らわしい。区別するために sign のラテン語形の signum(シグヌム、英語読みはシグナム)から「シグナム関数」(signum function) と呼ぶことがある。英語以外でもドイツ語などいくつかの言語で signum 系の名前で呼ばれる。
実数に対する符号関数は絶対値を用いて
sgn  x = { x / | x | : x ≠ 0 0 : x = 0 {\displaystyle \operatorname {sgn} x={\begin{cases}{x}/{|x|}&:\ x\neq 0\\0&:\ x=0\end{cases}}}
と書くこともできる。符号関数の複素数への拡張は、この式を複素数へも適用することで得られる。複素数に対する符号関数は、複素数平面上でベクトルに対し同方向の単位ベクトルを求める操作と同等である(ただし零ベクトル以外のとき)。
なおこのほかに、gnuplotでは、複素数に対し符号関数を
sgn  x = sgn  Re  x {\displaystyle \operatorname {sgn} x=\operatorname {sgn} \operatorname {Re} x}
と定義している。またMaple Vでは