A constructive version of the extremum value theorem for spaces of vector-valued functions
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]
This work is licensed under a Creative Commons Attribution 3.0 License.
Journal of Logic and Analysis ISSN: 1759-9008