Formal continuity implies uniform continuity near compact images on metric spaces |
| |
Authors: | Erik Palmgren |
| |
Abstract: | The localic completion of a metric space induces a canonical notion of continuous map between metric spaces. It is shown that these maps are continuous in the sense of Bishop constructive mathematics, i.e., uniformly continuous near every compact image. |
| |
Keywords: | |
|
|