On distances and metrics in discrete ordered sets

Foldes, Stephan, and Radelecki, Sándor. "On distances and metrics in discrete ordered sets." Mathematica Bohemica 146.3 (2021): 251-262. <http://eudml.org/doc/297824>.

@article{Foldes2021,
abstract = {Discrete partially ordered sets can be turned into distance spaces in several ways. The distance functions may or may not satisfy the triangle inequality and restrictions of the distance to finite chains may or may not coincide with the natural, difference-of-height distance measured in a chain. It is shown that for semilattices the semimodularity ensures the good behaviour of the distances considered. The Jordan-Dedekind chain condition, which is weaker than semimodularity, is equivalent to the basic criterion that the graph-theoretic distance (realized by zig-zagging up and down freely in the poset to connect two points) is compatible with distances measured on chains by the relative height. Semimodularity is shown to be equivalent to the validity of the triangle inequality of a restricted graph-theoretic distance, called the up-down distance. The fact that the up-down distance corresponds to the computation of degrees of kinship in family trees leads to the observation that the less familiar canon-law method of computation corresponds also to a mathematically well behaved Chebyshev-type distance on discrete semilattices. For the Chebyshev distance also semimodularity is shown to imply the validity of the triangle inequality. The reverse implication fails, but assuming the validity of the triangle inequality, the semimodularity is shown to have a local characterization by a forbidden six-element subsemilattice. Like in the classical case of real spaces, the Chebyshev semilattice distance is shown to be the limit of a converging sequence of distances, all of them verifying the triangle inequality if the semilattice is semimodular.},
author = {Foldes, Stephan, Radelecki, Sándor},
journal = {Mathematica Bohemica},
keywords = {poset; semilattice; tree; semimodularity; chain condition; height; distance; metric; triangle inequality},
language = {eng},
number = {3},
pages = {251-262},
publisher = {Institute of Mathematics, Academy of Sciences of the Czech Republic},
title = {On distances and metrics in discrete ordered sets},
url = {http://eudml.org/doc/297824},
volume = {146},
year = {2021},
}

TY - JOUR
AU - Foldes, Stephan
AU - Radelecki, Sándor
TI - On distances and metrics in discrete ordered sets
JO - Mathematica Bohemica
PY - 2021
PB - Institute of Mathematics, Academy of Sciences of the Czech Republic
VL - 146
IS - 3
SP - 251
EP - 262
AB - Discrete partially ordered sets can be turned into distance spaces in several ways. The distance functions may or may not satisfy the triangle inequality and restrictions of the distance to finite chains may or may not coincide with the natural, difference-of-height distance measured in a chain. It is shown that for semilattices the semimodularity ensures the good behaviour of the distances considered. The Jordan-Dedekind chain condition, which is weaker than semimodularity, is equivalent to the basic criterion that the graph-theoretic distance (realized by zig-zagging up and down freely in the poset to connect two points) is compatible with distances measured on chains by the relative height. Semimodularity is shown to be equivalent to the validity of the triangle inequality of a restricted graph-theoretic distance, called the up-down distance. The fact that the up-down distance corresponds to the computation of degrees of kinship in family trees leads to the observation that the less familiar canon-law method of computation corresponds also to a mathematically well behaved Chebyshev-type distance on discrete semilattices. For the Chebyshev distance also semimodularity is shown to imply the validity of the triangle inequality. The reverse implication fails, but assuming the validity of the triangle inequality, the semimodularity is shown to have a local characterization by a forbidden six-element subsemilattice. Like in the classical case of real spaces, the Chebyshev semilattice distance is shown to be the limit of a converging sequence of distances, all of them verifying the triangle inequality if the semilattice is semimodular.
LA - eng
KW - poset; semilattice; tree; semimodularity; chain condition; height; distance; metric; triangle inequality
UR - http://eudml.org/doc/297824
ER -