An open mapping theorem without continuity and linearity (Q989089)

Given a complete metric linear space \(X\) and a Hausdorff topological vector space \(Y\), the authors introduce a set \(pl(X,Y)\) of maps \(f:X \rightarrow Y\) satisfying \(f(0)=0\) and four other conditions. The set \(pl(X,Y)\) contains strictly the space \(L(X,Y)\) of all linear continuous operators from \(X\) into \(Y\). Several technical examples are included. The main result of this paper states that, if \(X\) and \(Y\) are complete linear spaces and \(f \in pl(X,Y)\) is surjective, then \(f\) is open, i.e., it maps open sets into open sets. The proof uses the classical Banach Schauder-method. The case of almost open maps is also considered.