Benutzer:Lantani/Gleichheit (Mathematik)

Diese Entwurfsseite soll später in den Artikel Gleichheit (Mathematik) eingearbeitet werden.

Intro

Gleichheit, in Formeln als Gleichheitszeichen „$=$“ geschrieben, bedeutet in der Mathematik vollständige Übereinstimmung. Ein mathematisches Objekt ist nur sich selbst gleich. Es kann natürlich verschiedene Bezeichnungen und Beschreibungen für dasselbe Objekt geben, etwa verschiedene arithmetische Ausdrücke für dieselbe Zahl, verschiedene Definitionen derselben geometrischen Figur oder verschiedene Aufgabenstellungen, die dieselbe eindeutige Lösung haben. Verwendet man die mathematische Formelsprache, heißen solche „Bezeichnungen und Beschreibungen“ Terme. Welches Objekt mit einem Term gemeint ist, ist vom Zusammenhang abhängig, in dem der Term „interpretiert“ wird; dementsprechend ist eine Aussage über die Gleichheit oder Ungleichheit zweier Terme ebenfalls vom Zusammenhang abhängig. Woraus dieser Zusammenhang besteht, wird im Abschnitt Gleichheit innerhalb einer Menge oder Struktur detailliert dargestellt.

Was dasselbe ist, ist austauschbar. Weiß man etwa, dass in einem bestimmten Zusammenhang Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle s=t} für zwei Terme $s$ und Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle t} gilt, dann kann man:

• in einer Aussage, in der $s$ als Bestandteil vorkommt, ein oder mehrere Vorkommen von Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle s} durch $t$ ersetzen, ohne dass sich im gleichen Zusammenhang an der Wahrheit oder Falschheit der Aussage etwas ändert sowie
• in einem Term, in dem $s$ als Bestandteil vorkommt, ein oder mehrere Vorkommen von $s$ durch $t$ ersetzen, wobei im gleichen Zusammenhang der abgeänderte Term dem ursprünglichen gleich ist.

Dieses Prinzip „Gleiches darf durch Gleiches ersetzt werden“ wird unter anderem bei algebraischen Umformungen benutzt. Wird etwa ein Term, der in einem anderen Term oder in einer Formel enthalten ist, vereinfacht oder berechnet und das Ergebnis an der Herkunftsstelle wieder eingesetzt, so ist das eine Anwendung dieses Prinzips, und ebenso, wenn auf beide Seiten einer Gleichung dieselbe Operation angewandt wird. Solche Umformungen sind schon seit dem Altertum zur Lösung algebraischer Aufgaben benutzt worden, z.B. bei Diophant und bei al-Chwarizmi.

Objekte, die in dieser Weise in jedem Zusammenhang ununterscheidbar und austauschbar sind, werden im allgemeinen Sprachgebrauch als identisch (oder dasselbe) bezeichnet, was mehr aussagt als nur gleich (oder das Gleiche) . Dort, aber nicht in der Mathematik, bedeutet Gleichheit nur eine Übereinstimmung in allen im jeweiligen Zusammenhang relevanten Merkmalen, aber keine Identität – ein Sachverhalt, den man in der Mathematik als Äquivalenz oder Kongruenz, aber nicht als Gleichheit bezeichnet.

Gleichheit ist ein grundlegender Begriff in der gesamten Mathematik und wird daher nicht in den einzelnen Teilgebieten der Mathematik, sondern in der mathematischen Logik untersucht. Der Begriff der Identität wird dagegen in der Mathematik nur selten im Sinne von Gleichheit benutzt (siehe Abschnitt Identität).

Gleichheit innerhalb einer Menge oder Struktur

Die Mathematik beschäftigt sich mit der Beziehung zwischen mathematischen Objekten innerhalb einer Menge, die mit einer mathematischen Struktur versehen ist, nicht aber mit dem Wesen eines mathematischen Objekts unabhängig von den Mengen und Strukturen, denen es angehört. Deswegen ist es nur dann eine in der Mathematik sinnvolle Frage, ob zwei Objekte aus verschiedenen Mengen gleich oder voneinander verschieden sind, wenn die eine Menge Teil der anderen ist oder eine beiden übergeordnete Menge gebraucht wird. Ob beispielsweise die Kardinalzahl 3 (im Sinne der Mengenlehre: die Mächtigkeit einer dreielementigen Menge) dasselbe Objekt ist wie die reelle Zahl 3, ist erst dann interessant, wenn man eine Struktur aufbauen will, in der Kardinalzahlen neben reellen Zahlen im gleichen Kontext vorkommen – ein ungewöhnlicher Fall, in dem man definitorisch festlegen muss, wie die Gleichheit gemeint ist.

Hat man aber eine oder mehrere Mengen eindeutig definiert, so liegt fest, was Gleichheit bedeutet: die Elemente einer Menge sind jeweils nur sich selbst gleich, und zwei Mengen sind genau dann gleich, wenn sie dieselben Elemente enthalten. Darauf aufbauend kann man Paare und n-Tupel mit Hilfe des Cartesischen Produkts von Mengen bilden sowie Funktionen, die eine Menge in sich oder in eine andere Menge abbilden. Die Gleichheit überträgt sich dabei auf solche zusammengesetzten Objekte, wobei gleich ist, was in gleicher Weise aus den gleichen Komponenten aufgebaut ist.

Als Beispiel soll die Konstruktion der Menge $\mathbb {Q}$ der rationalen Zahlen aus der Menge $\mathbb {Z}$ der ganzen Zahlen dienen. Rationale Zahlen sind auf den ersten Blick Brüche aus ganzen Zahlen mit Nenner ungleich Null, als eine Menge aufgefasst Zahlenpaare aus $\mathbb {Z} \times (\mathbb {Z} \setminus \{0\})$. Dann wären aber die Paare $\langle 14,6\rangle$ und $\langle 21,9\rangle$ zwei verschiedene Paare, mithin nach der Definition der Gleichheit zwei verschiedene rationale Zahlen ${\tfrac {14}{6}}$ und Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \tfrac{21}{9}} , und eine definitorische Festlegung, nach der sie gleich sein sollen, würde zu einem Widerspruch führen. Wie man durch Bildung von Äquivalenzklassen trotzdem zu einer Menge paarweise verschiedener rationaler Zahlen kommt, ist im Abschnitt Definition des Artikels Rationale Zahl detailliert beschrieben.

Aussagen über die so definierten rationalen Zahlen lassen sich nur treffen, wenn dort Funktionen wie beispielsweise die Rechenoperationen oder Relationen wie beispielsweise die Kleiner- und Größerrelation definiert sind. Hat man das nicht, gibt es allenfalls Aussagen über die Gleichheit zweier verschieden geschriebener rationaler Zahlen, deren Richtigkeit oder Falschheit schon aufgrund der Definition der rationalen Zahlen festliegt. Mit anderen Worten: die Gleichheit ist zwar eine Relation auf der Menge $\mathbb {Q}$ der rationalen Zahlen, aber keine, die nach der Definition von Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \Q} dort noch hätte definiert werden können. Vielmehr ist sie durch die Definition von $\mathbb {Q}$ mit entstanden.

Nehmen wir als Beispiel für eine Aussage über rationale Zahlen die Gleichung Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle (x+y)(x-y)=x^2-y^2} . Sie hat nur Sinn, wenn bekannt ist,

• von welcher Menge von Objekten (hier die Menge $\mathbb {Q}$ der rationalen Zahlen) die Rede ist,
• wie die Rechenoperationen (hier die vier Grundrechenarten – die Potenzierung mit konstanten natürlichen Zahlen ist nur eine abkürzende Schreibweise für wiederholte Multiplikationen) auf dieser Grundmenge von Objekten definiert sind und
• für welche Elemente der Menge die vorkommenden freien Variablen (hier das Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle x} und das $y$) stehen.

Diese drei Dinge, nämlich die zugrundeliegende Menge von Objekten, die Definition der vorkommenden Funktionen und Relationen auf dieser Menge – nicht jedoch die der Relation Gleichheit – sowie die Belegung der freien Variablen mit Elementen der Menge bilden also den Zusammenhang, in dem die Aussage interpretiert wird, also in eindeutiger Weise wahr oder falsch ist. Man kann das in formaler Weise durchführen wie unter Interpretation dargestellt, aber auch ohne solchen Formalismus hat jede Aussage nur einen Sinn, wenn diese drei Bestandteile der Interpretation der Aussage festliegen.

Die Belegung der freien Variablen geht dabei in der Regel aus dem Kontext hervor. In diesem Beispiel ist wohl gemeint, es gelte für alle Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle x} und $y$ aus $\mathbb {Q}$, aber es hätte sich auch um die Aufgabe handeln können, zu gegebenem Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle y} alle $x$ zu finden, so dass die Gleichung erfüllt ist (siehe Gleichung). Gleichungen und andere Aussagen, die freie Variable enthalten, über die im Verwendungszusammenhang nichts festgelegt ist, können allgemeingültig, erfüllbar oder unerfüllbar sein, je nachdem, ob sie für alle, manche oder keine Belegungen der freien Variablen mit Elementen der Grundmenge wahr sind.

Die beiden anderen Bestandteile der Interpretation, also die Grundmenge und die darauf definierten Funktionen und Relationen, bilden zusammen die mathematische Struktur, in deren Kontext die Aussage allgemeingültig, erfüllbar oder unerfüllbar ist. In der Struktur, die aus $\mathbb {Q}$ mit den Grundrechenarten besteht, ist die genannte Gleichung allgemeingültig, in Strukturen mit nichtkommutativer Multiplikation ist sie das nicht, z. B in den 2x2-Matrizen von ganzen Zahlen mit der üblichen Matrizenmultiplikation.

Im Altertum bis ins 18. Jahrhundert hat man sich über mathematische Strukturen wenig Gedanken gemacht. Die Strukturen, die man untersucht hat, kannte man samt ihren Eigenschaften wie beispielsweise

• die Zahlen mit ihren Rechenoperationen und Rechenregeln, für die man Methoden der Lösung von Gleichungen mit einer oder mehr Unbekannten entwickelte,
• die Euklidische Ebene mit ihren Punkten, Geraden und Kreisen, in der man Kongruenzen bewies oder Konstruktionsaufgaben löste,
• später die Funktionen einer reellen Variablen, für die man Differential- und Integralrechnung entwickelte.

Die Eigenschaften dieser Strukturen wurden erforscht, Sätze über sie bewiesen und diese zur Lösung neuer Fragestellungen herangezogen. Im Beispiel oben braucht man die schon bekannten Rechengesetze (Kommutativ-, Assoziativ- und Distributivgesetz) für Zahlen, um die Lösung zu finden und zu verifizieren. Sogar wenn der Zahlenbereich erweitert wurde, etwa durch die Einführung der irrationalen Zahlen, ändert sich an den grundlegenden Gesetzen nichts – sonst hätte man die neu hinzugekommenen Objekte nicht als Zahlen anerkannt. Allerdings konnte sich an der Lösungsmenge etwas ändern: in den rationalen Zahlen ist $x={\tfrac {2}{3}}$ die einzige Lösung der obigen Gleichung, nach Hinzunahme der irrationalen gibt es zwei weitere.

Gleichheit in einer Klasse von Strukturen

+++++ Axiomatischer Ansatz

Im Allgemeinen hat eine Äquivalenzrelation auf einer Menge nichts mit den Strukturen zu tun, die auf der Menge definiert sein können. Oft interessiert man sich jedoch für den Fall, dass eine Äquivalenzrelation $\sim$ mit der Struktur verträglich ist, d. h., dass für alle zur Struktur gehörigen Funktionen $f$ und Relationen $R$ gilt:

Ist $x_{1}\sim y_{1},\dotsc ,x_{n}\sim y_{n}$, so gilt

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle f(x_1,\dotsc,x_n)\sim f(y_1,\dotsc,y_n)\quad} bzw.Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \quad R(x_1,\dotsc,x_n)\Longleftrightarrow R(y_1,\dotsc,y_n)}

+++++ Äquivalenz, Kongruenz

Eine Äquivalenz ist eine Relation mit bestimmten Eigenschaften, wie sie für Elemente einer Struktur typisch sind, die Gemeinsamkeiten aufweisen. In jeder Menge mit mindestens zwei Elementen gibt es mehr als eine Äquivivalenzrelation, aber nur eine davon ist die Gleichheit.

Gleichheit und Identität

Manchmal wird durch eine Formulierung der Eindruck erweckt, es gebe eine Identitätsrelation, die stärker als die Gleichheit ist. Dafür ein Beispiel:

Wir betrachten Summen natürlicher Zahlen. Dann könnte jemand formulieren, die beiden Seiten der Gleichung Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle 3+5=4+3+1} seien zwar gleich, aber nicht identisch, wohingegen die beiden Seiten der Gleichung Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle 3+5=3+5} überdies identisch seien. Diese Formulierung leidet aber an einer Ungenauigkeit. Es geht nämlich um zwei völlig verschiedene Strukturen, in denen es jeweils eine Addition gibt:

• zum einen die Struktur $\langle \mathbb {N} ,+\rangle$ der natürlichen Zahlen mit der dort üblichen Addition und
• zum anderen die Struktur Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \langle S, +\rangle} der Summen natürlicher Zahlen, die mit ihrer Addition wie folgt definiert ist:
  • Jede natürliche Zahl ist eine Summe natürlicher Zahlen.
  • Sind Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle s} und Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle n} Summen natürlicher Zahlen, so auch ihre Summe $s+t$, also nicht eine Zahl, sondern ein Term aus Zahlen, die mit einem Pluszeichen verbunden sind. Dass dabei derselbe Term als Ergebnis verschiedener Additionen in $S$ auftreten kann, macht dabei nichts aus.

Nun definieren wir eine Funktion

$h:S\to \mathbb {N} ,\quad x\mapsto {\begin{cases}x,\quad {\text{wenn }}x\in \mathbb {N} \\h(s)+_{\mathbb {N} }n,\quad {\text{wenn }}x=s+_{S}n\quad {\text{mit }}s\in S,n\in \mathbb {N} \end{cases}}$

Zur Verdeutlichung, ob es sich um die Addition in $S$ oder in Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \mathbb{N}} handelt, ist das Pluszeichen mit dem jeweiligen Index versehen worden. Die Zerlegung in der zweiten Variante ist eindeutig, sonst wäre die Funktion nicht eindeutig definiert. Weiter definieren wir eine Äquivalenzrelation auf $S$ durch

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle s \sim t\quad :\Longleftrightarrow\quad h(s)=h(t)}

Wegen der Assoziativität beider Additionen in $S$ und in $\mathbb {N}$ ist das eine Kongruenzrelation auf $S$. Jetzt sehen wir den Unterschied zwischen den beiden Gleichungen:

• Die Gleichung $3+5=4+3+1$ gilt in $\mathbb {N}$, nicht aber in $S$; dort gilt nur $3+5\sim 4+3+1$.
• Die Gleichung $3+5=3+5$ gilt sowohl in $S$ als auch in $\mathbb {N}$, aber sie bedeutet jeweils etwas völlig anderes. Allerdings ist $h$ ein Homomorphismus zwischen den beiden Strukturen, so dass aus der Gleichheit in $S$ die Gleichheit in $\mathbb {N}$ folgt.

In jeder der beiden Strukturen ist also Gleichheit dasselbe wie Identität. Bei der Aussage, etwas sei gleich, aber nicht identisch, wird mitten im Satz die Struktur gewechselt, über die man spricht.