Representing convex geometries by almost-circles

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_{r r}

of planar convex polygons such that

T_{r r}

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_{r r}

to a finite subset in a natural way. An emph{almost-circle of accuracy}

1 - e p s i l o n

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 - e p s i l o n

. % Motivated by Richter and Rogers' result, we construct a set

T_{n e w}

such that (1)

T_{n e w}

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_{n e w}

with respect to the geometric convex hull operator is a locally convex geometry; (3) as opposed to

T_{r r}

,

T_{n e w}

is closed with respect to non-degenerate affine transformations; and (4) for every (small) positive

e p s i l o n i n e a l

and for every finite convex geometry, there are continuum many pairwise affine-disjoint finite subsets

E

of

T_{n e w}

such that each

E

consists of almost-circles of accuracy

1 - e p s i l o n

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} c a p E_{2} = e m p t y s e t

, even

p s i (E_{1})

is disjoint from

E_{2}

for every non-degenerate affine transformation

p s i

.

Recommendations

Cited in

(8)

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)