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

Pavel Osinenko, Stefan Streif

Research output: Contribution to journalArticlepeer-review

2 Citations (Scopus)

Abstract

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.

Original languageEnglish
JournalJournal of Logic and Analysis
Volume10
DOIs
Publication statusPublished - 2018
Externally publishedYes

Keywords

  • Constructive mathematics
  • Euclidean space
  • Extremum

Fingerprint

Dive into the research topics of 'A constructive version of the extremum value theorem for spaces of vector-valued functions'. Together they form a unique fingerprint.

Cite this