Invertible operators on Banach spaces

DOI10.2478/forma-2019-0012zbMath1432.68540OpenAlexW2963692946WikidataQ127450687 ScholiaQ127450687MaRDI QIDQ2337331

Kazuhisa Nakasho

Publication date: 19 November 2019

Published in: Formalized Mathematics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2478/forma-2019-0012

zbMATH Keywords

Banach spaceNeumann seriesinvertible operatorisomorphism of linear operator spaces

Mathematics Subject Classification ID

General (adjoints, conjugates, products, inverses, domains, ranges, etc.) (47A05) Abstract inverse mapping and implicit function theorems involving nonlinear operators (47J07) Formalization of mathematics in connection with theorem provers (68V20)

Related Items (2)

Inverse function theorem. I ⋮ Implicit function theorem. II

Uses Software

• Mizar

Cites Work

• Four decades of {\textsc{Mizar}}. Foreword
• The role of the Mizar mathematical library for interactive proof development in Mizar
• Implicit function theorem. I
• Cartesian Products of Family of Real Linear Spaces
• Unnamed Item
• Unnamed Item

This page was built for publication: Invertible operators on Banach spaces