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
- 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
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.