Multifunkcja

Rysunek przedstawia odwzorowanie wielowartościowe – elementowi 3 przyporządkowane są dwa elementy przeciwdziedziny.

Multifunkcja lub funkcja wielowartościowa – uogólnienie pojęcia funkcji poprzez dopuszczenie przyporządkowania każdemu elementowi dziedziny więcej niż jednego elementu przeciwdziedziny. Z drugiej strony, pojęcie to definiuje się jako szczególny przypadek pewnego rodzaju funkcji.

Definicja

Niech $X$ i $Y$ będą niepustymi zbiorami. Multifunkcją $f$ między zbiorami $X$ i $Y$ nazywa się przyporządkowanie każdemu $x\in X$ niepustego zbioru $fx\subseteq Y.$ Jeśli $f$ jest multifunkcją między $X$ i $Y,$ to oznacza się to czasami symbolem

$f:X⇝Y.$

Dla multifunkcji definiuje się, analogicznie jak dla funkcji, pojęcia obrazu, wykresu, mutlifunkcji odwrotnej czy złożenia. Traktując multifunkcję $f$ jako funkcję $f:X\to 𝒫(Y)$ pojęcia te nie pokrywają się ze swoimi klasycznymi odpowiednikami.

• Obrazem zbioru $A\subseteq X$ poprzez multifunkcję $f$ nazywa się zbiór

$f(A)=\bigcup _{x\in A}fx.$

• Wykresem multifunkcji $f$ nazywamy zbiór

$\text{Graf}(f)=\{(x,y)\in X\times Y:y\in fx\}.$

• Multifunkcją odwrotną do multifunkcji $f$ nazywamy multifunkcję $f^{-1}:f(X)⇝X$ taką, że

$f^{-1}y=\{x\in X:y\in fx\}.$

• Jeśli $Z$ jest niepustym zbiorem oraz $f:X⇝Y$ i $g:Y⇝Z$ są multifunkcjami, to ich złożeniem nazywamy multifunkcję $g\circ f:X⇝Z$ daną wzorem

$(g\circ f)x=\bigcup _{y\in fx}gy.$

Ponadto dla multifunkcji $f:X⇝Y$ definiuje się (dla $B\subseteq Y$):

• $f^{-}(B)=\{x\in X:fx\cap B\ne \varnothing \},$
• $f^{+}(B)=\{x\in X:fx\subseteq B\}.$

m-produkt

Pojęcie m-produktu rodziny zbiorów niepustych niejako „naśladuje” pojęcie produktu rodziny zbiorów.

Niech $\{Y_t:t\in T\}$ będzie rodziną zbiorów niepustych. m-produktem $P\{Y_t:t\in T\}$ tej rodziny nazywamy rodzinę wszystkich multifunkcji

$f:T⇝\bigcup _{t\in T}{Y}_t.$

Jeśli $Y_t=Y$ dla każdego $t\in T,$ to m-produkt $P\{Y_t:t\in T\}$ oznaczamy symbolem $Y^{mT}.$ Jeśli $t\in T$ to multifunkcję ${\text{pr}}_t:P\{Y_t:t\in T\}⇝Y_t$ daną wzorem

${\text{pr}}_{t}f=ft$

nazywamy rzutowaniem na $Y_t.$

Topologia w m-produkcie

Jeśli $(Y_t,{\tau }_t),t\in T$ są przestrzeniami topologicznymi, to w m-produkcie $P\{Y_t:t\in T\}$ można wprowadzić topologię poprzez analogię do topologii Tichonowa w produkcie kartezjańskim przestrzeni topologicznych. Topologię tę definiuje się poprzez zadanie podbazy postaci

$\{{\text{pr}}_t^{-}(U_t),{\text{pr}}_t^{+}(U_t):t\in T,U_t\in {\tau }_t\}.$

Bibliografia

• Geoffrey Fox, Pedro Morales, Non-Hausdorff multifunction generalization of the Kelley-Morse Ascoli theorem, Pacific J. Math. vol. 64, nr 1 (1976), s. 137–143.

Linki zewnętrzne

• Szablon:MathWorld [dostęp 2023-08-29].
• Szablon:MathWorld [dostęp 2023-08-29].
• Szablon:Otwarty dostęp Multivalent function Szablon:Lang, Encyclopedia of Mathematics, encyclopediaofmath.org, [dostęp 2023-08-29].