$\text{i) }T \text{ e' una mappa aperta di X su } T(X)$
$\text{ii)}EE M>0:AAyinT(X)$ $EEx in T^{-1}(y): norm(x)<= Mnorm(y)$
$\text{iii)}EE K>0:norm(x+ker(T))<=Knorm(Tx)$ $AAx inX$
L'implicazione $(i) rArr (ii)$ è una diretta conseguenza del fatto che le applicazioni aperte portano intorni dello zero in intorni dello zero. Per quanto riguarda $(ii) rArr (iii)$ pensavo di poter dedurre che l'operatore T fosse limitato inferiormente (e quindi fosse un isomorfismo continuo con inversa continua, in particolare iniettivo e lavorando un po' con l'aiuto del Teorema di omomorfismo per spazi di Banach si riesce a concludere) tuttavia il compito non è così semplice, anzi in generale mi verrebbe da dire che T potrebbe tranquillamente non essere limitato inferiormente, che strada prendere allora?
Infine l' implicazione $(iii) rArr (i)$ è forse la più insidiosa. Se chiamo $tilde(T): X/{ker(T)} rarrT(X)$ l' operatore tale che $T(x)=tilde(T)(pi(x)) AAx in X$, dove $pi$ è la proiezione canonica sul quoziente, ottengo il fatto che la funzione $tilde(T)^{-1}$ è continua e quindi $tilde(T)$ è un isomorfismo topologico (si ricava ciò lavorando con la disuguaglianza in $(iii)$. Posso concludere che T è aperta? Ringrazio chiunque voglia aiutarmi
