GENERALIZED CONVEXITY AND CLOSURE CONDITIONS

Convex subsets of affine spaces over the field of real numbers are described by so-called barycentric algebras. In this paper, we discuss extensions of the geometric and algebraic definitions of a convex set to the case of more general coefficient rings. In particular, we show that the principal ideal subdomains of the reals provide a good framework for such a generalization. Since the closed intervals of these subdomains play an essential role, we provide a detailed analysis of certain cases, and discuss differences from the "classical" intervals of the reals. We introduce a new concept of an algebraic closure of "geometric" convex subsets of affine spaces over the subdomains in question, and investigate their properties. We show that this closure provides a purely algebraic description of topological closures of geometric generalized convex sets. Our closure corresponds to one instance of the very general closure introduced in an earlier paper of the authors. The approach used in this paper allows to extend some results from that paper. Moreover, it provides a very simple description of the closure, with concise proofs of existence and uniqueness.