跳转到内容

相容关系

本页使用了标题或全文手工转换
维基百科,自由的百科全书

泛代数格理论中,相容关系(英语:tolerance relation)是指被代数结构的每个运算所保持的自反对称关系。是同余关系去掉传递性的要求而得到的概念。

具体内容参考:左孝凌离散数学,石纯一数理逻辑与集合论,对“相容关系与覆盖”的再认识。注意,左孝凌和再认识一文对完全覆盖的定义是不同的,左文定义的完全覆盖和相容关系是一一对应的,而再认识一文定义的完全覆盖和相容关系不是一一对应的。

定义

代数结构上的相容关系通常定义为与的所有运算都兼容的自反对称关系,也可视为满足某些条件的覆盖。可以证明两个定义是相互等价的。代数结构上的相容关系关于蕴涵构成代数格。每个同余关系是相容关系,因此同余关系格是相容关系格的一个子集,但不必是的子格。[1]

作为二元关系

代数结构上的相容关系定义为满足以下条件的上的二元关系

  • 自反性)对于任意,有
  • 对称性)对于任意,如果,那么有
  • (相容性)构成两个直积的子代数。也就是说,对于每个元运算以及,如果对每个成立,那么有

同余关系定义为传递的相容关系。

作为覆盖

代数结构上的相容关系定义为满足以下条件的覆盖[2]:307, Theorem 3

  • 对于任意以及,如果,那么有
    • 特别地,的任何两个不同元素是不可比较的。(取。)
  • 对于任意,如果不是的元素的子集,存在二元素子集使得不是的元素的子集。
  • 对于每个元运算以及,存在使得。(这样的不一定唯一。)

集合分划满足定义中的前两个条件,但是反之不然。同余关系定义为构成分划的相容关系。

两种定义的等价

相容关系作为二元关系和作为覆盖的定义是等价的。具体地,设是一个代数结构上的二元关系,并且是上的相容关系。记是由极大子集使得对于每个所构成的集合。使用图论术语,极大团的集合。在同余关系的情形下就是等价类组成的商集。那么,覆盖,并且满足作为覆盖定义中的三个条件。(最后一个条件可以使用佐恩引理予以证明。)反之,设覆盖,并且作为覆盖构成相容关系。定义上的二元关系,使得当且仅当存在使得。那么作为二元关系构成上的相容关系。因此两种定义等价。一个相容关系作为二元关系传递关系当且仅当作为覆盖分划。所以同余关系的两种刻画也是一致的。

关于相容关系的商代数

代数结构是其上的相容关系,并且设对于每个元运算以及,存在唯一的使得有

那么,这就自然地定义了关于商代数

对于同余关系,上面的唯一性条件必然成立,并且上面定义的商代数与通常的商代数是一致的。

同余关系不同,对于相容关系,上面的唯一性条件不一定成立;即使成立,商代数不一定继承用来定义所属的恒等式,于是不一定仍然落入这个簇。因此,对于代数结构簇,我们需要考虑它可能满足的以下两个条件。[1]

  • (相容可分解性)对于所有以及其上的相容关系,上面表述的唯一性条件成立。(从而可以定义商代数。)
  • (强相容可分解性)对于所有以及其上的相容关系,上面表述的唯一性条件成立,并且有

前者蕴涵后者,但是反之不一定成立。

集合

集合是没有任何运算的代数结构。此时,相容关系无非是集合上的自反对称关系。显然,集合簇是强相容可分解的。

中,所有相容关系是同余关系。特别地,对于那些具有群子结构的代数结构,如向量空间布尔代数也是如此。[3]:261–262因此,这些代数结构的簇也是强相容可分解的。

是其上的相容关系。那么的每个元素是凸子格。因此,对于每个,我们有

特别地,下面结果成立。

  • 当且仅当
  • 如果并且,那么

格簇是强相容可分解的。也就是说,给定以及其上的相容关系,对于任意,存在唯一的满足

并且商代数

仍然构成[4][5][6]:44, Theorem 22

特别地,分配格模格关于相容关系的商格总是存在。但是这种商格不一定仍然构成分配格模格。也就是说,分配格簇和模格簇是相容可分解的,但不是强相容可分解的。[4]:40[1]其实,格簇的所有子簇是相容可分解的,但是格簇的强相容可分解子簇只有自身和由单元素格构成的平凡子簇。这是因为,所有同构于二元素格的直积的子格关于相容关系的商格的子格。[4]:40, Theorem 3

参考文献

  1. ^ 1.0 1.1 1.2 Chajda, Ivan; Radeleczki, Sándor. Notes on tolerance factorable classes of algebras. Acta Scientiarum Mathematicarum. 2014, 80 (3-4): 389–397. ISSN 0001-6969. MR 3307031. S2CID 85560830. Zbl 1321.08002. doi:10.14232/actasm-012-861-x (英语). 
  2. ^ Chajda, Ivan; Niederle, Josef; Zelinka, Bohdan. On existence conditions for compatible tolerances. Czechoslovak Mathematical Journal. 1976, 26 (101): 304–311. ISSN 0011-4642. MR 0401561. Zbl 0333.08006. doi:10.21136/CMJ.1976.101403 (英语). 
  3. ^ Schein, Boris M. Semigroups of tolerance relations. Discrete Mathematics. 1987, 64: 253–262. ISSN 0012-365X. MR 0887364. Zbl 0615.20045. doi:10.1016/0012-365X(87)90194-4 (英语). 
  4. ^ 4.0 4.1 4.2 Czédli, Gábor. Factor lattices by tolerances. Acta Scientiarum Mathematicarum. 1982, 44: 35–42. ISSN 0001-6969. MR 0660510. Zbl 0484.06010 (英语). 
  5. ^ Grätzer, George; Wenzel, G. H. Notes on tolerance relations of lattices. Acta Scientiarum Mathematicarum. 1990, 54 (3-4): 229–240. ISSN 0001-6969. MR 1096802. Zbl 0727.06011 (英语). 
  6. ^ Grätzer, George. Lattice Theory: Foundation. Basel: Springer. 2011. ISBN 978-3-0348-0017-4. LCCN 2011921250. MR 2768581. Zbl 1233.06001. doi:10.1007/978-3-0348-0018-1 (英语).