A generalization of theorems of Schönhardt and Mehmke on polytopes. (Q2589557)

I. \(R_n\) sei der reelle \(n\)-dimensionale euklidische Raum. \(G\) sei eine reell irreduzible endliche Gruppe von orthogonalen Transformationen im \(R_n\). \(V_1, V_2,\ldots, V_k\) seien die verschiedenen \(h\)-dimensionalen linearen Teilräume, die aus \(V_1\) durch die Transformationen von \(G\) entstehen. Dann ist das arithmetische Mittel der orthogonalen Projektionen jedes Vektors \(z\) auf \(V_1, \ldots, V_k\) gleich \(\dfrac hn z\). II. \(G\) sei eine absolut irreduzible endliche Gruppe homogener linearer Transformationen \(x_i' =\sum m_{ij} x_j\) des \(R_n\). \(V_1\) sei ein \(h\)-dimensionaler Teilraum des \(R_n\), \(W_1\) ein komplementärer \((n-h)\)-dimensionaler Teilraum, \((V_1, W_1),\ldots\), \((V_k, W_k)\) seien die verschiedenen Paare, die aus \((V_1, W_1)\) durch die Transformationen von \(G\) entstehen. Ist \(p_i\) der Vektor von \(V_i\), der aus einem gegebenen Vektor \(z\) durch Projektion parallel zu \(W_i\) entsteht, so ist \(\dfrac1k(p_1+p_2+\cdots+p_k)=\dfrac hnz\). Von diesen beiden mit Hilfsmitteln der Darstellungstheorie endlicher Gruppen bewiesenen Sätzen ist der erste eine Verallgemeinerung von Resultaten von \textit{E. Schönhardt} (Deutsche Math. 2 (1937), 446-451; F. d. M. \(63_{\text I}\), 584) und \textit{R. Mehmke} (Math. Z. 45 (1939), 405-428; F. d. M. 65, 666 (JFM 65.0666.*)).