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 条

[31] A PROBABILISTIC PROOF OF THE OPEN MAPPING THEOREM FOR ANALYTIC FUNCTIONS
Markowsky, Greg
BULLETIN OF THE AUSTRALIAN MATHEMATICAL SOCIETY, 2014, 90 (01) : 74 - 76
[32] An open mapping theorem for pro-Lie groups
Hofmann, Karl H.
Morris, Sidney A.
JOURNAL OF THE AUSTRALIAN MATHEMATICAL SOCIETY, 2007, 83 : 55 - 77
[33] An open mapping theorem for o-minimal structures
Johns, J
JOURNAL OF SYMBOLIC LOGIC, 2001, 66 (04) : 1817 - 1820
[34] Countably compact groups satisfying the open mapping theorem
Dikranjan, D
TOPOLOGY AND ITS APPLICATIONS, 1999, 98 (1-3) : 81 - 129
[35] An open mapping theorem for finitely copresented Esakia spaces
Gool, Samuel J. V.
Reggio, Luca
TOPOLOGY AND ITS APPLICATIONS, 2018, 240 : 69 - 77
[36] AN OPEN MAPPING THEOREM FOR ORDER-PRESERVING OPERATORS
Kocinac, Ljubisa D. R.
Aktamov, Feruz S.
Zaitov, Adilbek A.
KRAGUJEVAC JOURNAL OF MATHEMATICS, 2023, 47 (07): : 1057 - 1063
[37] THE THEOREM OF OPEN MAPPING IN TOPOLOGICAL VECTOR-SPACES
ADASCH, N
MATHEMATISCHE ZEITSCHRIFT, 1986, 191 (04) : 645 - 648
[38] Banach-Mazur game and open mapping theorem
Noll, Dominikus
TOPOLOGY AND ITS APPLICATIONS, 2022, 322
[39] TOPOLOGICAL GROUPS WHICH SATISFY AN OPEN MAPPING THEOREM
GRANT, DL
PACIFIC JOURNAL OF MATHEMATICS, 1977, 68 (02) : 411 - 423
[40] An open mapping theorem using unbounded generalized Jacobians
Jeyakumar, V
Luc, DT
NONLINEAR ANALYSIS-THEORY METHODS & APPLICATIONS, 2002, 50 (05) : 647 - 663

← 1 2 3 4 5 →