Affine Hulls and Simplices: a Constructive Analysis
Logic
2025-09-26 v1
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.
Cite
@article{arxiv.2509.20633,
title = {Affine Hulls and Simplices: a Constructive Analysis},
author = {Douglas S. Bridges},
journal= {arXiv preprint arXiv:2509.20633},
year = {2025}
}