完全格

Multi tool use
在数学中,完全格是在其中所有子集都有上确界(并)和下确界(交)的偏序集。完全格出现于数学和计算机科学的很多应用中。作为格的特殊实例,在序理论和泛代数中都有所研究。
完全格一定不能混淆于完全偏序(cpo),它构成严格的更加一般的一个偏序集合类别。更特殊的完全格是完全布尔代数和完全Heyting代数(locale)。
形式定义
偏序集合(L, ≤)是完全格,如果L的所有子集A在(L, ≤)中都有最大下界(下确界,交)和最小上界(上确界,并)二者。它们被表示为:
⋀{displaystyle bigwedge }
A(交)和⋁{displaystyle bigvee }
A(并)。
注意在A是空集的特殊情况下,L的任何元素都是空集的上界和下界,A的交将是L的最大元素。类似的,空集的并生成最小元素。因为定义还确保了二元交和并的存在,完全格因为形成了特殊种类的有界格。
上述定义的更多蕴涵在关于序理论中完备性性质的文章中讨论。
例子
- 给定集合的幂集,按包含排序。上确界给出自这些子集的并集而下确界给出自这些子集的交集。
单位区间[0,1]和扩展的实数轴,通过平常的全序和普通的上确界和下确界。实际上,全序集合(带有它的序拓扑)作为拓扑空间是紧致的,如果它作为一个格是完全的。
- 非负整数按整除排序。这个格最小元是1,因为它可以被任何其他数整除。可能令人惊奇的是,最大元是0,因为它可以被任何数整除。有限集合的上确界给出自最小公倍數而下确界给出自最大公约数。对于无限集合,上确界将总是0而下确界可以大于1。例如,所有偶数的集合有2作为最大公约数。如果从这个结构中去掉0它仍是格但不再是完全的。
- 任何给定群的子群在包含关系下。(尽管这里的下确界是平常的集合论交集,但子群的集合的上确界是子群的集合论并集所生成的子群,而不是集合论并集自身)。如果e是G的单位元,则平凡的群{e}是G的极小子群。而极大子群是群G自身。
模的子模按包含排序。上确界给出自子模的和而下确界给出自交集。
- 环的理想子环按包含排序。上确界给出自理想子环的和而下确界给出自交集。
拓扑空间的开集按包含排序。上确界给出自开集的并而下确界给出自交集的内部。
实数或复数的向量空间的凸集按包含排序。下确界给出自凸集的交集而上确界给出自并集的凸包。
- 在集合上拓扑按包含排序。下确界给出自拓扑的交集,而上确界给出自拓扑的并集所生成的拓扑。
- 在集合上的所有传递关系的格。
多重集的子多重集的格。
- 在集合上的所有等价关系的格;等价关系~被认为比≈更小(或"更细"),如果x~y总是蕴涵x≈y。
引用
参见
JHPsQl5Us5pddCFSZ VpXOPmzd
Popular posts from this blog
Place in Moyen-Ogooué, Gabon Lambaréné Street in Lambaréné Lambaréné Location in Gabon Coordinates: 0°41′18″S 10°13′55″E / 0.68833°S 10.23194°E / -0.68833; 10.23194 Coordinates: 0°41′18″S 10°13′55″E / 0.68833°S 10.23194°E / -0.68833; 10.23194 Country Gabon Province Moyen-Ogooué Population (2013 census) • Total 38,775 Lambaréné is a town and the capital of Moyen-Ogooué in Gabon. With a population of 38,775 as of 2013, it is located 75 kilometres south of the equator. Lambaréné is based in the Central African Rainforest at the river Ogooué. This river divides the city into 3 districts: Rive Gauche, Ile Lambaréné and Rive Droite. The Albert Schweitzer Hospital and the districts Adouma and Abongo are located on Rive Droite. The districts Atongowanga, Sahoty, Dakar, Grand Village, Château, Lalala and Bordamur build the Ile Lambaréné. The majority of the people in Lambaréné live in the district Isaac located on Rive Gauche. This distr...
This article is about the number. For the year, see 800. For other uses, see 800 (disambiguation). Natural number ← 799 800 801 → List of numbers — Integers ← 0 100 200 300 400 500 600 700 800 900 → Cardinal eight hundred Ordinal 800th (eight hundredth) Factorization 2 5 × 5 2 Greek numeral Ω´ Roman numeral DCCC Binary 1100100000 2 Ternary 1002122 3 Quaternary 30200 4 Quinary 11200 5 Senary 3412 6 Octal 1440 8 Duodecimal 568 12 Hexadecimal 320 16 Vigesimal 200 20 Base 36 M8 36 800 ( eight hundred ) is the natural number following 799 and preceding 801. It is the sum of four consecutive primes (193 + 197 + 199 + 211). It is a Harshad number. Contents 1 Integers from 801 to 899 1.1 800s 1.2 810s 1.3 820s 1.4 830s 1.5 840s 1.6 850s 1.7 860s 1.8 870s 1.9 880s 1.10 890s 2 References Integers from 801 to 899 800s Main article: 801...
body.skin-minerva .mw-parser-output table.infobox caption{text-align:center} 維納斯堡 Venersborg (英文) CDP Venersborg, Washington 維納斯堡位置圖 坐标: 45°46′58″N 122°27′43″W / 45.7828°N 122.462°W / 45.7828; -122.462 國家 美國 州 華盛頓州 郡 克拉克县 面积 • 总计 27.8 平方公里(10.7 平方英里) • 陸地 27.8 平方公里(10.7 平方英里) • 水域 0.0 平方公里(0.0 平方英里) 海拔 155 米(509 英尺) 人口 (2000年) • 總計 3,274 • 密度 118.0/平方公里(305.6/平方英里) 时区 PST (UTC-8) • 夏时制 PDT(UTC-7) FIPS碼 53-74585 [1] GNIS編號 1527695 [2] 維納斯堡 ( 英语: Venersborg )是美国华盛顿州克拉克县的一個普查规定居民点(CDP),2000年美國人口普查時人口為2,085人。 最初為瑞典人聚居地。 參見 維納什堡 参考資料 ^ American FactFinder. United States Census Bureau. [ 2008-01-31 ] . ^ US Board on Geographic Names. United States Geological Survey. 2007-10-25 [ 2008-01-31 ] . 查 论 编 克拉克县 行政區劃 郡治 : 溫哥華 市 巴特爾格朗德 | 卡默斯 | 拉申特 | 里奇菲尔德 | 溫哥華 | 瓦休戈 | 林地市‡ 鎮 亞科爾特 CDP 安波伊 | 巴伯頓 | 布拉什普雷里 | 櫻桃樹叢區 | ...