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 条

[21] On a Non-linear Open Mapping Theorem
吴恭孚
刘良深
数学进展, 1985, (03) : 281 - 282
[22] An open mapping theorem for basis separating maps
Beckenstein, E
Narici, L
TOPOLOGY AND ITS APPLICATIONS, 2004, 137 (1-3) : 39 - 50
[23] AN OPEN MAPPING-THEOREM FOR FAMILIES OF MULTIFUNCTIONS
KHANH, PQ
JOURNAL OF MATHEMATICAL ANALYSIS AND APPLICATIONS, 1988, 132 (02) : 491 - 498
[24] OPEN MAPPING THEOREM FOR SPACES WITH UNIQUE SEGMENTS
STEIN, JD
PACIFIC JOURNAL OF MATHEMATICS, 1972, 40 (02) : 459 - &
[25] An open mapping theorem without continuity and linearity
Li Ronglu
Zhong Shuhui
Swartz, C.
TOPOLOGY AND ITS APPLICATIONS, 2010, 157 (13) : 2086 - 2093
[26] AN INDUCTION THEOREM AND GENERAL OPEN MAPPING THEOREMS
KHANH, PQ
JOURNAL OF MATHEMATICAL ANALYSIS AND APPLICATIONS, 1986, 118 (02) : 519 - 534
[27] S-SPACES AND OPEN MAPPING THEOREM
HUSAIN, T
PACIFIC JOURNAL OF MATHEMATICS, 1962, 12 (01) : 253 - &
[28] The open mapping theorem for regular quaternionic functions
Gentili, Graziano
Stoppato, Caterina
ANNALI DELLA SCUOLA NORMALE SUPERIORE DI PISA-CLASSE DI SCIENZE, 2009, 8 (04) : 805 - 815
[29] AN OPEN MAPPING-THEOREM ON HOMOGENEOUS SPACES
KOSHI, S
TAKESAKI, M
JOURNAL OF THE AUSTRALIAN MATHEMATICAL SOCIETY SERIES A-PURE MATHEMATICS AND STATISTICS, 1992, 53 : 51 - 54
[30] A generalization of the Open Mapping Theorem and a possible generalization of the Baire Category Theorem
Machowski, Antoni
TOPOLOGY AND ITS APPLICATIONS, 2023, 335

← 1 2 3 4 5 →