Banachs inversoperatorsats är en av de tre grundläggande principerna för "Banach"-teorin för linjära operatorer ( de andra två är Hahn-Banachs sats och principen om enhetlig begränsning ). [ett]
Om en avgränsad linjär operator mappar hela Banach-utrymmet på hela Banach-utrymmet en-till-en , så finns det en linjär avgränsad operator invers till operatorn som mappar till . [2]
En linjär kontinuerlig mappning av ett Banach-utrymme på hela Banach-utrymmet är öppet . [3] |
Låt vara Banach-utrymmen och , vara linjära kontinuerliga operatorer , och mappa till allt (dvs. ). Om samtidigt då finns det en kontinuerlig linjär operator så att . |
Här är kärnan och är bilden av operatören . Symboliskt representeras påståendet om trippellemmat bekvämt av följande schema: [4]