gemeinsam neue Wege der Erkenntnis gehen
Eine freie Initiative von Menschen bei anthrowiki.at anthrowiki.at, anthro.world anthro.world, biodyn.wiki biodyn.wiki und steiner.wiki steiner.wiki
mit online Lesekreisen, Übungsgruppen, Vorträgen ...
Wie Sie die Entwicklung von AnthroWiki durch Ihre Spende unterstützen können, erfahren Sie hier.

Use Google Translate for a raw translation of our pages into more than 100 languages.
Please note that some mistranslations can occur due to machine translation.
Alle Banner auf einen Klick
Prof. Dr. David Martin - Künstliche Intelligenz und Robotik, 2026
Prof. Dr. David Martin - Künstliche Intelligenz und Robotik, 2026

Prof. Dr. David Martin - Künstliche Intelligenz und Robotik, 2026

Der neue Glomer Katalog 2025/26 ist da!

Aktuelle Neuerscheinungen und alle lieferbaren Bücher anthroposophischer Verlage
Anthroposophie, Waldorf, Jugend & Kinderbücher, Gesundheit, Lebensphasen, Wissenschaften mit mehr als 7.500 Titeln aus über 80 Verlagen.


Äquivalenzumformung

Aus AnthroWiki
Die Druckversion wird nicht mehr unterstützt und kann Darstellungsfehler aufweisen. Bitte aktualisiere deine Browser-Lesezeichen und verwende stattdessen die Standard-Druckfunktion des Browsers.

In der Mathematik bezeichnet Äquivalenzumformung (lat. aequus = gleich; valere = wert sein) eine Umformung einer Gleichung bzw. Ungleichung, die den Wahrheitswert unverändert lässt (logische Äquivalenz). Die umgeformte logische Aussage ist also für dieselbe Variablenbelegung wahr wie die ursprüngliche Aussage. Äquivalenzumformungen können durch Anwendung der inversen Operation wieder ohne Probleme rückgängig gemacht werden. Äquivalenzumformungen sind die wichtigste Methode zum Lösen von Gleichungen und Ungleichungen.

Äquivalenzumformungen von Gleichungen

Eine Äquivalenzumformung ist beispielsweise die Addition oder Subtraktion eines Terms auf beiden Seiten. Subtrahiert man von der Gleichung

x+5=7

die Zahl 5 (indem man die Zahl auf beiden Seiten subtrahiert), erhält man die Gleichung

x=2.

Die Multiplikation oder Division eines Terms auf beiden Seiten der Gleichung, solange dieser ungleich 0 ist, ist ebenfalls eine Äquivalenzumformung.

Zu beachten ist, dass die Multiplikation mit Null oder Division durch Null oft versteckt auftritt; so ist beispielsweise die Multiplikation mit x1 keine Äquivalenzumformung, da dieser Multiplikator im Falle x=1 eben Null sein kann. Allerdings kann man durch Fallunterscheidung sicherstellen, dass eine Multiplikation oder Division mit Null nicht stattfindet: Fälle, in denen ein Multiplikator oder Divisor Null ist, sind gesondert zu untersuchen; ansonsten sind die umgeformten Aussagen nur unter einer entsprechenden Zusatzvoraussetzung (also nicht allgemein) zueinander äquivalent.

Ebenfalls keine Äquivalenzumformung ist im Allgemeinen das Quadrieren, so hat beispielsweise die Gleichung x=2 eine reelle Lösung, die quadrierte Gleichung x2=4 hingegen zwei reelle Lösungen (nämlich +2 und −2). (Es sei aber angemerkt: Durch einschränkende Bedingungen an x kann man auch das Quadrieren zu einer Äquivalenzumformung machen. Setzt man bspw. x0 voraus, so sind die Gleichungen x2=4 und x=2 gleichwertig!)

Generell ist die Anwendung einer injektiven Funktion auf beide Seiten einer Gleichung eine Äquivalenzumformung; obiges Beispiel der Subtraktion von 5 auf beiden Seiten entspricht der Anwendung der Funktion tt5.

Äquivalenzumformungen von Ungleichungen

Bei Ungleichungen ist das Inversionsgesetz zu beachten, nach dem bei Multiplikation mit bzw. Division durch eine negative Zahl die Ordnungsrelation die Richtung ändert. Multipliziert man beispielsweise die Ungleichung

x>y

mit −5, so erhält man die äquivalente Ungleichung

5x<5y.

Division durch −5 liefert wieder die ursprüngliche Ungleichung.

Generell ist die Anwendung einer streng monotonen Funktion auf beide Seiten einer Ungleichung eine Äquivalenzumformung; bei streng monoton steigenden Funktionen bleibt die Richtung der Ordnungsrelation erhalten; bei streng monoton fallenden Funktionen ändert die Ordnungsrelation die Richtung. Obiges Beispiel der Multiplikation mit −5 auf beiden Seiten entspricht der Anwendung der streng monoton fallenden Funktion t5t.

Multipliziert man eine Ungleichung mit einer Zahl, deren Vorzeichen nicht bekannt ist, so ist eine Fallunterscheidung erforderlich. So möchte man beispielsweise die Ungleichung

x+3x2<2

gerne mit x2 multiplizieren, aber es ist nicht bekannt, ob x>2 oder x<2 gilt (der Fall x=2 ist auszuschließen, da dann die linke Seite der Ungleichung nicht einmal definiert wäre). Falls x>2 gilt, ergibt sich also x+3<2x4, im Fall x<2 dagegen x+3>2x4. Somit ist die gegebene Ungleichung insgesamt äquivalent zu

(x>2 und x+3<2x4) oder (x<2 und x+3>2x4)

dies wiederum zu

(x>2 und 7<x) oder (x<2 und 7>x).

insgesamt also

x<2 oder x>7.

Anstatt die logischen Kombinationen wie hier im Hinblick auf die Äquivalenz gemeinsam abzuhandeln, ist es üblich, die Fälle nacheinander und getrennt zu bearbeiten und am Ende zusammenzufassen.

Notation

Äquivalenzumformungen werden meist mit einem Äquivalenzpfeil ⇔ (Unicode U+21D4) bezeichnet. Angewendet auf obiges Beispiel also:

x+5=7x=2

Darstellung der Umformungsoperation: Insbesondere in der Schulmathematik wird bei Äquivalenzumformungen oft mit einem senkrechten Strich hinter der (Un-)Gleichung dargestellt, welche Operation als nächste auf beide Seiten der (Un-)Gleichung angewendet werden soll. Die obigen Beispiele schreiben sich dann in der Form

x+5=7|5
x=2

bzw.

x>y|(5)
5x<5y.

Siehe auch

Weblinks

Dieser Artikel basiert auf einer für AnthroWiki adaptierten Fassung des Artikels Äquivalenzumformung aus der freien Enzyklopädie de.wikipedia.org und steht unter der Lizenz Creative Commons Attribution/Share Alike. In Wikipedia ist eine Liste der Autoren verfügbar.