Kurs:Invariantentheorie (Osnabrück 2012-2013)/Vorlesung 1/latex
\setcounter{section}{1}
Wir beginnen mit einigen typischen Beispielen zur Invariantentheorie.
\zwischenueberschrift{Dreieckskongruenzen}
\inputbeispiel{}
{
Wir betrachten Dreiecke im $\R^2$. Die Ebene $\R^2$ sei mit dem
\definitionsverweis {Standardskalarprodukt}{}{}
versehen, so dass wir Längen, Winkel und Flächeninhalte zur Verfügung haben. Eine \stichwort {affine Isometrie} {}
\zusatzklammer {oder eine \stichwort {Kongruenz} {}} {} {}
der Ebene ist eine Abbildung
\maabbdisp {} {\R^2} {\R^2
} {}
der Form
\mathdisp {P \mapsto AP + v} { , }
wobei
\mavergleichskette
{\vergleichskette
{A
}
{ = }{ \begin{pmatrix} a & b \\ c & d \end{pmatrix}
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
eine
\definitionsverweis {lineare Isometrie}{}{}
ist, also durch eine
\definitionsverweis {orthogonale Matrix}{}{}
beschrieben wird, und wobei
\mavergleichskette
{\vergleichskette
{ v
}
{ \in }{ \R^2
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ein
\zusatzklammer {Verschiebungs} {} {-}Vektor ist. In Koordinaten liegt also die Abbildung
\mathdisp {\begin{pmatrix} x \\y \end{pmatrix} \mapsto \begin{pmatrix} a & b \\ c & d \end{pmatrix} \begin{pmatrix} x \\y \end{pmatrix} + \begin{pmatrix} v_1 \\v_2 \end{pmatrix}} { }
vor. Orthogonal bedeutet, dass die Spaltenvektoren eine
\definitionsverweis {Orthonormalbasis}{}{}
bilden. Im zweidimensionalen bedeutet dies, dass entweder $A$ eine
\definitionsverweis {Drehmatrix}{}{}
\mavergleichskettedisp
{\vergleichskette
{A
}
{ =} { \begin{pmatrix}
\operatorname{cos} \, \alpha & - \operatorname{sin} \, \alpha \\
\operatorname{sin} \, \alpha & \operatorname{cos} \,\alpha
\end{pmatrix}
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
oder eine \stichwort {gespiegelte Drehmatrix} {}
\zusatzklammer {oder \stichwort {uneigentliche Drehmatrix} {}} {} {}
\mavergleichskettedisp
{\vergleichskette
{A
}
{ =} { \begin{pmatrix}
\operatorname{cos} \, \alpha & \operatorname{sin} \, \alpha \\
\operatorname{sin} \, \alpha & - \operatorname{cos} \,\alpha
\end{pmatrix}
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
ist. Zu den ebenen Kongruenzen gehören insbesondere \stichwort {Verschiebungen} {,} \stichwort {Achsenspiegelungen} {,} \stichwort {Punktspiegelungen} {} und \stichwort {Drehungen} {,} die auch aus der Schule bekannt sind. Diese Abbildungen erhalten allesamt das Skalarprodukt, Längen, Winkel
\zusatzklammer {aber ohne die Orientierung} {} {}
und Flächeninhalte.
Unter einem \stichwort {Dreieck} {} in der Ebene verstehen wir einfach ein Tupel aus drei Punkten der Ebene, also ein geordnetes Tripel
\mathl{{ \left( P_1 , P_2, P_3 \right) }}{} mit
\mavergleichskette
{\vergleichskette
{ P_i
}
{ = }{ \left( x_i , \, y_i \right)
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
Die Dreieckspunkte sind also geordnet und wir erlauben auch \stichwort {degenerierte} {}
\zusatzklammer {oder \stichwort {ausgeartete} {}} {} {}
Dreiecke, beispielsweise können die Punkte \stichwort {kolinear} {} sein oder auch zusammenfallen. Eine Kongruenz $g$ überführt ein Dreieck $\triangle$ in ein neues Dreieck, und zwar ist das Bilddreieck durch
\mavergleichskettedisp
{\vergleichskette
{ g (\triangle)
}
{ =} { g { \left( P_1 , P_2, P_3 \right) }
}
{ =} {
{ \left( g( P_1) , g(P_2), g(P_3) \right) }
}
{ } {
}
{ } {
}
}
{}{}{}
definiert. Zwei Dreiecke
\mathbed {\triangle_1} {und}
{\triangle_2} {}
{} {} {} {}
heißen \stichwort {geordnet kongruent} {,} wenn es eine Kongruenz gibt, die das eine Dreieck in das andere überführt
\zusatzklammer {bei einer nicht geordneten Kongruenz kann man noch die Nummerierung der Punkte ändern} {} {.}
Die
\zusatzklammer {geordnete} {} {}
Kongruenz von Dreiecken ist eine
\definitionsverweis {Äquivalenzrelation}{}{.}
Unter einer Kongruenz bleiben diejenigen Größen eines Dreiecks erhalten, die generell unter einer Kongruenz erhalten bleiben, also der Flächeninhalt, die Länge der Seiten, und daraus abgeleitete Größen wie der Umfang des Dreiecks, die Länge der kleinsten Seite, usw., dagegen werden andere Größen des Dreiecks verändert, seine Lage im Raum, die Koordinaten seiner Punkte.
Da ein Dreieck durch die Koordinaten seiner Eckpunkte vollständig beschrieben wird, müssen alle dem Dreieck zugeordneten Größen als eine Funktion der sechs Koordinaten
\mathl{\left( x_1 , \, y_1 , \, x_2 , \, y_2 , \, x_3 , \, y_3 \right)}{} ausdrückbar sein. Eine Größe ist also einfach eine zunächst beliebige Funktion
\maabbeledisp {\mu} {\R^6} {\R
} {\triangle} { \mu(\triangle)
} {,}
\zusatzklammer {man kann auch andere Wertebereiche zulassen} {} {.}
Man sagt, dass eine solche Funktion \stichwort {nur von der Kongruenzklasse abhängt} {} oder \stichwort {invariant} {} unter der Kongruenz ist, wenn für jedes Dreieck
\mavergleichskette
{\vergleichskette
{ \triangle
}
{ \in }{ \R^6
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
und jede Kongruenz $g$ die Gleichheit
\mavergleichskettedisp
{\vergleichskette
{ \mu (\triangle)
}
{ =} { \mu (g( \triangle))
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
gilt. Eine solche invariante Funktion nennt man auch eine \stichwort {innere Größe} {} des Dreiecks, da sie nicht von der Lage des Dreiecks in der Ebene abhängt
\zusatzklammer {wobei man sowohl die invariante Funktion als auch den Wert einer solchen an einem bestimmten Dreieck als innere Größe bezeichnet} {} {.}
Der Flächeninhalt
\zusatzklammer {vergleiche
Aufgabe 1.1;
man verschiebe den Eckpunkt \mathlk{(x_3,y_3)}{} des Dreiecks in den Nullpunkt und betrachte dann die daran anliegenden Seiten als Vektoren} {} {}
des Dreiecks wird durch
\mavergleichskettealign
{\vergleichskettealign
{ \mu (\triangle)
}
{ =} { { \frac{ 1 }{ 2 } } \betrag { \det \begin{pmatrix} x_1-x_3 & x_2-x_3 \\ y_1-y_3 & y_2-y_3 \end{pmatrix} }
}
{ =} { { \frac{ 1 }{ 2 } } \betrag { { \left( x_1-x_3 \right) } { \left( y_2-y_3 \right) } - { \left( y_1-y_3 \right) } { \left( x_2-x_3 \right) } }
}
{ =} { { \frac{ 1 }{ 2 } } \betrag { x_1y_2-x_2y_1 - x_1y_3+ x_3y_1 -x_3y_2 +x_2y_3 }
}
{ } {
}
}
{}
{}{}
gegeben. Aufgrund der inhaltlichen Interpretation als Flächeninhalt eines Dreiecks muss es sich um eine innere Größe handeln. Dies lässt sich aber auch rechnerisch überprüfen. Um den Rechenaufwand zu minimieren, sind folgende einfache Vorüberlegungen sinnvoll:
\auflistungzwei{Wenn eine Funktion $\mu$ invariant ist, so ist auch jede Funktion invariant, die nur von dieser Funktion abhängt; wenn also der Ausdruck
\mavergleichskette
{\vergleichskette
{ \nu(\triangle)
}
{ = }{ x_1y_2-x_2y_1 - x_1y_3+ x_3y_1 -x_3y_2 +x_2y_3
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
unter einer bestimmten Kongruenz invariant ist, so ist insbesondere auch der Betrag davon unter dieser Kongruenz invariant.
}{Da man jede Kongruenz als
\definitionsverweis {Hintereinanderschaltung}{}{}
von besonders einfachen Kongruenzen schreiben kann, nämlich von Verschiebungen, Drehungen und eventuell einer Spiegelung an der $x$-Achse, genügt es, die Invarianz unter diesen erzeugenden Kongruenzen zu zeigen.
}
Betrachten wir also diese speziellen Kongruenzen. Bei einer Verschiebung $g$ um den Vektor
\mathl{\left( w , \, z \right)}{} ist
\mavergleichskettealignhandlinks
{\vergleichskettealignhandlinks
{ \nu( g(\triangle))
}
{ =} { \nu \left( x_1+w , \, y_1+z , \, x_2+w , \, y_2+z , \, x_3+w , \, y_3+z \right)
}
{ =} { \det \begin{pmatrix} x_1-w - { \left( x_3-w \right) } & x_2-w- { \left( x_3-w \right) } \\ y_1-z- { \left( y_3-z \right) } & y_2-z- { \left( y_3 -z \right) } \end{pmatrix}
}
{ =} { \det \begin{pmatrix} x_1-x_3 & x_2-x_3 \\ y_1-y_3 & y_2-y_3 \end{pmatrix}
}
{ =} { \nu(\triangle)
}
}
{}
{}{.}
Für eine Drehung $D$ um den Winkel $\alpha$ und einen Vektor
\mavergleichskette
{\vergleichskette
{ v
}
{ \in }{V
}
{ }{
}
{ }{
}
{ }{}
}
{}{}{}
und die zugehörige Verschiebung $V_v$ gilt
\mavergleichskette
{\vergleichskette
{V_{-D(v) } \circ D \circ V_v
}
{ = }{D
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
Da wir die Invarianz unter einer Verschiebung schon bewiesen haben, können wir annehmen, dass der dritte Eckpunkt der Nullpunkt ist, dass also
\mavergleichskette
{\vergleichskette
{ (x_3,y_3)
}
{ = }{ (0,0)
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ist. Damit ist
aufgrund des Determinantenmultiplikationssatzes
\mavergleichskettealign
{\vergleichskettealign
{ \nu (D (\triangle))
}
{ =} { \det { \left( \begin{pmatrix}
\operatorname{cos} \, \alpha & - \operatorname{sin} \, \alpha \\
\operatorname{sin} \, \alpha & \operatorname{cos} \,\alpha
\end{pmatrix} \begin{pmatrix} x_1 & x_2 \\ y_1 & y_2 \end{pmatrix} \right) }
}
{ =} { \det \begin{pmatrix}
\operatorname{cos} \, \alpha & - \operatorname{sin} \, \alpha \\
\operatorname{sin} \, \alpha & \operatorname{cos} \,\alpha
\end{pmatrix} \det \begin{pmatrix} x_1 & x_2 \\ y_1 & y_2 \end{pmatrix}
}
{ =} { \det \begin{pmatrix} x_1 & x_2 \\ y_1 & y_2 \end{pmatrix}
}
{ =} {\nu (\triangle)
}
}
{}
{}{.}
Für die Spiegelung
\mavergleichskette
{\vergleichskette
{S
}
{ = }{ \begin{pmatrix} 1 & 0 \\ 0 & -1 \end{pmatrix}
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ist schließlich
\mavergleichskettedisp
{\vergleichskette
{ \nu (S (\triangle))
}
{ =} { \nu { \left( \begin{pmatrix} 1 & 0 \\ 0 & -1 \end{pmatrix} \begin{pmatrix} x_1-x_3 & x_2-x_3 \\ y_1-y_3 & y_2-y_3 \end{pmatrix} \right) }
}
{ =} { - \nu ( \triangle )
}
{ } {
}
{ } {
}
}
{}{}{.}
Die Funktion $\nu$ ist also nicht invariant unter der Spiegelung, wohl aber ihr Betrag oder das Quadrat davon
\zusatzklammer {letzteres gilt über jedem Körper} {} {.}
Die Funktion $\nu$
\zusatzklammer {oder \mathlk{\nu^2}{} oder \mathlk{\betrag { \nu }}{}} {} {}
enthält auch die Information, ob das Dreieck ausgeartet ist oder nicht, nämlich genau dann, wenn $\nu$ den Wert $0$ annimmt.
Betrachten wir die Seitenlängen. Da wir mit geordneten Dreiecken arbeiten, sind
\zusatzklammer {für
\mavergleichskettek
{\vergleichskettek
{ i
}
{ \neq }{ j
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}} {} {}
die Seitenlängen
\mavergleichskettedisp
{\vergleichskette
{L_{ij}
}
{ =} { \sqrt{ { \left( x_i-x_j \right) }^2 + { \left( y_i-y_j \right) }^2 }
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
invariant unter Kongruenzen
\zusatzklammer {sie sind nicht invariant unter Umnummerierungen, da diese ja beispielsweise \mathlk{L_{12}}{} in \mathlk{L_{13}}{} überführen} {} {.}
Der Ausdruck
\mavergleichskette
{\vergleichskette
{U
}
{ = }{L_{12} + L_{13} + L_{23}
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{,}
also der Umfang, ist invariant unter den Kongruenzen, aber auch unter Umnummerierungen.
Die Invarianz der Seitenlängen ist ein Spezialfall der Invarianz der Skalarprodukte. Isometrien erhalten das Skalarprodukt, dies ist ihre definierende Eigenschaft. Zu
\mavergleichskette
{\vergleichskette
{ i
}
{ \neq }{ j
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
\zusatzklammer {und $k$ die dritte Zahl aus \mathlk{\{1,2,3\}}{}} {} {}
sei
\mavergleichskettealignhandlinks
{\vergleichskettealignhandlinks
{S_{ij}
}
{ \defeq} { \left\langle \begin{pmatrix} x_i-x_k \\y_i-y_k \end{pmatrix} , \begin{pmatrix} x_j-x_k \\y_j-y_k \end{pmatrix} \right\rangle
}
{ =} { { \left( x_i-x_k \right) } { \left( x_j-x_k \right) } + { \left( y_i-y_k \right) } { \left( y_j-y_k \right) }
}
{ =} { x_ix_j-x_ix_k -x_jx_k +x_k^2 + y_iy_j-y_iy_k -y_jy_k +y_k^2
}
{ } {
}
}
{}
{}{.}
Das ist also das Skalarprodukt der beiden vektoriellen Seiten, die am Eckpunkt $P_k$ anliegen. Diese Funktionen sind invariant unter geordneten Kongruenzen. Die Invarianz der Winkel
\zusatzklammer {an einer bestimmten Ecke} {} {}
zwischen zwei Dreiecksseiten folgt direkt aus der Invarianz der Skalarprodukte der zwei Seiten.
Es gibt eine Reihe von elementargeometrischen Sätzen, die besagen, dass ein Dreieck bis auf Kongruenz durch die Angabe gewisser Größen bestimmt ist, z.B. durch die Angabe der drei Seitenlängen oder die Angabe eines Winkels und der Längen der beiden anliegenden Seiten.
Betrachten wir die drei Längen als Abbildung
\zusatzklammer {die wir die \stichwort {Längenabbildung} {} nennen} {} {}
\maabbeledisp {L} {\R^6} {\R^3
} {\triangle} { \left( L_{12}(\triangle) , \, L_{13}(\triangle) , \, L_{23}(\triangle) \right)
} {.}
Zwei Dreiecke sind genau dann kongruent, wenn ihre Werte unter der Abbildung $L$ übereinstimmen. Die
\definitionsverweis {Faser}{}{}
der Abbildung über einem Längentupel
\mathl{\ell_1,\ell_2,\ell_3}{} besteht aus allen geordneten Dreiecken, deren Seitenlängen gleich $\ell_i$ sind. Die Abbildung ist nicht surjektiv, da das Längentupel eines Dreiecks in
\mathl{\R_{\geq 0}^3}{} liegt und die Dreiecksungleichung
\mavergleichskette
{\vergleichskette
{\ell_1
}
{ \leq }{ \ell_2+ \ell_3
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
\zusatzklammer {und Permutationen davon} {} {}
erfüllen muss
\zusatzklammer {über einem
\definitionsverweis {algebraisch abgeschlossenen Körper}{}{}
ist die Abbildung aber surjektiv} {} {.}
Wenn
\maabb {\mu} {\R^6} {\R
} {}
irgendeine invariante Funktion ist, so ist diese auf den Kongruenzklassen, also den Fasern von $L$, konstant, und somit gibt es eine eindeutig bestimmte Funktion
\maabb {\tilde{\mu}} {\R^3} {\R
} {}
mit
\mavergleichskette
{\vergleichskette
{\mu
}
{ = }{ \tilde{\mu} \circ L
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
In einem gewissen Sinn beschreiben die
\mathl{L_{ij}}{} sämtliche invarianten Funktionen.
}
\zwischenueberschrift{Symmetrische Polynome}
\inputdefinition
{}
{
Es sei $K$ ein
\definitionsverweis {Körper}{}{.} Ein
\definitionsverweis {Polynom}{}{}
\mavergleichskette
{\vergleichskette
{ f
}
{ \in }{ K [X_1 , \ldots , X_n]
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
heißt
\definitionswort {symmetrisch}{,}
wenn für jede
\definitionsverweis {Permutation}{}{}
\mavergleichskette
{\vergleichskette
{ \sigma
}
{ \in }{ S_n
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
die Gleichheit
\mavergleichskettedisp
{\vergleichskette
{f
}
{ =} { f^\sigma
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
besteht, wobei $f^\sigma$ aus $f$ entsteht, indem man überall in $f$ die Variable $X_i$ durch
\mathl{X_{\sigma(i)}}{} ersetzt\zusatzfussnote {Wenn man die durch eine Permutation induzierte lineare Abbildung
\maabbeledisp {} {K^n} {K^n
} {e_i} { e_{\sigma(i) }
} {,}
betrachtet, so ist es natürlicher, die $i$-te Variable $X_i$, die ja die $i$-te Projektion von $K^n$ auf $K$ bezeichnet, auf
\mathl{X_i \circ \sigma}{,} also auf
\mathl{X_{ \sigma^{-1}(i)}}{,} abzubilden} {.} {.}
}
\inputbeispiel{}
{
Bei
\mathl{n=1}{} sind alle Polynome
\definitionsverweis {symmetrisch}{}{,}
da dort allein die Identität vorliegt. Bei
\mavergleichskette
{\vergleichskette
{ n
}
{ = }{ 2
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
sind die Konstanten und beispielsweise
\mathl{x+y, xy, 5+x+y, 3x+3y+x^2y^2}{} symmetrische Polynome. Bei
\mavergleichskette
{\vergleichskette
{ n
}
{ = }{ 3
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
sind
\mathl{x+y+z, \, xy+xz+yz,\, xyz, \, x^4+y^4+z^4}{} typische Beispiele.
}
Die Summe und das Produkt von symmetrischen Polynomen ist wieder symmetrisch, daher bilden die symmetrischen Polynome einen Unterring des Polynomringes.
\inputdefinition
{}
{
Das $i$-te
\definitionswort {elementarsymmetrische Polynom}{}
in $n$ Variablen ist das Polynom
\zusatzklammer {mit
\mavergleichskettek
{\vergleichskettek
{ i
}
{ = }{ 1 , \ldots , n
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}} {} {}
\mavergleichskettedisp
{\vergleichskette
{E_i
}
{ \defeq} { \sum_{1 \leq k_1 <\ldots <k_i \leq n}X_{k_1} \cdots X_{k_i}
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
}
Die elementarsymmetrischen Polynome treten in folgender Situation auf.
\inputbemerkung
{}
{
Wir betrachten das Produkt
\mathdisp {(T+X_1)\cdots(T+X_n)} { }
in
\mavergleichskette
{\vergleichskette
{ K[X_1 , \ldots , X_n,T]
}
{ = }{ K[X_1 , \ldots , X_n][T]
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
Wenn man dieses Produkt ausmultipliziert, so erhält man ein
\zusatzklammer {\definitionsverweis {normiertes}{}{}} {} {}
Polynom in $T$ vom
\definitionsverweis {Grad}{}{}
$n$, wobei die Koeffizienten selbst Polynome aus
\mathl{K[X_1 , \ldots , X_n]}{} sind. Da man beim Ausmultiplizieren alles mit allem multiplizieren muss, gilt
\mavergleichskettedisphandlinks
{\vergleichskettedisphandlinks
{ (T+X_1)\cdots(T+X_n)
}
{ =} { T^n+E_1T^{n-1} + \cdots + E_nT^0
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{,}
wobei $E_i$ gerade das $i$-te
\definitionsverweis {elementarsymmetrische Polynom}{}{}
bezeichnet. Ein Polynom in $T$ mit den Nullstellen
\mathl{-X_i}{} besitzt also die elementarsymmetrischen Polynome als Koeffizienten.
}
Mit Hilfe der elementarsymmetrischen Polynome kann man nun einfach alle symmetrischen Polynome in eindeutiger Form schreiben. Dies ist der Inhalt des \stichwort {Hauptsatzes über symmetrische Polynome} {.} Für den Beweis benötigen wir den Begriff der \stichwort {gradlexikographischen Ordnung} {.}
\inputdefinition
{}
{
Es sei $K$ ein
\definitionsverweis {Körper}{}{} und
\mathl{K[X_1 , \ldots , X_n]}{} der
\definitionsverweis {Polynomring}{}{}
über $K$. Die
\definitionswort {gradlexikographische Ordnung}{}
auf der Menge der
\definitionsverweis {Monome}{}{}
ist durch
\mathdisp {X_1^{a_1}\cdots X_n^{a_n}\prec X_1^{b_1}\cdots X_n^{b_n}} { , }
falls der
\definitionsverweis {Grad}{}{}
von
\mathl{X_1^{a_1}\cdots X_n^{a_n}}{,}
\zusatzklammer {also
\mathl{\sum_{i= 1}^n a_i}{}} {} {,}
kleiner als der Grad von
\mathl{X_1^{b_1}\cdots X_n^{b_n}}{} ist, oder, bei gleichem Grad, wenn
\mathl{a_1=b_1 , \ldots , a_k=b_k}{,} aber
\mavergleichskette
{\vergleichskette
{ a_{k+1}
}
{ < }{ b_{k+1}
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ist, gegeben.
}
Man verwendet also die Ordnung auf der Variablenmenge. Man vergleicht zwei Monome \mathkor {} {f} {und} {g} {,} indem man zuerst den Grad miteinander vergleicht. Stimmt dieser überein, so vergleicht man die Exponenten der ersten Variable der beiden Monome miteinander \zusatzklammer {man vergleicht also den \anfuehrung{Anfangsbuchstaben}{}} {} {.} Wenn es hier einen Größenunterschied gibt, so ist die Sache entschieden. Andernfalls schaut man sich den Exponenten der zweiten Variablen an, und so weiter. Dies führt zu einer totalen Ordung auf der Menge der Monome. Zu einem Monom gibt es jeweils nur endlich viele Monome, die bezüglich dieser Ordnung kleiner sind. Daher kann man über diese Ordnung Induktion führen.
Zu einem Polynom $f$ nennt man das Monom aus $f$ \zusatzklammer {mit einem Koeffizienten $\neq 0$} {} {} mit dem größten Exponententupel in der gradlexikographischen Ordnung das \stichwort {Leitmonom} {} von $f$.
\inputfaktbeweis
{Symmetrische Polynome/Körper/Hauptsatz/Fakt}
{Satz}
{}
{
\faktsituation {Jedes
\definitionsverweis {symmetrische Polynom}{}{}
\mavergleichskette
{\vergleichskette
{ F
}
{ \in }{ K[X_1 , \ldots , X_n]
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
lässt sich}
\faktfolgerung {eindeutig als Polynom in den
\definitionsverweis {elementarsymmetrischen Polynomen}{}{}
schreiben.}
\faktzusatz {D.h. es ist
\mavergleichskettedisp
{\vergleichskette
{ F
}
{ =} {\sum_{\nu } a_\nu E^\nu
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
mit eindeutig bestimmten Koeffizienten
\mavergleichskette
{\vergleichskette
{ a_\nu
}
{ \in }{ K
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}}
\faktzusatz {}
}
{
Wir führen Induktion über die
\definitionsverweis {gradlexikographische Ordnung}{}{.}
\teilbeweis {Zur Existenz.\leerzeichen{}}{}{}
{Es sei $F$ ein symmetrisches Polynom.
Es sei
\mathl{X_1^{a_1} \cdots X_n^{a_n}}{} das
\definitionsverweis {Leitmonom}{}{}
von $F$
\zusatzklammer {mit dem Koeffizienten
\mavergleichskettek
{\vergleichskettek
{ c
}
{ \neq }{0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}} {} {}
Es ist
\mavergleichskette
{\vergleichskette
{ a_{i+1}
}
{ \leq }{ a_i
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
für alle $i$. Andernfalls nämlich betrachtet man die Permutation, die
\mathkor {} {X_{i+1}} {und} {X_i} {}
vertauscht. Das resultierende Monom muss wegen der Symmetrie ebenfalls in $F$ vorkommen, wäre aber größer in der gradlexikographischen Ordnung.
Wir betrachten das Polynom
\mavergleichskettedisp
{\vergleichskette
{ G
}
{ =} { F - cE_1^{a_1-a_2} E_2^{a_2-a_3} \cdots E_{n-1}^{a_{n-1}-a_n} E_n^{a_n}
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
Dabei treten rechts die elementarsymmetrischen Polynome mit nichtnegativen Exponenten auf. Das Polynom rechts enthält ebenfalls
\mathl{X_1^{a_1} \cdots X_n^{a_n}}{} als Leitmonom: Hierzu muss man sich die Monome in $E_i$ klar machen. Das Leitmonom von $E_i$ ist
\mathl{X_1\cdots X_i}{} und das Leitmonom von
\mathl{E^k_i}{} ist
\mathl{(X_1\cdots X_i)^k}{}
\zusatzklammer {das Leitmonom ist multiplikativ, siehe
Aufgabe 1.10} {} {.}
Daher hat das Polynom rechts das Leitmonom
\mavergleichskettedisphandlinks
{\vergleichskettedisphandlinks
{ X_1^{a_1-a_2}\cdot(X_1X_2)^{a_2-a_3} \cdots (X_1\cdots X_{n-1})^{a_{n-1} - a_n} \cdot (X_1\cdots X_n)^{a_n}
}
{ =} { X_1^{a_1} X_2^{a_2} \cdots X_{n-1}^{a_{n-1} } X_n^{a_n}
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
In der Differenz $G$ verschwindet also dieses Monom, d.h. $G$ hat einen kleineren Grad in der gradlexikographischen Ordung. Da $G$ ebenfalls symmetrisch ist, liefert die Induktionsvoraussetzung die Behauptung.}
{}
\teilbeweis {Zur Eindeutigkeit.\leerzeichen{}}{}{}
{Wir zeigen, dass die elementarsymmetrischen Polynome
\definitionsverweis {algebraisch unabhängig}{}{}
sind. Es sei also
\mavergleichskettedisp
{\vergleichskette
{ H(E_1 , \ldots , E_n)
}
{ =} { 0
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{,}
wobei
\mavergleichskette
{\vergleichskette
{ H
}
{ \neq }{ 0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ein Polynom in den $n$ Variablen
\mathl{Y_1 , \ldots , Y_n}{} sei. Wir schreiben $H$ als Summe von Monomen der Form
\mathdisp {Y^{a_1-a_2}_1 Y^{a_2-a_3}_2\cdots Y^{a_n}_n} { }
mit
\mavergleichskette
{\vergleichskette
{ a_1
}
{ \ge }{ \ldots
}
{ \ge }{ a_n
}
{ }{
}
{ }{
}
}
{}{}{.}
Es sei
\mathl{(a_1 , \ldots , a_n)}{} dasjenige Tupel mit
\mavergleichskettedisp
{\vergleichskette
{ a_i
}
{ \geq} { a_{i+1}
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{,}
das in der gradlexikographischen Ordnung maximal ist unter allen Tupeln, für die
\mathl{Y^{a_1-a_2}_1 Y^{a_2-a_3}_2\cdots Y^{a_n}_n}{} in $H$ vorkommt
\zusatzklammer {es werden also die $a$ verglichen, nicht die Differenzen} {} {.}
Dann besitzt
\mathl{H(E_1 , \ldots , E_n)}{} als Polynom in $X$ das Leitmonom
\mathl{X^{a_1}_1\cdots X^{a_n}_n}{} und wäre nicht $0$.}
{}
Insbesondere ist der Ring der symmetrischen Polynome selbst isomorph zu einem Polynomring in $n$ Variablen.
| Kurs:Invariantentheorie (Osnabrück 2012-2013) | >> |
|---|