Banach’s Continuous Inverse Theorem and Closed Graph Theorem

Pole DC	Wartość	Język
dc.contributor.author	Sakurai, Hideki	-
dc.contributor.author	Okazaki, Hiroyuki	-
dc.contributor.author	Shidama, Yasunari	-
dc.date.accessioned	2015-12-06T19:06:08Z	-
dc.date.available	2015-12-06T19:06:08Z	-
dc.date.issued	2012	-
dc.identifier.citation	Formalized Mathematics, Volume 20, Issue 4, 2012, Pages 271-274	-
dc.identifier.issn	1426-2630	-
dc.identifier.issn	1898-9934	-
dc.identifier.uri	http://hdl.handle.net/11320/3652	-
dc.description.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.	-
dc.description.sponsorship	This work was supported by JSPS KAKENHI 22300285	-
dc.language.iso	en	-
dc.publisher	De Gruyter Open	-
dc.title	Banach’s Continuous Inverse Theorem and Closed Graph Theorem	-
dc.type	Article	-
dc.identifier.doi	10.2478/v10037-012-0032-y	-
dc.description.Affiliation	Sakurai Hideki - 406-3, Haneo, Naganohara Agatuma, Gunma, Japan	-
dc.description.Affiliation	Okazaki Hiroyuki - Shinshu University, Nagano, Japan	-
dc.description.Affiliation	Shidama Yasunari - Shinshu University, Nagano, Japan	-
dc.description.references	Grzegorz Bancerek. The ordinal numbers. Formalized Mathematics, 1(1):91-96, 1990.	-
dc.description.references	Czesław Bylinski. Basic functions and operations on functions. Formalized Mathematics, 1(1):245-254, 1990.	-
dc.description.references	Czesław Bylinski. Functions and their basic properties. Formalized Mathematics, 1(1):55-65, 1990.	-
dc.description.references	Czesław Bylinski. Functions from a set to a set. Formalized Mathematics, 1(1):153-164, 1990.	-
dc.description.references	Czesław Bylinski. Partial functions. Formalized Mathematics, 1(2):357-367, 1990.	-
dc.description.references	Czesław Bylinski. Some basic properties of sets. Formalized Mathematics, 1(1):47-53, 1990.	-
dc.description.references	Czesław Bylinski. Introduction to real linear topological spaces. Formalized Mathematics, 13(1):99-107, 2005.	-
dc.description.references	Noboru Endou, Yasumasa Suzuki, and Yasunari Shidama. Real linear space of real sequences. Formalized Mathematics, 11(3):249-253, 2003.	-
dc.description.references	Eugeniusz Kusak, Wojciech Leonczuk, and Michał Muzalewski. Abelian groups, fields and vector spaces. Formalized Mathematics, 1(2):335-342, 1990.	-
dc.description.references	Isao Miyadera. Functional Analysis. Riko-Gaku-Sya, 1972.	-
dc.description.references	Takaya Nishiyama, Keiji Ohkubo, and Yasunari Shidama. The continuous functions on normed linear spaces. Formalized Mathematics, 12(3):269-275, 2004.	-
dc.description.references	Hiroyuki Okazaki, Noboru Endou, and Yasunari Shidama. Cartesian products of family of real linear spaces. Formalized Mathematics, 19(1):51-59, 2011, doi: 10.2478/v10037-011-0009-2.	-
dc.description.references	Beata Padlewska and Agata Darmochwał. Topological spaces and continuous functions. Formalized Mathematics, 1(1):223-230, 1990.	-
dc.description.references	Jan Popiołek. Real normed space. Formalized Mathematics, 2(1):111-115, 1991.	-
dc.description.references	Yasunari Shidama. Banach space of bounded linear operators. Formalized Mathematics, 12(1):39-48, 2004.	-
dc.description.references	Wojciech A. Trybulec. Subspaces and cosets of subspaces in real linear space. Formalized Mathematics, 1(2):297-301, 1990.	-
dc.description.references	Wojciech A. Trybulec. Vectors in real linear space. Formalized Mathematics, 1(2):291-296, 1990.	-
dc.description.references	Zinaida Trybulec. Properties of subsets. Formalized Mathematics, 1(1):67-71, 1990.	-
dc.description.references	Edmund Woronowicz. Relations and their basic properties. Formalized Mathematics, 1(1):73-83, 1990.	-
dc.description.references	Edmund Woronowicz. Relations defined on sets. Formalized Mathematics, 1(1):181-186, 1990.	-
Występuje w kolekcji(ach):	Formalized Mathematics, 2012, Volume 20, Issue 4

Pliki w tej pozycji:

Plik	Opis	Rozmiar	Format
v10037-012-0032-y.pdf		260,2 kB	Adobe PDF	Otwórz

Pokaż uproszczony widok rekordu Zobacz statystyki

Pozycja ta dostępna jest na podstawie licencji Licencja Creative Commons CCL