Constructive Notions of Compactness in Apartness Spaces

Type of content
Theses / Dissertations
Publisher's DOI/URI
Thesis discipline
Mathematics
Degree name
Master of Science
Publisher
University of Canterbury. Mathematics and Statistics
Journal Title
Journal ISSN
Volume Title
Language
Date
2011
Authors
Steinke, Thomas Alexander
Abstract

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.

Description
Citation
Keywords
Constructive Mathematics, Apartness Spaces, Uniform Spaces, Proximity
Ngā upoko tukutuku/Māori subject headings
ANZSRC fields of research
Rights
Copyright Thomas Alexander Steinke