Namespaces
Variants
Actions

Difference between revisions of "Non-additive measure"

From Encyclopedia of Mathematics
Jump to: navigation, search
(Importing text file)
 
m (AUTOMATIC EDIT (latexlist): Replaced 27 formulas out of 27 by TEX code with an average confidence of 2.0 and a minimal confidence of 2.0.)
 
Line 1: Line 1:
 +
<!--This article has been texified automatically. Since there was no Nroff source code for this article,
 +
the semi-automatic procedure described at https://encyclopediaofmath.org/wiki/User:Maximilian_Janisch/latexlist
 +
was used.
 +
If the TeX and formula formatting is correct, please remove this message and the {{TEX|semi-auto}} category.
 +
 +
Out of 27 formulas, 27 were replaced by TEX code.-->
 +
 +
{{TEX|semi-auto}}{{TEX|done}}
 
Non-additive set functions, as for example outer measures and semi-variations of vector measures, appeared early in classical measure theory concerning countable additive set functions (cf. also [[Set function|Set function]]; [[Measure|Measure]]) or, more general, concerning finite additive set functions. The pioneer in the theory of non-additive set functions was G. Choquet [[#References|[a3]]] with his theory of capacities (cf. also [[Capacity|Capacity]]). This theory had influences on many parts of mathematics and different areas of sciences and technology ([[#References|[a4]]], [[#References|[a7]]], [[#References|[a8]]], [[#References|[a9]]], [[#References|[a11]]], [[#References|[a12]]]).
 
Non-additive set functions, as for example outer measures and semi-variations of vector measures, appeared early in classical measure theory concerning countable additive set functions (cf. also [[Set function|Set function]]; [[Measure|Measure]]) or, more general, concerning finite additive set functions. The pioneer in the theory of non-additive set functions was G. Choquet [[#References|[a3]]] with his theory of capacities (cf. also [[Capacity|Capacity]]). This theory had influences on many parts of mathematics and different areas of sciences and technology ([[#References|[a4]]], [[#References|[a7]]], [[#References|[a8]]], [[#References|[a9]]], [[#References|[a11]]], [[#References|[a12]]]).
  
One can compare additive set functions (which are the basis for classical measure theory) and non-additive set functions in the following simple way. For a fixed set <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/n/n130/n130070/n1300701.png" /> from a <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/n/n130/n130070/n1300702.png" />-algebra <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/n/n130/n130070/n1300703.png" />, a classical measure <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/n/n130/n130070/n1300704.png" /> gives that for every set <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/n/n130/n130070/n1300705.png" /> from <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/n/n130/n130070/n1300706.png" /> such that <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/n/n130/n130070/n1300707.png" /> one has that <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/n/n130/n130070/n1300708.png" /> is always equal to a constant, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/n/n130/n130070/n1300709.png" />, i.e., it is independent of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/n/n130/n130070/n13007010.png" />. In contrast, for a non-additive set function <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/n/n130/n130070/n13007011.png" /> the difference <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/n/n130/n130070/n13007012.png" /> depends on <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/n/n130/n130070/n13007013.png" /> and can be interpreted as the effect of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/n/n130/n130070/n13007014.png" /> joining <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/n/n130/n130070/n13007015.png" />.
+
One can compare additive set functions (which are the basis for classical measure theory) and non-additive set functions in the following simple way. For a fixed set $A$ from a $\sigma$-algebra $\Sigma$, a classical measure $\mu : \Sigma \rightarrow [ 0 , + \infty ]$ gives that for every set $B$ from $\Sigma$ such that $A \cap B = \emptyset$ one has that $\mu ( A \cup B ) - \mu ( B )$ is always equal to a constant, $\mu ( A )$, i.e., it is independent of $B$. In contrast, for a non-additive set function $m$ the difference $m ( A \cup B ) - m ( B )$ depends on $B$ and can be interpreted as the effect of $A$ joining $B$.
  
Non-additive set functions are extensively used in decision theory ([[#References|[a7]]], [[#References|[a12]]]), mathematical economy, social choice problems, with early traces by R.J. Aumann and L.S. Shapley in [[#References|[a2]]]. Many authors have investigated various kinds of non-additive set functions, such as subadditive and superadditive set functions, submeasures, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/n/n130/n130070/n13007016.png" />-triangular set functions, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/n/n130/n130070/n13007018.png" />-conorm and pseudo-addition decomposable measures (cf., e.g., [[Idempotent analysis|Idempotent analysis]]), null-additive set functions, and many other types. Although in many results the monotonicity of the observed set functions was supposed, there are some results concerning certain classes of set functions which include also non-monotone set functions (for example superadditive set functions, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/n/n130/n130070/n13007019.png" />-triangular set functions; [[#References|[a2]]], [[#References|[a9]]]).
+
Non-additive set functions are extensively used in decision theory ([[#References|[a7]]], [[#References|[a12]]]), mathematical economy, social choice problems, with early traces by R.J. Aumann and L.S. Shapley in [[#References|[a2]]]. Many authors have investigated various kinds of non-additive set functions, such as subadditive and superadditive set functions, submeasures, $k$-triangular set functions, $t$-conorm and pseudo-addition decomposable measures (cf., e.g., [[Idempotent analysis|Idempotent analysis]]), null-additive set functions, and many other types. Although in many results the monotonicity of the observed set functions was supposed, there are some results concerning certain classes of set functions which include also non-monotone set functions (for example superadditive set functions, $k$-triangular set functions; [[#References|[a2]]], [[#References|[a9]]]).
  
 
On the other hand,  "fuzzy measures"  regarded as monotone and continuous set functions were investigated by M. Sugeno in [[#References|[a10]]] with the purpose to evaluate non-additive quantities in systems engineering. This notion of  "fuzziness"  is different from the one given by L.A. Zadeh (cf. also [[Non-precise data|Non-precise data]]). Namely, instead of taking membership grades of a set, one takes (in the fuzzy measure approach) the measure that a given unlocated element belongs to a set.
 
On the other hand,  "fuzzy measures"  regarded as monotone and continuous set functions were investigated by M. Sugeno in [[#References|[a10]]] with the purpose to evaluate non-additive quantities in systems engineering. This notion of  "fuzziness"  is different from the one given by L.A. Zadeh (cf. also [[Non-precise data|Non-precise data]]). Namely, instead of taking membership grades of a set, one takes (in the fuzzy measure approach) the measure that a given unlocated element belongs to a set.
Line 11: Line 19:
 
Also, interest in non-additive set functions is growing. In artificial intelligence, belief functions have been applied to model uncertainty, [[#References|[a12]]]. Belief functions, corresponding plausibility measures and other kinds of non-additive set functions are used in statistics, [[#References|[a8]]]. Non-additive expected utility theory has been applied, for example, in multi-stage decision and economics, [[#References|[a7]]].
 
Also, interest in non-additive set functions is growing. In artificial intelligence, belief functions have been applied to model uncertainty, [[#References|[a12]]]. Belief functions, corresponding plausibility measures and other kinds of non-additive set functions are used in statistics, [[#References|[a8]]]. Non-additive expected utility theory has been applied, for example, in multi-stage decision and economics, [[#References|[a7]]].
  
The unification of many different kinds of non-additive set functions is achieved by the wide class of so-called null-additive set functions. A set function <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/n/n130/n130070/n13007020.png" /> defined on a family <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/n/n130/n130070/n13007021.png" /> of sets such that it is closed with respect to the union and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/n/n130/n130070/n13007022.png" />, and with values in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/n/n130/n130070/n13007023.png" /> (or more general in a [[Semi-group|semi-group]] with a neutral element <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/n/n130/n130070/n13007024.png" />) and such that <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/n/n130/n130070/n13007025.png" /> implies <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/n/n130/n130070/n13007026.png" /> whenever <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/n/n130/n130070/n13007027.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/n/n130/n130070/n13007028.png" />, is called a null-additive set function. These set functions have very nice properties with respect to the usual notions in measure theory and occur naturally in the theories of integrals ([[#References|[a9]]], [[#References|[a12]]]). The origins of null-additive set functions are in papers of V.N. Aleksyuk [[#References|[a1]]] (under the name  "quasi-measures" ) and I. Dobrakov [[#References|[a5]]] (under the name  "submeasures" ).
+
The unification of many different kinds of non-additive set functions is achieved by the wide class of so-called null-additive set functions. A set function $m$ defined on a family $\mathcal{D}$ of sets such that it is closed with respect to the union and $\emptyset \in \cal D$, and with values in $[ - \infty , \infty ]$ (or more general in a [[Semi-group|semi-group]] with a neutral element $0$) and such that $m ( B ) = 0$ implies $m ( A \cup B ) = m ( A )$ whenever $A , B \in \Sigma$, $A \cap B = \emptyset$, is called a null-additive set function. These set functions have very nice properties with respect to the usual notions in measure theory and occur naturally in the theories of integrals ([[#References|[a9]]], [[#References|[a12]]]). The origins of null-additive set functions are in papers of V.N. Aleksyuk [[#References|[a1]]] (under the name  "quasi-measures" ) and I. Dobrakov [[#References|[a5]]] (under the name  "submeasures" ).
  
 
====References====
 
====References====
<table><TR><TD valign="top">[a1]</TD> <TD valign="top">  V.N. Aleksjuk,  "Two theorems on existence of quasibase for a family of quasimeasures"  ''Izv. Visch. Uchebn. Zav.'' , '''6''' :  73  (1968)  pp. 11–18  (In Russian)</TD></TR><TR><TD valign="top">[a2]</TD> <TD valign="top">  R.J. Aumann,  L.S. Shapley,  "Values of non-atomic games" , Princeton Univ. Press  (1974)</TD></TR><TR><TD valign="top">[a3]</TD> <TD valign="top">  G. Choquet,  "Theory of capacities"  ''Ann. Inst. Fourier (Grenoble)'' , '''5'''  (1953)  pp. 131–295</TD></TR><TR><TD valign="top">[a4]</TD> <TD valign="top">  D. Denneberg,  "Non-additive measure and integral" , Kluwer Acad. Publ.  (1994)</TD></TR><TR><TD valign="top">[a5]</TD> <TD valign="top">  I. Dobrakov,  "On submeasures I"  ''Diss. Math.'' , '''112'''  (1974)</TD></TR><TR><TD valign="top">[a6]</TD> <TD valign="top">  K. Falconer,  "Fractal geometry" , Wiley  (1990)</TD></TR><TR><TD valign="top">[a7]</TD> <TD valign="top">  M. Grabisch,  H.T. Nguyen,  E.A. Walker,  "Fundamentals of uncertainity calculi with application to fuzzy inference" , Kluwer Acad. Publ.  (1995)</TD></TR><TR><TD valign="top">[a8]</TD> <TD valign="top">  P.J. Huber,  "The use of Choquet capacities in statistics"  ''Bull. Int. Inst. Statist.'' , '''45'''  (1973)  pp. 181–191</TD></TR><TR><TD valign="top">[a9]</TD> <TD valign="top">  E. Pap,  "Null-additive set functions" , Kluwer Acad. Publ. /Ister  (1995)</TD></TR><TR><TD valign="top">[a10]</TD> <TD valign="top">  M. Sugeno,  "Theory of fuzzy integrals and its applications"  ''PhD Thesis Tokyo Inst. Technol.''  (1974)</TD></TR><TR><TD valign="top">[a11]</TD> <TD valign="top">  M. Sugeno,  T. Murofushi,  "Pseudo-additive measures and integrals"  ''J. Math. Anal. Appl.'' , '''122'''  (1987)  pp. 197–222</TD></TR><TR><TD valign="top">[a12]</TD> <TD valign="top">  Z. Wang,  and G. Klir,  "Fuzzy measure theory" , Plenum  (1992)</TD></TR></table>
+
<table><tr><td valign="top">[a1]</td> <td valign="top">  V.N. Aleksjuk,  "Two theorems on existence of quasibase for a family of quasimeasures"  ''Izv. Visch. Uchebn. Zav.'' , '''6''' :  73  (1968)  pp. 11–18  (In Russian)</td></tr><tr><td valign="top">[a2]</td> <td valign="top">  R.J. Aumann,  L.S. Shapley,  "Values of non-atomic games" , Princeton Univ. Press  (1974)</td></tr><tr><td valign="top">[a3]</td> <td valign="top">  G. Choquet,  "Theory of capacities"  ''Ann. Inst. Fourier (Grenoble)'' , '''5'''  (1953)  pp. 131–295</td></tr><tr><td valign="top">[a4]</td> <td valign="top">  D. Denneberg,  "Non-additive measure and integral" , Kluwer Acad. Publ.  (1994)</td></tr><tr><td valign="top">[a5]</td> <td valign="top">  I. Dobrakov,  "On submeasures I"  ''Diss. Math.'' , '''112'''  (1974)</td></tr><tr><td valign="top">[a6]</td> <td valign="top">  K. Falconer,  "Fractal geometry" , Wiley  (1990)</td></tr><tr><td valign="top">[a7]</td> <td valign="top">  M. Grabisch,  H.T. Nguyen,  E.A. Walker,  "Fundamentals of uncertainity calculi with application to fuzzy inference" , Kluwer Acad. Publ.  (1995)</td></tr><tr><td valign="top">[a8]</td> <td valign="top">  P.J. Huber,  "The use of Choquet capacities in statistics"  ''Bull. Int. Inst. Statist.'' , '''45'''  (1973)  pp. 181–191</td></tr><tr><td valign="top">[a9]</td> <td valign="top">  E. Pap,  "Null-additive set functions" , Kluwer Acad. Publ. /Ister  (1995)</td></tr><tr><td valign="top">[a10]</td> <td valign="top">  M. Sugeno,  "Theory of fuzzy integrals and its applications"  ''PhD Thesis Tokyo Inst. Technol.''  (1974)</td></tr><tr><td valign="top">[a11]</td> <td valign="top">  M. Sugeno,  T. Murofushi,  "Pseudo-additive measures and integrals"  ''J. Math. Anal. Appl.'' , '''122'''  (1987)  pp. 197–222</td></tr><tr><td valign="top">[a12]</td> <td valign="top">  Z. Wang,  and G. Klir,  "Fuzzy measure theory" , Plenum  (1992)</td></tr></table>

Latest revision as of 16:57, 1 July 2020

Non-additive set functions, as for example outer measures and semi-variations of vector measures, appeared early in classical measure theory concerning countable additive set functions (cf. also Set function; Measure) or, more general, concerning finite additive set functions. The pioneer in the theory of non-additive set functions was G. Choquet [a3] with his theory of capacities (cf. also Capacity). This theory had influences on many parts of mathematics and different areas of sciences and technology ([a4], [a7], [a8], [a9], [a11], [a12]).

One can compare additive set functions (which are the basis for classical measure theory) and non-additive set functions in the following simple way. For a fixed set $A$ from a $\sigma$-algebra $\Sigma$, a classical measure $\mu : \Sigma \rightarrow [ 0 , + \infty ]$ gives that for every set $B$ from $\Sigma$ such that $A \cap B = \emptyset$ one has that $\mu ( A \cup B ) - \mu ( B )$ is always equal to a constant, $\mu ( A )$, i.e., it is independent of $B$. In contrast, for a non-additive set function $m$ the difference $m ( A \cup B ) - m ( B )$ depends on $B$ and can be interpreted as the effect of $A$ joining $B$.

Non-additive set functions are extensively used in decision theory ([a7], [a12]), mathematical economy, social choice problems, with early traces by R.J. Aumann and L.S. Shapley in [a2]. Many authors have investigated various kinds of non-additive set functions, such as subadditive and superadditive set functions, submeasures, $k$-triangular set functions, $t$-conorm and pseudo-addition decomposable measures (cf., e.g., Idempotent analysis), null-additive set functions, and many other types. Although in many results the monotonicity of the observed set functions was supposed, there are some results concerning certain classes of set functions which include also non-monotone set functions (for example superadditive set functions, $k$-triangular set functions; [a2], [a9]).

On the other hand, "fuzzy measures" regarded as monotone and continuous set functions were investigated by M. Sugeno in [a10] with the purpose to evaluate non-additive quantities in systems engineering. This notion of "fuzziness" is different from the one given by L.A. Zadeh (cf. also Non-precise data). Namely, instead of taking membership grades of a set, one takes (in the fuzzy measure approach) the measure that a given unlocated element belongs to a set.

Many important types of non-additive set functions occur in various branches of mathematics, such as potential theory ([a3]), harmonic analysis, fractal geometry ([a6]), functional analysis, the theory of nonlinear differential equations, the theory of difference equations, and in optimization ([a9], [a12]).

Also, interest in non-additive set functions is growing. In artificial intelligence, belief functions have been applied to model uncertainty, [a12]. Belief functions, corresponding plausibility measures and other kinds of non-additive set functions are used in statistics, [a8]. Non-additive expected utility theory has been applied, for example, in multi-stage decision and economics, [a7].

The unification of many different kinds of non-additive set functions is achieved by the wide class of so-called null-additive set functions. A set function $m$ defined on a family $\mathcal{D}$ of sets such that it is closed with respect to the union and $\emptyset \in \cal D$, and with values in $[ - \infty , \infty ]$ (or more general in a semi-group with a neutral element $0$) and such that $m ( B ) = 0$ implies $m ( A \cup B ) = m ( A )$ whenever $A , B \in \Sigma$, $A \cap B = \emptyset$, is called a null-additive set function. These set functions have very nice properties with respect to the usual notions in measure theory and occur naturally in the theories of integrals ([a9], [a12]). The origins of null-additive set functions are in papers of V.N. Aleksyuk [a1] (under the name "quasi-measures" ) and I. Dobrakov [a5] (under the name "submeasures" ).

References

[a1] V.N. Aleksjuk, "Two theorems on existence of quasibase for a family of quasimeasures" Izv. Visch. Uchebn. Zav. , 6 : 73 (1968) pp. 11–18 (In Russian)
[a2] R.J. Aumann, L.S. Shapley, "Values of non-atomic games" , Princeton Univ. Press (1974)
[a3] G. Choquet, "Theory of capacities" Ann. Inst. Fourier (Grenoble) , 5 (1953) pp. 131–295
[a4] D. Denneberg, "Non-additive measure and integral" , Kluwer Acad. Publ. (1994)
[a5] I. Dobrakov, "On submeasures I" Diss. Math. , 112 (1974)
[a6] K. Falconer, "Fractal geometry" , Wiley (1990)
[a7] M. Grabisch, H.T. Nguyen, E.A. Walker, "Fundamentals of uncertainity calculi with application to fuzzy inference" , Kluwer Acad. Publ. (1995)
[a8] P.J. Huber, "The use of Choquet capacities in statistics" Bull. Int. Inst. Statist. , 45 (1973) pp. 181–191
[a9] E. Pap, "Null-additive set functions" , Kluwer Acad. Publ. /Ister (1995)
[a10] M. Sugeno, "Theory of fuzzy integrals and its applications" PhD Thesis Tokyo Inst. Technol. (1974)
[a11] M. Sugeno, T. Murofushi, "Pseudo-additive measures and integrals" J. Math. Anal. Appl. , 122 (1987) pp. 197–222
[a12] Z. Wang, and G. Klir, "Fuzzy measure theory" , Plenum (1992)
How to Cite This Entry:
Non-additive measure. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Non-additive_measure&oldid=15862
This article was adapted from an original article by E. Pap (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article