Flervärdesdisplay
Multivalued mappning är ett slags matematiskt begrepp för mappning ( funktion ). Låt och vara godtyckliga mängder, och var samlingen av alla delmängder av mängden . En mappning med flera värden från en mängd till är vilken mappning som helst.
Vanligtvis är domänen för en mappning med flera värden delmängden , och domänen av värden är utrymmet bestående av icke-tomma kompakta delmängder av uppsättningen , dvs.










- Exempel 1. Låt . Genom att tilldela ett segment till varje värde får vi en mappning med flera värden


![{\displaystyle [-|x|,\,|x|],}](https://wikimedia.org/api/rest_v1/media/math/render/svg/8a9e49698ce5ce9c2fa313936378c3ecb265b287)

- Exempel 2. Låta vara en kontinuerlig funktion. Genom att sätta och tilldela varje värde en uppsättning, får vi en mappning med flera värden
![{\displaystyle f:[0,1]\to \mathbb {R} }](https://wikimedia.org/api/rest_v1/media/math/render/svg/2de6d0d4c98d4ca7ad937c772dc3e3e914b062f5)
![{\displaystyle X=[\min f,+\infty ]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/83d5f574f03e84662bb41dd257624f3e549f489f)
![{\displaystyle Y=[0,1].}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ced91ca92ca3d05fdd7a42ace0a36eee390abc34)

![{\displaystyle M(x)=\{y\in [0,1]:f(y)\leq x\},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/fc6a92eb5a27cd37f5c19277f482b5fea5a93883)

Mappningar med flera värden hittar tillämpningar inom olika områden av matematik: icke-slät och konvex analys, teorin om differentialekvationer, kontrollteori , spelteori och matematisk ekonomi .
Relaterade definitioner och egenskaper
- Utrymmet är metriskt med Hausdorff-måttet . Detta tillåter oss att introducera begreppet en kontinuerlig mappning med uppsättningsvärden.

- Med tanke på var och en av uppsättningens stödfunktion får vi en verkligt värderad funktion av två argument: och , där asterisken betyder det dubbla utrymmet .




- En mappning med uppsättningsvärde är kontinuerlig om och endast om dess stödfunktion är variabel-kontinuerlig för varje fast .




- En multivalued mappning sägs vara mätbar om dess stödfunktion är mätbar med avseende på variabeln för varje fix .


- En entydig gren- eller mappningsväljare med flera värden är en funktion sådan att för någon




- Filippovs Lemma : Varje mätbar uppsättningsvärderad mappning har en mätbar väljare. Filippovs lemma har många tillämpningar. I synnerhet tillåter det en att fastställa förekomsten av en optimal kontroll för en bred klass av problem i teorin om kontrollerade system .
- En mappning med mängdvärde kallas övre semikontinuerlig (genom inkludering) vid en punkt om det för någon grannskap av mängden (betecknad med ) finns en sådan grannskap av punkten (låt oss beteckna den med ) att för varje mappning med värdevärde är det kallas övre semikontinuerlig (genom inkludering) om den är övre semikontinuerlig vid varje punkt . En kontinuerlig flervärdig mappning (definierad av Hausdorff-måttet) är övre semikontinuerlig.










- Kakutanis teorem : Låt vara en icke-tom, kompakt, konvex delmängd och en mängdvärderad mappningsom har kompakta, konvexa mängder som sina värden och är övre halvkontinuerlig genom inkludering. Sedan har kartläggningenen fast punkt , dvsKakutanis sats har många tillämpningar inom spelteori . I synnerhet kan den användas för att enkelt bevisa ett grundläggande resultat av spelteorin, Nash-satsen om förekomsten av en jämvikt i ett icke-samarbetsspel.




Se även
Litteratur
- Borisovich Yu. G., Gelman B. D., Myshkis A. D., Obukhovskiy V. V. Introduktion till teorin om flervärdiga mappningar och differentiella inneslutningar, — Vilken utgåva som helst.
- Blagodatskikh V. I. Introduktion till optimal kontroll, Higher School, Moskva, 2001.
- Blagodatskikh V. I., Filippov A. F. Differentiella inneslutningar och optimal kontroll , - Tr. MIAN, vol 169 (1985).
- Ioffe A. D., Tikhomirov V. M. Theory of extremal problems, Fizmatlit, Moskva, 1974.
- Pshenichny B. N. Konvex analys och extrema problem, Nauka, Moskva, 1980.
- Vorobyov N. N. Grunderna i spelteori. Icke-kooperativa spel, Nauka, Moskva, 1984.