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.
Baroni, Marian Alexandru (University of Canterbury. Mathematics and Statistics, 2004)This thesis is an introduction to a constructive development of the theory of ordered vector spaces. Order structures are examined constructively; that is, with intuitionistic logic. Since the least-upper-bound principle ...
Diener, Hannes (University of Canterbury. Mathematics and Statistics, 2008)The aim of this thesis is to understand the constructive scope of compactness. We show that it is possible to deﬁne, constructively, a meaningful notion of compactness in a more general setting than the uniform/metric ...
McKubre-Jordens, M. (University of Canterbury. Mathematics and Statistics, 2012)The point of using constructive methods in mathematics is to explicitly exhibit any object or algorithm that the mathematician claims exists; so constructive proof provides, in principle, a mechanical method. Loosely ...
Dent, James Edgar (University of Canterbury. Department of Mathematics and Statistics, 2013)Constructive reverse mathematics is a programme in which non- and semi-constructive principles are classified in accordance with which other principles they imply or are implied by, relative to the framework of Bishop-style ...
Numerical Study of Flow and Pedestrian Level Wind Comfort Inside Uniform and Non-Uniform Street Canyons with Different Street Width to Building Height Aspect Ratios Pancholy PP; Clemens K; Geoghegan P; Jermy M; Moyers-Gonzalez M; Wilson PL (2017)The aim of this study is to provide input into knowledge-based expert systems by providing mean wind speed at the entire pedestrian level street width. The air flow around an individual building is complex. Around two ...