On the theory of characters of commutative topological groups. (Q2587274)

\(G\) sei eine topologische kommutative Gruppe, die lokal bikompakt ist oder das zweite Abzählbarkeitsaxiom erfüllt. Für ihre Teilmengen \(X\) existiere ein äußeres Maß \(\mu (X)\) mit folgenden Eigenschaften: \(0 \leqq \mu (X) \leqq \infty\); \(\mu (X) \leqq \sum \mu (X_n)\), wenn \(X \subset \sum X_n\), für abzählbare Summen; \(\mu (\varLambda ) = 0\), \(\varLambda = \) Nullmenge; alle offenen Mengen \(O\) sind meßbar mit \(\mu (O)\geqq 0\); \(\mu (X) = \inf \mu (U)\), \(U\) eine \(X\) überdeckende Menge; es gibt eine Umgebung der Null mit endlichem Maß; es ist stets \(\mu (X + g) = \mu (X)\), \(g \in G\); \(\mu (X) = \mu(- X)\); ist \(\mu (X) < \infty\), so gibt es zu jedem \(\varepsilon > 0\) eine Umgebung \(U_\varepsilon (0)\) mit \(\mu (X) - \mu (X \frown (X+g))< \varepsilon \) für alle \(g \in U_\varepsilon \). Unter diesen sehr allgemeinen Voraussetzungen wird für jedes \(g \in G\) in einfacher Weise die Existenz eines stetigen Charakters \(\chi (g)\) mit \(\chi (g_0) \not = 1\) bewiesen. Zum Beweis wird der Ring aller auf \(G\) meßbaren Funktionen \(x (g)\) mit \(\| x \| = \int \| x (g) \|\, dg\) und der Multiplikation \(x* y = \int x (g - h) y (h)\, dh\) gebildet. Durch Hinzunahme eines Einheitselementes \(e\) wird er zu einem normierten Ring \(R\) erweitert. Jeder meßbare Charakter \(\chi (g)\) erzeugt in \(R\) das maximale Ideal \(M\) aller \(z = \lambda e + x (g)\) mit \(\lambda + \int x(g) \bar{\chi} (g)\, dg = 0\); umgekehrt erzeugt jedes maximale Ideal \(M\), das ein \(x(g)\) nicht enthält, einen eindeutig bestimmten stetigen Charakter. So wird bewiesen, daß jeder meßbare Charakter stetig ist und daß die (von dem Ideal aller \(x (g)\) verschiedenen) maximalen Ideale von \( R\) eineindeutig den stetigen Charakteren entsprechen. Schließlich wird bewiesen, daß \(R\) kein verallgemeinertes nilpotentes Element enthält, d. h. eines, zu dem für alle komplexen \(\lambda\) die Folge \(\| \lambda x \|\), \(\| \lambda^2 (x* x)\|, \dots \) gegen Null geht, woraus sich die Behauptung schließlich ergibt. Auch die übliche Topologie der Charaktergruppe für lokalbikompakte Gruppen ergibt sich aus der des bikompakten topologischen Raumes der Maximalideale von \(R\).