Kurs:Invariantentheorie (Osnabrück 2012-2013)/Arbeitsblatt 1

Aufwärmaufgaben

Aufgabe *

Man begründe anhand des Bildes, dass zu zwei Vektoren $(x_1,y_1)$ und $(x_2,y_2)$ die Determinante der durch die Vektoren definierten $2\times 2$-Matrix mit dem Flächeninhalt des von den beiden Vektoren aufgespannten Parallelogramms (bis auf das Vorzeichen) übereinstimmt.

$$

Aufgabe *

Es seien $P_1=(a_1,b_1),P_2=(a_2,b_2)$ und $P_3=(a_3,b_3)$ drei Punkte im ${ℝ}^2$. Stelle den Flächeninhalt des zugehörigen Dreiecks mit $a_1,b_1,a_2,b_2,a_3,b_3$ dar.

Aufgabe

Drücke die Funktion ${\nu }^2$ als Funktion der $L_{ij}^2$ (siehe Beispiel 1.1) aus.

Aufgabe

Drücke die Funktion $S_{12}+S_{13}+S_{23}$ als Funktion der $L_{ij}^2$ (siehe Beispiel 1.1) aus.

Aufgabe

Wir betrachten die Abbildung

${ℝ}^6⟶{ℝ}^3,(x_1,y_1,x_2,y_2,x_2,y_2)⟼(\sqrt{{(x_1-x_2)}^2+{(y_1-y_2)}^2},\sqrt{{(x_1-x_3)}^2+{(y_1-y_3)}^2},\sqrt{{(x_2-x_3)}^2+{(y_2-y_3)}^2}),$

die einem Dreieck die Längen seiner Seiten zuordnet. Zeige, dass das Bild dieser Abbildung aus den Punkten  $({\ell }_1,{\ell }_2,{\ell }_3)\in {ℝ}_{\ge 0}^3$  besteht, die die Dreiecksungleichung erfüllen.

Aufgabe

Diskutiere die Ähnlichkeit von Dreiecken analog zu Beispiel 1.1.

Aufgabe

Wir fassen ein Dreieck $\mathrm{△}$ als ein geordnetes Tripel  $(P_1,P_2,P_3)\in {ℝ}^6$  auf. Begründe die folgenden topologischen Eigenschaften.

1. Die Menge der nichtentarteten Dreiecke ist offen.
2. Die Menge der gleichseitigen Dreiecke ist abgeschlossen.
3. Die Menge der gleichschenkligen Dreiecke ist abgeschlossen.

Aufgabe

Wir betrachten die Abbildung

${ℝ}^6⟶{ℝ}^3,(x_1,y_1,x_2,y_2,x_3,y_3)⟼({(x_1-x_2)}^2+{(y_1-y_2)}^2,{(x_1-x_3)}^2+{(y_1-y_3)}^2,{(x_2-x_3)}^2+{(y_2-y_3)}^2),$

die einem Dreieck die Längenquadrate seiner Seiten zuordnet. Bestimme die regulären Punkte der Abbildung.

Aufgabe

Es sei $K$ ein Körper und sei  $R=K[X_1,\dots ,X_n]$  der Polynomring über $K$. Zeige, dass ein Polynom  $F\in R$  genau dann symmetrisch ist, wenn die homogenen Komponenten von $F$ symmetrisch sind.

Aufgabe

Es sei $K$ ein Körper und sei  $R=K[X_1,\dots ,X_n]$  der Polynomring über $K$. Zu $f\in R$, $f\ne 0$, sei ${\mathrm{LM}}_{}^{}\left(f\right)$ das Leitmonom zu $f$ in der gradlexikographischen Ordnung. Zeige, dass das Leitmonom sich multiplikativ verhält, dass also

${\mathrm{LM}}_{}^{}\left(fg\right)={\mathrm{LM}}_{}^{}\left(f\right)\cdot {\mathrm{LM}}_{}^{}\left(g\right)$

für Polynome  $f,g\ne 0$  gilt.

Aufgabe *

Schreibe das symmetrische Polynom

$X^3{Y}^3-2X^2-2Y^2+5XY$

als Polynom in den elementarsymmetrischen Polynomen.

Aufgabe

Schreibe das symmetrische Polynom

$3X^2{Y}^2{Z}^2-X^4-Y^4-Z^4+X^3{Y}^3{Z}^3$

als Polynom in den elementarsymmetrischen Polynomen.

Aufgabe

Schreibe die symmetrischen Polynome

$X_1^k+\cdots +X_n^k$

als Polynom in den elementarsymmetrischen Polynomen.

Aufgaben zum Abgeben

Aufgabe (4 Punkte)

Bestimme die Fasern (bis auf Homöomorphie) der Längenabbildung $L$ aus Beispiel 1.1.

Aufgabe (5 Punkte)

Wir betrachten die Abbildung

$L:{ℝ}^6⟶{ℝ}^3,(x_1,y_1,x_2,y_2,x_2,y_2)⟼(\sqrt{{(x_1-x_2)}^2+{(y_1-y_2)}^2},\sqrt{{(x_1-x_3)}^2+{(y_1-y_3)}^2},\sqrt{{(x_2-x_3)}^2+{(y_2-y_3)}^2}),$

die einem Dreieck die Längen seiner Seiten zuordnet. Es sei $B$ das Bild der Abbildung. Gibt es eine stetige Abbildung

$s:B⟶{ℝ}^6$

mit

$L\circ s={\mathrm{Id}}_B?$

Aufgabe (5 Punkte)

Es sei $K$ ein algebraisch abgeschlossener Körper. Zeige, dass die Abbildung

$K^6⟶K^3,(x_1,y_1,x_2,y_2,x_2,y_2)⟼({(x_1-x_2)}^2+{(y_1-y_2)}^2,{(x_1-x_3)}^2+{(y_1-y_3)}^2,{(x_2-x_3)}^2+{(y_2-y_3)}^2),$

surjektiv ist.

Aufgabe (3 Punkte)

Es sei $K$ ein Körper, der eine dritte primitive Einheitswurzel $\zeta$ enthalte. Zeige, dass das Polynom  ${(X_1+\zeta X_2+{\zeta }^2{X}_3)}^3\in K[X_1,X_2,X_3]$  symmetrisch ist und bestimme seine Darstellung mit den elementarsymmetrischen Polynomen.

Aufgabe (4 Punkte)

Bestimme die kritischen Punkte der durch die elementarsymmetrischen Polynome definierten Gesamtabbildung

${ℝ}^n⟶{ℝ}^n,(x_1,\dots ,x_n)⟼(E_1(x_1,\dots ,x_n),\dots ,E_n(x_1,\dots ,x_n)).$

Kurs:Invariantentheorie (Osnabrück 2012-2013) | >> PDF-Version dieses Arbeitsblattes Zur Vorlesung (PDF)