Guardado en:
| Autor principal: | |
|---|---|
| Formato: | Preprint |
| Publicado: |
2025
|
| Materias: | |
| Acceso en línea: | https://arxiv.org/abs/2509.20633 |
| Etiquetas: |
Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!
|
| _version_ | 1866912604090269696 |
|---|---|
| author | Bridges, Douglas S. |
| author_facet | Bridges, Douglas S. |
| contents | 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. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2509_20633 |
| institution | arXiv |
| publishDate | 2025 |
| record_format | arxiv |
| spellingShingle | Affine Hulls and Simplices: a Constructive Analysis Bridges, Douglas S. Logic 03F60 (Primary), 52A05, 52A07 (Secondary) 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. |
| title | Affine Hulls and Simplices: a Constructive Analysis |
| topic | Logic 03F60 (Primary), 52A05, 52A07 (Secondary) |
| url | https://arxiv.org/abs/2509.20633 |