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.
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have