集合値函数
集合値函数 (しゅうごうちかんすう、英: set-valued function) または集合値写像 (しゅうごうちしゃぞう、英: set-valued map, set-valued mapping) とは、数学において、通常の写像の拡張として、入力に対して複数の出力を対応させる操作である[1]。multifunction、多価関数 (英: multivalued function) 、点対集合写像 (英: point to set maps) 、対応 (英: correspondence) とも呼ばれる[1][2][注釈 1]。 集合値写像の微分包含式や不動点定理は動的システムやゲーム理論などに応用される[4]。
定義
編集集合 X から集合 Y への集合値写像 F : X ⇉ Y とは、X の各要素 x に Y の部分集合 F(x) ⊂ Y (空集合であってもよい) を対応付ける作用である[1]。F : X ↝ Y と表すこともある[2]。以下では特に X と Y がともに距離空間の場合について、基本的な定義と性質について説明する。第一レベルの箇条書きが定義、第二レベルの箇条書きが性質である。
- 集合値写像 F のグラフ (graph) とは、積空間の部分集合 Graph(F) := {(x, y) ∈ X × Y | y ∈ F(x)} である[5]。グラフが空集合でないとき、F は非自明 (nontrivial) であるという[5]。
- x における F の像 (image) または値 (value)とは、F(x) のことである[5]。任意の x について像が非空であるならば、F は狭義 (strict) の集合値写像であるという[5]。
- 定義域 (domain) とは、像が非空である x の集合 Dom(F) := {x ∈ X | F(x) ≠ ∅} である[5]。
- F の像 (image) とは、全ての x についての F(x) の和集合 Im(F) := F(x) である[5]。
- F の逆写像 (inverse) F −1 とは、Y から X への集合値写像であって、x ∈ F −1(y) ⇔ y ∈ F(x) ⇔ (x, y) ∈ Graph(F) を満たすものである[5]。
- K を X の部分集合とするとき、F の K への制限 (restriction) F|K とは、F|K := {F(x) (x ∈ K)
∅ (x ∉ K) で定義される集合値写像である[5]。 - 位相空間及び距離空間の部分集合としての性質 φ (例えば閉、凸、可測など) について、F が φ値 (φ-valued) であるとは、F のグラフが X × Y の部分集合として φ であることである[6]。
- 単項および二項の集合演算の演算子 ☆ が与えられたとき、☆(F) および F1 ☆ F2 はそれぞれ ☆(F)(x) = ☆(F(x)) および (F1 ☆ F2)(x) = F1(x) ☆ F2(x) で定義される[7]。
- 2つの集合値写像 F, G について G が F の拡張 (extention) であるとは、Graph(F) ⊂ Graph(G) となることであり、このとき F ⊂ G と表す[7]。
- 演算と拡張について以下が成り立つ[7]。
- F(K1 ∪ K2) = F(K1) ∪ F(K2)
- F(K1 ∩ K2) ⊂ F(K1) ∩ F(K2)
- F(X ∖ K) ⊃ Im(F) ∖ F(K)
- K1 ⊂ K2 ⇒ F(K1) ⊂ F(K2)
- 演算と拡張について以下が成り立つ[7]。
- Y の部分集合 M について、F による M の逆像 (inverse image、弱逆像) とは、F −1(M) := {x ∈ X | F(x) ∩ M ≠ ∅} であり、また、F による M の核 (core、強逆像) とは、F +1(M) := {x ∈ X | F(x) ⊂ M} である[7][8]。
例
編集応用
編集微分方程式を集合値写像に拡張した概念である微分包含式が動的システムに応用されているほか、ゲーム理論におけるナッシュ均衡の存在証明はブラウワーの不動点定理を集合値写像に拡張した角谷の不動点定理によって得られるものである[4]。
脚注
編集注釈
編集出典
編集文献
編集- 日本語
- 谷野, 哲三 (2001a). “集合値写像の理論と応用 : 第1回 集合値写像の基本的性質”. 日本ファジィ学会誌 13 (1): 11–19. doi:10.3156/jfuzzy.13.1_11.
- 谷野, 哲三 (2001b). “集合値写像の理論と応用 : 第2回 集合値写像の微分と最適化への応用”. 日本ファジィ学会誌 13 (2): 146–154. doi:10.3156/jfuzzy.13.2_18.
- 谷野, 哲三 (2001c). “集合値写像の理論と応用 : 第3回 集合値写像の動的システムやゲーム理論などへの応用”. 日本ファジィ学会誌 13 (3): 234–242. doi:10.3156/jfuzzy.13.3_10.
- 松坂, 和夫『集合・位相入門』 1巻、岩波書店〈松坂和夫 数学入門シリーズ〉、1968年6月10日。ISBN 978-4-00-029871-1。
- 外国語
- Aubin, Jean-Pierre; Frankowska, Hélène (1990) (英語). Set-valued Analysis. Systems & control. 2. Boston: Birkhäuser Verlag. ISBN 0-8176-3478-9