Teorema de mapare deschisă spune
Un operator liniar continuu care mapează un spațiu Banach la întregul spațiu Banach este o mapare deschisă , adică open in pentru orice open in ; |
Condițiile teoremei de mapare deschisă sunt îndeplinite, de exemplu, de orice funcțional continuu liniar diferit de zero definit pe un spațiu real (complex) Banach cu valori în (sau în ).
Teorema a fost demonstrată de Stefan Banach . Teorema homeomorfismului lui Banach decurge imediat din aceasta :
Un operator liniar continuu care mapează un spațiu Banach la un spațiu Banach într -o manieră unu-la-unu este un homeomorfism, adică este, de asemenea, un operator liniar continuu. |
Teorema de mapare deschisă admite următoarea generalizare:
Un operator liniar continuu care mapează un spațiu vectorial topologic perfect complet pe un spațiu baril este o mapare deschisă. |