Identitätsgleichung

≡

Eine Identitätsgleichung, oft kurz Identität genannt, ist ein als Gleichung geschriebener mathematischer Sachverhalt, der die Gleichheit von Ausdrücken, Formeln oder Funktionen auf gewissen Definitionsbereichen zum Inhalt hat.

Erläuterung

Identitätsgleichungen enthalten Variablen. Es geht aber nicht darum, diese zu bestimmen, sondern es wird behauptet, dass beide Seiten der Gleichung, die sich durch Einsetzen von beliebigen Elementen des vereinbarten Definitionsbereichs an Stelle der Variablen ergeben, zum selben Wert führen.

Als Beispiel wird die binomische Formel

$(a+b)^{2}=a^{2}+b^{2}+2ab$ für alle $a,b\in \R$

betrachtet. Diese Identität besagt, dass, ganz gleich welche reellen Zahlen man für oder einsetzt, der Wert der linken Seite, das Quadrat der Summe aus den für und eingesetzten Zahlen, gleich dem Wert der rechten Seite, der Summe der einzelnen Quadrate plus dem Doppelten des Produktes aus den für und eingesetzten Zahlen, ist.

Der verwendete Definitionsbereich $\mathbb {R}$ ist hier üblich, weil er oft dem Kenntnisstand des Anwenders dieser Formel entspricht. Stellt man sich ein Schulniveau vor, auf dem der Schüler erst die rationalen Zahlen, das heißt die Brüche, aber noch nicht die reellen Zahlen kennengelernt hat, so wird man obige Identität mit dem kleineren Definitionsbereich $\mathbb {Q}$ an Stelle von $\mathbb {R}$ angeben. Hat man schließlich die komplexen Zahlen kennengelernt, so wird man den größeren Definitionsbereich $\mathbb {C}$ verwenden.

In weiter fortgeschrittener Mathematik lernt man Definitionsbereiche kennen, in denen diese binomische Formel nicht mehr gilt, z.B. die Menge der 2×2-Matrizen. Dies zeigt, dass das Bestehen von Identitäten vom gewählten Definitionsbereich abhängt. Dieser muss daher immer vereinbart sein, das geschieht entweder stillschweigend oder durch explizite Angabe.

Eine weitere sehr bekannte Identität ist

$\sin ^{2}(x)+\cos ^{2}(x)=1$ für alle $x\in \mathbb{R}$ .

Auch hier geht es nicht darum, x zu bestimmen, obwohl x häufig als Symbol für eine Unbekannte verwendet wird. Obige Identität sagt aus: Wenn x irgendeine reelle Zahl ist, man die Sinus- und Kosinuswerte von x bestimmt, diese quadriert und anschließend addiert, erhält man immer das Ergebnis 1.

Zur Verdeutlichung verwendet man – gerade bei Identitäten für Funktionen reeller Zahlen oder anderer Definitionsbereiche – an Stelle des Gleichheitszeichens das Symbol „≡“ und liest „ist identisch gleich“, zum Beispiel:

$\sin ^{2}(x)+\cos ^{2}(x)\equiv 1$ für alle $x\in \mathbb{R}$ .

Diese Schreibweise ist eine besonders in technischen Fachrichtungen verbreitete Konvention, sie ändert nichts an der oben vorgestellten Bedeutung. Dieses Zeichen wird dort insbesondere gern für die Gleichheit von Funktionen verwendet. Es ist aber immer noch eine Gleichheit gemeint, sodass die Verwendung des anderen Zeichens „≡“ auch Verwirrung stiften kann, zumal dieses Zeichen von vielen Autoren für die Modulo-Operation verwendet wird. Die Verwendung dieser Zeichen wird in der Regel in einleitenden Abschnitten von Lehrwerken festgelegt, sodass im Zweifel diese einleitenden Abschnitte zu konsultieren sind.

Formale Definition

Formal handelt es sich bei einer Identität um eine Allquantifizierung, wobei das Prädikat eine Gleichheitsrelation ist. Es spricht wohl auch nichts dagegen, allgemeiner beliebige Äquivalenzrelationen als Prädikat zuzulassen.

Sei „“ die Gleichheitsrelation auf einer Menge . Eine Identität ist nun jede Aussage der Form

$\forall x\in G\colon \,T_{1}(x)=T_{2}(x),$

wobei T_1, T_2 Funktionen aus $\mathrm {Abb} (G,Z)$ mit $Z\subseteq M$ sind. Die Definitionsmenge wird im Kontext des Allquantors auch „Grundmenge“ genannt.

Zu bemerken ist, dass es sich bei z.B. auch um ein Tupel handeln kann. Unabhängig davon können T_1, T_2 z.B. auch Tupel als Wert haben. Daher sind Gleichungen mit mehreren Variablen sowie Gleichungssysteme in der Definition mit eingeschlossen.

Beispiel: Mit $x:=(x_{1},x_{2})$ $G:=\mathbb {R} \times \mathbb {R}$ gilt:

$\forall x\in G\colon \,\sin(x_{1}+x_{2})=\sin(x_{1})\cos(x_{2})+\cos(x_{1})\sin(x_{2})$

Basierend auf einem Artikel in:

Wikipedia.de