Representing convex geometries by almost-circles

DOI10.14232/ACTASM-016-044-8zbMATH Open1399.05022arXiv1608.06550OpenAlexW2962922627MaRDI QIDQ3176659FDOQ3176659

Authors: Gábor Czédli, János Kincses 

Publication date: 23 July 2018

Published in: Acta Scientiarum Mathematicarum (Search for Journal in Brave)

Abstract: Finite convex geometries are combinatorial structures. It follows from a recent result of M. Richter and L.G. Rogers that there is an infinite set $T_{rr}$ of planar convex polygons such that $T_{rr}$ with respect to geometric convex hulls is a locally convex geometry and every finite convex geometry can be represented by restricting the structure of $T_{rr}$ to a finite subset in a natural way. An emph{almost-circle of accuracy} $1-epsilon$ is a differentiable convex simple closed curve $S$ in the plane having an inscribed circle of radius $r_1>0$ and a circumscribed circle of radius $r_2$ such that the ratio $r_1/r_2$ is at least $1-epsilon$. % Motivated by Richter and Rogers' result, we construct a set $T_{new}$ such that (1) $T_{new}$ contains all points of the plane as degenerate singleton circles and all of its non-singleton members are differentiable convex simple closed planar curves; (2) $T_{new}$ with respect to the geometric convex hull operator is a locally convex geometry; (3) as opposed to $T_{rr}$, $T_{new}$ is closed with respect to non-degenerate affine transformations; and (4) for every (small) positive $epsilonineal$ and for every finite convex geometry, there are continuum many pairwise affine-disjoint finite subsets $E$ of $T_{new}$ such that each $E$ consists of almost-circles of accuracy $1-epsilon$ and the convex geometry in question is represented by restricting the convex hull operator to $E$. The affine-disjointness of $E_1$ and $E_2$ means that, in addition to $E_{1}cap{E}_2=emptyset$, even $psi(E_1)$ is disjoint from $E_2$ for every non-degenerate affine transformation $psi$.

Full work available at URL: https://arxiv.org/abs/1608.06550

Recommendations

• On the representation of finite convex geometries with convex sets
• Convex dimension of locally planar convex geometries
• Representation of convex geometries by circles on the plane
• Finite convex geometries of circles
• The affine representation theorem for abstract convex geometries

zbMATH Keywords

differentiable curveabstract convex geometryalmost-circleanti-exchange system

Mathematics Subject Classification ID

Combinatorial aspects of finite geometries (05B25) Axiomatic and generalized convexity (52A01) Semimodular lattices, geometric lattices (06C10)

Cited In (4)

• Decomposition of convex figures into similar pieces
• CONDITIONAL LOGIC IS COMPLETE FOR CONVEXITY IN THE PLANE
• A convex combinatorial property of compact sets in the plane and its roots in lattice theory
• Representation of convex geometries by circles on the plane

This page was built for publication: Representing convex geometries by almost-circles

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3176659)