Nearness, subfitness and sequential regularity (Q1840720)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Nearness, subfitness and sequential regularity
scientific article

    Statements

    Nearness, subfitness and sequential regularity (English)
    0 references
    0 references
    0 references
    11 February 2001
    0 references
    In the point-free context, the structure of nearness has been studied so far only in the regular case. The authors are concerned with the question as to how far beyond regularity one can go, that is, what is the weakest separation property under which an admissible nearness makes a reasonable sense. The answer is subfitness. Main theorem: The following statements on a frame \(L\) are equivalent: (i) Each sublocale of \(L\) quasi-admits a nearness; (ii) \(L\) is hereditarily subfit; (iii) \(L\) is sequentially regular; (iv) Each congruence on \(L\) is uniquely determined by the class containing 1. Finally, the authors compare the sequential regularity with more common separation axioms.
    0 references
    nearness space
    0 references
    nearness frame
    0 references
    subfit frame
    0 references
    regular
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references