劣加法性

数学の分野における劣加法性（れつかほうせい、テンプレート:Lang-en-short）とは、大まかに言うと、定義域に含まれる二つの元の和についての関数の値が、それら各元についての関数の値の和よりも常に小さいか等しい、という性質のことを言う。数学の様々な研究領域、特にノルムや平方根などに関する領域において、数多くの劣加法的関数の例が知られている。加法的関数は、劣加法的関数の特別な場合である。

定義

劣加法的関数とは、加法について閉じている定義域 テンプレート:Mvar と順序付き余域 テンプレート:Mvar を備え、次の性質

$f(x+y)\le f(x)+f(y)(\mathrm{\forall }x,y\in A)$

を満たすような写像 テンプレート:Math を言う。加法および順序を備えた代数系として テンプレート:Math を実数直線とした、劣加法的実函数は典型的である。

また、テンプレート:Mvar が離散的、特に自然数の集合 テンプレート:Mathbf であるとき、劣加法的実数値函数は劣加法的数列と呼ばれる。一般に、テンプレート:Mvar 内の点列 テンプレート:Math は、不等式 テンプレート:NumBlk を満たすとき、劣加法列であると言われる。

例

主平方根関数 テンプレート:Math は

$\sqrt{x+y}\le \sqrt{x}+\sqrt{y}(\mathrm{\forall }x,y\in {ℝ}_{+})$

が成立するから、正値劣加法的実函数である。

絶対値やノルムに関する劣加法性:

$|x+y|\le |x|+|y|,\Vert x+y\Vert \le \Vert x\Vert +\Vert y\Vert$

は三角不等式と呼ばれる。

性質

劣加法的な列に関する一つの有用な結果として、テンプレート:仮リンクによる次の補題が挙げられる。

フェケテの劣加法補題: すべての劣加法的な列 ${\left\{a_n\right\}}_{n=1}^{\mathrm{\infty }}$ には、極限 $\underset{n\to \mathrm{\infty }}{\lim }\frac{a_n}{n}$ が存在し、その値は $\inf \frac{a_n}{n}$ と等しい（極限の値は $-\mathrm{\infty }$ となることもある）。

優加法的な列、すなわち $a_{n+m}\ge a_n+a_m$ であるような列に対しても、フェケテの補題と同様の結果が得られる（極限の値は $\mathrm{\infty }$ となることもある: 例えば、$a_n=\log n!$ の場合など）。

不等式 (テンプレート:EquationNote) がすべての m および n について成立するとは限らない場合にも、フェケテの補題の拡張版が存在する。ある種の優加法性と劣加法性が共に存在するとき、フェケテの補題によって存在の認められている極限へと収束する割合を導くような結果も知られている。

f が劣加法的関数で、0 がその定義域に含まれているなら、f(0) ≥ 0 が成立する。実際、$f(x)\ge f(x+y)-f(y)$ であるために $f(0)\ge f(0+y)-f(y)=0$ が得られる。

f(0) = 0 であるような凹関数 $f:[0,\mathrm{\infty })\to [0,\mathrm{\infty })$ も劣加法的である。実際、$f(x)\ge \frac{y}{x+y}f(0)+\frac{x}{x+y}f(x+y)$ であることと、逆の結果を足し合わせることで、f が劣加法的であるということが分かる。

劣加法的関数にマイナスをかけたものは優加法的となる。

関連項目

• 三角不等式
• 劣モジュラ関数
• 劣加法的集合函数: 集合の合併を加法と見たときの加法的函数
• 劣乗法的函数

参考文献

• テンプレート:Citebook

外部リンク

• テンプレート:PlanetMath
• テンプレート:SpringerEOM