Über die schwache Konvergenz der Haarschen Maße von Untergruppen (Q2522115)

Es sei \(X\) eine topologische lokal-kompakte Hausdorffsche Gruppe und \(Y\) eine abgeschlossene Untergruppe von \(X\). Ein (Radonsches) Maß \(m\) auf \(X\) heißt ein (zu \(Y\) gehöriges) Untergruppenmaß, wenn \(m\) durch die Relationen \(m(f)=\bar m (f\vert_y)\), \(f\in \mathfrak K(X)\) definiert ist, wobei \(\bar m\) ein (linksvariantes) Haarsches Maß von \(Y\) und \(\mathfrak K(X)\) den Raum der stetigen reellen Funktionen auf \(X\) mit kompaktem Träger bezeichnen; \(f\vert_y\) ist die Einschränkung von \(f\) auf \(Y\). \(m\) heißt normiert bezüglich \(f_*\), \((f_*\in \mathfrak K_+(X))\), wenn \(m(f_*) = 1\). In dieser Note gibt man eine topologische Interpretation der schwachen Konvergenz von Untergruppenmaßen an. Genauer beweist man, daß ein Netz von Untergruppenmaßen, normiert bezüglich irgendeiner zulässigen Funktion, genau dann gegen ein Untergruppenmaß \(m_0\) schwach konvergiert, wenn das Netz der zugehörigen Trägergruppen im Sinne von Hausdorff gegen die Trägergruppe von \(m_0\) konvergiert. Außerdem ist die Menge der normierten Untergruppenmaße (in irgendeiner Normierung) schwach kompakt.