Identitätsgleichung

Gleichung, die für alle möglichen Parameterwerte erfüllt ist

Eine Identitätsgleichung, oft kurz Identität genannt, ist eine als Gleichung geschriebene mathematische Aussage zur Gleichheit von Ausdrücken, Formeln oder Funktionen auf gewissen Definitionsbereichen.

Erläuterung

Bearbeiten

Identitätsgleichungen enthalten in der Regel Variablen. Es geht dann 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.[1][2] Es gibt auch Identitätsgleichungen, die mathematische Konstanten zueinander in Bezug setzen und keine Variablen enthalten, beispielsweise die Eulersche Identität  .

Als Beispiel wird die binomische Formel

    für alle  

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   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   an Stelle von   angeben. Hat man schließlich die komplexen Zahlen kennengelernt, so wird man den größeren Definitionsbereich   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

    für alle  .

Auch hier geht es nicht darum, den Wert der Variablen x zu bestimmen. Das ist gar nicht möglich, weil der Satz für jeden denkbaren Wert von x gilt. Die zweimalige Verwendung des x schreibt lediglich vor, beide Male denselben Wert einzusetzen. Diese Identität sagt also aus: Wenn man von irgendeiner reellen Zahl Sinus- und Kosinuswert 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“,[3] zum Beispiel:

    für alle  .

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.[4][5] 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

Bearbeiten

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

 

wobei   Funktionen aus   mit   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   z. B. auch Tupel als Wert haben. Daher sind Gleichungen mit mehreren Variablen sowie Gleichungssysteme in der Definition mit eingeschlossen.

Beispiel: Mit   und   gilt:

 

Siehe auch

Bearbeiten

Einzelnachweise

Bearbeiten
  1. Michael Merz: Mathematik für Wirtschaftswissenschaftler. Vahlen Verlag, 2012, ISBN 978-3-8006-4482-7, Kapitel 4.2: Gleichungen. S. 71.
  2. Wilfried Plassmann, Detlef Schulz (Hrsg.): Formeln und Tabellen der Elektrotechnik. Vieweg + Teubner-Verlag, 2014, ISBN 978-3-8348-0525-6, Kapitel 2.1: Gleichungsarten.
  3. W. Busse v. Colbe, G. Laßmann: Betriebswirtschaftstheorie. Band 1: Grundlagen, Produktions- und Kostentheorie. Springer Verlag, 1983, ISBN 3-540-16122-8, Kapitel 1.4.d: Identitäten (Identische Gleichungen).
  4. H. Geiger, K. Scheel (Hrsg.): Handbuch der Physik. Band III: Mathematische Hilfsmittel in der Physik. Springer Verlag, 1928, Kapitel 1.I.b: Der Funktionsbegriff.
  5. Adalbert Duschek: Vorlesungen über höhere Mathematik. Springer-Verlag, Wien 1949, ISBN 978-3-7091-3966-0, § 8.3: Gleichung und Identität.