A Banach -féle inverz operátortétel a lineáris operátorok "Banach" elméletének három alapelvének egyike (a másik kettő a Hahn-Banach tétel és az egységes korlátosság elve ). [egy]
Ha egy korlátos lineáris operátor leképezi a teljes Banach-teret a teljes Banach- térre egy az egyhez , akkor létezik egy lineárisan korlátos operátor , amely fordítottan áll a -ra leképező operátorral . [2]
Meg van nyitva egy Banach tér lineáris folyamatos leképezése a teljes Banach térre . [3] |
Legyenek Banach-terek és , legyenek lineáris folytonos operátorok , és leképezzünk mindent (azaz ). Ha ugyanakkor akkor létezik olyan folytonos lineáris operátor , hogy . |
Itt van a kernel és az operátor képe . Szimbolikusan a hármas lemma állítása kényelmesen a következő sémával ábrázolható: [4]