Open Mapping Theorem

被引：0

作者：

Sakurai, Hideki ^{[1
]}

Kunimune, Hisayoshi ^{[1
]}

Shidama, Yasunari ^{[1
]}

机构：

[1] Shinshu Univ, Nagano, Japan

来源：

FORMALIZED MATHEMATICS | 2008年 / 16卷 / 04期

关键词：

D O I：

10.2478/v10037-008-0048-5

中图分类号：

O1 [数学];

学科分类号：

0701 ; 070101 ;

摘要：

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.

引用

页码：401 / 403

页数：3

共 50 条

[41] Can Pourciau's open mapping theorem be derived from Clarke's inverse mapping theorem easily?
Bartl, David
Fabian, Marian
JOURNAL OF MATHEMATICAL ANALYSIS AND APPLICATIONS, 2021, 497 (02)
[42] Open mapping theorem and inversion theorem for gamma-paraconvex multivalued mappings and applications
Jourani, A
STUDIA MATHEMATICA, 1995, 117 (02) : 123 - 136
[43] Open mapping theorem for spaces of weakly additive homogeneous functionals
A. A. Zaitov
Mathematical Notes, 2010, 88 : 655 - 660
[44] Some Applications of the Open Mapping Theorem in Locally Convex Cones
Jafarizad, S.
Ranjbari, A.
UKRAINIAN MATHEMATICAL JOURNAL, 2021, 73 (03) : 498 - 505
[45] ANTI-OPEN MAPPING-THEOREM FOR FRECHET SPACES
BELLENOT, SF
PACIFIC JOURNAL OF MATHEMATICS, 1979, 83 (02) : 325 - 331
[46] ON A GENERAL OPEN MAPPING-THEOREM BY VALDIVIA,M.
MARI, JM
ACTA MATHEMATICA HUNGARICA, 1989, 53 (1-2) : 91 - 93
[47] OPEN MAPPING AND CLOSED GRAPH THEOREM FOR EMBEDDABLE TOPOLOGICAL SEMIGROUPS
GRANT, DL
CANADIAN MATHEMATICAL BULLETIN-BULLETIN CANADIEN DE MATHEMATIQUES, 1975, 18 (05): : 671 - 674
[48] Generalized Open Mapping Theorem for X-Normed Spaces
Angel Barria Comicheo
p-Adic Numbers, Ultrametric Analysis and Applications, 2019, 11 : 135 - 150
[49] Open Mapping Theorem for Spaces of Weakly Additive Homogeneous Functionals
Zaitov, A. A.
MATHEMATICAL NOTES, 2010, 88 (5-6) : 655 - 660
[50] The Zero Sets of Slice Regular Functions and the Open Mapping Theorem
Gentili, Graziano
Stoppato, Caterina
HYPERCOMPLEX ANALYSIS AND APPLICATIONS, 2011, : 95 - 107

← 1 2 3 4 5 →