Constructive Notions of Compactness in Apartness Spaces

Simple item page
dc.contributor.authorSteinke, Thomas Alexander
dc.date.accessioned2011-10-20T23:45:30Z
dc.date.available2011-10-20T23:45:30Z
dc.date.issued2011en
dc.description.abstractWe 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.en
dc.identifier.urihttp://hdl.handle.net/10092/5682
dc.identifier.urihttp://dx.doi.org/10.26021/8345
dc.language.isoen
dc.publisherUniversity of Canterbury. Mathematics and Statisticsen
dc.relation.isreferencedbyNZCUen
dc.rightsCopyright Thomas Alexander Steinkeen
dc.rights.urihttps://canterbury.libguides.com/rights/thesesen
dc.subjectConstructive Mathematicsen
dc.subjectApartness Spacesen
dc.subjectUniform Spacesen
dc.subjectProximityen
dc.titleConstructive Notions of Compactness in Apartness Spacesen
dc.typeTheses / Dissertations
thesis.degree.disciplineMathematicsen
thesis.degree.grantorUniversity of Canterburyen
thesis.degree.levelMastersen
thesis.degree.nameMaster of Scienceen
uc.bibnumber1703957en
uc.collegeFaculty of Scienceen
Files
Original bundle
Now showing 1 - 1 of 1
Thumbnail Image
Name:
thesis_fulltext.pdf
Size:
460.75 KB
Format:
Adobe Portable Document Format
Download
Collections
Engineering: Theses and Dissertations