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

Pavel Osinenko, Stefan Streif


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

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

Journal of Logic and Analysis ISSN:  1759-9008