Tolerance relation
In universal algebra and lattice theory, a tolerance relation on an algebraic structure is a reflexive symmetric relation that is compatible with all operations of the structure. Thus a tolerance is like a congruence, except that the assumption of transitivity is dropped.[1] On a set, an algebraic structure with empty family of operations, tolerance relations are simply reflexive symmetric relations. A set that possesses a tolerance relation can be described as a tolerance space.[2] Tolerance relations provide a convenient general tool for studying indiscernibility/indistinguishability phenomena. The importance of those for mathematics had been first recognized by Poincaré.[3]
Definitions
A tolerance relation on an algebraic structure [math]\displaystyle{ (A,F) }[/math] is usually defined to be a reflexive symmetric relation on [math]\displaystyle{ A }[/math] that is compatible with every operation in [math]\displaystyle{ F }[/math]. A tolerance relation can also be seen as a cover of [math]\displaystyle{ A }[/math] that satisfies certain conditions. The two definitions are equivalent, since for a fixed algebraic structure, the tolerance relations in the two definitions are in one-to-one correspondence. The tolerance relations on an algebraic structure [math]\displaystyle{ (A,F) }[/math] form an algebraic lattice [math]\displaystyle{ \operatorname{Tolr}(A) }[/math] under inclusion. Since every congruence relation is a tolerance relation, the congruence lattice [math]\displaystyle{ \operatorname{Cong}(A) }[/math] is a subset of the tolerance lattice [math]\displaystyle{ \operatorname{Tolr}(A) }[/math], but [math]\displaystyle{ \operatorname{Cong}(A) }[/math] is not necessarily a sublattice of [math]\displaystyle{ \operatorname{Tolr}(A) }[/math].[4]
As binary relations
A tolerance relation on an algebraic structure [math]\displaystyle{ (A,F) }[/math] is a binary relation [math]\displaystyle{ \sim }[/math] on [math]\displaystyle{ A }[/math] that satisfies the following conditions.
- (Reflexivity) [math]\displaystyle{ a\sim a }[/math] for all [math]\displaystyle{ a\in A }[/math]
- (Symmetry) if [math]\displaystyle{ a\sim b }[/math] then [math]\displaystyle{ b\sim a }[/math] for all [math]\displaystyle{ a,b\in A }[/math]
- (Compatibility) for each [math]\displaystyle{ n }[/math]-ary operation [math]\displaystyle{ f\in F }[/math] and [math]\displaystyle{ a_1,\dots,a_n,b_1,\dots,b_n\in A }[/math], if [math]\displaystyle{ a_i\sim b_i }[/math] for each [math]\displaystyle{ i=1,\dots,n }[/math] then [math]\displaystyle{ f(a_1,\dots,a_n)\sim f(b_1,\dots,b_n) }[/math]. That is, the set [math]\displaystyle{ \{(a,b)\colon a\sim b\} }[/math] is a subalgebra of the direct product [math]\displaystyle{ A^2 }[/math] of two [math]\displaystyle{ A }[/math].
A congruence relation is a tolerance relation that is also transitive.
As covers
A tolerance relation on an algebraic structure [math]\displaystyle{ (A,F) }[/math] is a cover [math]\displaystyle{ \mathcal C }[/math] of [math]\displaystyle{ A }[/math] that satisfies the following three conditions.[5]:307, Theorem 3
- For every [math]\displaystyle{ C\in\mathcal C }[/math] and [math]\displaystyle{ \mathcal S\subseteq\mathcal C }[/math], if [math]\displaystyle{ \textstyle C\subseteq\bigcup\mathcal S }[/math], then [math]\displaystyle{ \textstyle\bigcap\mathcal S\subseteq C }[/math].
- In particular, no two distinct elements of [math]\displaystyle{ \mathcal C }[/math] are comparable. (To see this, take [math]\displaystyle{ \mathcal S=\{D\} }[/math].)
- For every [math]\displaystyle{ S\subseteq A }[/math], if [math]\displaystyle{ S }[/math] is not contained in any set in [math]\displaystyle{ \mathcal C }[/math], then there is a two-element subset [math]\displaystyle{ \{s,t\}\subseteq S }[/math] such that [math]\displaystyle{ \{s,t\} }[/math] is not contained in any set in [math]\displaystyle{ \mathcal C }[/math].
- For every [math]\displaystyle{ n }[/math]-ary [math]\displaystyle{ f\in F }[/math] and [math]\displaystyle{ C_1,\dots,C_n\in\mathcal C }[/math], there is a [math]\displaystyle{ (f/{\sim})(C_1,\dots,C_n)\in\mathcal C }[/math] such that [math]\displaystyle{ \{f(c_1,\dots,c_n)\colon c_i\in C_i\}\subseteq(f/{\sim})(C_1,\dots,C_n) }[/math]. (Such a [math]\displaystyle{ (f/{\sim})(C_1,\dots,C_n) }[/math] need not be unique.)
Every partition of [math]\displaystyle{ A }[/math] satisfies the first two conditions, but not conversely. A congruence relation is a tolerance relation that also forms a set partition.
Equivalence of the two definitions
Let [math]\displaystyle{ \sim }[/math] be a tolerance binary relation on an algebraic structure [math]\displaystyle{ (A,F) }[/math]. Let [math]\displaystyle{ A/{\sim} }[/math] be the family of maximal subsets [math]\displaystyle{ C\subseteq A }[/math] such that [math]\displaystyle{ c\sim d }[/math] for every [math]\displaystyle{ c,d\in C }[/math]. Using graph theoretical terms, [math]\displaystyle{ A/{\sim} }[/math] is the set of all maximal cliques of the graph [math]\displaystyle{ (A,\sim) }[/math]. If [math]\displaystyle{ \sim }[/math] is a congruence relation, [math]\displaystyle{ A/{\sim} }[/math] is just the quotient set of equivalence classes. Then [math]\displaystyle{ A/{\sim} }[/math] is a cover of [math]\displaystyle{ A }[/math] and satisfies all the three conditions in the cover definition. (The last condition is shown using Zorn's lemma.) Conversely, let [math]\displaystyle{ \mathcal C }[/math] be a cover of [math]\displaystyle{ A }[/math] and suppose that [math]\displaystyle{ \mathcal C }[/math] forms a tolerance on [math]\displaystyle{ A }[/math]. Consider a binary relation [math]\displaystyle{ \sim_{\mathcal C} }[/math] on [math]\displaystyle{ A }[/math] for which [math]\displaystyle{ a\sim_{\mathcal C}b }[/math] if and only if [math]\displaystyle{ a,b\in C }[/math] for some [math]\displaystyle{ C\in\mathcal C }[/math]. Then [math]\displaystyle{ \sim_{\mathcal C} }[/math] is a tolerance on [math]\displaystyle{ A }[/math] as a binary relation. The map [math]\displaystyle{ {\sim}\mapsto A/{\sim} }[/math] is a one-to-one correspondence between the tolerances as binary relations and as covers whose inverse is [math]\displaystyle{ \mathcal C\mapsto{\sim_{\mathcal C}} }[/math]. Therefore, the two definitions are equivalent. A tolerance is transitive as a binary relation if and only if it is a partition as a cover. Thus the two characterizations of congruence relations also agree.
Quotient algebras over tolerance relations
Let [math]\displaystyle{ (A,F) }[/math] be an algebraic structure and let [math]\displaystyle{ \sim }[/math] be a tolerance relation on [math]\displaystyle{ A }[/math]. Suppose that, for each [math]\displaystyle{ n }[/math]-ary operation [math]\displaystyle{ f\in F }[/math] and [math]\displaystyle{ C_1,\dots,C_n\in A/{\sim} }[/math], there is a unique [math]\displaystyle{ (f/{\sim})(C_1,\dots,C_n)\in A/{\sim} }[/math] such that
- [math]\displaystyle{ \{f(c_1,\dots,c_n)\colon c_i\in C_i\}\subseteq(f/{\sim})(C_1,\dots,C_n) }[/math]
Then this provides a natural definition of the quotient algebra
- [math]\displaystyle{ (A/{\sim},F/{\sim}) }[/math]
of [math]\displaystyle{ (A,F) }[/math] over [math]\displaystyle{ \sim }[/math]. In the case of congruence relations, the uniqueness condition always holds true and the quotient algebra defined here coincides with the usual one.
A main difference from congruence relations is that for a tolerance relation the uniqueness condition may fail, and even if it does not, the quotient algebra may not inherit the identities defining the variety that [math]\displaystyle{ (A,F) }[/math] belongs to, so that the quotient algebra may fail to be a member of the variety again. Therefore, for a variety [math]\displaystyle{ \mathcal V }[/math] of algebraic structures, we may consider the following two conditions.[4]
- (Tolerance factorability) for any [math]\displaystyle{ (A,F)\in\mathcal V }[/math] and any tolerance relation [math]\displaystyle{ \sim }[/math] on [math]\displaystyle{ (A,F) }[/math], the uniqueness condition is true, so that the quotient algebra [math]\displaystyle{ (A/{\sim},F/{\sim}) }[/math] is defined.
- (Strong tolerance factorability) for any [math]\displaystyle{ (A,F)\in\mathcal V }[/math] and any tolerance relation [math]\displaystyle{ \sim }[/math] on [math]\displaystyle{ (A,F) }[/math], the uniqueness condition is true, and [math]\displaystyle{ (A/{\sim},F/{\sim})\in\mathcal V }[/math].
Every strongly tolerance factorable variety is tolerance factorable, but not vice versa.
Examples
Sets
A set is an algebraic structure with no operations at all. In this case, tolerance relations are simply reflexive symmetric relations and it is trivial that the variety of sets is strongly tolerance factorable.
Groups
On a group, every tolerance relation is a congruence relation. In particular, this is true for all algebraic structures that are groups when some of their operations are forgot, e.g. rings, vector spaces, modules, Boolean algebras, etc.[6]:261–262 Therefore, the varieties of groups, rings, vector spaces, modules and Boolean algebras are also strongly tolerance factorable trivially.
Lattices
For a tolerance relation [math]\displaystyle{ \sim }[/math] on a lattice [math]\displaystyle{ L }[/math], every set in [math]\displaystyle{ L/{\sim} }[/math] is a convex sublattice of [math]\displaystyle{ L }[/math]. Thus, for all [math]\displaystyle{ A\in L/{\sim} }[/math], we have
- [math]\displaystyle{ A=\mathop\uparrow A\cap\mathop\downarrow A }[/math]
In particular, the following results hold.
- [math]\displaystyle{ a\sim b }[/math] if and only if [math]\displaystyle{ a\vee b\sim a\wedge b }[/math].
- If [math]\displaystyle{ a\sim b }[/math] and [math]\displaystyle{ a\le c,d\le b }[/math], then [math]\displaystyle{ c\sim d }[/math].
The variety of lattices is strongly tolerance factorable. That is, given any lattice [math]\displaystyle{ (L,\vee_L,\wedge_L) }[/math] and any tolerance relation [math]\displaystyle{ \sim }[/math] on [math]\displaystyle{ L }[/math], for each [math]\displaystyle{ A,B\in L/{\sim} }[/math] there exist unique [math]\displaystyle{ A\vee_{L/{\sim}}B,A\wedge_{L/{\sim}}B\in L/{\sim} }[/math] such that
- [math]\displaystyle{ \{a\vee_Lb\colon a\in A,\;b\in B\}\subseteq A\vee_{L/{\sim}}B }[/math]
- [math]\displaystyle{ \{a\wedge_Lb\colon a\in A,\;b\in B\}\subseteq A\wedge_{L/{\sim}}B }[/math]
and the quotient algebra
- [math]\displaystyle{ (L/{\sim},\vee_{L/{\sim}},\wedge_{L/{\sim}}) }[/math]
is a lattice again.[7][8][9]:44, Theorem 22
In particular, we can form quotient lattices of distributive lattices and modular lattices over tolerance relations. However, unlike in the case of congruence relations, the quotient lattices need not be distributive or modular again. In other words, the varieties of distributive lattices and modular lattices are tolerance factorable, but not strongly tolerance factorable.[7]:40[4] Actually, every subvariety of the variety of lattices is tolerance factorable, and the only strongly tolerance factorable subvariety other than itself is the trivial subvariety (consisting of one-element lattices).[7]:40 This is because every lattice is isomorphic to a sublattice of the quotient lattice over a tolerance relation of a sublattice of a direct product of two-element lattices.[7]:40, Theorem 3
See also
- Dependency relation
- Quasitransitive relation—a generalization to formalize indifference in social choice theory
- Rough set
References
- ↑ Kearnes, Keith; Kiss, Emil W. (2013). The Shape of Congruence Lattices. American Mathematical Soc.. p. 20. ISBN 978-0-8218-8323-5.
- ↑ Sossinsky, Alexey (1986-02-01). "Tolerance space theory and some applications". Acta Applicandae Mathematicae 5 (2): 137–167. doi:10.1007/BF00046585. https://www.researchgate.net/publication/225214345.
- ↑ Poincare, H. (1905). Science and Hypothesis (with a preface by J.Larmor ed.). New York: 3 East 14th Street: The Walter Scott Publishing Co., Ltd.. pp. 22-23. https://archive.org/details/scienceandhypoth00poinuoft.
- ↑ 4.0 4.1 4.2 Chajda, Ivan; Radeleczki, Sándor (2014). "Notes on tolerance factorable classes of algebras" (in en). Acta Scientiarum Mathematicarum 80 (3-4): 389–397. doi:10.14232/actasm-012-861-x. ISSN 0001-6969.
- ↑ Chajda, Ivan; Niederle, Josef; Zelinka, Bohdan (1976). "On existence conditions for compatible tolerances" (in en). Czechoslovak Mathematical Journal 26 (101): 304–311. doi:10.21136/CMJ.1976.101403. ISSN 0011-4642.
- ↑ Schein, Boris M. (1987). "Semigroups of tolerance relations" (in en). Discrete Mathematics 64: 253–262. doi:10.1016/0012-365X(87)90194-4. ISSN 0012-365X.
- ↑ 7.0 7.1 7.2 7.3 Czédli, Gábor (1982). "Factor lattices by tolerances" (in en). Acta Scientiarum Mathematicarum 44: 35–42. ISSN 0001-6969.
- ↑ Grätzer, George; Wenzel, G. H. (1990). "Notes on tolerance relations of lattices" (in en). Acta Scientiarum Mathematicarum 54 (3-4): 229–240. ISSN 0001-6969.
- ↑ Grätzer, George (2011) (in en). Lattice Theory: Foundation. Basel: Springer. doi:10.1007/978-3-0348-0018-1. ISBN 978-3-0348-0017-4.
Further reading
- Gerasin, S. N., Shlyakhov, V. V., and Yakovlev, S. V. 2008. Set coverings and tolerance relations. Cybernetics and Sys. Anal. 44, 3 (May 2008), 333–340. doi:10.1007/s10559-008-9007-y
- Hryniewiecki, K. 1991, Relations of Tolerance, FORMALIZED MATHEMATICS, Vol. 2, No. 1, January–February 1991.
![]() | Original source: https://en.wikipedia.org/wiki/Tolerance relation.
Read more |