Currently displaying 1 – 3 of 3

Showing per page

Order by Relevance | Title | Year of publication

Uniform Boundedness Principle

Hideki SakuraiHisayoshi KunimuneYasunari Shidama — 2008

Formalized Mathematics

In this article at first, we proved the lemma of the inferior limit and the superior limit. Next, we proved the Baire category theorem (Banach space version) [20], [9], [3], quoted it and proved the uniform boundedness principle. Moreover, the proof of the Banach-Steinhaus theorem is added.MML identifier: LOPBAN 5, version: 7.8.05 4.89.993

Open Mapping Theorem

Hideki SakuraiHisayoshi KunimuneYasunari Shidama — 2008

Formalized Mathematics

In this article we formalize one of the most important theorems of linear operator theory the Open Mapping Theorem commonly used in a standard book such as [8] in chapter 2.4.2. It states that a surjective continuous linear operator between Banach spaces is an open map.MML identifier: LOPBAN 6, version: 7.10.01 4.111.1036

Page 1

Download Results (CSV)