次可加性

函数的次可加性
函数的次可加性(subadditivity)是函数的一个性质，它粗略的声称计算函数对定义域中两个元素的和总是返回小于等于这个函数对每个元素的值的和的某个值。在数学的各个领域中有很多次可加函数的例子，特别是范数和平方根。加性函数是次可加函数的特殊情况。

定義
給定函數f:A \to B，其定義域A和陪域B上分别定義了某種加法+_A和+_B，且陪域B上定義了偏序關係“\leq”。若該函數滿足：

f(x +_A y) \leq f(x) +_B f(y), \quad \forall x, y \in A.

則稱f對於+_A和+_B滿足次可加性。在上下文對於+_A和+_B都有很明義說明下，通常簡稱為f滿足次可加性，亦稱f為次可加函數。

若上述函數f滿足：對所有A的有限子集\{x_i\}_{i \in I}，有

f\left(\sum_{i \in I} x_i\right) \leq \sum_{i \in I} f(x_i),

則稱f滿足有限次可加性。

若上述函數f滿足：對所有自然數子集J \subseteq \mathbb{N}，A的可數子集\{x_j\}_{j \in J}，有

f\left(\sum_{j \in J} x_j\right) \leq \sum_{j \in J} f(x_j),

則稱f滿足可數次可加性。

示例
*单位函数 f(x)=x 显然是（全）可加的，这是一个平凡的例子。另一个平凡的例子是零函数 f(x)=0。
*范数
*集函数的次可加性：定义域为集类S，值域为[0, ∞]上的广义实值集函数f，若：
**\forall A, B \in S，有f(A \cup B) \leq f(A) + f(B)，则称f为次可加的。
**\forall {A_i} \in S, i=1\cdots n，有f\left(\bigcup_{i=1}^n A_i\right) \leq \sum_{i=1}^{n} f(A_i)，则称f为有限次可加的。
**\forall {A_i} \in S, i=1\cdots \infty，有f\left(\bigcup_{i=1}^\infty A_i\right) \leq \sum_{i=1}^{\infty} f(A_i)，则称f为可列次可加的。
*平方根函数，它有非负实数定义域和陪域，因为 \forall x, y \geq 0 我们有:
::\sqrt{x+y}\leq \sqrt{x}+\sqrt{y}.

序列的次可加性
定义
若序列 \left \{ a_n \right \}, n \geq 1 满足：\forall i,j \geq 1，有a_{i+j}\leq a_i+a_j。
则称该序列为次可加的，或称该序列满足次可加性，或称该序列是次可加序列。

Michael Fekete引理
对于次可加序列，有Michael Fekete的重要引理。

引理(Michael Fekete)：对任一次可加序列 {\left \{ a_n \right \}}_{n=1}^\infty，有\lim_{n \to \infty} \frac{a_n}{n} = \inf \frac{a_n}{n} 。（注意该极限可能是-∞。)

Fekete 引理的对应者对于次可加函数也成立:
a_{n+m}\geq a_n + a_m. (极限可以是正无穷: 考虑序列 a_n = \log n!。)

有不要求不等式 (1) 对于所有 m 和 n 成立的 Fekete 引理的扩展。还有结果允许你推导收敛到其存在性规定于 Fekete 引理中的极限的速率，如果存在着某种超加性和次可加性。

参见
*三角不等式
*可加性

引用
*György Pólya and Gábor Szegö. "Problems and theorems in analysis, volume 1". Springer-Verlag, New York (1976). ISBN 0-387-05672-6.

外部链接