-
ZFC公理系統
鎖定
- 中文名
- ZFC公理系統
- 提出者
- 策梅洛、弗倫克爾
- 適用領域
- 數學
- 應用理論
- 選擇公理
主要內容
(ZF1)外延公理:一個集合完全由它的元素所決定。如果兩個集合含有同樣的元素,則它們是相等的。
(ZF2)空集合存在公理:即存在一集合s,它沒有元素。
(ZF3)無序對公理:也就是説,任給兩個集合x、y,存在第三個集合z,使得w∈z當且僅當w=x或者w=y。這個公理實際説的是,給定兩個集合x和y,我們可以找到一個集合A,它的成員完全是x和y。
(ZF4)並集公理:也就是説,任給一集合x,我們可以把x的元素的元素彙集到一起,組成一個新集合。
準確的定義:“對任意集合x,存在集合y,使w∈y當且僅當存在z使z∈x且w∈z”。
(ZF5)冪集公理:也就是説,任意的集合x,
也是一集合。
準確的定義:“對任意集合x,存在集合y,使z∈y當且僅當對z的所有元素w,w∈x”。
(ZF6)無窮公理:也就是説,存在一集合x,它有無窮多元素。
準確的定義:“存在一個集合,使得空集是其元素,且對其任意元素x,
也是其元素。”
(ZF8)替換公理模式:也就是説,對於任意的函數
,對於任意的集合t,當x屬於t時,
都有定義(ZF中唯一的對象是集合,所以
必然是集合)成立的前提下,就一定存在一集合s,使得對於所有的x屬於t,在集合s中都有一元素y,使y=
。也就是説,由F(x)所定義的函數的定義域在t中的時候,那麼它的值域可限定在s中。
準確的定義:“對任意非空集合x,x至少有一元素y使x∩y為空集。”
注2:空集公理是可以由其它公理導出。一般認為ZF公理系統可以不包含空集公理。
- 詞條統計
-
- 瀏覽次數:次
- 編輯次數:21次歷史版本
- 最近更新: 君伟junwei521