Mengenwertige Abbildung

Eine mengenwertige Abbildung (auch mengenwertige Funktion genannt) ist eine spezielle Abbildung in der Mathematik, bei der die Elemente des Zielraumes Mengen sind. Sie finden beispielsweise Anwendung in der Spieltheorie und in der Statistik. Als Mengenfunktion bezeichnet man im Gegensatz dazu meist eine Funktion, deren Definitionsmenge ein Mengensystem ist.

Definition

Sei 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 M } ein Mengensystem über der Grundmenge $W$, also 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 M \subseteq \mathcal P (W) } . Dann heißt eine Abbildung

$\varphi \colon V\to {\mathcal {M}}$

eine mengenwertige Abbildung. Dabei ist die Definitionsmenge $V$ beliebig. Die Elemente der Zielmenge ${\mathcal {M}}$ sind also wiederum Mengen.

Beispiele

• Die Abbildung Fehler beim Parsen (Konvertierungsfehler. Der Server („https://wikimedia.org/api/rest_“) hat berichtet: „Cannot get mml. Server problem.“): {\displaystyle \varphi \colon \mathbb {R} \to {\mathcal {P}}(\mathbb {R} )} definiert durch $\varphi (x)=[0,x]$ ist eine mengenwertige Abbildung.
• 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 f \colon D \to Z} eine Funktion, dann ist die Abbildung, die jedem 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 y \in Z} das Urbild 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 f^{-1}(\{y\})} zuordnet, eine mengenwertige Abbildung $Z\to {\mathcal {P}}(D)$.
• Außerdem ist die Abbildung, die jedem Punkt Fehler beim Parsen (Konvertierungsfehler. Der Server („https://wikimedia.org/api/rest_“) hat berichtet: „Cannot get mml. Server problem.“): {\displaystyle x\in D} sein konvexes Subdifferential $\partial f(x)$ zuordnet, eine mengenwerte Abbildung.
• Allgemeiner ist jede Mengenfamilie und damit auch jede Mengenfolge eine mengenwertige Abbildung.

Verwendung

Mengenwertige Funktionen werden beispielsweise in der Spieltheorie verwendet, um die Wohldefiniertheit der arg-max-Funktion zu garantieren. Diese liefert zu einer gegebenen Funktion ihre Maximalstellen. Außerdem finden sie Verwendung in der Statistik, wo sie zur Bestimmung von Konfidenzintervallen mit Hilfe von Bereichsschätzern genutzt werden. Bereichsschätzer sind mengenwertige Funktionen, die jeder Beobachtung eines statistischen Experimentes eine Menge (meist ein Intervall, eine Kugel oder eine Ellipse) zuordnet. Wählt man diese Mengen und die entsprechenden Schätzer passend, so erhält man dann ein Konfidenzintervall zum passenden Irrtumsniveau.

Literatur

• Jean-Pierre Aubin, Hélène Frankowska: Set-Valued Analysis. Birkhäuser Verlag, Boston, ISBN 978-0-8176-4847-3.