arXiv++ Combinatorics

In the early 80's, Alain Quilliot presented an approach of ordered sets and graphs in terms of metric spaces, where instead of positive real numbers, the values of the distance are elements of an ordered monoid equipped with an involution. This point of view was further developed in a series of papers by Jawhari, Misane, Pouzet, Rosenberg and Kabil. Some results are currently published by Rosenberg, Kabil and Pouzet, Bandelt, Pouzet and Saïdane, Khamsi and Pouzet. Special aspects were developed by the authors of the present paper. A survey on generalized metric spaces is in print. In this paper, we review briefly the salient aspects of the theory of generalized metric spaces, then we illustrate the properties of the preservation, by operations, of sets of relations, notably binary relations, and particularly equivalence relations.

Two structures are said to be equimorphic if each embeds in the other. Such structures cannot be expected to be isomorphic, and in this paper we investigate the special case of linear orders, here also called chains. In particular we provide structure results for chains having less than continuum any isomorphism classes of equimorphic chains. We deduce as a corollary that any chain has either a single isomorphism class of equimorphic chains or infinitely many.

We investigate infinite versions of vector and affine space partition results, and thus obtain examples and a counterexample for a partition problem for relational structures. In particular we provide two (related) examples of an age indivisible relational structure which is not weakly indivisible.

The \textit{age} of a relational structure $\mathfrak A$ of signature $μ$ is the set $age(\mathfrak A)$ of its finite induced substructures, considered up to isomorphism. This is an ideal in the poset $Ω_μ$ consisting of finite structures of signature $μ$ and ordered by embeddability. If the structures are made of infinitely many relations and if, among those, infinitely many are at least binary then there are ideals which do not come from an age. We provide many examples. We particularly look at metric spaces and offer several problems. We also provide an example of an ideal $I$ of isomorphism types of at most countable structures whose signature consists of a single ternary relation symbol. This ideal does not come from the set $\age_{\mathfrak I}(\mathfrak A)$ of isomorphism types of substructures of $\mathfrak A$ induced on the members of an ideal $\mathfrak I$ of sets. This answers a question due to R. Cusin and J.F. Pabion (1970).