Generalized duality theorem for commutative groups with an invariant measure. (Q2584334)

\(G\) sei eine topologische kommutative Gruppe, die das zweite Abzählbarkeits\-axiom erfüllt. Auf dem kleinsten, alle offenen Mengen von \(G\) enthaltenden Borelsystem \((B)\) sei ein totaladditives Maß \(\mu (E)\) erklärt mit den Eigenschaften: \ 1) es existiert eine Umgebung der Null mit endlichem positivem Maß; \ 2) es ist \[ \mu (E + g) = \mu (E) \] für jedes \(g\in G\), \(E\in (B)\); \ 3) es ist \(\mu (E)=\inf\, \mu (V)\), \(V\) eine offene, \(E\) überdeckende Menge; \ 4) ist \(\mu (E) <\infty \), so gibt es zu jedem \(\varepsilon > 0\) eine Umgebung \(V_\varepsilon \) der Null, so daß \(\mu (E)-\mu (E\frown (E + g))<\varepsilon \) ist für jedes \(g\in V_\varepsilon \); \ 5) \(\mu (- E) = \mu (E)\). Es wird folgende Verallgemeinerung des Pontrjaginschen Dualitätssatzes bewiesen: Bildet man von \(G\) die Charaktergruppe \(X\), von dieser die Charaktergruppe \(G^*\), dann ist \(G\) eine überall dichte Untergruppe von \(G^*\), deren ursprüngliche Topologie mit der von \(G^*\) induzierten zusammenfällt. Eine Folgerung ist: Existiert auf einer Gruppe \(G\), die das zweite Abzählbarkeitsaxiom erfüllt, ein Maß mit den obigen Eigenschaften, so ist \(G\) entweder lokalkompakt oder überall dicht in einer lokalkompakten Gruppe \(G^*\), so daß Topologie und Maß in \(G\) von \(G^*\) induziert werden, wobei jede meßbare Menge von \(G\) mit endlichem, positivem Maß in \(G^*\) nicht meßbar ist.