Sur les groupes topologiques et les groupes mesurés. (Q2607783)

Verf. skizziert eine Art Umkehrung des bekannten \textit{Haar}schen Satzes (Ann. Math., Princeton, (2) 34 (1933), 147-169; JFM 59.0432.*-433) (ausgedehnt auf im kleinen bikompakte Gruppen). In ``gemessenen Gruppen'' (die Definition ist unklar) ist die Überdeckungsschar \(sA\) (wo \(A\) die Mengen positiven Maßes durchläuft) regulär (Verf., Les recouvrements des espaces topologiques: Espaces complets, espaces bicompacts, C. R. Acad. Sci., Paris, 202 (1936), 1002-1005; F. d.M. 62). Sie gibt zu einer Topologie Anlaß, die sich auch von den folgenden Umgebungen der Identität her definieren läßt: 1.) die Menge der \(s\) mit \(\int |f(sx) - f (x)|^p\,dx < \varepsilon \) oder 2.) \(AA^{-1}\), wo \(A\) endliches positives Maß besitzt. Im Falle im kleinen bikompakter, mit \textit{Haar}schem Maß versehener Gruppen ist diese Topologie mit der ursprünglichen identisch. Ist die Gruppe im kleinen bikompakt hinsichtlich des Überdeckungssystems, so führt Komplettierung zu einer im kleinen bikompakten Gruppe.