Invariante (Mathematik)

In d​er Mathematik versteht m​an unter e​iner Invariante e​ine mit e​inem Objekt assoziierte Größe, d​ie sich b​ei einer jeweils passenden Klasse v​on Modifikationen d​es Objektes n​icht ändert. Invarianten s​ind ein wichtiges Hilfsmittel b​ei Klassifikationsproblemen: Objekte m​it unterschiedlichen Invarianten s​ind wesentlich verschieden; g​ilt auch d​ie Umkehrung, d. h., s​ind Objekte m​it gleichen Invarianten i​m Wesentlichen identisch, s​o spricht m​an von e​inem vollständigen Satz v​on Invarianten o​der von trennenden Invarianten.

Einführendes Beispiel

Die betrachteten Objekte sind Paare reeller Zahlen, erlaubte Modifikationen bestehen darin, zu beiden Zahlen dieselbe beliebig gewählte Zahl zu addieren:

.

Eine Invariante ist in diesem Fall die Differenz der beiden Zahlen:

Eine Interpretation dieses Beispiels könnte sein: und sind die Anfangs- und Endpunkt einer Stange, gemessen von einem festen Punkt in der Verlängerung der Stange. Die Modifikationen entsprechen einer Verschiebung der Stange um , die Invariante ist die Länge der Stange.

In diesem Beispiel genügt bereits diese eine Invariante für eine vollständige Klassifikation: Zwei Zahlenpaare und gehen genau dann auseinander hervor, das heißt, es gibt ein , so dass

und

wenn d​ie Längen übereinstimmen:

(Beweis: Setze , dann ist )

Weitere Beispiele

  • Die Dimension eines Vektorraumes ist eine Isomorphie-Invariante, d. h., sind und isomorphe Vektorräume, so stimmen ihre Dimensionen überein. Es gilt auch die Umkehrung: Zwei Vektorräume gleicher Dimension (aufgefasst als Kardinalzahl) über einem gemeinsamen Grundkörper sind isomorph.
  • Die Determinante einer Matrix ist eine Ähnlichkeitsinvariante, d. h., sind und zwei Matrizen, für die es eine invertierbare Matrix gibt, so dass gilt, so haben und dieselbe Determinante. Hier gilt die Umkehrung nicht, beispielsweise hat jede Drehung die Determinante 1.
  • Die Frobenius-Normalform bzw. die Invariantenteiler der charakteristischen Matrix , wobei die Einheitsmatrix der gleichen Dimension ist wie A, dagegen ist sogar eine trennende Invariante der Ähnlichkeitsoperation, d. h., zwei Matrizen sind genau dann ähnlich zueinander, wenn sie die gleiche Frobenius-Normalform haben.
  • Bettizahlen und Euler-Charakteristik sind topologische Invarianten, d. h. invariant unter Homöomorphismen.

Invarianten unter Operationen

Bei Gruppenoperationen spricht man ebenfalls von Invarianten: Ist eine Punktmenge mit einer Operation der Gruppe , so heißen die Punkte , die invariant bleiben,

,

Fixpunkte oder die -invarianten Punkte.

Allgemeiner ist jede Bahn durch einen Punkt , die durch die Gruppenoperation entsteht,

,

invariant u​nter der Gruppenoperation.

Weiterführende Themen

In der theoretischen Physik stellt das Noether-Theorem einen Zusammenhang zwischen Symmetrien der Wirkung und Invarianten der Zeitentwicklung her. Diese nennt man in der Physik Erhaltungsgrößen (Beispiele: Energie, Impuls, Drehimpuls). „Relativistische Invarianz“, d. h. Invarianz gegen Lorentztransformationen, besitzen viele (per Postulat: alle) physikalische Theorien, darunter an prominentester Stelle die Maxwellsche Elektrodynamik und natürlich die Relativitätstheorien Albert Einsteins. Im Gegensatz zur Mathematik steht aber letzten Endes nicht Axiomatik dahinter, sondern wenige, besonders aussagekräftige Experimente, z. B. das Michelson-Morley-Experiment zur Konstanz der Lichtgeschwindigkeit.

Siehe auch

Literatur

This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. The authors of the article are listed here. Additional terms may apply for the media files, click on images to show image meta data.