It is well known that topological spaces are axiomatically characterized by the topological closure operator satisfying the Kuratowski Closure Axioms. Equivalently, they can be axiomatized by other set operators encoding primitive semantics of topology, such as interior operator, exterior operator, boundary operator, or derived-set operator (or dually, co-derived-set operator). It is also known that a topological closure operator (and dually, a topological interior operator) can be weakened into generalized closure (interior) systems. What about boundary operator, exterior operator, and derived-set (and co-derived-set) operator in the weakened systems? Our paper completely answers this question by showing that the above six set operators can all be weakened (from their topological counterparts) in an appropriate way such that their inter-relationships remain essentially the same as in topological systems. Moreover, we show that the semantics of an interior point, an exterior point, a boundary point, an accumulation point, a co-accumulation point, an isolated point, a repelling point, etc. with respect to a given set, can be extended to an arbitrary subset system simply by treating the subset system as a base of a generalized interior system (and hence its dual, a generalized closure system). This allows us to extend topological semantics, namely the characterization of points with respect to an arbitrary set, in terms of both its spatial relations (interior, exterior, or boundary) and its dynamic convergence of any sequence (accumulation, co-accumulation, and isolation), to much weakened systems and hence with wider applicability. Examples from the theory of matroid and of Knowledge/Learning Spaces are used as an illustration.
Nuestra experiencia con el uso de cierre asistido al vacío
