Äußeres Maß

Äußeres Maß

Äußeres Maß ist ein Begriff aus dem mathematischen Teilgebiet der Maßtheorie, der 1914 von Constantin Carathéodory eingeführt wurde. Ein äußeres Maß ν ist eine Mengenfunktion von der Potenzmenge einer Menge X in das Intervall [0, \infty], welche folgende Axiome erfüllt:

Der Name äußeres Maß lehnt sich an die Begriffe inneres und äußeres Maß an, die von Borel und Lebesgue benutzt wurden. Die Theorie von Carathéodory benutzt kein inneres Maß und vereinfacht die grundlegenden Beweise beträchtlich.

Inhaltsverzeichnis

Konstruktion eines Äußeren Maßes

Sei S \subseteq\mathcal P (X) beliebiges Mengensystem mit \emptyset \in S und \mu: S\rightarrow [0,+\infty] eine Abbildung mit \mu(\emptyset)=0. Setzt man für alle A\subseteq X :

 \nu(A):=\begin{cases}
  \inf\ \{ \sum_{i=1}^\infty\mu(A_i) | A_i\in S,\ A\subseteq \cup_{i=1}^\infty A_i \} \\
  +\infty,  \text{wenn } A \text{ in keiner abz}\mathrm{\ddot{a}}\text{hlbaren Vereinigung von Mengen aus }S\text{ enthalten ist}.
\end{cases}

dann ist ν ein äußeres Maß auf \mathcal P (X).

Metrisches äußeres Maß

Ein metrisches äußeres Maß ist ein äußeres Maß mit der zusätzlichen Eigenschaft:

  • \nu(A \cup B) = \nu(A) + \nu(B)

für separierte Mengen A und B.

Beispiel

Messbarkeit nach Carathéodory

Sei \nu:\mathcal{P}(X)\to [0,\infty] ein äußeres Maß auf der Potenzmenge einer Menge X. Eine Menge E\subseteq X heißt messbar bezüglich ν, falls

\forall A \in \mathcal{P}(X): \nu(A) = \nu(A \cap E) + \nu(A \setminus E)

Dabei ist zu beachten, dass der Begriff Messbarkeit in der Maßtheorie zwei Bedeutungen hat, nämlich zum einen Messbarkeit bezüglich eines Messraums und zum anderen die Messbarkeit nach Carathéodory bezüglich eines äußeren Maßes.

Dieser Begriff der Messbarkeit stammt von Constantin Carathéodory.

Beispiele

  • Sei A\subset X eine Menge mit
\quad \nu(E)\geq \nu(E\cap A)+\nu(E\cap A^c) für alle E\subseteq X.
Dann ist A ν-messbar. Denn aus der σ-Subadditivität des äußeren Maßes folgt:
\nu(E)=\nu\left((E\cap A)\cup (E\cap A^c)\right)\leq \nu(E \cap A)+ \nu(E\cap A^c)
  • \emptyset, X sind ν-messbar.
  • Nullmengen sind messbar: Sei A\subseteq X mit ν(A) = 0. Dann ist A ν-messbar.

σ-Algebra der ν-messbaren Mengen

Ist ν ein äußeres Maß, so ist die Menge

\mathcal A_{\nu} = \{ A \subset X | A \text{ ist } \nu\text{-messbar} \}

eine σ-Algebra und \nu_{|_ {\mathcal A_{\nu}}} ein vollständiges Maß.

Siehe auch

Maß, Messbare Mengen

Literatur

  • Jürgen Elstrodt: Maß- und Integrationstheorie. 4. Auflage, Springer, Berlin 2005, ISBN 3-540-21390-2, Kapitel II § 4.1.
  • Heinz Bauer: Maß- und Integrationstheorie. 2. Auflage, De Gruyter, Berlin 1992, ISBN 3-11-013626-0 (Gebunden), ISBN 3-11-013625-2 (Broschiert), § 5.

Wikimedia Foundation.

Игры ⚽ Поможем решить контрольную работу

Schlagen Sie auch in anderen Wörterbüchern nach:

  • Metrisches äußeres Maß — Äußeres Maß ist ein Begriff aus dem mathematischen Teilgebiet der Maßtheorie, der 1914 von Constantin Carathéodory eingeführt wurde. Ein äußeres Maß ν ist eine Mengenfunktion von der Potenzmenge einer Menge X in das Intervall , welche folgende… …   Deutsch Wikipedia

  • Maß (Mathematik) — Die Maßtheorie ist ein Teilgebiet der Mathematik, das die elementargeometrischen Begriffe Streckenlänge, Flächeninhalt, Volumen verallgemeinert und es dadurch ermöglicht, auch komplizierteren Mengen ein Maß zuzuordnen. Sie bildet das Fundament… …   Deutsch Wikipedia

  • Lebesgue-Maß — Das Lebesgue Maß [ləˈbɛg] (nach Henri Léon Lebesgue) ist das Maß im euklidischen Raum, das geometrischen Objekten ihren Inhalt (Länge, Flächeninhalt, Volumen, …) zuordnet. Inhaltsverzeichnis 1 Hintergrund 2 Definition 3 …   Deutsch Wikipedia

  • Borel-Maß — Als Borelmaß (nach Émile Borel) bezeichnet man im mathematischen Gebiet der Maßtheorie diejenigen Maße µ auf der Borelschen σ Algebra eines Hausdorff Raums X, für die gilt: Für jedes existiert eine offene Umgebung U mit . Diese Eigenschaft… …   Deutsch Wikipedia

  • Lokal-endliches Maß — Als Borelmaß (nach Émile Borel) bezeichnet man im mathematischen Gebiet der Maßtheorie diejenigen Maße µ auf der Borelschen σ Algebra eines Hausdorff Raums X, für die gilt: Für jedes existiert eine offene Umgebung U mit . Diese Eigenschaft… …   Deutsch Wikipedia

  • Messbarkeit nach Carathéodory — Äußeres Maß ist ein Begriff aus dem mathematischen Teilgebiet der Maßtheorie, der 1914 von Constantin Carathéodory eingeführt wurde. Ein äußeres Maß ν ist eine Mengenfunktion von der Potenzmenge einer Menge X in das Intervall , welche folgende… …   Deutsch Wikipedia

  • Äusseres Mass — Äußeres Maß ist ein Begriff aus dem mathematischen Teilgebiet der Maßtheorie, der 1914 von Constantin Carathéodory eingeführt wurde. Ein äußeres Maß ν ist eine Mengenfunktion von der Potenzmenge einer Menge X in das Intervall , welche folgende… …   Deutsch Wikipedia

  • Σ-Subadditivität — Äußeres Maß ist ein Begriff aus dem mathematischen Teilgebiet der Maßtheorie, der 1914 von Constantin Carathéodory eingeführt wurde. Ein äußeres Maß ν ist eine Mengenfunktion von der Potenzmenge einer Menge X in das Intervall , welche folgende… …   Deutsch Wikipedia

  • Fast überall — Die Maßtheorie ist ein Teilgebiet der Mathematik, das die elementargeometrischen Begriffe Streckenlänge, Flächeninhalt, Volumen verallgemeinert und es dadurch ermöglicht, auch komplizierteren Mengen ein Maß zuzuordnen. Sie bildet das Fundament… …   Deutsch Wikipedia

  • Massraum — Die Maßtheorie ist ein Teilgebiet der Mathematik, das die elementargeometrischen Begriffe Streckenlänge, Flächeninhalt, Volumen verallgemeinert und es dadurch ermöglicht, auch komplizierteren Mengen ein Maß zuzuordnen. Sie bildet das Fundament… …   Deutsch Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”