zbMATH — the first resource for mathematics

Examples
Geometry Search for the term Geometry in any field. Queries are case-independent.
Funct* Wildcard queries are specified by * (e.g. functions, functorial, etc.). Otherwise the search is exact.
"Topological group" Phrases (multi-words) should be set in "straight quotation marks".
au: Bourbaki & ti: Algebra Search for author and title. The and-operator & is default and can be omitted.
Chebyshev | Tschebyscheff The or-operator | allows to search for Chebyshev or Tschebyscheff.
"Quasi* map*" py: 1989 The resulting documents have publication year 1989.
so: Eur* J* Mat* Soc* cc: 14 Search for publications in a particular source with a Mathematics Subject Classification code (cc) in 14.
"Partial diff* eq*" ! elliptic The not-operator ! eliminates all results containing the word elliptic.
dt: b & au: Hilbert The document type is set to books; alternatively: j for journal articles, a for book articles.
py: 2000-2015 cc: (94A | 11T) Number ranges are accepted. Terms can be grouped within (parentheses).
la: chinese Find documents in a given language. ISO 639-1 language codes can also be used.

Operators
a & b logic and
a | b logic or
!ab logic not
abc* right wildcard
"ab c" phrase
(ab c) parentheses
Fields
any anywhere an internal document identifier
au author, editor ai internal author identifier
ti title la language
so source ab review, abstract
py publication year rv reviewer
cc MSC code ut uncontrolled term
dt document type (j: journal article; b: book; a: book article)
Retracts: graphs and ordered sets from the metric point of view. (English) Zbl 0597.54028
Combinatorics and ordered sets, Proc. AMS-IMS-SIAM Joint Summer Res. Conf., Arcata/Calif. 1985, Contemp. Math. 57, 175-226 (1986).

[For the entire collection see Zbl 0588.00011.]

The authors present a theory of generalized metric spaces motivated by analogies between metric spaces, graphs, and posets which occur mainly in fixed point theory, universality (embedding in powers or products), and some descriptive theory. Its inspiration is credited to the thesis of A. Quilliot [Thèse de doctorat d’État, Univ. Paris VI (1983)] which set forth a similar complex of analogies, a number of them new. While the present paper gives some more new results, the main point is the common generalization.

The graphs considered here are reflexive; this amounts to saying that morphisms may always collapse edges. A symmetric (i.e. undirected reflexive graph is considered as a metric space in which the distance between vertices x,y is 0 if x=y, 1/2 if xy but there is an edge joining x and y, and 1 otherwise. However, there is another relevant metric with values in N{}, distance being minimal length of a joining path. For directed graphs also there are a condensed and an expanded metric; the condensed one is 0 if x=y, 1/2 if xy but there are edges xy and yx, a if there is only xy, a ¯ if only yx, 1 if there is no edge, and the expanded one unfolds this like the undirected case. Posets are in effect treated as directed graphs, with the expanded metric; transitivity implies some simplification. This distance, the ”fence distance”, was introduced and exploited by Quilliot (op. cit.).

The basic abstraction from these examples is a metric space with distance in a Heyting involutive semigroup V: a complete lattice with semigroup operation + for which 0 is an identity, + is isotone, the involution - is isotone and anti-isomorphic for +, and (Λp α )+(Λq β )=Λ(p α +q β ). At this level, much can be done. V itself is an injective V-metric space (morphisms being non-expansive, embeddings rigid), every V-metric space is embeddable in a power of V and has an injective envelope. The further results require more concepts, but they include and extend recent results on fixed points of non-expansive mappings of hyperconvex spaces (beginning with the fixed point theorem for a bounded hyperconvex space of R. Sine and P. M. Soardi). The authors point out more analogies which they cannot yet treat as instances of single central ideas; notably, precompactness of a metric space corresponds to partial well-orderedness of a poset.

Reviewer: J.R.Isbell

MSC:
54E35Metric spaces, metrizability
54F05Linearly, generalized, and partial ordered topological spaces
06F30Order topologies (order-theoretic aspects)
06A06Partial order
05C20Directed graphs (digraphs), tournaments