Äquivalente Umformung

Äquivalente Umformung

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 x − 1 keine Äquivalenzumformung.

Ebenfalls keine Äquivalenzumformung ist 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).

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 t\mapsto t-5.

Äquivalenzumformungen von Ungleichungen

Bei Ungleichungen ist zu beachten, dass 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 t\mapsto -5t.

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

\frac{x+3}{x-2} < 2

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

\bigl(x&amp;gt;2{\rm\ und\ }x+3 &amp;lt; 2x-4\bigr){\rm\ oder\ }\bigl(x&amp;lt;2{\rm\ und\ }x+3 &amp;gt; 2x-4\bigr)

dies wiederum zu

\bigl(x&amp;gt;2{\rm\ und\ }7 &amp;lt; x\bigr){\rm\ oder\ }\bigl(x&amp;lt;2{\rm\ und\ }7 &amp;gt; x\bigr).

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 8660) bezeichnet. Angewendet auf obiges Beispiel also:

x+5=7 \Leftrightarrow x=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&amp;gt;y\;\;\;\;\;\;\;\;\;\;\;\;|\cdot (-5)
 -5x &amp;lt; -5y\; .

Wikimedia Foundation.

Игры ⚽ Поможем написать реферат

Schlagen Sie auch in anderen Wörterbüchern nach:

  • Schaltalgebra — Die Schaltalgebra ist eine spezielle Ausprägung der Booleschen Algebra mit einer zweiwertigen Trägermenge. Sie ist auf Schaltanordnungen zugeschnitten und dient als Hilfsmittel zur Berechnung binärer Schaltnetze und Schaltwerke. Der Begriff binär …   Deutsch Wikipedia

  • K-Diagramm — Bild 1 1: Karnaugh Veitch Diagramm: ¬AB¬C¬D ∨ A¬B¬C¬D ∨ A¬B¬CD ∨ A¬BC¬D ∨ A¬BCD ∨ AB¬C¬D ∨ ABC¬D ∨ ABCD = AC ∨ B¬C¬D ∨ A¬B …   Deutsch Wikipedia

  • KV-Algorithmus — Bild 1 1: Karnaugh Veitch Diagramm: ¬AB¬C¬D ∨ A¬B¬C¬D ∨ A¬B¬CD ∨ A¬BC¬D ∨ A¬BCD ∨ AB¬C¬D ∨ ABC¬D ∨ ABCD = AC ∨ B¬C¬D ∨ A¬B …   Deutsch Wikipedia

  • KV-Diagramm — Bild 1 1: Karnaugh Veitch Diagramm: ¬AB¬C¬D ∨ A¬B¬C¬D ∨ A¬B¬CD ∨ A¬BC¬D ∨ A¬BCD ∨ AB¬C¬D ∨ ABC¬D ∨ ABCD = AC ∨ B¬C¬D ∨ A¬B …   Deutsch Wikipedia

  • KV-Tafel — Bild 1 1: Karnaugh Veitch Diagramm: ¬AB¬C¬D ∨ A¬B¬C¬D ∨ A¬B¬CD ∨ A¬BC¬D ∨ A¬BCD ∨ AB¬C¬D ∨ ABC¬D ∨ ABCD = AC ∨ B¬C¬D ∨ A¬B …   Deutsch Wikipedia

  • Karnaugh-Diagramm — Bild 1 1: Karnaugh Veitch Diagramm: ¬AB¬C¬D ∨ A¬B¬C¬D ∨ A¬B¬CD ∨ A¬BC¬D ∨ A¬BCD ∨ AB¬C¬D ∨ ABC¬D ∨ ABCD = AC ∨ B¬C¬D ∨ A¬B …   Deutsch Wikipedia

  • Rendergleichung — Die Rendergleichung, auch Rendering Gleichung genannt, wird in der 3D Computergrafik verwendet. Es handelt sich um eine Integralgleichung, die die Energieerhaltung bei der Ausbreitung von Lichtstrahlen beschreibt und somit die mathematische Basis …   Deutsch Wikipedia

  • Renderinggleichung — Die Rendergleichung, auch Rendering Gleichung genannt, wird in der 3D Computergrafik verwendet. Es handelt sich um eine Integralgleichung, die die Energieerhaltung bei der Ausbreitung von Lichtstrahlen beschreibt und somit die mathematische Basis …   Deutsch Wikipedia

  • Wahrheitstabelle — Animation zur Erstellung einer Wahrheitstafel Eine Wahrheitstabelle oder Wahrheitstafel (Wahrheitswert Tabelle, Wahrheitsmatrix) ist eine tabellarische Aufstellung des Wahrheitswertsverlaufs einer logischen Aussage. Die Wahrheitstabelle zeigt für …   Deutsch Wikipedia

  • Zopfgruppe — Die Zopfgruppe Bn ist die Gruppe, deren Elemente n strängige Zöpfe sind. Die Gruppenoperation ist die Aneinanderhängung von Zöpfen und das neutrale Element ist der n Zopf ohne Überkreuzungen. Es gibt für jede natürliche Zahl n eine Zopfgruppe Bn …   Deutsch Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”