并运算

✍ dations ◷ 2025-07-02 11:33:04 #序理论,抽象代数,二元运算

在数学中,集合上的并(英语:join)可以用两种方式定义:关于这个集合上的偏序的唯一上确界(最小上界),假定这种上确界存在的话;或者是满足幂等律的交换结合二元运算。在任何一个情况下,这个集合与并运算一起是并半格。两个定义生成等价的结果,除了偏序方式有可能直并的定义更一般的元素的集合的并之外。最常见到并运算的领域是格。

x {\displaystyle x} 是带有偏序 {\displaystyle \leq } 中的两个元素。 中的一个元素 z {\displaystyle z} 中的某些对元素可能缺乏并,要么因为它们根本就没有上界,要么因为它们的上界没有一个小于所有其他的。如果所有的元素对都有并,则这个并实际上是在 上的二元运算,并且容易看出这个运算满足下列三个条件: 对于 中任何元素 x {\displaystyle x} 上的二元运算 {\displaystyle \lor } , {\displaystyle \lor } 上的二元关系 {\displaystyle \leq } 上的偏序。实际上,对于 中任何元素 x {\displaystyle x} , {\displaystyle \leq } 中每对元素都有并,则确实 x y = y {\displaystyle x\lor y=y} , {\displaystyle \lor } 中某些元素 x {\displaystyle x} , {\displaystyle \lor } 的某个子集的确有关于它的上确界。对于非空有限子集,这两种方式生成同样的结果,因此任何一个都可以作为并的定义。在 的每个子集都有并的情况下,实际上 (, {\displaystyle \leq } ) 是完全格;详情请参见完全性 (序理论)。

相关

  • MRAM磁阻式随机存取内存(Magnetoresistive Random Access Memory,缩写为MRAM),是一种非易失性内存技术,从1990年代开始发展。这个技术的拥护者认为,这个技术速度接近SRAM,具有快闪存储
  • 珍妮·赫布特尼珍妮·赫布特尼(法语:Jeanne Hébuterne,1898年4月6日-1920年1月25日),又译珍妮·耶布特奴,法国艺术家。她是艺术家亚美迪欧·莫迪里安尼的事实婚姻妻子。赫布特尼出生于巴黎的一户
  • 动态摩擦在天体物理学之中,动态摩擦描述一物体在空间中移动时,受到周遭其他物体的重力影响而损失动量与动能的现象。动态摩擦最早由钱德拉塞卡于1943年时提出并且进行详细的探讨。考虑
  • 格蕾丝·奥马利格蕾丝·奥马利(英语:Grace O'Malley;1530年-1603年),本名格兰·妮瓦莱(爱尔兰语:Grainne Ní Mháille),在爱尔兰民间故事(英语:Irish folklore)中一般称为秃头格兰(爱尔兰语:Gráinne Mha
  • 弗里斯山坐标:77°45′S 161°28′E / 77.750°S 161.467°E / -77.750; 161.467弗里斯山南极洲的山峰,位于维多利亚地,处于泰勒冰川北面,长11公里,海拔高度1,750米,以国家档案和记录管理
  • 李景祥李景祥(1845年-1903年),字书云,浙江鄞县(今属宁波市)人。清末官员、诗人。道光二十四年出生。光绪二十一年(1895年)乙未恩科三甲进士,同年五月,著交吏部掣签分发各省,以奉天广宁知县即用
  • 爱情事件 (1994年电影)《爱情事件》是一部1994年的美国爱情电影,翻拍自1939年的同名电影(英语:Love Affair (1939 film))。影片由格伦·戈登·卡伦(英语:Glenn Gordon Caron)执导,华伦·比提监制,基于米尔
  • 米歇尔 (足球运动员)何塞·米格尔·冈萨雷斯·马丁·德尔·坎波(西班牙语:José Miguel González Martín del Campo,1963年3月23日-),简称米歇尔(Míchel),是西班牙前足球运动员,司职中场,退役后担任教练
  • 李世藩李世藩,又作李世璠,明朝末年清朝初年云南蒙自(今云南省蒙自)人。康熙四年(1665年)三月,迤东土酋宁州禄昌贤、新兴王耀祖、嶍峨禄益、王杨祖、王弄山、王朔、蒙自李日新、李世璠、李
  • 菲利普·库亚尔菲利普·库亚尔(Philippe Couillard;1957年6月26日-),加拿大政治人物,2014年-18年间任职第31任魁北克省省长,2013年-18年间担任魁北克自由党党魁,期间先后任职魁北克省议会乌特蒙选