{"id":"arxiv/2604.10002","url":"https://arxiv.org/abs/2604.10002","tags":["math.FA","math.AP","math.DG"],"score":0,"title":"A generalization of the inverse mapping theorem in infinite dimensions","domain":"math.FA","source":"arxiv","authors":["Sajjad Lakzian"],"reviews":0,"subject":"math.FA","summary":"We present a generalization of the inverse mapping theorem, where variations of a weaker non-expansiveness property (referred to as property ${\\sf A}$) replace the key $\\mathsf{C}^1$ condition. We also obtain inverse mapping theorems that can be applied to non-smooth maps. Also as a by-product of the generalized inverse mapping theorem, we prove generalizations of the implicit function theorem and existence and uniqueness theorem of abstract PDE systems as well.","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-04-11","reactions":{}}