Loading AI tools
来自维基百科,自由的百科全书
在公理化集合論和使用它的邏輯、數學和計算機科學分支中,併集公理是 Zermelo-Fraenkel 集合論的公理之一。它聲稱對於任何集合有一個集合,的元素正是的元素的元素。
在 Zermelo-Fraenkel 公理的形式語言中,這個公理讀做:
換句話說:
因此,這個公理實際上說的是,給定集合,我們可以找到一個集合,它的成員正是的成員的成員。通過外延公理可知這個集合是唯一的,它叫做的併集,並指示為,所以這個公理的本質是:
配對公理與併集公理一起蘊涵了對於任何兩個集合,都有一個集合精確地包含了這兩個集合的元素。樸素集合論中兩個集合的併集在這裏是這兩個集合的配對集合的併集,比如集合和集合,它們的對是,這個對的併集是。
併集公理一般被認為是無可爭議的,它或它的等價命題出現在所有可替代的集合論的公理化中。
注意沒有對應的交集公理:。如果是非空集合,則我們可以使用分類公理模式形成交集 ∩A 為 ,所以不需要單獨的交集公理。(如果是空集,則嘗試如此形成的交集為不被這些公理所允許,如果這樣的集合存在,它將包含全集中所有的集合,而全集的概念對立於 Zermelo-Fraenkel 集合論。)
Seamless Wikipedia browsing. On steroids.
Every time you click a link to Wikipedia, Wiktionary or Wikiquote in your browser's search results, it will show the modern Wikiwand interface.
Wikiwand extension is a five stars, simple, with minimum permission required to keep your browsing private, safe and transparent.