查看“︁次可加性”︁的源代码

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

===定义===
一个[[函数]]f:A→B，其定义域A和陪域B上分别定义了某种[[加法]]<math>+_A</math>和<math>+_B</math>，且陪域B上定义了[[偏序关系]]“<math>\leq</math>”。若该函数满足：∀x,y∈A，有<math>f(x+_Ay)\leq f(x)+_Bf(y)</math>。则称f对于<math>+_A</math>和<math>+_B</math>满足'''次可加性'''。在上下文对于<math>+_A</math>和<math>+_B</math>都很明确的情况下，通常简称为 f 满足'''次可加性'''，亦称f为'''次可加函数'''。

若上述函数f满足：∀有限集<math>\{x_i|x_i \in A,i=1\cdots n\}</math>，有<math>f \left( \sum_{k=1}^n x_i \right) \leq \sum_{k=1}^n f(x_i)</math>，则称f满足'''有限次可加性'''。

若上述函数f满足：∀可列集<math>\{x_i|x_i \in A,i=1\cdots \infty\}</math>，有<math>f \left( \sum_{k=1}^\infty x_i \right) \leq \sum_{k=1}^\infty f(x_i)</math>，则称f满足'''可列次可加性'''。

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

==序列的次可加性==

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

===Michael Fekete引理===
对于次可加序列，有[[Michael Fekete]]的重要引理。<ref>Fekete, M. "Uber die Verteilung der Wurzeln bei gewissen algebraischen Gleichungen mit. ganzzahligen Koeffizienten." ''Mathematische Zeitschrift'' '''17''' (1923), pp. 228–249.</ref>

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

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

有不要求不等式 (1) 对于所有 <math>m</math> 和 <math>n</math> 成立的 Fekete 引理的扩展。还有结果允许你推导收敛到其存在性规定于 Fekete 引理中的极限的速率，如果存在着某种[[超加性]]和次可加性。<ref>Michael J. Steele. "Probability theory and combinatorial optimization". SIAM, Philadelphia (1997). ISBN 0-89871-380-3.</ref>

==参见==
*[[三角不等式]]
*[[可加性]]

==引用==
<references />
*[[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.

==外部链接==
{{planetmath|urlid=subadditivity|title=Subadditivity}}

[[Category:数学分析]]
[[Category:序列]]