
arXiv: 2202.07697
Recently geometric hypergraphs that can be defined by intersections of pseudohalfplanes with a finite point set were defined in a purely combinatorial way. This led to extensions of earlier results about points and halfplanes to pseudohalfplanes, including polychromatic colorings and discrete Helly-type theorems about pseudohalfplanes. Here we continue this line of research and introduce the notion of convex sets of such pseudohalfplane hypergraphs. In this context we prove several results corresponding to classical results about convexity, namely Helly's Theorem, Carath\'eodory's Theorem, Kirchberger's Theorem, Separation Theorem, Radon's Theorem and the Cup-Cap Theorem. These results imply the respective results about pseudoconvex sets in the plane defined using pseudohalfplanes. It turns out that most of our results can be also proved using oriented matroids and topological affine planes (TAPs) but our approach is different from both of them. Compared to oriented matroids, our theory is based on a linear ordering of the vertex set which makes our definitions and proofs quite different and perhaps more elementary. Compared to TAPs, which are continuous objects, our proofs are purely combinatorial and again quite different in flavor. Altogether, we believe that our new approach can further our understanding of these fundamental convexity results.
Computational Geometry (cs.CG), FOS: Computer and information sciences, Helly's theorem, mathematics - combinatorics, Convex sets in \(2\) dimensions (including convex curves), Hypergraphs, Helly-type theorems and geometric transversal theory, Erdős problems and related topics of discrete geometry, Planar graphs; geometric and topological aspects of graph theory, geometric hypergraph, computer science - computational geometry, QA1-939, FOS: Mathematics, Mathematics - Combinatorics, QA Mathematics / matematika, convexity, pseudohalfplane, Combinatorial aspects of matroids and geometric lattices, Computer Science - Computational Geometry, General convexity, Combinatorics (math.CO), Matroids in convex geometry (realizations in the context of convex polytopes, convexity in combinatorial structures, etc.), Mathematics
Computational Geometry (cs.CG), FOS: Computer and information sciences, Helly's theorem, mathematics - combinatorics, Convex sets in \(2\) dimensions (including convex curves), Hypergraphs, Helly-type theorems and geometric transversal theory, Erdős problems and related topics of discrete geometry, Planar graphs; geometric and topological aspects of graph theory, geometric hypergraph, computer science - computational geometry, QA1-939, FOS: Mathematics, Mathematics - Combinatorics, QA Mathematics / matematika, convexity, pseudohalfplane, Combinatorial aspects of matroids and geometric lattices, Computer Science - Computational Geometry, General convexity, Combinatorics (math.CO), Matroids in convex geometry (realizations in the context of convex polytopes, convexity in combinatorial structures, etc.), Mathematics
| selected citations These citations are derived from selected sources. This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | 0 | |
| popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network. | Average | |
| influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | Average | |
| impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network. | Average |
