A characterization of nonlinear open mappings between pseudometrizable topological vector spaces. (English) Zbl 1185.46002
Summary: We prove a new characterization of arbitrary (including nonlinear) open maps between pseudometrizable topological vector spaces. We use it to give a new proof that nonconstant analytic functions are open.
MSC:
46A30 | Open mapping and closed graph theorems; completeness (including \(B\)-, \(B_r\)-completeness) |
47H99 | Nonlinear operators and their properties |