Vorzeichenfunktion

Der Begriff Signum (lat.: Zeichen) wird in der Mathematik in zwei Zusammenhängen verwendet, beidemale im Sinne eines "Vorzeichens":

Signumfunktion auf den reellen Zahlen

Graph der Vorzeichenfunktion

Die Vorzeichenfunktion (auch Signum-Funktion) ist eine Funktion aus der Menge der reellen Zahlen in die Menge {-1,0,1} und wird in der Regel wie folgt definiert:

$\operatorname {sgn}(x):={\begin{cases}\;\;\,1&\;x>0\\\;\;\,0&\;x=0\\-1&\;x<0\\\end{cases}}$

Eine alternative Definition der Signum-Funktion ist folgende:

Sei $n\in \mathbb {N}$ und die Funktionen$f_{n}:\mathbb {R} \rightarrow \mathbb {R}$ definiert durch $x\mapsto {\frac {nx}{1+|nx|}}$

Dann kann man die Signum-Funktion auch so definieren:

$\operatorname {sgn} :\mathbb {R} \rightarrow \mathbb {R} \,,\,x\mapsto \lim _{n\to \infty }f_{n}(x)$

Bei Anwendungen in der Rechentechnik verzichtet man meist auf eine Sonderstellung der 0, um das Vorzeichen einer Zahl in einem einzigen Bit kodieren zu können. Bei dieser einen trivialen Repräsentation der Vorzeichenfunktion als Einerkomplement gibt es gewissermaßen sowohl eine positive als auch eine negative 0. Eine Möglichkeit, dies zu vermeiden, bildet eine Kodierung als Zweierkomplement.

Siehe auch: Sprungfunktion

Signum von Permutationen

Jede Permutation lässt sich entweder aus einer geraden oder aus einer ungeraden Zahl von Transpositionen, also Vertauschungen von nur zwei Elementen, zusammensetzen. Im ersten Fall hat die Permutation das Signum 1, im zweiten Fall das Signum -1. Dies ist äquivalent dazu, dass die Anzahl der Fehlstände oder Inversionen gerade bzw. ungerade ist.

Eine rein formale Definition der Signatur einer Permutation ist durch folgende Abbildung gegeben:

$\operatorname {sign} \colon S_{n}\rightarrow \mathbb {Z} ^{\times }=\{-1,1\}$

$\sigma \mapsto \prod _{1\leq i<j\leq n}{\frac {\sigma (i)-\sigma (j)}{i-j}}$

Dabei ist $S_{n}$ die Menge aller Permutationen einer n-elemntigen Menge (die Symmetrische Gruppe) und $\sigma$ ein Element von $S_{n}$. Ferner bezeichnet $\sigma (i)$ dasjenige Element einer n-elementigen Menge M, auf welches das i-te Element dieser Menge M vermöge $\sigma$ abgebildet wird.