Some matrix inequalities and metrization of matric space. (Q2601682)

Eine Reihe von Hilfssätzen über unitare und \textit{Hermite}sche Matrizen und ihre Spuren sowie eine Diskussion der \textit{Minkowski}schen Eichfunktionen (vgl. \textit{T. Bonnesen, W. Fenchel}, Theorie der konvexen Körper (Berlin 1934; F.~d.~M. 60\(_{\text{I}}\), 673), S. 21-24) und ihrer konjugierten führt zu folgenden Sätzen: (1) Das Maximum des Realteils der Spur von \(AU \, BV\), wo \(A\) und \(B\) gegebene Matrizen des Grades \(n\) sind und \(U\), \(V\) alle unitaren Matrizen durchlaufen, ist \[ \sum_{i=1}^{n} \eta_i^{\frac{1}{2}} \, \omega_i^{\frac{1}{2}}, \] wobei \(\eta_i\), \(\omega_i\) die der Größe nach geordneten charakteristischen Wurzeln von \(AA^*\), \(BB^*\) sind. (2) Sei \(\varphi(u_1, \ldots \!, u_n)\) eine symmetrische Eichfunktion; für eine Matrix \(X\) sei \[ |\, X \,|_{\varphi} = \varphi(\omega_1^{\frac{1}{2}}, \ldots \!, \omega_n^{\frac{1}{2}}), \] wo die \(\omega_i\) die Wurzeln von \(XX^*\) sind. Betrachtet man den Raum der komplexen Matrizen \(A\) des Grades \(n\) als einen \(2n^2\)-dimensionalen euklidischen Raum und definiert man \[ \varPhi_{\varphi}(u) \equiv \varPhi_{\varphi}(u_1,\, u_2, \ldots \!, u_{2n^2}) = |\, A \,|_{\varphi}, \] so ist auch \(\varPhi_{\varphi}\) eine Eichfunktion. (3) Sind \(\varphi(u_1, \ldots \!, u_n)\) und \(\psi(v_1, \ldots \!, v_n)\) konjugierte Eichfunktionen, so auch \(\varPhi_{\varphi}(u)\) und \(\varPhi_{\varphi}(v)\). Verschiedene Ungleichungen über Eichfunktionen und Spuren von Matrizenprodukten werden besprochen.