Convexity and constructive infima

Berger, Josef und Svindland, Gregor (2016): Convexity and constructive infima. In: Archive for Mathematical Logic, Bd. 55, Nr. 7-8: S. 873-881

Abstract

We show constructively that every quasi-convex uniformly continuous function has positive infimum, where is a convex compact subset of . This implies a constructive separation theorem for convex sets.

• Dokumententyp: Zeitschriftenartikel
• Fakultät: Mathematik, Informatik und Statistik > Mathematik
• Themengebiete: 500 Naturwissenschaften und Mathematik > 510 Mathematik
• ISSN: 0933-5846
• Sprache: Englisch