Lyusternikova-Gravesova věta pro součet lipschitzovské funkce a mnohoznačného zobrazení

Abstract

Graves ve svém článku z roku 1950 dokázal, že zobrazení f mezi Banachovými prostory, které je definované v okolí referenčního bodu x a pro které existuje spojitý lineární operátor A takový, že lipschitzovský modulus rozdílu f-A v referenčním bodě x je dostatečně malý, je otevřené v bodě x s lineárním řádem. Jedná se o zobecnění Banachovy věty o otevřeném zobrazení pro spojitý lineární operátor na lipschitzovsky spojité funkce. Podobný výsledek, pro případ hladkého zobrazení, byl dokázan dříve Lyusternikem. V článku je dokázána Lyusternikova-Gravesova věta pro zobrazení f+F, kde f je lipschitzovsky spojitá funkce na okolí bodu x a F je mnohoznačné zobrazení. Jsou prezentovány podmínky zajišťující, že zobrazení f + F je otevřené s lineárním řádem za předpokladu, že pro každý prvek A z určité množiny spojitých lineárních operátorů je zobrazení f(x) +A(. - x) + F otevřené s lineárním řádem v bodě x pro y. Pokud F je identicky nulové, dostáváme jakožto důsledek Gravesovu větu, věty o otevřeném zobrazení Pourciaua a Pálese, a větu o otevřeném zobrazení pro zobrazení s omezující množinou Cibulky a Fabiana. Dále pak dostáváme také větu o inverzní funkci pro nehladká zobrazení dokázanou nedávno Cibulkou a Dontchevem. V závěru je prezentována aplikace na Nemytského operátory a jistá zobrazení z teorie řízení.