Kapazität (Mathematik)

Eine Kapazität (engl. capacity) ist eine monotone Mengenfunktion und Ausgangspunkt vieler mathematischer Untersuchungen, z. B. in der Maßtheorie, der Wahrscheinlichkeitstheorie, der Evidenztheorie. Der Begriff Kapazität geht zurück auf den französischen Mathematiker Gustave Choquet, man spricht daher auch häufig von Choquet-Kapazitäten. Angelehnt an eine Arbeit von Sugeno hießen Kapazitäten früher auch Fuzzy-Maße, obwohl sie nichts mit Unschärfe zu tun haben.

Definition

Sei $U$ die Grundmenge, ${\mathcal {P}}(U)$ deren Potenzmenge und $\mu \colon {\mathcal {P}}(U)\to [0,\infty )$ eine Mengenfunktion. Die Mengenfunktion $\mu$ heißt Kapazität, wenn gilt:

\mu (\emptyset )=0

\mu (A)\leq \mu (B),\quad {\text{wenn}}\quad A\subseteq B

(Monotonie)

Ein Maß ist eine spezielle Kapazität, denn aus der Additivität von $\mu$ (d. h. $\mu (A\cup B)=\mu (A)+\mu (B),\quad A\cap B=\emptyset$ ) folgt die Monotonie. Falls $\mu (U)=1$ gilt, dann heißt die Kapazität normiert.

Weitere Eigenschaften

Eine Kapazität $\mu$ heißt superadditiv, wenn

\mu (A\cup B)\geq \mu (A)+\mu (B),\quad A\cap B=\emptyset ,\quad A,B\in {\mathcal {P}}(U)

,

sie heißt subadditiv bei umgekehrtem Ungleichheitszeichen. Durch superadditive Kapazitäten können Synergieeffekte und durch subadditive Kapazitäten Redundanzeffekte modelliert werden. Die zu $\mu$ duale (auch konjugierte) Kapazität ${\overline {\mu }}$ ist definiert durch

{\overline {\mu }}(A)=1-\mu ({\overline {A}})

.

Dabei ist ${\overline {A}}$ das Komplement zu $A\in {\mathcal {P}}(U)$ . Wenn $\mu$ superadditiv ist, dann ist ${\overline {\mu }}$ subadditiv und umgekehrt. Seien $A_{1},\dotsc ,A_{k}\in {\mathcal {P}}(U)$ und $k\geq 2$ . Eine Kapazität $\mu$ heißt k-monoton, wenn

\mu (\bigcup _{i=1}^{k}A_{i})\geq \sum _{I\subseteq \{1,\dotsc ,k\},I\neq \emptyset }(-1)^{|I|+1}\mu (\bigcap _{i\in I}A_{i})

,

sie heißt vollständig monoton, wenn sie k-monoton ist für jedes $k\geq 2$ . Eine Kapazität $\mu$ heißt k-alternierend, wenn

\mu (\bigcap _{i=1}^{k}A_{i})\leq \sum _{I\subseteq \{1,\dotsc ,k\},I\neq \emptyset }(-1)^{|I|+1}\mu (\bigcup _{i\in I}A_{i})

,

sie heißt vollständig alternierend, wenn sie k-alternierend ist für jedes $k\geq 2$ . Eine k-monotone Kapazität ist superadditiv, eine k-alternierende Kapazität ist subadditiv. Eine Kapazität $\mu$ ist k-monoton (k-alternierend) genau dann, wenn die duale Kapazität ${\overline {\mu }}$ k-alternierend (k-monoton) ist.

Beispiele

Hit- und Miss-Wahrscheinlichkeiten bei zufälligen Mengen

Sei $X$ eine zufällige (kompakte) Menge und $A\in {\mathcal {P}}(U)$ eine fixe kompakte Menge. Sei

P^{*}(A)=P(X\cap A\neq \emptyset ),\quad P_{*}(A)=P(X\subset A)=P(X\cap {\overline {A}}=\emptyset )

.

$P^{*}$ ist die Wahrscheinlichkeit, dass $X$ die Menge $A$ „trifft“, und wird daher Hit-Wahrscheinlichkeit genannt. $P_{*}$ ist die Wahrscheinlichkeit, dass $X$ die Menge ${\overline {A}}$ „nicht trifft“, und heißt daher Miss-Wahrscheinlichkeit. Es ist $P^{*}(A)>P_{*}(A)$ . $P^{*}$ ist eine normierte vollständig alternierende Kapazität, $P_{*}$ ist eine normierte vollständig monotone Kapazität. Hit&Miss-Wahrscheinlichkeiten erzeugen auf eindeutige Weise die Verteilung der zufälligen Menge $X$ .

Belief und Plausibilität

Belief und Plausibilität sind Grundbegriffe in Glenn Shafers Evidenztheorie. Eine Belieffunktion ist eine normierte vollständig monotone und eine Plausibilität eine normierte vollständig alternierende Kapazität. Die zur Belieffunktion duale Kapazität ist eine Plausibilität und umgekehrt. Die für die Possibilitätstheorie grundlegende possibility ist eine spezielle Plausibilität, die dazu duale necessity eine spezielle Belieffunktion.

Untere und obere Wahrscheinlichkeiten

Dempsters untere und obere Wahrscheinlichkeiten werden ähnlich konstruiert wie obige Hit&Miss-Wahrscheinlichkeiten. Untere Wahrscheinlichkeiten sind daher normierte vollständig monotone und obere Wahrscheinlichkeiten normierte vollständig alternierende Kapazitäten. Belieffunktionen sind spezielle untere und Plausibilitäten spezielle obere Wahrscheinlichkeiten.

λ-Fuzzy-Maße von Sugeno

Sie sind 1974 von Sugeno eingeführt worden. Eine Kapazität $\mu _{\lambda }$ heißt $\lambda$ -Fuzzy-Maß, wenn für $A,B\in {\mathcal {P}}(U)$ mit $A\cap B=\emptyset$ gilt:

\mu _{\lambda }(A\cup B)=\min\{\mu _{\lambda }(A)+\mu _{\lambda }(B)+\lambda \mu _{\lambda }(A)\mu _{\lambda }(B),1\},\quad \lambda >-1

Für $\lambda =0$ ist $\mu _{\lambda }$ ein Wahrscheinlichkeitsmaß, für $\lambda >0$ eine Belieffunktion und für $-1<\lambda <0$ eine Plausibilität. Der Parameter $\lambda$ misst gewissermaßen die Abweichung vom Wahrscheinlichkeitsmaß.

⊥-dekomposable Maße

Sie sind 1984 von Siegfried Weber eingeführt worden. Sei $\bot$ eine $t$ -conorm. Eine Kapazität $\mu$ heißt $\bot$ -dekomposabel, wenn gilt:

\mu (A\cup B)=\bot (\mu (A),\mu (B)),\quad A\cap B=\emptyset

Beispielsweise ist eine Possibilität $\bot$ -dekomposabel bezüglich $\bot =\max$ und das $\lambda$ -Fuzzy-Maß ist dekomposabel bzgl.

\bot (u,v)=\min(u+v+\lambda uv,1);\quad \lambda >-1;\quad u,v\in [0,1]

.

Literaturhinweis

M. Grabisch: Set Functions, Games and Capacities in Decision Theory. Springer, 2016, ISBN 978-3-319-30688-9.

Einzelnachweise

↑ G. Choquet: Theory of capacities. In: Ann.Inst.Fourier. Grenoble, 1953, S. 131–295. doi:10.5802/aif.53.
1 2 M. Sugeno: Theory of Fuzzy Integrals and its Application. PhD thesis, Tokyo Institute of Technology 1974.
↑ G. Matheron: Random Sets and Integral Geometry. J. Wiley & Sons, New York 1975.
↑ I. Molchanov: The Theory of Random Sets. Springer, New York 2005.
↑ G. Shafer: A Mathematical Theory of Evidence. Princeton, University Press 1976.
↑ D. Dubois, H. Prade: Possibility Theory: An Approach to Computerized Processing of Uncertainty. Plenum Press, New York 1988.
↑ A. P. Dempster: Upper and lower probabilities induced by a multivalued mapping. In: Annals of Mathematical Statistics. Band 38, 1967, S. 325–339. doi:10.1214/aoms/1177698950.
↑ S. Weber: $\bot$ -Decomposable Measures and Integrals for Archimedean $t$ -conorms $\bot$ . In: Journal of Mathematical Analysis and Application. Band 101, 1984, S. 114–138.

This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.

[1] G. Choquet: Theory of capacities. In: Ann.Inst.Fourier. Grenoble, 1953, S. 131–295. doi:10.5802/aif.53.

[Sugeno-2] 1 2 M. Sugeno: Theory of Fuzzy Integrals and its Application. PhD thesis, Tokyo Institute of Technology 1974.

[3] G. Matheron: Random Sets and Integral Geometry. J. Wiley & Sons, New York 1975.

[4] I. Molchanov: The Theory of Random Sets. Springer, New York 2005.

[5] G. Shafer: A Mathematical Theory of Evidence. Princeton, University Press 1976.

[6] D. Dubois, H. Prade: Possibility Theory: An Approach to Computerized Processing of Uncertainty. Plenum Press, New York 1988.

[7] A. P. Dempster: Upper and lower probabilities induced by a multivalued mapping. In: Annals of Mathematical Statistics. Band 38, 1967, S. 325–339. doi:10.1214/aoms/1177698950.

[8] S. Weber: $\bot$ -Decomposable Measures and Integrals for Archimedean $t$ -conorms $\bot$ . In: Journal of Mathematical Analysis and Application. Band 101, 1984, S. 114–138.