2025/09/25 by Douglas Bridges, Bridges, Douglas S. · 1 citation
Business, Management and Accounting · #03F60 (Primary) #52A05 #52A07 (Secondary) #FOS: Mathematics #Logic (math.LO) #Optics and Image Analysis
paper · pdf · doi:10.48550/arxiv.2509.20633
openalex publication_date 2025/09/25 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28
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.