Invertible operators on Banach spaces

DOI10.2478/FORMA-2019-0012zbMATH Open1432.68540OpenAlexW2963692946WikidataQ127450687 ScholiaQ127450687MaRDI QIDQ2337331FDOQ2337331

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

Cites Work

• Title not available (Why is that?)
• Cartesian products of family of real linear spaces
• Four decades of {\textsc{Mizar}}. Foreword
• Title not available (Why is that?)
• The role of the Mizar mathematical library for interactive proof development in Mizar
• Implicit function theorem. I

Cited In (10)

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

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)