Gleichung
Unter einer Gleichung versteht man in der Mathematik eine Aussage über die Gleichheit zweier Terme, die mit Hilfe des Gleichheitszeichens („=“) symbolisiert wird. Formal hat eine Gleichung die Gestalt
wobei der Term die linke Seite und der Term die rechte Seite der Gleichung genannt wird. Gleichungen sind entweder wahr beziehungsweise erfüllt (beispielsweise ) oder falsch (beispielsweise ). Wenn zumindest einer der Terme von Variablen abhängig ist, liegt nur eine Aussageform vor; ob die Gleichung wahr oder falsch ist, hängt dann von den konkreten eingesetzten Werten ab. Die Werte der Variablen, für die die Gleichung erfüllt ist, heißen Lösungen der Gleichung. Sind zwei oder mehr Gleichungen angegeben, spricht man auch von einem Gleichungssystem, eine Lösung desselben muss alle Gleichungen gleichzeitig erfüllen.
Gleichungen werden in vielen Zusammenhängen verwendet; dementsprechend gibt es verschiedene Möglichkeiten, die Gleichungen nach unterschiedlichen Gesichtspunkten einzuteilen. Die jeweiligen Einteilungen sind zu einem großen Teil unabhängig voneinander, eine Gleichung kann in mehrere dieser Gruppen fallen. So ist es etwa sinnvoll, von einem System linearer partieller Differentialgleichungen zu sprechen.
Gleichungen können allgemeingültig sein, also durch Einsetzen aller Variablenwerte aus einer gegebenen Grundmenge oder zumindest aus einer vorher definierten Teilmenge davon wahr sein. Die Allgemeingültigkeit kann entweder mit anderen Axiomen bewiesen werden oder selber als Axiom vorausgesetzt werden.
In diesem Zusammenhang spricht man auch von einem mathematischen Satz oder Gesetz. Zur Unterscheidung von nicht allgemeingültigen Gleichungen wird bei Identitäten statt des Gleichheitszeichens auch das Kongruenzzeichen („≡“) verwendet.
Häufig besteht eine Aufgabenstellung darin, alle Variablenbelegungen zu bestimmen, für die die Gleichung wahr wird. Diesen Vorgang bezeichnet man als Lösen der Gleichung. Zur Unterscheidung von Identitätsgleichungen werden solche Gleichungen als Bestimmungsgleichungen bezeichnet.[2] Die Menge der Variablenbelegungen, für die die Gleichung wahr ist, bezeichnet man als Lösungsmenge der Gleichung. Wenn es sich bei der Lösungsmenge um die leere Menge handelt, so bezeichnet man die Gleichung als unlösbar oder unerfüllbar.
