Affine Hulls and Simplices: a Constructive Analysis
Douglas S. Bridges
Published: 2025/9/25
Abstract
This paper deals with certain fundamental results about affine hulls and simplices in a real normed linear space. The framework of the paper is Bishop's constructive mathematics, which, with its characteristic interpretation of existence as constructibility, often involves more subtle estimation than its classical-logic-based counterpart. As well as technically more involved proofs (for example, that of Theorem 29 on the perturbation of vertices), we have included a number of elementary ones for completeness of exposition.