On Nash-Moser-Ekeland Inverse Mapping Theorem

Abstract

We present a criterion for local surjectivity of mappings between graded Frechet spaces in the spirit of a well-known criterion in Banach spaces. As applications, we get "hard inverse mapping theorem" in the flavor of Nash-Moser. The technology of proofs was strongly influenced by a recent paper of Ekeland.Odvodíme kritérium pro lokální surjektivitu zobrazení mezi Fréchetovými prostory zobecňující analogické tvrzení v Banachových prostorech. Aplikací teoretické věty dostáváme věty o invezním zobrazení Nashova-Moserova-Ekelandova typu. Technika důkazů je založena na aktuálním článku Ivara Ekelenda.