Moderates Maß

Ein moderates Maß, auch moderates Borel-Maß genannt, ist ein Begriff aus der Maßtheorie, einem Teilgebiet der Mathematik, das sich mit verallgemeinerten und abstrahierten Längen- und Volumenbegriffen beschäftigt und damit die Basis für die Stochastik und die Integrationstheorie bildet.

Als moderate Maße bezeichnet man hier spezielle Maße auf Hausdorff-Räumen, die Borel-Maße sind und für die eine abzählbare Überdeckung des Grundraumes aus offenen Mengen endlichen Maßes existiert. Moderate Maße ermöglichen es, allgemeinere Kriterien für die Regularität des Maßes anzugeben, wie es zum Beispiel die Endlichkeit des Borel-Maßes erlauben würde.

Moderate Maße wurden erstmals von Nicolas Bourbaki 1969 eingeführt[1].

Definition

Gegeben sei ein Hausdorff-Raum und sei die zugehörige Borelsche σ-Algebra. Ein Borel-Maß

heißt ein moderates Maß, wenn es offene Mengen gibt, so dass für alle ist und

gilt.

Dabei wird ein Maß als Borel-Maß bezeichnet, wenn es lokal endlich ist, also wenn es zu jedem eine Umgebung mit gibt.

Beispiel

Das Lebesgue-Maß auf ist ein moderates Maß, denn es ist lokal endlich. Dazu wählt man zu jedem Punkt die Umgebung , dann ist und damit endlich. Eine mögliche offene Überdeckung wären die Mengen .

Eigenschaften

  • Jedes moderate Maß ist ein σ-endliches Maß, denn die Forderung einer offenen Überdeckung ist eine stärkere Forderung als die Überdeckung mit beliebigen Mengen wie sie bei der σ-Endlichkeit gefordert wird. Die umgekehrte Folgerung, also von der σ-Endlichkeit zum moderaten Maß, gilt aber im Allgemeinen nicht.
  • Jedes von außen reguläre σ-endliche Borel-Maß ist moderat. Denn ist eine Folge von Mengen endlichen Maßes, die überdeckt, so folgt aus der Regularität von außen, dass es zu jedem eine offene Menge gibt mit . Demnach liefern die eine offene Überdeckung mit Mengen endlichen Maßes wie für ein moderates Maß gefordert wird.
  • Jedes Borel-Maß auf einem σ-kompakten Raum ist moderat. Denn dann existieren kompakte Mengen , so dass
ist. Nach Definition der Kompaktheit gibt es zu der offenen Überdeckung von eine endliche Teilüberdeckung . Aufgrund der lokalen Endlichkeit des Borel-Maßes ist dann für alle und . Damit bilden die Mengen
eine offene Überdeckung von mit Mengen endlichen Maßes.
  • Jedes Borel-Maß auf einem Hausdorff-Raum mit abzählbarer Basis ist moderat. Dies zeigt man, indem man eine gegebene Basis so modifiziert, dass sie nur Mengen endlichen Maßes enthält und anschließend zeigt, dass es sich immer noch um eine Basis handelt. Die abzählbar vielen Basismengen sind dann per Definition offen, besitzen jeweils nur endliches Maß und erfüllen damit die Anforderungen.
  • Jedes Borel-Maß auf einem Lindelöf-Raum ist moderat. Die lokale Endlichkeit von liefert eine offene Überdeckung des Raumes durch Mengen endlichen Maßes, die Lindelöf-Eigenschaft erlaubt nun aus dieser eine abzählbare Teilüberdeckung auszuwählen. Die beiden obigen Beispiele sind somit ein Spezialfall dieser Eigenschaft.

Moderate Maße und reguläre Maße

Moderate Maße liefern wichtige Regularitätsaussagen für Borel-Maße. Dabei nutzt man aus, dass für eine offene endliche Überdeckung das Borel-Maß eingeschränkt auf endlich ist und damit viele Regularitätseigenschaften endlicher Borel-Maße sich auf moderate Borel-Maße übertragen.

Auf Hausdorff-Räumen

Beispielsweise gilt in Hausdorff-Räumen, dass wenn ein moderate Borel-Maß ist und jede offene Menge mit endlichem Maß von innen regulär ist, dass dann auch regulär ist.

Daraus folgt mit den obigen Eigenschaften sofort, dass für einen Hausdorff-Raum die folgenden Schlüsse gelten:

  1. Ist σ-kompakt, so ist jedes Borel-Maß, bei dem jede offene Menge endlichen Maßes von innen regulär ist, auch regulär.
  2. Daraus folgt direkt, dass jedes Radon-Maß auf σ-kompaktem moderat und regulär ist. Hierbei bezeichnet ein Radon-Maß ein von innen reguläres Borel-Maß.
  3. Ist jede offene Menge σ-kompakt, so ist jedes Borel-Maß moderat und regulär. Denn jede σ-kompakte Menge ist von innen regulär.

Auf polnischen Räumen

Nach dem Satz von Ulam ist jedes Borel-Maß auf einem polnischen Raum regulär und moderat.

Einzelnachweise

  1. Elstrodt: Maß- und Integrationstheorie. 2009, S. 381.

Literatur