General metrics and contracting operations (Q1331969): Difference between revisions
From MaRDI portal
Set profile property. |
Set OpenAlex properties. |
||
(One intermediate revision by one other user not shown) | |||
Property / cites work | |||
Property / cites work: Polynomial interpolation and the Chinese remainder theorem for algebraic systems / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5331549 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Representations of Lattices by Sets / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5610277 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Boolean geometry. I / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5515373 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5557940 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3939240 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Semi-primal algebras; characterization and normal-decomposition / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Semi-categorical algebras. I: Semi-primal algebras / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5659467 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5572358 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3730636 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Compatible function extension property / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3964626 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5840206 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3745890 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3208654 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Embeddings and absolute retracts of relational system / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: An application of the Helly property to the partially ordered sets / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Sequential Functions / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4126340 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3890691 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The subalgebra systems of direct powers / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4184893 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3659773 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Local completeness. I / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Decomposability of modules into a direct sum of ideals / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4168658 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4137221 / rank | |||
Normal rank | |||
Property / full work available at URL | |||
Property / full work available at URL: https://doi.org/10.1016/0012-365x(92)00527-x / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W1989919940 / rank | |||
Normal rank |
Latest revision as of 10:25, 30 July 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | General metrics and contracting operations |
scientific article |
Statements
General metrics and contracting operations (English)
0 references
6 June 1995
0 references
This paper extends the theory of \textit{E. M. Jawhari}, \textit{D. Misane} and the first author [Combinatorics and ordered sets, Contemp. Math. 57, 175- 226 (1986; Zbl 0597.54028)]. In the value monoid \(V\), 0 is no longer required to be the least element, and the axiom \(d(x, y)= 0\Leftrightarrow x= y\) is replaced by \(d(x, y)\leq 0\Leftrightarrow x= y\). This seemingly innocuous change has significant consequences leading to a more complex theory. ``The paper is divided in four sections. The first one relates the category of \(V\)-spaces and contractions to the category of relational systems and relational homomorphisms. This is done in a more general setting for \((A, d)\), where \(d\) maps \(A^ n\) to \((V,\leq)\) (for a positive integer \(n\)). In Section 2, for a join-semilattice we define \(m\)-ary contracting operations linking these \(n\)-ary spaces to universal algebras. In this context, we discuss the preservation of \(n\)-ary relations on \(A\), the \(n\)-interpolation property and the extension property. In Section 3, we develop the proper theory of generalized \(V\)- metric spaces. In particular we study the elements of \(V\) appearing as the values of \(d\) for at least one \(V\)-space \((A, d)\). The central notion of hyperconvexity takes a more complex form but is still equivalent to the one-point extension property. Special \(V\)'s may themselves be turned into metric spaces \((V, d_ V)\) and in this case we can embed every \(V\)- metric space into a power of \((V, d_ V)\). This happens when \(V\) is an Heyting algebra, i.e. satisfies an infinite distributive law (for \(+\) and \(\wedge\)). In this case, the notions of injectivity, absolute retracts, retracts of powers of \((V, d_ V)\) and hyperconvexity coincide. Moreover, we can say something about the relations compatible with all contracting operations. Next, we look at the special case of a meet- semilattice with least element 0. A \(V\)-metric space is called then an ultrametric space and the contracting operations form exactly the sets of terms of a congruence affine algebra on \(A\). In Section 4, we first extend an arbitrary binary space \(V\) into an Heyting algebra and we proceed to show that an arbitrary \(V\)-space embeds isometrically into a power of \((V, d_ V)\). We apply this to binary relational systems and to automata. A further application to the structural theory of automata studies the composition of an automaton from given building blocks which are themselves automata. Limiting outselves to feedback-free compositions, but allowing an infinite number of states, we can describe the situation in terms of a hyperconvex ultrametric.'' From the authors' introduction.
0 references
generalized metric space
0 references
clones of contracting maps
0 references
value monoid
0 references
relational systems
0 references
\(m\)-ary contracting operations
0 references
hyperconvexity
0 references
Heyting algebra
0 references
ultrametric
0 references
congruence affine algebra
0 references
structural theory of automata
0 references
feedback-free compositions
0 references