Apartness, compactness and nearness (Q949606): Difference between revisions
From MaRDI portal
Removed claims |
Changed an Item |
||
Property / author | |||
Property / author: Douglas S. Bridges / rank | |||
Normal rank | |||
Property / author | |||
Property / author: Luminiţa Simona Vîţă / rank | |||
Normal rank |
Revision as of 17:11, 10 February 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Apartness, compactness and nearness |
scientific article |
Statements
Apartness, compactness and nearness (English)
0 references
21 October 2008
0 references
The paper investigates the possibility of introducing a notion of compactness for apartness spaces. The latter have been proposed as a suitable framework for doing topology constructively, and correspond to the classical theory of proximity spaces. The authors set out to find a definition of compactness that, for uniform spaces, is equivalent to totally boundedness together with completeness, and that is classically equivalent to the usual Heine-Borel definition. The chosen approach is to reconstruct a base of entourages from a given apartness relation. It is shown that this approach almost succeeds and that many interesting properties hold. Unfortunately it is not shown that a uniform space that is compact with respect to the reconstructed uniformity is totally bounded or complete. The paper is of relevance to anybody interested in constructive topology, compactness, and foundations of mathematics.
0 references
apartness
0 references
constructive topology
0 references
compact
0 references