数学における劣加法的集合函数（れつかほうてきしゅうごうかんすう、）は、二つの集合の合併に対する値が、それぞれの集合に対する値の和で上から抑えられるような集合函数を言う。点函数が劣加法的となることに似ている。
劣モジュラー ⊂ ⊂ 劣加法的
定義 集合 上の集合函数、すなわち の冪集合 を定義域とする写像 が劣加法的とは
を満たすときに言う。終域 は任意の順序集合にもとれるが、大抵は実数直線 または非負実数直線 である。
例 任意の非負劣モジュラー集合函数は劣加法的集合函数である。劣モジュラー函数全体の成す集合は劣加法的函数全体の成す集合を真に含まれる。 与えられた集合 を被覆するのに必要な集合の数を数える函数 は劣加法的である。具体的には、 で となるものを固定する。 は各集合に対して、それを被覆するのに必要な の最小数を割り当てるもの、すなわち とすれば、これは劣加法的になる。 任意の非負値加法的集合函数、特に測度は劣加法的である。 より一般に、加法的函数のあつまり から引数ごとに最大のものをとる函数 は劣加法的になる。 このような函数は、以下の性質によって特徴付けられる: 各 に対し、 および が指示函数に関して を満たすならば必ず、 を満たす。 分割的劣加法集合函数は劣モジュラー集合函数の一般化であり、かつ特別な種類の劣加法的集合函数である。
注 注釈
出典
参考文献
外部リンク