Group majorization and Schur type inequalities (Q1375081): Difference between revisions

Es sei \(V\) ein endlich-dimensionaler reeller Vektorraum mit skalarem Produkt \([.,.]\), \(O(V)\) sei die orthogonale Gruppe von \(V\), und \(G\) sei eine abgeschlossene Untergruppe von \(O(V)\). Bedeutet \(C_G(x)\) die konvexe Hülle des \(G\)-Orbits \(\text{orb}_G(x)\) von \(x\in V\), so wird auf \(V\) durch \(y\leq_G x\leftrightarrow y\in C_G(x)\) eine Präordnung definiert. Sie besitzt genau dann die Eigenschaft (GIC), nämlich durch einen Kegel bestimmt zu sein, wenn es in \(V\) einen abgeschlossenen konvexen Kegel \(F\) mit folgenden Eigenschaften gibt: (A1) Für alle \(x\in V\) ist \(\text{orb}_G(x)\cap F\neq\emptyset\). (A2) Für alle \(x,y\in F\) gilt für die Supportfunktion \(m_G(x,y)= \sup\{[x,gy]: g\in G\}= [x,y]\). Aus diesen Eigenschaften folgt, daß \(\text{orb}_G(x)\cap F= \{x^*\}\) einpunktig ist. Wenn \(G\) eine Spiegelungsgruppe ist, dann besitzt \(\leq_G\) die Eigenschaft (GIC); die Umkehrung gilt jedoch nur für Gruppen \(G\) endlicher Ordnung. Um auch den Fall von Gruppe \(G\) unendlicher Ordnung erfassen zu können, beweist Verf. folgendes Reduktionsprinzip: Es sei \(F\subset V\) ein abgeschlossener konvexer Kegel, so daß \((V,G,F)\) die Eigenschaften (A1), (A2) besitzen. Mit dem Unterraum \(W=F-F\) und der Untergruppe \(H=\{h=g|_W: g\in G\), \(gW=W\}\) sind dann gleichwertig: (i) Für alle \(x,y\in W\) gilt \(y\leq_G x\leftrightarrow y\leq_H x\). (ii) \((W,H,F)\) besitzen ebenfalls die Eigenschaften (A1), (A2). (iii) Mit der orthogonalen Projektion \(P:V\to W\) gilt die Ungleichung \(Px\leq_H x^*\) vom Schur Typ für alle \(x\in V\). Unter diesen gleichwertigen Bedingungen ist \(H\) eine endliche Spiegelungsgruppe, und für alle \(x,y\in V\) ist \(y\leq_G x\) gleichwertig mit \(y^*\leq_H x^*\). Dieses Hauptergebnis wird im dritten Abschnitt bewiesen, dem zwei vorbereitende Abschnitte vorangehen. Der letzte Abschnitt enthält Beispiele und Anwendungen sowie Interpretationen der Eigenschaften (i)--(iii).