Subfitness and Basics of Fitness

Jorge Picado and Aleš Pultr
Additional contact information
Jorge Picado: University of Coimbra, CMUC, Department of Mathematics
Aleš Pultr: Charles University, Department of Applied Mathematics

Chapter Chapter II in Separation in Point-Free Topology, 2021, pp 21-38 from Springer

Abstract: Abstract We can only agree with Peter Johnstone who wrote in Johnstone (Bull Amer Math Soc (N.S.) 8:41–53, 1983) that the first person (apart of Stone) to exploit the possibility of applying lattice theory to topology was Henry Wallman. In his article Wallman (Ann Math 39, 112–126, 1938) published in 1938 (already briefly mentioned in the Introduction), Wallman presented a compactification technically based on lattice theoretic principles, and proved that to determine the homology type of a space X one needs only the lattice of closed sets. When doing that, he needed a lattice formula substituting a sufficiently weak topological separation. His ingenious idea of the “disjunctive property”, namely the requirement that Disjunctive property Axiom disjunctive – if a ≠ b then there is a c such that precisely one of a ∧ c and b ∧ c is zero worked very well. Thus defined concept (now called, in the dual form, the subfitness) turned out to be one of the most important weak separation properties suitable for the point-free context.

Date: 2021
References: Add references at CitEc
Citations:

There are no downloads for this item, see the EconPapers FAQ for hints about obtaining it.

Related works:
This item may be available elsewhere in EconPapers: Search for items with the same title.

Export reference: BibTeX RIS (EndNote, ProCite, RefMan) HTML/Text

Persistent link: https://EconPapers.repec.org/RePEc:spr:sprchp:978-3-030-53479-0_2

Ordering information: This item can be ordered from
http://www.springer.com/9783030534790

DOI: 10.1007/978-3-030-53479-0_2

Access Statistics for this chapter

More chapters in Springer Books from Springer
Bibliographic data for series maintained by Sonal Shukla () and Springer Nature Abstracting and Indexing ().