On uniformly differentiable mappings from ∞()
Abstract
In 1970 Haskell Rosenthal proved that if X is a Banach space, is an infinite index set, and T:∞() X is a bounded linear operator such that ∈fγ∈\|T(eγ)\|>0 then T acts as an isomorphism on ∞('), for some '⊂ of the same cardinality as . Our main result is a nonlinear strengthening of this theorem. More precisely, under the assumption of GCH and the regularity of , we show that if F:B_∞() X is uniformly differentiable and such that ∈fγ∈\|F(eγ)-F(0)\|>0 then there exists x∈ B_∞() such that dF(x)[·] is a bounded linear operator which acts as an isomorphism on ∞('), for some '⊂ of the same cardinality as .
0