Symmetrische Funktion

Eine symmetrische Funktion ist in der Mathematik eine Funktion mehrerer Variablen, bei der die Variablen untereinander vertauscht werden können, ohne den Funktionswert zu verändern. Wichtige Spezialfälle symmetrischer Funktionen sind symmetrische Multilinearformen und symmetrische Polynome. In der Quantenmechanik sind Bosonen genau diejenigen Teilchen, deren Wellenfunktion symmetrisch bezüglich des Austauschs der Teilchenpositionen ist. Das Gegenstück zu den symmetrischen Funktionen sind antisymmetrische Funktionen.

Definitionen

Sind $X$ und $Y$ zwei Mengen, dann heißt eine multivariate Funktion $f\colon X^{n}\to Y$ symmetrisch, wenn für alle Permutationen $\sigma \in S_{n}$ der symmetrischen Gruppe $S_{n}$ und alle Elemente $x_{1},\dotsc ,x_{n}\in X$

f(x_{1},\dotsc ,x_{n})=f(x_{\sigma (1)},\dotsc ,x_{\sigma (n)})

gilt. In der Praxis werden als Mengen $X$ und $Y$ 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 $f\colon X^{\mathbb {N} }\to Y$ heißt $n$ -symmetrisch, wenn für alle Permutationen $\sigma \in S_{n}$ und alle Elemente $x_{i}\in X$

f(x_{1},\dotsc ,x_{n},x_{n+1},\dots )=f(x_{\sigma (1)},\dotsc ,x_{\sigma (n)},x_{n+1},\dots )

gilt. Eine $n$ -symmetrische Funktion ist also symmetrisch in den ersten $n$ Argumenten. Eine Funktion $f\colon X^{\mathbb {N} }\to Y$ heißt dann symmetrisch, wenn sie $n$ -symmetrisch für alle $n\in \mathbb {N}$ ist.

Beispiele

Konkrete Beispiele

Die Summe und das Produkt

f(x_{1},x_{2})=x_{1}+x_{2}

bzw.

f(x_{1},x_{2})=x_{1}\cdot x_{2}

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

f(x_{1},x_{2},x_{3})=(x_{1}-x_{2})^{2}(x_{1}-x_{3})^{2}(x_{2}-x_{3})^{2}

,

Ein Beispiel für eine symmetrische Funktion, die keine Polynomfunktion ist, ist

f(x_{1},x_{2},x_{3})=\max\{|x_{1}-x_{2}|,|x_{1}-x_{3}|,|x_{2}-x_{3}|\}

.

Allgemeinere Beispiele

jede konstante Funktion ist symmetrisch
eine kommutative zweistellige Verknüpfung ist eine symmetrische Funktion der beiden Operanden
der Mittelwert einer Menge gegebener Werte ist eine symmetrische Funktion dieser Werte
eine symmetrische multilineare Abbildung ist eine symmetrische Funktion, die linear in jedem Argument ist
ein symmetrisches Polynom ist eine symmetrische Polynomfunktion

Weitere Kriterien

Für den Nachweis der Symmetrie einer Funktion müssen nicht alle $n!$ möglichen Permutationen der symmetrischen Gruppe $S_{n}$ überprüft werden.

Vertauschungen zweier Variablen

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

f(\dotsc ,x_{i},\dotsc ,x_{j},\dotsc )=f(\dotsc ,x_{j},\dotsc ,x_{i},\dotsc )

für $i,j\in \{1,\ldots ,n\}$ mit 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 i < j} ist.

Vertauschungen benachbarter Variablen

Da sich jede Transposition auch als Hintereinanderausführung von Nachbarvertauschungen der Form 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 (i ~ i+1)} schreiben lässt, reicht es sogar aus, nur aufeinanderfolgende Variablen 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_i} 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 x_{i+1}} zu betrachten. Es muss also für das Vorhandensein von Symmetrie lediglich

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(\dotsc , x_i , x_{i+1}, \dotsc) = f(\dotsc , x_{i+1} , x_i, \dotsc)}

für 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 i=1, \ldots , n-1} gelten.

Vertauschungen mit einer festen Variablen

Alternativ kann man auch die Transpositionen der Form 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 (1 ~ i)} betrachten; eine Funktion ist damit genau dann symmetrisch, wenn die erste mit der 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 i} -ten Variablen vertauscht werden kann, ohne dass sich der Funktionswert ändert. Zum Nachweis der Symmetrie reicht es also aus, wenn

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_i, \dotsc) = f(x_i , \dotsc , x_1, \dotsc)}

für 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 i=2, \ldots , n} 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 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_n} stellen die beiden Permutationen 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 (1 ~ 2 ~ \ldots ~ n)} 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 (1 ~ 2)} dar. Deswegen ist eine Funktion bereits genau dann symmetrisch, wenn die beiden Bedingungen

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, x_2, \dotsc , x_n) = f(x_2, \ldots , x_n, x_1)}

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 f(x_1, x_2, \dotsc , x_n) = f(x_2, x_1, \ldots , x_n)}

erfüllt sind. Das Paar 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 (1 ~ 2 ~ \ldots ~ n)} 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 (1 ~ 2)} kann dabei auch durch einen beliebigen Zyklus der Länge 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} sowie irgendeine Transposition aufeinanderfolgender Elemente in diesem Zyklus ersetzt werden.

Eigenschaften

Die symmetrischen Funktionen bilden einen Untervektorraum im Vektorraum aller Funktionen 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 X^n} nach 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} (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 die Nullfunktion trivialerweise symmetrisch ist.

Symmetrisierung

Durch Symmetrisierung, das heißt durch Summation über alle möglichen Permutationen

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 Sf(x_1, \dotsc , x_n) = \frac{1}{n!}\sum_{\sigma \in S_n} f(x_{\sigma(1)}, \dotsc , x_{\sigma(n)})} ,

lässt sich jeder nichtsymmetrischen Funktion 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} eine zugehörige symmetrische Funktion 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 Sf} zuordnen. Der Symmetrisierungsoperator 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} 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.

Weblinks

V.M. Khrapchenko: Symmetric function. In: Michiel Hazewinkel (Hrsg.): Encyclopedia of Mathematics. Springer-Verlag und EMS Press, Berlin 2002, ISBN 978-1-55608-010-4 (englisch, online).
Eric W. Weisstein: Symmetric Function. In: MathWorld (englisch).

Anonym

Suche

Symmetrische Funktion

Namensräume

Mehr

Seitenaktionen

Inhaltsverzeichnis

Definitionen