Constructive Notions of Compactness in Apartness Spaces
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...
| Main Author: | |
|---|---|
| Language: | en |
| Published: |
University of Canterbury. Mathematics and Statistics
2011
|
| Subjects: | |
| Online Access: | http://hdl.handle.net/10092/5682 |