Subadditive set function

In mathematics, a subadditive set function is a set function whose value, informally, has the property that the value of function on the union of two sets is at most the sum of values of the function on each of the sets. This is thematically related to the subadditivity property of real-valued functions.

Definition

If $\Omega$ is a set, a subadditive function is a set function $f:2^{\Omega }\rightarrow \mathbb {R}$, where $2^{\Omega }$ denotes the power set of $\Omega$, which satisfies the following inequality.

For every $S,T\subseteq \Omega$ we have that $f(S)+f(T)\geq f(S\cup T)$.

Examples of subadditive functions

1. Submodular set function. Every non-negative submodular function is also a subadditive function.
2. Fractionally subadditive set function. This is a generalization of submodular function and special case of subadditive function. If $\Omega$ is a set, a fractionally subadditive function is a set function $f:2^{\Omega }\rightarrow \mathbb {R}$, where $2^{\Omega }$ denotes the power set of $\Omega$, which satisfies one of the following equivalent definitions.
   1. For every $S,X_{1},X_{2},\ldots ,X_{n}\subseteq \Omega$ such that $1_{S}\leq \sum _{i=1}^{n}\alpha _{i}1_{S_{i}}$ then we have that $f(S)\leq \sum _{i=1}^{n}\alpha _{i}f(S_{i})$
   2. Let for each $i\in \{1,2,\ldots ,m\},a_{i}:\Omega \rightarrow \mathbb {R} _{+}$ be linear set functions. Then $f(S)=\max _{i}\left(\sum _{x\in S}a_{i}(x)\right)$
3. Functions based on set cover. Let $T_{1},T_{2},\ldots ,T_{m}\subseteq \Omega$ such that $\cup _{i=1}^{m}T_{i}=\Omega$. Then $f$ is defined as follows

           $f(S)=\min t$ such that there exists sets $T_{i_{1}},T_{i_{2}},\dots ,T_{i_{t}}$ satisfying $S\subseteq \cup _{j=1}^{t}T_{i_{j}}$

Properties

1. If $T$ is a set chosen such that each $e\in \Omega$ is included into $T$ with probability $p$ then the following inequality is satisfied $\mathbb {E} [f(T)]\geq pf(\Omega )$

See also

• Submodular set function