Annihilator (Mathematik)

Es gibt zwei Begriffsbildungen der Mathematik, die mit dem Wort Annullator (oder auch Annihilator) bezeichnet werden.

Annullator im Kontext von Formen

Der Annullatorraum ist eine Verallgemeinerung des orthogonalen Komplements auf Vektorräumen, in denen der Dualraum nicht über ein Skalarprodukt mit dem Raum selbst identifiziert werden kann.

Definition

Sei ein Vektorraum, $V^{*}$ der zugehörige Dualraum und eine Teilmenge von . Dann heißt

$S^0=\lbrace f\in V^*\mid f(x)= 0 \text{ für alle } x \in S \rbrace \subseteq V^*$

der Annullator von .

Eigenschaften des Annullator

$S^{0}$ ist ein Untervektorraum des Dualraums $V^{*}$ . Deshalb spricht man auch vom Annullatorraum.
$S^0=\langle S\rangle^0$ , wobei $\langle S\rangle$ der von erzeugte Unterraum ist.
Ist $S_1\subseteq S_2$ , so ist $S_1^0\supseteq S_2^0$ .
Ist endlichdimensional und ein Unterraum von , so gilt $\dim U^0 = \dim V - \dim U$ . In diesem Fall sind und der Bidualraum $V^{{**}}$ kanonisch isomorph und es gilt $\left(U^0\right)^0 = U$ , wobei und $V^{{**}}$ miteinander identifiziert wurden.