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

定義

編集

劣加法的関数とは、加法について閉じている定義域 A順序付き余域 B を備え、次の性質

 

を満たすような写像 f: AB を言う。加法および順序を備えた代数系として A = B = R実数直線とした、劣加法的実函数は典型的である。

また、A が離散的、特に自然数の集合 N であるとき、劣加法的実数値函数は劣加法的数列と呼ばれる。一般に、B 内の点列 {an}n≥1 は、不等式

 
(1)

を満たすとき、劣加法列であると言われる。

平方根関数 : R+R+

 

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

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

 

三角不等式と呼ばれる。

性質

編集

劣加法的な列に関する一つの有用な結果として、フェケテ・ミハーイ英語版による次の補題が挙げられる[1]

フェケテの劣加法補題: すべての劣加法的な列   には、極限   が存在し、その値は   と等しい(極限の値は   となることもある)。

優加法的な列、すなわち   であるような列に対しても、フェケテの補題と同様の結果が得られる(極限の値は   となることもある: 例えば、  の場合など)。

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

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

f(0) = 0 であるような凹関数   も劣加法的である。実際、  であることと、逆の結果を足し合わせることで、f が劣加法的であるということが分かる[4]

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

関連項目

編集

注釈

編集
  1. ^ Fekete, M. "Uber die Verteilung der Wurzeln bei gewissen algebraischen Gleichungen mit. ganzzahligen Koeffizienten." Mathematische Zeitschrift 17 (1923), pp. 228–249.
  2. ^ Michael J. Steele. "Probability theory and combinatorial optimization". SIAM, Philadelphia (1997). ISBN 0-89871-380-3.
  3. ^ Michael J. Steele (2011). CBMS Lectures on Probability Theory and Combinatorial Optimization. University of Cambridge.
  4. ^ Schechter, Eric (1997). Handbook of Analysis and its Foundations. San Diego: Academic Press. ISBN 0126227608 , p.314,12.25

参考文献

編集

外部リンク

編集