TY - JOUR
T1 - Violator spaces vs closure spaces
AU - Kempner, Yulia
AU - Levit, Vadim E.
N1 - Publisher Copyright:
© 2018 Elsevier Ltd
PY - 2019/8
Y1 - 2019/8
N2 - The main goal of the paper is to make connections between two well-known, but, up to now, independently developed theories: the theory of violator spaces and the theory of closure spaces. Violator spaces were introduced by Matoušek et al. in 2008 as generalization of linear programming problems. The notion of closure arises in many disciplines, including topology, algebra, convexity analysis, logic etc. In this work, we investigate interrelations between violator spaces and closure spaces. We show that a violator mapping may be defined by a weak version of a closure operator. Interrelations between violator spaces and closure spaces give new insights on a number of well known findings. For example, we prove that violator spaces with a unique basis satisfy both the anti-exchange and the Krein–Milman properties. Finally, based on subsequent relaxations of the closure operator notion we introduce convex spaces as a generalization of violator spaces.
AB - The main goal of the paper is to make connections between two well-known, but, up to now, independently developed theories: the theory of violator spaces and the theory of closure spaces. Violator spaces were introduced by Matoušek et al. in 2008 as generalization of linear programming problems. The notion of closure arises in many disciplines, including topology, algebra, convexity analysis, logic etc. In this work, we investigate interrelations between violator spaces and closure spaces. We show that a violator mapping may be defined by a weak version of a closure operator. Interrelations between violator spaces and closure spaces give new insights on a number of well known findings. For example, we prove that violator spaces with a unique basis satisfy both the anti-exchange and the Krein–Milman properties. Finally, based on subsequent relaxations of the closure operator notion we introduce convex spaces as a generalization of violator spaces.
UR - http://www.scopus.com/inward/record.url?scp=85051497042&partnerID=8YFLogxK
U2 - 10.1016/j.ejc.2018.07.012
DO - 10.1016/j.ejc.2018.07.012
M3 - ???researchoutput.researchoutputtypes.contributiontojournal.article???
AN - SCOPUS:85051497042
SN - 0195-6698
VL - 80
SP - 203
EP - 213
JO - European Journal of Combinatorics
JF - European Journal of Combinatorics
ER -