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 条

[1] OPEN MAPPING THEOREM
NG, KF
PROCEEDINGS OF THE CAMBRIDGE PHILOSOPHICAL SOCIETY, 1973, 74 (JUL): : 61 - 66
[2] AN OPEN MAPPING THEOREM
Gabriyelyan, Saak S.
Morris, Sidney A.
BULLETIN OF THE AUSTRALIAN MATHEMATICAL SOCIETY, 2016, 94 (01) : 65 - 69
[3] OPEN MAPPING THEOREM
BROWN, LG
PACIFIC JOURNAL OF MATHEMATICS, 1971, 38 (01) : 25 - &
[4] APPLICATION OF THE OPEN MAPPING THEOREM TO LOMONOSOV THEOREM
Akashi, Shigeo
Iwata, Toyonari
JOURNAL OF NONLINEAR AND CONVEX ANALYSIS, 2022, 23 (06) : 1061 - 1064
[5] THE OPEN MAPPING THEOREM AND THE FUNDAMENTAL THEOREM OF ALGEBRA
Reem, Daniel
FIXED POINT THEORY, 2008, 9 (01): : 259 - 266
[6] THE OPEN MAPPING-THEOREM
ZOWE, J
AMERICAN MATHEMATICAL MONTHLY, 1982, 89 (07): : 458 - 460
[7] MAPPING THEOREM BASIC TO OPEN MAPPING THEORY
WICKE, HH
NOTICES OF THE AMERICAN MATHEMATICAL SOCIETY, 1976, 23 (05): : A543 - A543
[8] THE TIETZE EXTENSION THEOREM AND THE OPEN MAPPING-THEOREM
GRABINER, S
AMERICAN MATHEMATICAL MONTHLY, 1986, 93 (03): : 190 - 191
[9] BARRELLED SPACES AND OPEN MAPPING THEOREM
IYAHEN, SO
JOURNAL OF THE LONDON MATHEMATICAL SOCIETY-SECOND SERIES, 1975, 11 (OCT): : 421 - 422
[10] ON A GENERALISED OPEN-MAPPING THEOREM
BAKER, JW
MATHEMATISCHE ANNALEN, 1967, 172 (03) : 217 - &

← 1 2 3 4 5 →