Banach’s Continuous Inverse Theorem and Closed Graph Theorem

DOI10.2478/V10037-012-0032-YzbMath1283.46004OpenAlexW2082235155MaRDI QIDQ2852169

Yasunari Shidama, Hiroyuki Okazaki, Hideki Sakurai

Publication date: 8 October 2013

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

Full work available at URL: https://doi.org/10.2478/v10037-012-0032-y

Mathematics Subject Classification ID

Open mapping and closed graph theorems; completeness (including (B)-, (B_r)-completeness) (46A30) Computability and recursion theory (03D99)

Related Items (3)

Inverse function theorem. I ⋮ Implicit function theorem. I ⋮ Implicit function theorem. II

Cites Work

• Cartesian Products of Family of Real Linear Spaces

This page was built for publication: Banach’s Continuous Inverse Theorem and Closed Graph Theorem