Sigma-additive set function: Difference between revisions
added that sigma additivity needs a countable sequence of sets Tags: Mobile edit Mobile app edit iOS app edit |
Thatsme314 (talk | contribs) →Modularity{{Anchor|modularity}}: improved writing (active vs. passive) |
||
Line 40: | Line 40: | ||
Given <math>A</math> and <math>B,</math> <math>\mu(A \cup B) + \mu(A \cap B) = \mu(A) + \mu(B).</math> ''Proof'': write <math>A = (A \cap B) \cup (A \setminus B)</math> and <math>B = (A \cap B) \cup (B \setminus A)</math> and <math>A \cup B = (A \cap B) \cup (A \setminus B) \cup (B \setminus A),</math> where all sets in the union are disjoint. Additivity implies that both sides of the equality equal <math>\mu(A \setminus B) + \mu(B \setminus A) + 2\mu(A \cap B).</math> |
Given <math>A</math> and <math>B,</math> <math>\mu(A \cup B) + \mu(A \cap B) = \mu(A) + \mu(B).</math> ''Proof'': write <math>A = (A \cap B) \cup (A \setminus B)</math> and <math>B = (A \cap B) \cup (B \setminus A)</math> and <math>A \cup B = (A \cap B) \cup (A \setminus B) \cup (B \setminus A),</math> where all sets in the union are disjoint. Additivity implies that both sides of the equality equal <math>\mu(A \setminus B) + \mu(B \setminus A) + 2\mu(A \cap B).</math> |
||
The above property is called ''modularity'', and we have just proved that modularity is equivalent to additivity. However, |
The above property is called ''modularity'', and we have just proved that modularity is equivalent to additivity. However, the related properties of [[Submodular set function|''submodularity'']] and [[Subadditive set function|''subadditivity'']] are not equivalent to each other. |
||
Note that modularity has a different and unrelated meaning in the context of complex functions; see [[modular form]]. |
Note that modularity has a different and unrelated meaning in the context of complex functions; see [[modular form]]. |
Revision as of 04:06, 31 May 2022
In mathematics, an additive set function is a function mapping sets to numbers, with the property that its value on a union of two disjoint sets equals the sum of its values on these sets, namely, If this additivity property holds for any two sets, then it also holds for any finite number of sets, namely, the function value on the union of k disjoint sets (where k is a finite number) equals the sum of its values on the sets. Therefore, an additive set function is also called a finitely-additive set function (the terms are equivalent). However, a finitely-additive set function might not have the additivity property for a union of an infinite number of sets. A σ-additive set function is a function that has the additivity property even for countably infinite many sets, that is,
Additivity and sigma-additivity are particularly important properties of measures. They are abstractions of how intuitive properties of size (length, area, volume) of a set sum when considering multiple objects. Additivity is a weaker condition than σ-additivity; that is, σ-additivity implies additivity.
The term modular set function is equivalent to additive set function; see modularity below.
Additive (or finitely additive) set functions
Let be a set function defined on an algebra of sets with values in (see the extended real number line). The function is called additive, or finitely additive, if, whenever and are disjoint sets in one has A consequence of this is that an additive function cannot take both and as values, for the expression is undefined.
One can prove by mathematical induction that an additive function satisfies for any disjoint sets in
σ-additive set functions
Suppose that is a σ-algebra. If for every sequence of pairwise disjoint sets in holds then is said to be countably additive or 𝜎-additive. Every 𝜎-additive function is additive but not vice versa, as shown below.
τ-additive set functions
Suppose that in addition to a sigma algebra we have a topology If for every directed family of measurable open sets we say that is -additive. In particular, if is inner regular (with respect to compact sets) then it is τ-additive.[1]
Properties
Useful properties of an additive set function include the following.
Value of empty set
Either or assigns to all sets in its domain, or assigns to all sets in its domain. Proof: additivity implies that for every set If then this equality can be satisfied only by plus or minus infinity.
Monotonicity
If is non-negative and then That is, is a monotone set function. Similarly, If is non-positive and then
Modularity
Given and Proof: write and and where all sets in the union are disjoint. Additivity implies that both sides of the equality equal
The above property is called modularity, and we have just proved that modularity is equivalent to additivity. However, the related properties of submodularity and subadditivity are not equivalent to each other.
Note that modularity has a different and unrelated meaning in the context of complex functions; see modular form.
Set difference
If and is defined, then
Examples
An example of a 𝜎-additive function is the function defined over the power set of the real numbers, such that
If is a sequence of disjoint sets of real numbers, then either none of the sets contains 0, or precisely one of them does. In either case, the equality holds.
See measure and signed measure for more examples of 𝜎-additive functions.
An additive function which is not σ-additive
An example of an additive function which is not σ-additive is obtained by considering , defined over the Lebesgue sets of the real numbers by the formula where denotes the Lebesgue measure and the Banach limit. It satisfies and if then
One can check that this function is additive by using the linearity of the limit. That this function is not σ-additive follows by considering the sequence of disjoint sets for The union of these sets is the positive reals, and applied to the union is then one, while applied to any of the individual sets is zero, so the sum of is also zero, which proves the counterexample.
Generalizations
One may define additive functions with values in any additive monoid (for example any group or more commonly a vector space). For sigma-additivity, one needs in addition that the concept of limit of a sequence be defined on that set. For example, spectral measures are sigma-additive functions with values in a Banach algebra. Another example, also from quantum mechanics, is the positive operator-valued measure.
See also
- Additive map – Z-module homomorphism
- Hahn–Kolmogorov theorem – Theorem extending pre-measures to measures
- Measure (mathematics) – Generalization of mass, length, area and volume
- σ-finite measure – Concept in measure theory
- Signed measure – Generalized notion of measure in mathematics
- Submodular set function – Set-to-real map with diminishing returns
- Subadditive set function
- τ-additivity
This article incorporates material from additive on PlanetMath, which is licensed under the Creative Commons Attribution/Share-Alike License.
References
- ^ D.H. Fremlin Measure Theory, Volume 4, Torres Fremlin, 2003.