On the uniqueness of Haar's measure. (Q2599102)

Für eine im kleinen kompakte und separable topologische Gruppe \(G\) hat \textit{J. v. Neumann} die eindeutige Bestimmtheit (bis auf einen konstanten Faktor) des Haarschen links-invarianten Maßes bewiesen (Rec. math., Moscou, (2) 1 (1936), 721-734; F. d. M. \(62_{\text{II}}\), 1231). Verf. vereinfacht diesen Beweis. Die wesentliche Verbesserung besteht in der Annahme eines rechts-invarianten Maßes für die zweite Gruppe bei der Konstruktion des Maßes für das topologische Produkt \(G \times G\). Die Separabilität spielt bei dem Beweis des Verf. keine Rolle. Der Beweis gilt also auch für eine nicht-separable Gruppe, den Fall einer im kleinen bikompakten topologischen Gruppe, den \textit{A. Weil} behandelt hat (C. R. Acad. Sci., Paris, 202 (1936), 1147-1149; F. d. M. \(62_{\text{I}}\), 440). Ferner gilt der Satz von der Eindeutigkeit des Haarschen Maßes auch für den Fall, daß \(G\) ein topologischer Raum \(S\) ist, wenn die transitive Gruppe der homöomorphen Transformationen von \(S\) auf sich selbst gegeben ist.