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 Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle V} ein Vektorraum, Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle V^*} der zugehörige Dualraum und Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle S} eine Teilmenge von Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle V} . 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 $S$.

Eigenschaften des Annullators

• $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 $S$ erzeugte Unterraum ist.
• Ist $S_{1}\subseteq S_{2}$, so ist $S_{1}^{0}\supseteq S_{2}^{0}$.
• Ist $V$ endlichdimensional und $U$ ein Unterraum von $V$, so gilt $\dim U^{0}=\dim V-\dim U$. In diesem Fall sind $V$ und der Bidualraum Fehler beim Parsen (Konvertierungsfehler. Der Server („https://wikimedia.org/api/rest_“) hat berichtet: „Cannot get mml. Server problem.“): {\displaystyle V^{**}} kanonisch isomorph und es gilt $\left(U^{0}\right)^{0}=U$, wobei Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle V} und Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle V^{**}} miteinander identifiziert worden sind.

Annullator eines Moduls

Es sei Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle A} ein Ring und Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle M} ein $A$-Linksmodul. Dann ist der Annullator von $M$

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \operatorname{Ann} M = \{a\in A\mid am=0 \text{ für alle } m\in M\}.}

Man kann den Annullator auch beschreiben als den Kern der Strukturabbildung

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle A\to\operatorname{End}_{\mathbb Z}M, a\mapsto \ell_a} , wobei Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \ell_a:M\rightarrow M} die Linksmultiplikation mit Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle a} ist.

Der Annullator ist ein zweiseitiges Ideal in Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle A} .

Literatur

• Gerd Fischer: Lineare Algebra. 14., durchgesehene Auflage. Vieweg, Wiesbaden 2003, ISBN 3-528-03217-0.