集合値函数

集合値函数 (しゅうごうちかんすう、) または集合値写像 (しゅうごうちしゃぞう、) とは、数学において、通常の写像の拡張として、入力に対して複数の出力を対応させる操作である。multifunction、多価関数 () 、点対集合写像 () 、対応 () とも呼ばれる。
集合値写像の微分包含式や不動点定理は動的システムやゲーム理論などに応用される。

これと対照的に定義域（始域）が集合族であるような函数は集合函数と呼ばれる。

定義 
集合  から集合  への集合値写像  とは、 の各要素  に  の部分集合  (空集合であってもよい) を対応付ける作用である。 と表すこともある。以下では特に  と  がともに距離空間の場合について、基本的な定義と性質について説明する。第一レベルの箇条書きが定義、第二レベルの箇条書きが性質である。
 集合値写像  のグラフ (graph) とは、積空間の部分集合  である。グラフが空集合でないとき、 は非自明 (nontrivial) であるという。
  における  の像 (image) または値 (value)とは、 のことである。任意の  について像が非空であるならば、 は狭義 (strict) の集合値写像であるという。
 定義域 (domain) とは、像が非空である  の集合  である。
  の像 (image) とは、全ての  についての  の和集合  である。
  の逆写像 (inverse)  とは、 から  への集合値写像であって、 を満たすものである。
 の定義域、 の像、 の空間  への射影、の三者は一致し、また同様に、 の像、 の定義域、 の空間  への射影、の三者は一致する。
  を  の部分集合とするとき、 の  への制限 (restriction)  とは、 で定義される集合値写像である。
 位相空間及び距離空間の部分集合としての性質  (例えば閉、凸、可測など) について、 が 値 (-valued) であるとは、 のグラフが  の部分集合として  であることである。
 単項および二項の集合演算の演算子 &star; が与えられたとき、 および  はそれぞれ  および  で定義される。
 2つの集合値写像  について  が  の拡張 (extention) であるとは、 となることであり、このとき  と表す。
 演算と拡張について以下が成り立つ。
 
 
 
 
  の部分集合  について、 による  の逆像 (inverse image、弱逆像) とは、 であり、また、 による  の核 (core、強逆像) とは、 である。
 逆像と核について以下が成り立つ。

例 
 正の実数  からその冪集合への写像  を と定めれば集合値函数になる。
 （通常の）写像  が与えられたとき、各元  に対して原像  を対応させる写像は、集合値函数  を定める。
 一般に、任意の集合族、従って特に任意の集合列は、添字に対して集合を割り当てるものであるから、それ自体を集合値函数と捉えることもできる。

応用 
微分方程式を集合値写像に拡張した概念である微分包含式が動的システムに応用されているほか、ゲーム理論におけるナッシュ均衡の存在証明はブラウワーの不動点定理を集合値写像に拡張した角谷の不動点定理によって得られるものである。

脚注

注釈

出典

文献 
 日本語
 
 
 
 
 外国語

関連項目 
 対応 (数学)
 多価函数

写像
数学に関する記事
de:Mengenwertige Abbildung