跳至內容

聯集公理

本頁使用了標題或全文手工轉換
維基百科,自由的百科全書

公理化集合論和使用它的邏輯數學計算機科學分支中,聯集公理Zermelo-Fraenkel 集合論公理之一。它聲稱對於任何集合有一個集合的元素正是的元素的元素。

形式陳述

[編輯]

在 Zermelo-Fraenkel 公理的形式語言中,這個公理讀做:

換句話說:

給定任何集合有著一個集合使得,給定任何集合的成員,若且唯若有一個集合使得的成員並且的成員。

解釋

[編輯]

因此,這個公理實際上說的是,給定集合,我們可以找到一個集合,它的成員正是的成員的成員。通過外延公理可知這個集合是唯一的,它叫做聯集,並指示為,所以這個公理的本質是:

一個集合的聯集是一個集合。

配對公理與聯集公理一起蘊涵了對於任何兩個集合,都有一個集合精確地包含了這兩個集合的元素。樸素集合論中兩個集合的聯集在這裡是這兩個集合的配對集合的聯集,比如集合和集合,它們的對是,這個對的聯集是

聯集公理一般被認為是無可爭議的,它或它的等價命題出現在所有可替代的集合論的公理化中。

注意沒有對應的交集公理:。如果是非空集合,則我們可以使用分類公理模式形成交集 A,所以不需要單獨的交集公理。(如果空集,則嘗試如此形成的交集為不被這些公理所允許,如果這樣的集合存在,它將包含全集中所有的集合,而全集的概念對立於 Zermelo-Fraenkel 集合論。)

引用

[編輯]
  • Paul Halmos, Naive set theory. Princeton, NJ: D. Van Nostrand Company, 1960. Reprinted by Springer-Verlag, New York, 1974. ISBN 0-387-90092-6 (Springer-Verlag edition).
  • Jech, Thomas, 2003. Set Theory: The Third Millennium Edition, Revised and Expanded. Springer. ISBN 3-540-44085-2.
  • Kunen, Kenneth, 1980. Set Theory: An Introduction to Independence Proofs. Elsevier. ISBN 0-444-86839-9.