Generalizing Topological Set Operators
Author(s) -
Yinbin Lei,
Jun Zhang
Publication year - 2019
Publication title -
electronic notes in theoretical computer science
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 0.242
H-Index - 60
ISSN - 1571-0661
DOI - 10.1016/j.entcs.2019.07.016
Subject(s) - closure operator , operator (biology) , mathematics , closure (psychology) , boundary (topology) , topological space , closed set , topology (electrical circuits) , set (abstract data type) , axiom , connected space , homeomorphism (graph theory) , compact operator on hilbert space , pure mathematics , discrete mathematics , compact operator , mathematical analysis , combinatorics , computer science , geometry , extension (predicate logic) , repressor , chemistry , biochemistry , transcription factor , market economy , programming language , economics , gene
It is well-known that topological spaces can be axiomatically defined by the topological closure operator, i.e., Kuratowski Closure Axioms. Equivalently, they can be axiomatized by other set operators reflecting primitive notions of topology, such as interior operator, derived set operator (or dually, exterior operators, co-derived set operators), or boundary operator. It is also known that topological closure operators (and dually, topological interior operators) can be weakened as in 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 these six operators can all be weakened in an appropriate way such that their relationships remain essentially the same as in topological spaces. Our results indicate that topological semantics can be fully relaxed to the weakened systems.
Accelerating Research
Robert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom
Address
John Eccles HouseRobert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom