Reguläres Maß

aus Wikipedia, der freien Enzyklopädie
(Weitergeleitet von Reguläres Borel-Maß)

Ein reguläres Maß ist in der Maßtheorie ein spezielles Maß auf einem topologischen Raum, für das gewisse Approximationseigenschaften gelten. Man unterscheidet zwischen der Regularität von innen und der Regularität von außen eines Maßes. Ist ein Maß regulär von innen und von außen, so wird es regulär genannt.

Die Regularität von Maßen wird in der Literatur nicht einheitlich verwendet, insbesondere im Kontext von Borel-Maßen. Daher ist ein genauer Abgleich mit der Definition im jeweiligen Kontext unerlässlich.

Definition

Seien Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle X} ein Hausdorff-Raum und eine σ-Algebra auf Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle X} , die die Borelsche σ-Algebra enthält.

Dann liegen alle offenen und alle abgeschlossenen Teilmengen von Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle X} in .

Da Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle X} Hausdorff ist, liegen auch alle kompakten Teilmengen von Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle X} in .

Ein Maß Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \mu\colon\mathcal{A}\rightarrow[0,\infty]} heißt

  • von innen regulär, falls für jedes Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle A\in\mathcal{A}} gilt:
Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \mu(A)=\sup \{ \mu(K) \mid K\subset A,\ K\ \textrm{kompakt} \}\,, }
  • von außen regulär, falls für jedes Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle A\in\mathcal{A}} gilt:
Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \mu(A)=\inf \{ \mu(U) \mid A\subset U,\ U\ \textrm{offen} \}\,, }
  • regulär, wenn es von innen und von außen regulär ist.[1]

Eine Menge Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle A\in\mathcal{A}} , die eine der drei angegebenen Eigenschaften erfüllt, wird entsprechend als von innen reguläre, von außen reguläre oder reguläre Menge bezeichnet. Mitunter fordert man die innere Regularität nur für offene Mengen (in diesem Sinne ist dann das Haar-Maß regulär) oder fordert, dass es sich bei dem Maß um ein Borel-Maß handelt.

Weitere Bedeutungen

Teils werden Maße auf einem metrischen Raum mit Borelscher σ-Algebra als abgeschlossen regulär bezeichnet, wenn für jede Menge Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle B \in \mathcal B } und jedes Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \epsilon > 0 } eine offene Menge Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle O } und eine abgeschlossene Menge existieren mit und Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \mu(O \setminus A)< \epsilon } [2]. Andere Autoren nennen diese Maße aber lediglich regulär[3].

Im englischen findet sich auch die Bezeichnung „tightness“ für die Regularität von Innen[4] . Die „tight measures“ entsprechen aber nicht den von innen regulären Maßen oder den straffen Maßen, sondern den Radon-Maßen (im Sinne eines von innen regulären, lokal endlichen Maßes auf der Borelschen σ-Algebra eines Hausdorff-Raumes)[5].

Eigenschaften und Beispiele

Reguläre Maße erlauben in vielen Beweisen Approximationsargumente. Oft genügt es, gewisse Aussagen für kompakte oder offene Mengen zu zeigen, und diese dann durch die beiden Formeln auf messbare Mengen zu erweitern. Viele Maße sind regulär.

  • Das Lebesgue-Maß auf dem Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle {\mathbb R}^n} ist regulär.
  • Allgemeiner gilt: Ist ein lokalkompakter Hausdorffraum mit abzählbarer Basis und ist Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \mu} ein Borel-Maß auf Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle X} , so ist Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \mu} regulär.[6]

Reguläre Borel-Maße

Abhängig davon, wie man ein Borel-Maß definiert, existieren verschiedene Konzepte der Regularität von Borel-Maßen[7].

  • Versteht man unter einem Borel-Maß ein lokal endliches Maß auf der Borelschen σ-Algebra eines Hausdorff-Raumes, so nennt man dieses Borel-Maß ein reguläres Borel-Maß, wenn es von innen und von außen regulär ist, also Regulär im obigen Sinne.
  • Versteht man unter einem Borel-Maß ein Maß auf der Borelschen σ-Algebra Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \mathcal B } eines topologischen Raumes, so nennt man dieses Maß Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \mu } ein reguläres Borel-Maß, wenn
für jedes Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle B \in \mathcal B } gilt.
  • Versteht man unter einem Borel-Maß ein äußeres Maß, bezüglich dessen alle Borelmengen Carathéodory-messbar sind, so heißt das Borel-Maß ein reguläres Borel-Maß, wenn zu jeder beliebigen Teilmenge Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle A } der Obermenge eine Borel-Menge Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle B } existiert, so dass Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \mu(A)= \mu(B) } ist[8].

Verallgemeinerungen

Regularität lässt sich auch für signierte Maße und komplexe Maße definieren, man spricht dann von regulären signierten Maßen oder regulären komplexen Maßen. Die Regularität ist dann äquivalent zur Regularität der Variation oder der Real/Imaginäranteile.

Einzelnachweise

  1. ↑ Elstrodt: Maß- und Integrationstheorie. 2009, S. 313.
  2. ↑ Elstrodt: Maß- und Integrationstheorie. 2009, S. 379.
  3. ↑ Hans Wilhelm Alt: Lineare Funktionalanalysis. 6. Auflage. Springer-Verlag, Berlin Heidelberg 2012, ISBN 978-3-642-22260-3, S. 193, doi:10.1007/978-3-642-22261-0.
  4. ↑ R.A. Minlos: Radon Mesure. In: Michiel Hazewinkel (Hrsg.): Encyclopedia of Mathematics. Springer-Verlag und EMS Press, Berlin 2002, ISBN 978-1-55608-010-4 (englisch, online).
  5. ↑ Tight measure. In: Michiel Hazewinkel (Hrsg.): Encyclopedia of Mathematics. Springer-Verlag und EMS Press, Berlin 2002, ISBN 978-1-55608-010-4 (englisch, online).
  6. ↑ Elstrodt: Maß- und Integrationstheorie. 2011, Kapitel VIII. Korollar 1.12
  7. ↑ V.V. Sazonov: Borel measure. In: Michiel Hazewinkel (Hrsg.): Encyclopedia of Mathematics. Springer-Verlag und EMS Press, Berlin 2002, ISBN 978-1-55608-010-4 (englisch, online).
  8. ↑ Eric W. Weisstein: Regular Borel Measure. In: MathWorld (englisch).

Literatur

  • Heinz Bauer: Maß- und Integrationstheorie. 2., überarbeitete Auflage. de Gruyter, Berlin u. a. 1992, ISBN 3-11-013625-2.
  • Jürgen Elstrodt: Maß- und Integrationstheorie. 6., korrigierte Auflage. Springer-Verlag, Berlin Heidelberg 2009, ISBN 978-3-540-89727-9, doi:10.1007/978-3-540-89728-6.
Abgerufen von „https://de.wikiup.org/index.php?title=Reguläres_Maß&oldid=189369714#Regul.C3.A4re_Borel-Ma.C3.9Fe“