Convexity and constructive infima

Abstract

We show constructively that every quasi-convex uniformly continuous function \(f : \mathrm {C}\rightarrow \mathbb {R}^+\) has positive infimum, where \(\mathrm {C}\) is a convex compact subset of \(\mathbb {R}^n\). This implies a constructive separation theorem for convex sets.