Invertible operators on Banach spaces

DOI10.2478/FORMA-2019-0012MaRDI QIDQ2337331zbMATH OpenOpenAlexWikidataFDO

Authors Kazuhisa Nakasho

Publication date 19 November 2019

Published in Formalized Mathematics (Search for Journal in Brave)

Copyright license Creative Commons Attribution-ShareAlike 4.0 International

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) Formalization of mathematics in connection with theorem provers (68V20) Abstract inverse mapping and implicit function theorems involving nonlinear operators (47J07)

Recommendations

• Inverse function theorem. I
• Implicit function theorem. I
• Implicit function theorem. II
• scientific article; zbMATH DE number 1182866
• Orthogonality in locally convex spaces: two nonlinear generalizations of Neumann's lemma

Cites work

• scientific article; zbMATH DE number 3678487 (Why is no real title available?)
• scientific article; zbMATH DE number 1199721 (Why is no real title available?)
• Cartesian products of family of real linear spaces
• Four decades of \textsc{Mizar}. Foreword
• Implicit function theorem. I
• The role of the Mizar mathematical library for interactive proof development in Mizar

Cited in

(10)

• (1. 2) inverses of operators between Banach spaces and local conjugacy theorem
• Inverse function theorem. I
• Invertible transformations acting on Orlicz spaces
• Invertible sequences of bounded linear operators
• Структурное представление обратного оператора в банаховом простанстве
• Implicit function theorem. II
• Berezin symbol and invertibility of operators on the functional Hilbert spaces
• The fundamental equations for inversion of operator pencils on Banach space
• scientific article; zbMATH DE number 6516007 (Why is no real title available?)
• scientific article; zbMATH DE number 1553296 (Why is no real title available?)

Describes a project that uses

Uses Software

• Mizar

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

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