Vorzeichenfunktion auf den reellen Zahlen Definition Graph der Vorzeichenfunktion Die reelle Vorzeichenfunktion bildet von der Menge der reellen Zahlen in die Menge { − 1 , 0 , 1 } {\displaystyle \{-1,0,1\}} ab und wird in der Regel wie folgt definiert:
sgn ( x ) := { + 1 , falls x > 0 , 0 , falls x = 0 , − 1 , falls x < 0. {\displaystyle \operatorname {sgn}(x):={\begin{cases}+1,&\;{\text{falls}}\quad x>0,\\\;\;\,0,&\;{\text{falls}}\quad x=0,\\-1,&\;{\text{falls}}\quad x<0.\\\end{cases}}} Sie ordnet also den positiven Zahlen den Wert +1, den negativen Zahlen den Wert −1 und der 0 den Wert 0 zu.
Anwendungsabhängig, beispielsweise in der Rechentechnik, verwendet man alternative Definitionen für 0. Diese wird dann den positiven ( sgn ( 0 ) = 1 {\displaystyle \operatorname {sgn}(0)=1} ), negativen ( sgn ( 0 ) = − 1 {\displaystyle \operatorname {sgn}(0)=-1} ), beiden Zahlenbereichen entweder wahlweise ( sgn ( + 0 ) = + 1 {\displaystyle \operatorname {sgn}(+0)=+1} , sgn ( − 0 ) = − 1 {\displaystyle \operatorname {sgn}(-0)=-1} ), oder gleichzeitig ( sgn ( 0 ) = ± 1 {\displaystyle \operatorname {sgn}(0)=\pm 1} ), oder undefiniert ( sgn ( 0 ) = u n d e f {\displaystyle \operatorname {sgn}(0)=\mathrm {undef} } )[1] [2] zugeordnet. Da die Null eine Nullmenge unter dem Lebesgue-Maß ist, ist dies für praktische Anwendungen oft nicht von Bedeutung. Unabhängig von der Definition der Vorzeichenfunktion (die variiert), wird in der Gleitkommadarstellung üblicherweise dem Vorzeichen ein Bit zugewiesen.
Für den Fall, dass sgn ( 0 ) = 1 {\displaystyle \operatorname {sgn}(0)=1} gesetzt wird, besteht folgender Zusammenhang zur Heaviside-Funktion Θ ( x ) {\displaystyle \Theta (x)} :
sgn ( x ) = 2 Θ ( x ) − 1 {\displaystyle \operatorname {sgn}(x)=2\Theta (x)-1} Rechenregeln Durch Fallunterscheidung ist leicht beweisbar:
Für alle x ∈ R {\displaystyle x\in \mathbb {R} } mit Betrag | x | {\displaystyle |x|} gilt x = | x | ⋅ sgn ( x ) sowie x ⋅ sgn ( x ) = | x | {\displaystyle x=|x|\cdot \operatorname {sgn}(x)\;{\text{sowie}}\;x\cdot \operatorname {sgn}(x)=|x|} . sgn ( − x ) = − sgn ( x ) {\displaystyle \operatorname {sgn}(-x)=-\operatorname {sgn}(x)} für alle x ∈ R {\displaystyle x\in \mathbb {R} } .Ist k ∈ R {\displaystyle k\in \mathbb {R} } eine Konstante und f {\displaystyle f} eine ungerade Funktion , so ist f ( k ⋅ x ) = f ( sgn ( k ) ⋅ | k | ⋅ x ) = sgn ( k ) ⋅ f ( | k | ⋅ x ) {\displaystyle f(k\cdot x)\quad =f(\operatorname {sgn}(k)\cdot |k|\cdot x)\quad =\operatorname {sgn}(k)\cdot f(|k|\cdot x)} Für x ≠ 0 {\displaystyle x\neq 0} ist der Übergang zur reziproken Zahl mit der Signumfunktion verträglich und ändert nichts an deren Wert: sgn ( x − 1 ) = ( sgn ( x ) ) − 1 = sgn ( x ) {\displaystyle \operatorname {sgn}(x^{-1})=(\operatorname {sgn}(x))^{-1}=\operatorname {sgn}(x)} für alle 0 ≠ x ∈ R {\displaystyle 0\neq x\in \mathbb {R} } .Die Signumfunktion ist mit der Multiplikation verträglich: sgn ( x ) ⋅ sgn ( y ) = sgn ( x ⋅ y ) {\displaystyle \operatorname {sgn}(x)\cdot \operatorname {sgn}(y)=\operatorname {sgn}(x\cdot y)} für alle x , y ∈ R {\displaystyle x,y\in \mathbb {R} } . sgn ( sgn ( x ) ) = sgn ( x ) {\displaystyle \operatorname {sgn}(\operatorname {sgn}(x))=\operatorname {sgn}(x)} für alle x ∈ R {\displaystyle x\in \mathbb {R} } .Aus den beiden letztgenannten Rechenregeln folgt beispielsweise, dass sich die in einem aus beliebig vielen Faktoren zusammengesetzten Argument der Signumfunktion ein Faktor x j {\displaystyle x_{j}} durch sgn ( x j ) {\displaystyle \operatorname {sgn}(x_{j})} ersetzen lässt, ohne den Funktionswert zu ändern:
sgn ( x j ⋅ ∏ i x i ) = sgn ( sgn ( x j ) ⋅ ∏ i x i ) {\displaystyle \operatorname {sgn} {\bigg (}x_{j}\cdot \prod _{i}x_{i}{\bigg )}=\operatorname {sgn} {\bigg (}\operatorname {sgn}(x_{j})\cdot \prod _{i}x_{i}{\bigg )}} für beliebige x i , x j ∈ R {\displaystyle x_{i},x_{j}\in \mathbb {R} } .Ableitung und Integral Die Vorzeichenfunktion ist an der Stelle 0 nicht stetig. Die Vorzeichenfunktion ist an der Stelle x = 0 {\displaystyle x=0} nicht stetig und damit dort nicht klassisch differenzierbar. Für alle anderen Stellen x ≠ 0 {\displaystyle x\neq 0} ist die Vorzeichenfunktion differenzierbar mit sgn ′ ( x ) = 0 {\displaystyle \operatorname {sgn} ^{\prime }(x)=0} . Die Vorzeichenfunktion besitzt auch keine schwache Ableitung . Allerdings ist sie im Sinne von Distributionen differenzierbar, und ihre Ableitung ist 2 δ {\displaystyle 2\delta } , wobei δ {\displaystyle \delta } die Delta-Distribution bezeichnet.
Ferner gilt für alle x ∈ R {\displaystyle x\in \mathbb {R} }
| x | = ∫ 0 x sgn ( t ) d t . {\displaystyle |x|=\int _{0}^{x}\operatorname {sgn}(t)\,dt\,.} Die Vorzeichenfunktion ist darüber hinaus die schwache Ableitung der Betragsfunktion .
Vorzeichenfunktion auf den komplexen Zahlen Definition Signum von vier komplexen Zahlen Im Vergleich zur Vorzeichenfunktion reeller Zahlen wird nur selten die folgende Erweiterung auf komplexe Zahlen betrachtet:
sgn ( z ) := { z | z | falls z ≠ 0 0 falls z = 0 {\displaystyle \operatorname {sgn}(z):={\begin{cases}{\frac {z}{|z|}}&\;{\text{falls}}\quad z\neq 0\\0&\;{\text{falls}}\quad z=0\\\end{cases}}} Das Ergebnis dieser Funktion liegt für z ≠ 0 {\displaystyle z\neq 0} auf dem Einheitskreis und besitzt dasselbe Argument wie der Ausgangswert, insbesondere gilt
sgn ( r e i φ ) = e i φ , f a l l s r > 0. {\displaystyle \operatorname {sgn} \left(r\mathrm {e} ^{\mathrm {i} \varphi }\right)=\mathrm {e} ^{\mathrm {i} \varphi },\qquad \mathrm {falls} \ r>0.} Beispiel: z 1 = 2 + 2 i {\displaystyle z_{1}=2+2\mathrm {i} } (im Bild rot)
sgn ( z 1 ) = sgn ( 2 + 2 i ) = 2 + 2 i | 2 + 2 i | = 2 + 2 i 2 2 = 1 + i 2 = 2 2 + 2 2 i . {\displaystyle \operatorname {sgn} (z_{1})=\operatorname {sgn} (2+2\mathrm {i} )={\frac {2+2\mathrm {i} }{\left|2+2\mathrm {i} \right|}}={\frac {2+2\mathrm {i} }{2{\sqrt {2}}}}={\frac {1+\mathrm {i} }{\sqrt {2}}}={\frac {\sqrt {2}}{2}}+{\frac {\sqrt {2}}{2}}{\mathrm {i} }.} Rechenregeln Für die komplexe Vorzeichenfunktion gelten die folgenden Rechenregeln:
Für alle komplexen Zahlen z {\displaystyle z} und w {\displaystyle w} gilt:
z = | z | ⋅ sgn z {\displaystyle z=|z|\cdot \operatorname {sgn} z} für alle z , {\displaystyle z,} wobei | z | {\displaystyle |z|} den Betrag von z {\displaystyle z} bezeichnet; sgn ( z ¯ ) = sgn ( z ) ¯ {\displaystyle \operatorname {sgn} ({\bar {z}})={\overline {\operatorname {sgn} (z)}}} , wobei der Querstrich die komplexe Konjugation bezeichnet; sgn ( z ⋅ w ) = sgn z ⋅ sgn w {\displaystyle \operatorname {sgn}(z\cdot w)=\operatorname {sgn} z\cdot \operatorname {sgn} w} , insbesondere sgn ( λ ⋅ z ) = sgn z {\displaystyle \operatorname {sgn}(\lambda \cdot z)=\operatorname {sgn} z} für positive reelle λ {\displaystyle \lambda } , sgn ( λ ⋅ z ) = − sgn z {\displaystyle \operatorname {sgn}(\lambda \cdot z)=-\operatorname {sgn} z} für negative reelle λ {\displaystyle \lambda } , sgn ( − z ) = − sgn ( z ) {\displaystyle \operatorname {sgn} (-z)=-\operatorname {sgn} (z)} ; sgn ( | z | ) = | sgn ( z ) | = { 1 falls z ≠ 0 0 falls z = 0 {\displaystyle \operatorname {sgn} (|z|)=|\operatorname {sgn} (z)|={\begin{cases}1&\;{\text{falls}}\quad z\neq 0\\0&\;{\text{falls}}\quad z=0\\\end{cases}}} .Falls z ≠ 0 {\displaystyle z\neq 0} ist, gilt auch sgn ( z − 1 ) = sgn ( z ) − 1 = sgn ( z ) ¯ {\displaystyle \operatorname {sgn} (z^{-1})=\operatorname {sgn} (z)^{-1}={\overline {\operatorname {sgn} (z)}}} .Literatur Weblinks Einzelnachweise