Ranges of operators and derivatives

摘要

We show a unified method of proving the existence of C~1-Fréchet smooth and Lipschitz mappings which are surjective or whose range of the derivative contains the whole dual unit ball. As an application, under Martin's Maximum axiom, we obtain a complete result for those spaces with density character ω_1.