热门问题
时间线
聊天
视角
集合域
来自维基百科,自由的百科全书
Remove ads
Remove ads
在集合代數中,域,或者代數,是指一種有序對,其中 是集合, 是由集合 的一些子集構成的一種集類,它滿足 自身是它的元素,且對加法(有限並)封閉和乘法(有限交)及逆(余集)運算封閉。在這樣的集類中,空集類似於 0,因為和它相加(並)的任何集合結果還是自身;全集相當於 1,因為和它相乘(交)的任何集合還是自身。
也可把滿足上述條件的集類稱為域或代數
Remove ads
定義
非空集類 若滿足以下條件:
- ;
- (對有限並、有限交封閉);
- (對補集運算封閉).
則稱其為 上的一個代數[1]。
或者可以把代數定義為有元素 和空集、對有限交(或有限並)和余集運算封閉的 的子集類[2],這兩者是等價的。
Remove ads
性質
無論從哪個定義出發,利用德摩根定律和集合交與並運算的分配律,都可列出代數具有如下性質:空集和全集是它的元素、對有限並和有限交封閉、對補集運算封閉、對差集運算封閉。
一個代數也一定是一個環[3]。用可列互斥聯集封閉一個代數,將得到一個σ-代數[2]:5,而後者是數學嚴格化測度論與機率論非常重要的一種集類。
其中用可列互斥聯集封閉一個代數 得到的新集類定義是:
Remove ads
其他定義
集合域在布林代數的表示理論中扮演中心角色。所有布林代數都可以被表示為集合域。
參見
- 內部代數
- 亞歷山德羅夫拓撲
- Stone布林代數表示定理
- 史東對偶性
- 布林環
參考
Wikiwand - on
Seamless Wikipedia browsing. On steroids.
Remove ads