Banach Families and the Implicit Function Theorem

We generalise the classical implicit function theorem (IFT) for a family of Banach spaces, with the resulting implicit function having derivatives that are locally Lipschitz to very strong operator norms. Notation. For Banach spaces X and Y , L(X,Y ) is the Banach space of continuous linear maps from X to Y ; so L(X,X) is the Banach algebra of operators on X . X × Y and X ∩ Y have by default the maximum norm. Definition 1. Fix a pointed set A, i.e. a pair (A,α0) with α0 ∈ A. Fix also a class of subsets A of A with α0 ∈ S ∀S ∈ A. A Banach family (B,A), or shortly B, is a Banach space (B, ‖·‖) endowed with a collection of pseudo-norms (‖·‖α)α∈A, s.t. ‖·‖α0 = ‖·‖, where we allow pseudonorms to take infinite values. Bα = {x ∈ B | ‖x‖α < ∞}. 3,4 For 2 Banach families X and Y , and a linear map φ from X to Y , let ‖φ‖α = sup{‖φ(x)‖α | ‖x‖α ≤ 1}, and, for S ∈ A, ‖φ‖S = supα∈S‖φ‖α; and let LA(X,Y ) = {φ ∈ L(X,Y ) | ∀S ∈ A, ‖φ‖S < ∞}, endowed with the family of norms (‖·‖S)S∈A . Remark 1. Nothing prevents to endow the same Banach space with 2 different Banach family structures; those should however be distinguished notationally then. E.g., Rn will denote denote this space with the constant family of pseudo-norms, while (Rn, {0}) will be used when, for α 6= α0, Rnα = {0}. Remark 2. The main intent is to be able to view B also as some sort of Bα-manifold; i.e., to speak of α-neighbourhoods of points in B. Remark 3. As is clear from the definition, the purpose of constructing Banach families is to get operator norms, later used to formulate the ift. One could, conceivably, use a classical ift for each of the norms α ∈ A and get as final conclusion: Date: September 27, 2011. 2000 Mathematics Subject Classification. 91B14, 91B62 J.E.L. Classification numbers. D50, H43.