Two fixed-point theorems concerning bicompact convex sets. (Q2599125)

Es sei \(B\) eine nicht leere, konvexe, bikompakte Teilmenge eines lokalkonvexen, linearen topologischen Raumes, und \(\varGamma\) sei eine Abelsche Familie von stetigen, affinen Transformationen \(\varphi (x)\) von \(B\) in sich. Dann gibt es einen Punkt \(x \in B\), so daß \(\varphi (x) = x\) für alle \(\varphi\in\varGamma\). Dieser Satz wurde von \textit{A. Markov} angegeben (C. R. Acad. Sci. URSS \(1936_{\text{I}}\), 311-313; F. d. M. \(62_{\text{I}}\), 440). Verf. deutet einen neuen Beweis an, der sich durch seine Einfachheit auszeichnet. Der Satz erlaubt einen neuen Beweis eines Theorems von \textit{Banach} über Erweiterung des Definitionsbereiches linearer Operatoren. (\textit{S. Banach}, Théorie des opérations linéaires (1932; F. d. M. \(58_{\text{I}}\), 420), S. 27.) Es sei \(B\) wiederum eine nicht leere, konvexe, bikompakte Teilmenge eines lokalkonvexen, linearen, topologischen Raumes \(E\), und \(\varGamma\) sei eine Gruppe von affinen, kongruenten Transformationen \(\varphi(x)\) von \(E\) in sich, die \(B\) eineindeutig auf sich abbilden; dann gibt es einen Punkt \(x \in B\), so daß \(\varphi (x) = x\) für alle \(\varphi \in\varGamma\). Dabei heißt \(\varphi (x)\) eine kongruente Abbildung, falls \(\varphi (x + U) = \varphi (x) + U\) für alle \(x\) und alle \(U\) eines Umgebungssystems eines Nullelementes. Dieser Satz ist eine Verallgemeinerung des Satzes von der Existenz eines Integrals einer fastperiodischen Funktion (\textit{J. v. Neumann}, Trans. Amer. math. Soc. 36 (1934). 445-492; F. d. M. \(60_{\text{I}}\), 357; \textit{W. Maak}, Abh. math. Sem. Hansische Univ. 11 (1936), 240-244; F. d. M. \(62_{\text{I}}\), 438). (IV 3 E, V 2.)