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

Pavel Osinenko | Zendy; Stefan Streif | Zendy

AI Assistant Blog Pricing

Home ZAIA Blog

Open Access

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

Author(s) -

Pavel Osinenko,

Stefan Streif

Publication year - 2018

Publication title -

journal of logic and analysis

Language(s) - English

Resource type - Journals

SCImago Journal Rank - 0.278

H-Index - 4

ISSN - 1759-9008

DOI - 10.4115/jla.2018.10.4

Subject(s) - mathematics , constructive , constructive proof , vector space , space (punctuation) , function space , pure mathematics , value (mathematics) , function (biology) , algebra over a field , discrete mathematics , calculus (dental) , computer science , medicine , dentistry , process (computing) , operating system , statistics , evolutionary biology , biology

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 Bishopu0027s constructive mathematics. The proof is based on an explicit construction of functions that build an approximation to the original function space.

The content you want is available to Zendy users.

Already have an account? Click here to sign in.

Having issues? You can contact us here

Accelerating Research