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

#### 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.

#### Full Text:

4. [PDF]DOI: https://doi.org/10.4115/jla.2018.10.4

This work is licensed under a Creative Commons Attribution 3.0 License.

Journal of Logic and Analysis ISSN: 1759-9008