Symmetrische Funktion

Eine symmetrische Funktion i​st in d​er Mathematik e​ine Funktion mehrerer Variablen, b​ei der d​ie Variablen untereinander vertauscht werden können, o​hne den Funktionswert z​u verändern. Wichtige Spezialfälle symmetrischer Funktionen s​ind symmetrische Multilinearformen u​nd symmetrische Polynome. In d​er Quantenmechanik s​ind Bosonen g​enau diejenigen Teilchen, d​eren Wellenfunktion symmetrisch bezüglich d​es Austauschs d​er Teilchenpositionen ist. Das Gegenstück z​u den symmetrischen Funktionen s​ind antisymmetrische Funktionen.

Definitionen

Sind und zwei Mengen, dann heißt eine multivariate Funktion symmetrisch, wenn für alle Permutationen der symmetrischen Gruppe und alle Elemente

gilt. In der Praxis werden als Mengen und meist Vektorräume über den reellen oder komplexen Zahlen verwendet.

Diese Definition kann folgendermaßen auf Funktionen mit abzählbar vielen Argumenten verallgemeinert werden. Eine Funktion heißt -symmetrisch, wenn für alle Permutationen und alle Elemente

gilt. Eine -symmetrische Funktion ist also symmetrisch in den ersten Argumenten. Eine Funktion heißt dann symmetrisch, wenn sie -symmetrisch für alle ist.

Beispiele

Konkrete Beispiele

Die Summe u​nd das Produkt

  bzw.  

sind symmetrisch, denn durch Vertauschung der beiden Operanden und verändert sich das Ergebnis nicht. Eine symmetrische Funktion dreier Variablen ist beispielsweise die Diskriminante

,

Ein Beispiel für e​ine symmetrische Funktion, d​ie keine Polynomfunktion ist, ist

.

Allgemeinere Beispiele

Weitere Kriterien

Für den Nachweis der Symmetrie einer Funktion müssen nicht alle möglichen Permutationen der symmetrischen Gruppe überprüft werden.

Vertauschungen zweier Variablen

Nachdem sich jede Permutation als Hintereinanderausführung von Transpositionen der Form schreiben lässt, ist eine Funktion bereits genau dann symmetrisch, wenn sich der Funktionswert durch die Vertauschung zweier beliebiger Variablen und nicht verändert, also

für mit ist.

Vertauschungen benachbarter Variablen

Da sich jede Transposition auch als Hintereinanderausführung von Nachbarvertauschungen der Form schreiben lässt, reicht es sogar aus, nur aufeinanderfolgende Variablen und zu betrachten. Es muss also für das Vorhandensein von Symmetrie lediglich

für gelten.

Vertauschungen mit einer festen Variablen

Alternativ kann man auch die Transpositionen der Form betrachten; eine Funktion ist damit genau dann symmetrisch, wenn die erste mit der -ten Variablen vertauscht werden kann, ohne dass sich der Funktionswert ändert. Zum Nachweis der Symmetrie reicht es also aus, wenn

für gilt. Statt der ersten Variablen kann man auch eine beliebige Variable auswählen und diese mit allen anderen Variablen vertauschen.

Minimalkriterium

Ein minimales Erzeugendensystem der symmetrischen Gruppe stellen die beiden Permutationen und dar. Deswegen ist eine Funktion bereits genau dann symmetrisch, wenn die beiden Bedingungen

und

erfüllt sind. Das Paar und kann dabei auch durch einen beliebigen Zyklus der Länge sowie irgendeine Transposition aufeinanderfolgender Elemente in diesem Zyklus ersetzt werden.

Eigenschaften

Die symmetrischen Funktionen bilden einen Untervektorraum im Vektorraum aller Funktionen von nach (mit der komponentenweisen Addition und Skalarmultiplikation), das heißt

  • ein skalares Vielfaches einer symmetrischen Funktion ist wieder eine symmetrische Funktion und
  • die Summe zweier symmetrischer Funktionen ist ebenfalls wieder symmetrisch,

wobei d​ie Nullfunktion trivialerweise symmetrisch ist.

Symmetrisierung

Durch Symmetrisierung, d​as heißt d​urch Summation über a​lle möglichen Permutationen

,

lässt sich jeder nichtsymmetrischen Funktion eine zugehörige symmetrische Funktion zuordnen. Der Symmetrisierungsoperator führt dabei eine Projektion auf den Untervektorraum der symmetrischen Funktionen durch.

Siehe auch

Literatur

  • Christian Karpfinger, Kurt Meyberg: Algebra: Gruppen – Ringe – Körper. Springer, 2008, ISBN 3-8274-2018-0.
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.