完全布尔代数

✍ dations ◷ 2025-10-30 06:29:10 #完全布尔代数

在数学中，完全布尔代数是所有子集都有上确界的布尔代数。完全布尔代数在力迫理论中有重要作用。任何布尔代数都有一是其子代数的最小的完全布尔代数。作为偏序集合，这种的补全叫做戴德金补全。

所有有限布尔代数都是完全的。

给定集合的子集的代数是完全布尔代数。

对应于任何拓扑空间的正规开代数都是完全布尔代数。这个例子特别重要，因为所有力迫偏序集合都可以被认为是一个拓扑空间(给由是小于等于给定元素的所有元素的集合的那些集合组成的拓扑的基)。对应的正规开代数可以用来形成等价于通过给定力迫偏序集合的一般扩展的布尔值模型。

作为不完全的布尔代数的一个例子，考虑自然数的所有集合的搜集，并忽略有限差。结果的对象指示为 P(ω)/Fin，由自然数的集合的所有等价类组成，这里有关的等价关系是两个自然数的集合是等价的，如果它们的对称差是有限的。类似的定义布尔运算，例如，如果和是在 P(ω)/Fin 中的两个等价类，我们定义 ${displaystyle Aland B}$ 和分别是和某个(任何)元素。

现在设 a₀, a₁,... 是自然数的逐对不相交无限集合，并设 ₀, ₁,... 是它们在 P(ω)/Fin 中对应的等价类。则给定 ₀, ₁,... 在 P(ω)/Fin 中的任何上界，我们可以找到一个更小的上界，通过从的一个代表去除每个的一个元素。所以没有上确界。

相关

酶原有些酶在刚分泌时是没有催化活性的，这种没有活性的前体物称为酶原。一般生物体会通过肽键的剪切改变酶的构象使酶的活性中心形成或暴露出来而使酶具有活性。酶原的生理意思使
商都网商都网，原名商都信息港，是一家地区性的门户网站，隶属于中国网通河南省分公司。1997年10月25日商都信息港成立，1998年开通BBS——是河南第一个BBS系统，2000年获得网络新闻登载权，20
王世真王世真（1916年3月7日－2016年5月27日），福建福州人，中国核医学家。1938年毕业于清华大学化学系，1947年、1949年在美国衣阿华大学先后获硕士、博士学位。回中国以后，任职于中国协和医
椭圆形办公室椭圆形办公室（Oval Office）位于白宫西厢，是美国总统的正式办公室。顾名思义，办公室呈椭圆形，总统办公桌后有三扇朝南的窗户，房间北侧有一个壁炉。其建于1909年塔夫脱总统时期，办公
汤西川温泉站汤西川温泉站（湯西川温泉駅／ゆにしがわおんせんえき），位于日本栃木县日光市西川，为野岩铁道会津鬼怒川线的铁道站。地下车站，在葛老山隧道内设有一侧式站台。车站北侧是横越汤西
阿维安岛坐标：.mw-parser-output .geo-default,.mw-parser-output .geo-dms,.mw-parser-output .geo-dec{display:inline}.mw-parser-output .geo-nondefault,.mw-parser-output .geo-multi-punct{display:none}.mw-parser-output .longitude,.mw-parser-output .latitude{white-space:n
皮埃尔-埃梅里克·奥巴梅扬皮埃尔-埃梅里克·埃米利亚诺·弗朗索瓦·奥巴梅扬（法语：Pierre-Emerick Emiliano François Aubameyang，法语发音：.mw-parser-output .IPA{font-family:"Charis SIL","Doulos SIL","Linux Libertine","Segoe UI","Lucida Sans Unicode","Code2000","Gentium","Gentium Alternative","TITUS Cyberbit Ba
克里斯蒂安娜·韦伯 (赛艇运动员)克里斯蒂安娜·韦伯（德语：Christiane Weber，20世纪－），德国女子赛艇运动员。她曾代表西德、德国参加世界赛艇锦标赛，获得二枚金牌和一枚铜牌，均来自女子轻量级双人双桨项目。
范棠范棠（1914年－？），男，江苏无锡人，中国航空非金属材料科学专家，曾任北京航空材料研究所副总工程师、副所长、研究员级高级工程师。
宝丽来 (极化器)宝丽来（Polaroid）是一种用合成塑胶片制成的极化器（偏振器）或极化滤镜。此商标属于宝丽来公司。最初的材料在1929年由Edwin H. Land取得专利，并于1932年近一步开发。现在用于制作液晶显示器、光学显微镜、太阳眼镜。