Constructive Notions of Compactness in Apartness Spaces (2011)
Type of ContentTheses / Dissertations
Degree NameMaster of Science
PublisherUniversity of Canterbury. Mathematics and Statistics
We present three criteria for compactness in the context of apartness spaces and Bishop-style constructive mathematics. Each of our three criteria can be summarised as requiring that there is a positive distance between any two disjoint closed sets. Neat locatedness and the product apartness give us three variations on this theme. We investigate how our three criteria relate to one another and to several existing compactness criteria, namely classical compactness, completeness, total boundedness, the anti-Specker property, and Diener's neat compactness.
KeywordsConstructive Mathematics; Apartness Spaces; Uniform Spaces; Proximity
RightsCopyright Thomas Alexander Steinke
Showing items related by title, author, creator and subject.
Francis A; Semple C; Steel M (2017)Phylogenetic networks are a type of directed acyclic graph that represent how a set X of present-day species are descended from a common ancestor by processes of speciation and reticulate evolution. In the absence of ...
Semple, Charles; Steel, M. (University of Canterbury, 1999)Let X be a finite set and let d be a function from X x X into an arbitrary group Q. An example of such a function arises by taking a tree T whose vertices include X, assigning two elements of Q to each edge of T ( one for ...