Finite order differentiability properties, fixed points and implicit functions over valued fields

arXivmath/0511218MaRDI QIDQ6476274FDOQ6476274

Publication date: 8 November 2005

Abstract: We prove an implicit function theorem for C^k-maps from arbitrary topological vector spaces over valued fields to Banach spaces (for k at least 2). As a tool, we show the C^k-dependence of fixed points on parameters for suitable families of contractions of a Banach space. Similar results are obtained for k times strictly differentiable maps, and for k times Lipschitz differentiable maps. In the real case, our results subsume an implicit function theorem for Keller C^k_c-maps from arbitrary topological vector spaces to Banach spaces.

Mathematics Subject Classification ID

Calculus of functions taking values in infinite-dimensional spaces (26E20) Fixed-point theorems (47H10) Functional analysis over fields other than (mathbb{R}) or (mathbb{C}) or the quaternions; non-Archimedean functional analysis (46S10) Differentiation theory (Gateaux, Fréchet, etc.) on manifolds (58C20) Non-Archimedean analysis (26E30) Implicit function theorems; global Newton methods on manifolds (58C15) Calculus of functions on infinite-dimensional spaces (26E15)

This page was built for publication: Finite order differentiability properties, fixed points and implicit functions over valued fields

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6476274)