集合域
(重定向自集合上的代數)
在集合代数中,域,或者代数,是指一种有序对,其中 是集合, 是由集合 的一些子集构成的一种集类,它满足 自身是它的元素,且对加法(有限并)封闭和乘法(有限交)及逆(余集)运算封闭。在这样的集类中,空集类似于 0,因为和它相加(并)的任何集合结果还是自身;全集相当于 1,因为和它相乘(交)的任何集合还是自身。
也可把满足上述条件的集类称为域或代数
定义编辑
非空集类 若满足以下条件:
- ;
- (对有限并、有限交封闭);
- (对补集运算封闭).
则称其为 上的一个代数[1]。
或者可以把代数定义为有元素 和空集、对有限交(或有限并)和余集运算封闭的 的子集类[2],这两者是等价的。
性质编辑
无论从哪个定义出发,利用德摩根定律和集合交与并运算的分配律,都可列出代数具有如下性质:空集和全集是它的元素、对有限并和有限交封闭、对补集运算封闭、对差集运算封闭。
一个代数也一定是一个环[3]。用可列不交并封闭一个代数,将得到一个σ-代数[2]:5,而后者是数学严格化测度论与概率论非常重要的一种集类。
其中用可列不交并封闭一个代数 得到的新集类定义是:
其他定义编辑
集合域在布尔代数的表示理论中扮演中心角色。所有布尔代数都可以被表示为集合域。
参见编辑
- 内部代数
- 亚历山德罗夫拓扑
- Stone布尔代数表示定理
- 史东对偶性
- 布尔环
参考编辑
- ^ A.H.施利亚耶夫. 概率(第一卷)(修订和补充第三版). 高等教育出版社. : 134. ISBN 978-7-04-022059-9.
- ^ 2.0 2.1 严加安. 测度论讲义. 科学出版社. : 4. ISBN 978-7-03-013409-7.
- ^ 程士宏. 测度论与概率论基础. 北京大学出版社. : 5. ISBN 978-7-301-06345-3.
- Goldblatt, R., Algebraic Polymodal Logic: A Survey, Logic Journal of the IGPL, Volume 8, Issue 4, p. 393-450, July 2000
- Goldblatt, R., Varieties of complex algebras, Annals of Pure and Applied Logic, 44, p. 173-242, 1989
- Johnstone, Peter T. Stone spaces 3rd edition. Cambridge: Cambridge University Press. 1982. ISBN 0-521-33779-8.
- Naturman, C.A., Interior Algebras and Topology, Ph.D. thesis, University of Cape Town Department of Mathematics, 1991
🔥 Top keywords: Baike: 首页Special:搜索胖猫跳江事件背着善宰跑九龍城寨之圍城逆天奇案2璩静淚之女王歌手2024Energy (組合)新生 (网络剧)习近平匈牙利邊佑錫劉俊謙 (香港)金智媛神耆小子塞尔维亚金秀賢 (男演員)母亲节猩球崛起:王國誕生九龍寨城馴鹿寶貝家族榮耀之繼承者Seventeen (組合)六四事件不夠善良的我們张维为楊佩潔TripleS支配物种庆余年郭葦昀洪若潭命案金惠奫2024年英雄联盟季中邀请赛春色寄情人BABYMONSTER笑看風雲乘風2024排球少年!!角色列表破墓徐巧芯中华人民共和国中華民國打天下2WIND BREAKER—防風少年—习明泽排球少年!!彭丽媛磁暴ILLIT贾斯汀·比伯逆天奇案BOYNEXTDOOR猿人爭霸戰:猩凶革命張書偉我的婆婆怎麼那麼可愛我獨自升級怪獸8號謝坤達IVE (組合)與鳳行關於我轉生變成史萊姆這檔事角色列表黃道十二宮福建號航空母艦虽然不是英雄葉乃文五月天張員瑛草榴社区張文傑2024年花蓮地震极光香緹·摩爾迷宮飯呂家愷搜查班長1958日本劉德華海莉·鮑德溫蕭景鴻越位 (足球)葬送的芙莉蓮周處除三害 (電影)毛泽东願榮光歸香港林峯周雨彤伍允龍羅毓儀香港Baike: 分類索引沒有秘密猩球崛起:終極決戰角質層唐振剛柯佳嬿文化大革命