Mengenfunktion

Mengenfunktion

In der Mathematik sind Mengenfunktionen Funktionen, die bestimmten Mengen (den Mengen eines Mengensystems) Werte zuordnen, in der Regel nicht-negative reelle Zahlen oder den Wert \infty .

Mengenfunktionen bilden die Basis für die Maßtheorie, wo unter anderem Mengenfunktionen, wie Maße oder Inhalte, auf genauere Eigenschaften untersucht werden.

Inhaltsverzeichnis

Motivation

Mengenfunktionen sind besonders wichtig in der Maßtheorie. Idee der Maßtheorie ist es, Mengen eine (reelle) Maßzahl zuordnen zu können. Ein einfaches Beispiel wäre etwa, die Elemente von einer endlichen Menge zu zählen: Die Menge \{1, 3, 5, 27\} \subseteq \N etwa erhält dann Maß 4.

Man möchte jedoch nicht nur einer Menge einen Wert zuordnen, sondern einem ganzen Mengensystem, also einer Menge von Mengen. Betrachtet man beispielsweise das Mengensystem: \mathcal{C}:=\{\{3\},\{5\},\{1,3,27\},\{1, 3, 5, 27\}\} \subseteq \mathcal{P}(\mathbb{N}), und definiert eine Funktion f:\mathcal{C}\to\mathbb{R}, die die Anzahl der Elemente zählt, so erhält man eine Mengenfunktion. Für die Mengenfunktion f gilt dann f({3}) = 1, f({5}) = 1, f({1,3,27}) = 3, f({1,3,5,27}) = 4.

Nun kann man Mengenfunktionen auf ihre Eigenschaften untersuchen. In der Maßtheorie fordert man häufig bestimmte Stabilitätseigenschaften, wie beispielsweise die Additivität, das heißt, dass wenn man eine Menge zerteilt, so müssen die zwei neuen Mengen zusammen den gleichen Wert annehmen, wie die Ausgangsmenge. Dies ist im obigen Beispiel beim Zählen erfüllt, so ist f({5}) + f({1,3,27}) = 1 + 3 = 4 = f({1,3,5,27}).

Formale Definition

Sei X eine nichtleere Menge und \mathcal{C} \subseteq \mathcal P (X) ein Mengensystem mit \emptyset\in \mathcal{C}. Weiter sei zunächst W = \mathbb R^+ \cup \{\infty \}  , kurz W = [0,\infty]  .
Dann nennt man jede Abbildung f\colon\, \mathcal{C}\to W mit f(\emptyset )=0 eine Mengenfunktion.

Von einer Mengenfunktion spricht man zumeist auch, wenn W = \mathbb R \cup \{-\infty\} oder W = \mathbb R \cup \{\infty\} ist (signiertes Maß) oder W = \mathbb{C} (komplexes Maß).

Beispiele

  • Bestimmten Punktmengen der Ebene (den Flächen) kann man als Maßzahl einen Flächeninhalt zuordnen. Diese Zuordnung ist (wie auch die vorherige) stets größer oder gleich 0 und σ-additiv; so eine Mengenfunktion nennt man ein Maß.
  • In der Analysis wird die Fläche zwischen der x-Achse und einem Funktionsgraphen mit Hilfe des Integrals bestimmt. Dabei erhalten Flächen unterhalb der x-Achse ein negatives Vorzeichen. Auch diese Zuordnung ist σ-additiv; so eine Mengenfunktion heißt ein signiertes Maß.
  • Wahrscheinlichkeitsmaße sind σ-additive Mengenfunktionen, die Werte zwischen 0 und 1 annehmen und der gesamten Grundmenge Maß 1 zuordnen ("sicheres Ereignis").
  • Ein Äußeres Maß ist eine σ-subadditive Mengenfunktion, die stets größer oder gleich 0 ist. Das erreicht man beispielsweise indem man jeder Teilmenge der Ebene das Infimum der Flächeninhalte aller als Flächen messbaren Obermengen zuordnet. Meist geht man aber andersherum vor und konstruiert ein äußeres Maß, um durch geeignete Einschränkung der messbaren Mengen ein Maß zu erhalten (z.B. Konstruktion des Lebesgue-Maßes).

Besondere Eigenschaften von Mengenfunktionen

Die Mengenfunktion f heißt:

Allgemeine Eigenschaften

monoton, falls A \subseteq B \Rightarrow f(A) \leq f(B) für A,B\in \mathcal{C}
endlich, falls für alle A \in\mathcal{C} \Rightarrow f(A)<\infty
σ-endlich, falls es eine Folge (A_j)_{j\in\mathbb{N}} mit \bigcup_{j\in\mathbb{N}} A_j = \Omega und  f(A_j)<\infty für alle j\in\mathbb{N} gibt.
beschränkt, falls für alle A\in\mathcal{C}: \sup_{A\in \mathcal{C}} |f(A)|<\infty
vollständig, falls für alle A\in\mathcal{C} mit f(A) = 0 und B\subseteq A: B\in\mathcal{C} gilt.

Verträglichkeit von Addition und Vereinigung

additiv, falls f(A \cup B) = f(A)+f(B) für disjunkte Mengen A,B aus \mathcal{C}
endlich additiv, falls f(\bigcup_{j=1}^{m} A_j) = \sum_{j=1}^{m} f(A_j) für beliebige, paarweise disjunkte Mengen A1,...,Am aus \mathcal{C}
σ-additiv (Sigma-additiv), falls f(\bigcup_{j\in\mathbb{N}} A_j) = \sum_{j\in\mathbb{N}} f(A_j) für jede Folge disjunkter Mengen (A_j)_{j\in\mathbb{N}} in \mathcal{C} mit \bigcup_{\in\mathbb{N}} A_j \in \mathcal{C}
subadditiv, falls f(A \cup B) \leq f(A)+f(B) für A,B aus \mathcal{C} mit A\cup B\in C
endlich subadditiv, falls f(\bigcup_{j=1}^{m} A_j) \leq \sum_{j=1}^{m} f(A_j) für alle Mengen A1,...,Am aus \mathcal{C} mit \bigcup_{j=1}^{m} A_j \in C
σ-subadditiv (Sigma-subadditiv), falls f(\bigcup_{j\in\mathbb{N}} A_j ) \leq \sum_{j\in\mathbb{N}} f(A_j) für jede Folge von Mengen (A_j)_{j\in\mathbb{N}} in \mathcal{C} mit \bigcup_{j\in\mathbb{N}} A_j \in \mathcal{C}
subtraktiv, falls für alle A,B \in\mathcal{C} mit B \subseteq A, f(B)<\infty und A \setminus B \in \mathcal{C}: f(A\setminus B) = f(A)-f(B). Dabei fordert man f(B)<\infty, um nicht-definierte Differenzen \infty-\infty zu vermeiden.
modular, falls für alle A,B \in\mathcal{C} und A \cup B, A \cap B \in\mathcal{C} : f(A\cup B) +f(A\cap B) = f(A) + f(B)

Stetigkeit

stetig von unten, falls für jede monoton wachsende Folge (A_j)_{j \in \mathbb{N}} mit A_j \in \mathcal{C} und \bigcup_{j \in \mathbb{N}}A_j \in \mathcal{C}:
f\left(\bigcup_{i \in \mathbb{N}}A_i\right) = \sup_{i\in\mathbb{N}} f(A_i)

gilt.

stetig von oben, falls für jede monoton fallende Folge (A_j)_{j \in \mathbb{N}} mit A_j \in \mathcal{C}, f(A_1)<\infty und \bigcap_{j \in \mathbb{N}}A_j \in \mathcal{C}:
f\left(\bigcap_{i \in \mathbb{N}}A_i\right) = \inf_{i\in\mathbb{N}} f(A_i)

gilt.

\emptyset-stetig von oben, falls für jede monoton fallende Folge (A_j)_{j \in \mathbb{N}} mit A_j \in \mathcal{C}, f(A_1)<\infty und \bigcap_{j \in \mathbb{N}}A_j =\emptyset:
 \inf_{i\in\mathbb{N}} f(A_i)=0

gilt.

Beziehungen zwischen den Eigenschaften

  • Jede σ-additiv Mengenfunktion ist endlich additiv und jede endlich additive Mengenfunktion ist additiv.
  • Jede endliche Mengenfunktion ist σ-endlich.
  • Jede additive Mengenfunktion ist subtraktiv.
  • Jede endliche Mengenfunktion ist beschränkt.
  • Ist \mathcal{C} ein Ring so ist jede additive Mengenfunktion endlich additiv und jede subadditive Mengenfunktion ist endlich subadditiv.

Literatur

  • Herbert Amann, Joachim Escher: Analysis III. 2. Auflage, Birkhauser, Basel 2008, ISBN 978-3-7643-8884-3.
  • Schmidt, Klaus D.: Maß und Wahrscheinlichkeit, Springer-Verlag Berlin Heidelberg 2009, ISBN: 978-3-540-89729-3

Wikimedia Foundation.

Игры ⚽ Поможем написать реферат

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

  • Vektorielles Maß — Ein vektorielles Maß ist ein Begriff aus der Maßtheorie. Er stellt eine Verallgemeinerung des Maßbegriffes dar: Das Maß ist nicht mehr reellwertig, sondern vektorwertig. Vektormaße werden unter anderem in der Funktionalanalysis benutzt… …   Deutsch Wikipedia

  • Preiselastizität — Die Preiselastizität ist ein Maß dafür, welche relative Änderung sich bei der Angebots bzw. Nachfragemenge ergibt, wenn eine relative Preisänderung eintritt.[1] Je höher die Preiselastizität ist, desto stärker reagiert die Menge auf den… …   Deutsch Wikipedia

  • Maß — Wasserpegel; Pegel; Grad; Abstufung; Maßstab; Messung; Vermessung; Kenngröße; Parameter; Humpen; Bierkrug; Einheit; …   Universal-Lexikon

  • Komplexes Maß — Ein komplexes Maß ist eine Art Verallgemeinerung des Maßes aus dem mathematischen Teilgebiet der Maßtheorie. Es ist wie das Maß eine Funktion, die von einem Mengensystem, meist einer σ Algebra, abbildet. Das komplexe Maß lässt jedoch als… …   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

  • 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

  • Signiertes Mass — Signiertes Maß ist ein Begriff aus dem mathematischen Teilgebiet der Maßtheorie. Es ist wie das Maß eine auf den Mengen einer σ Algebra definierte Funktion und unterscheidet sich von diesem nur darin, dass auch negative Werte zugelassen sind. Das …   Deutsch Wikipedia

  • Signiertes Maß — ist ein Begriff aus dem mathematischen Teilgebiet der Maßtheorie. Es ist wie das Maß eine auf einem Mengensystem, meist einer σ Algebra, definierte Funktion und unterscheidet sich von diesem nur darin, dass auch negative Werte zugelassen sind.… …   Deutsch Wikipedia

  • Technischer Handel — Dieser Artikel wurde aufgrund inhaltlicher und/oder formaler Mängel auf der Qualitätssicherungsseite des Portals Wirtschaft eingetragen. Du kannst helfen, indem Du die dort genannten Mängel beseitigst oder Dich an der Diskussion beteiligst. Der… …   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

Share the article and excerpts

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