×

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
Full Text: DOI