<abstract xmlns="http://www.w3.org/1999/xhtml"><p>In this article we formalize one of the most important theorems of linear operator theory - the Closed Graph Theorem commonly used in a standard text book such as [10] in Chapter 24.3. It states that a surjective closed linear operator between Banach spaces is bounded.</p></abstract>

In this article we formalize one of the most important theorems of linear operator theory - the Closed Graph Theorem commonly used in a standard text book such as [10] in Chapter 24.3. It states that a surjective closed linear operator between Banach spaces is bounded.

Banach’s Continuous Inverse Theorem and Closed Graph Theorem

406-3, Haneo, Naganohara Agatuma, Gunma, Japan

Formalized Mathematics

{"article-title":"Banach\u2019s Continuous Inverse Theorem and Closed Graph Theorem"}

In this article we formalize one of the most important theorems of linear operator theory - the Closed Graph Theorem commonly used in a standard text book such...

Banach’s Continuous Inverse Theorem and Closed Graph Theorem

Online veröffentlicht: 02. Feb. 2013

Seitenbereich: 271 - 274

DOI: https://doi.org/10.2478/v10037-012-0032-y

This content is open access.