交运算, 建議此條目或章節與并运算合并, 討論, 在数学中, 在一个集合上的交, meet, 有两种定义, 关于在这个集合上的偏序的唯一下确界, 最大下界, 假定下确界存在的话, 或者是满足幂等律的交换结合二元运算, 在任何一个情况下, 这个集合与一起是半格, 这两个定义产生等价的结果, 除了在偏序方式中有可能直接定义更一般的元素的集合的交, 最常见到的领域是格, 通常把, displaystyle, displaystyle, 的交指示为, displaystyle, land, 目录, 偏序定义, 泛代数定义,. 建議此條目或章節與并运算合并 討論 在数学中 在一个集合上的交 meet 有两种定义 关于在这个集合上的偏序的唯一下确界 最大下界 假定下确界存在的话 或者是满足幂等律的交换结合二元运算 在任何一个情况下 这个集合与交运算一起是半格 这两个定义产生等价的结果 除了在偏序方式中有可能直接定义更一般的元素的集合的交 最常见到交运算的领域是格 通常把 x displaystyle x 和 y displaystyle y 的交指示为 x y displaystyle x land y 目录 1 偏序定义 2 泛代数定义 3 两个定义的等价性 4 一般子集的交 5 参见偏序定义 编辑设 A 是带有偏序 displaystyle leq nbsp 的一个集合 并设 x displaystyle x nbsp 和 y displaystyle y nbsp 是 A 中的两个元素 A 的一个元素 z displaystyle z nbsp 是 x displaystyle x nbsp 和 y displaystyle y nbsp 的交 或最大下界或下确界 如果满足了下列两个条件 1 z x displaystyle z leq x nbsp 且 z y displaystyle z leq y nbsp 就是说 z displaystyle z nbsp 是 x displaystyle x nbsp 和 y displaystyle y nbsp 的下界 2 对于 A 中的任何 w displaystyle w nbsp 使得 w x displaystyle w leq x nbsp 且 w y displaystyle w leq y nbsp 有着 w z displaystyle w leq z nbsp 就是说 z displaystyle z nbsp 大于任何其他 x displaystyle x nbsp 和 y displaystyle y nbsp 的下界 如果有 x displaystyle x nbsp 和 y displaystyle y nbsp 的交 则它的确是唯一的 因为如果 z displaystyle z nbsp 和 z displaystyle z nbsp 都是 x displaystyle x nbsp 和 y displaystyle y nbsp 的最大下界 则 z z z displaystyle z leq z leq z nbsp 因而 z z displaystyle z z nbsp 如果交确实存在 它被指示为 x y displaystyle x land y nbsp 在 A 中的某对元素可能缺乏一个交 要么因为它们根本没有下界 要么因为它们的下界中没有一个大于所有其他的 如果所有的元素对都有交 则交实际上是在 A 上的二元运算 并且容易看出这个运算满足下列三个条件 对有 A 中任何元素 x displaystyle x nbsp y displaystyle y nbsp 和 z displaystyle z nbsp a x y y x displaystyle x land y y land x nbsp 交换律 b x y z x y z displaystyle x land y land z x land y land z nbsp 结合律 c x x x displaystyle x land x x nbsp 幂等律 泛代数定义 编辑通过定义 在集合 A上的 二元运算 displaystyle land nbsp 是交 如果它满足上面的三个条件 a b 和 c 有序对 A displaystyle land nbsp 就是交半格 此外 我们可以定义在 A 上二元关系 displaystyle leq nbsp 通过声称 x y displaystyle x leq y nbsp 当且仅当 x y x displaystyle x land y x nbsp 实际上 这个关系是在 A 上的偏序 对于 A 中任何元素 x displaystyle x nbsp y displaystyle y nbsp 和 z displaystyle z nbsp 有 x x displaystyle x leq x nbsp 因为 x x x displaystyle x land x x nbsp 通过公理 c 如果 x y displaystyle x leq y nbsp 且 y x displaystyle y leq x nbsp 则 x x y y x y displaystyle x x land y y land x y nbsp 通过公理 a 如果 x y displaystyle x leq y nbsp 且 y z displaystyle y leq z nbsp 则 x z displaystyle x leq z nbsp 因为 x z x y z x y z x y x displaystyle x land z x land y land z x land y land z x land y x nbsp 通过公理 b 两个定义的等价性 编辑如果 A displaystyle leq nbsp 是偏序集合 使得对于每对 A 中的元素都有交 则确实有 x y x displaystyle x land y x nbsp 当且仅当 x y displaystyle x leq y nbsp 因为在后者情况下 x displaystyle x nbsp 确实是 x displaystyle x nbsp 和 y displaystyle y nbsp 的下界 并且明显的 x displaystyle x nbsp 是最大下界当且仅当它是下界 所以用泛代数方式的交定义的偏序一致于最初的偏序 反过来 如果 A displaystyle land nbsp 是交半格 并且偏序 displaystyle leq nbsp 按泛代数方式定义 对于A 中某些元素 x displaystyle x nbsp 和 y displaystyle y nbsp 有 z x y displaystyle z x land y nbsp 则 z displaystyle z nbsp 是 x displaystyle x nbsp 和 y displaystyle y nbsp 关于 displaystyle leq nbsp 的最大下界 因为 z x x z x x y z z x displaystyle z land x x land z x land x land y z Rightarrow z leq x nbsp 类似的 z y displaystyle z leq y nbsp 并且如果 w displaystyle w nbsp 是 x displaystyle x nbsp 和 y displaystyle y nbsp 的另一个下界 则 w x w y w displaystyle w land x w land y w nbsp 从而 w z w x y w x y w y w displaystyle w land z w land x land y w land x land y w land y w nbsp 所以这个用最初的交定义的偏序定义的交一致于最初的交 换句话说 两种方式生成本质上等价的概念 集合配备了二元关系和二元运算二者 使得每个结构都由另一个确定 而且分别满足偏序或交的条件 一般子集的交 编辑如果 A displaystyle land nbsp 是交半格 则交可以被扩为任何非空有限集合的良好定义的交 通过在迭代二元运算中描述的描述的技术 可供选择的 如果交定义或定义自一个偏序 A 的某个子集确实有关于它的下确界 对于非空有限子集 这两种方式产生同样的结果 因为都可以做为交的定义 在 A 的每个子集都有交的情况下 A displaystyle leq nbsp 是完全格 详情参见完全性 序理论 参见 编辑下确界 格 数学 偏序集合 并运算 取自 https zh wikipedia org w index php title 交运算 amp oldid 69208285, 维基百科,wiki,书籍,书籍,图书馆,