Semi-metrics, closure spaces and digital topology

M.B. Smyth
1995 Theoretical Computer Science  
We investigate certain generalized topological structures, with the aim of showing that they can provide a suitable framework within which to compare various approaches to digital topology (including tolerance geometry) with "ordinary" topology. Within an appropriate category of these structures, ordinary spaces arise as inverse limits of digital spaces. In the first instance, the structures can be taken to be (a slight generalization of) tech closure spaces. The structures of this type which
more » ... em to be the most useful are those which can be realized as topological graphs (see Section 3). Domain equations for the (real) unit interval provide our main detailed application (Section 4). Another application area which seems promising is that of modal semantics. 0304-3975/95/$09.50 0 1995-Elsevier Science B.V. All rights reserved SSDI 0304-3975(95)00053-4
doi:10.1016/0304-3975(95)00053-y fatcat:olklenlncbe7zbwl4tmyepn3sy