A constructive version of the extremum value theorem for spaces of vector-valued functions

被引：2

作者：

Osinenko, Pavel ^{[1
]}

Streif, Stefan ^{[1
]}

机构：

[1] Tech Univ Chemnitz, Lab Automat Control & Syst Dynam, D-09107 Chemnitz, Germany

来源：

JOURNAL OF LOGIC AND ANALYSIS | 2018年 / 10卷

关键词：

constructive mathematics; extremum; Euclidean space;

D O I：

10.4115/jla.2018.10.4

中图分类号：

B81 [逻辑学（论理学）];

学科分类号：

010104 ; 010105 ;

摘要：

It is shown that the extremum value theorem for spaces of two-dimensional vector-valued functions in an approximate format admits a proof in the sense of Bishop's constructive mathematics. The proof is based on an explicit construction of functions that build an approximation to the original function space.

引用

页数：13

共 50 条

[21] A VECTOR-VALUED VERSION OF RUSSO-DYE THEOREM
Navarro-Pascual, J. C.
Sanchez-Lirola, M. G.
COMMUNICATIONS IN CONTEMPORARY MATHEMATICS, 2009, 11 (06) : 1035 - 1048
[22] ON SPACES OF VECTOR-VALUED CONTINUOUS-FUNCTIONS
MENDOZA, J
BULLETIN DES SCIENCES MATHEMATIQUES, 1983, 107 (02): : 177 - 192
[23] WEIGHTED SPACES OF VECTOR-VALUED CONTINUOUS FUNCTIONS
PROLLA, JB
NOTICES OF THE AMERICAN MATHEMATICAL SOCIETY, 1971, 18 (02): : 366 - &
[24] Bergman and Bloch spaces of vector-valued functions
Arregui, JL
Blasco, O
MATHEMATISCHE NACHRICHTEN, 2003, 261 : 3 - 22
[25] Uniqueness of the topology on spaces of vector-valued functions
Villena, AR
JOURNAL OF THE LONDON MATHEMATICAL SOCIETY-SECOND SERIES, 2001, 64 : 445 - 456
[26] Preduals of Spaces of Vector-Valued Holomorphic Functions
Christopher Boyd
Czechoslovak Mathematical Journal, 2003, 53 : 365 - 376
[27] Characterizing Sobolev spaces of vector-valued functions
Caamano, Ivan
Jaramillo, Jesus A.
Prieto, Angeles
JOURNAL OF MATHEMATICAL ANALYSIS AND APPLICATIONS, 2022, 514 (01)
[28] On the structure of spaces of vector-valued Lipschitz functions
Garcia-Lirola, Luis
Petitjean, Colin
Zoca, Abraham Rueda
STUDIA MATHEMATICA, 2017, 239 (03) : 249 - 271
[29] ISOMORPHISMS OF SPACES OF CONTINUOUS VECTOR-VALUED FUNCTIONS
CAMBERN, M
ILLINOIS JOURNAL OF MATHEMATICS, 1976, 20 (01) : 1 - 11
[30] SPACES OF VECTOR-VALUED CONTINUOUS-FUNCTIONS
SCHMETS, J
LECTURE NOTES IN MATHEMATICS, 1983, 1003 : R3 - 117

← 1 2 3 4 5 →