Apartness, compactness and nearness (Q949606): Difference between revisions

From MaRDI portal
RedirectionBot (talk | contribs)
Removed claims
RedirectionBot (talk | contribs)
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
    0 references
    0 references
    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
    0 references
    apartness
    0 references
    constructive topology
    0 references
    compact
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references