A nonlinear Banach-Steinhaus theorem and some meager sets in Banach spaces
We establish a Banach-Steinhaus type theorem for nonlinear functionals of several variables. As an application, we obtain extensions of the recent results of Balcerzak and Wachowicz on some meager subsets of L¹(μ) × L¹(μ) and c₀ × c₀. As another consequence, we get a Banach-Mazurkiewicz type theorem on some residual subset of C[0,1] involving Kharazishvili's notion of Φ-derivative.