数学联邦政治世界观
超小超大

策梅洛弗兰克尔集合论(数学公理)

策梅洛弗兰克尔集合论(Zermelo-Fraenkel Set Theory)数学公理

数学公理

策梅洛-弗兰克尔集合论的公理由一阶逻辑的逻辑公理和八条非逻辑公理组成。

(1)同一律(外延公理):两个集合相等的充分必要条件是它们具有相同的元素,即

∀X∀Y[X=Y ↔ Yz(z∈X ↔ z∈Y)].

(2)配对集公理:任给两个集合X和Y,都有一个恰好由它们组成的集合{X,Y},即

∀X∀Y∃Z(Z={X,Y}).

(3)并集公理:任给一个集合X,都有一个恰好由X的元素的元素之全体所组成的集合∪X,即

∀X∃Y(Y =∪X={α|∃b(b∈X∧α∈b)}).

(4)幂集公理:任给一个集合X,都有一个恰好由它的子集合的全体组成的集合P(X),即

∀X∃Y(Y=P(X)={A|A∈X}).

(5)无限集公理:存在一个满足如下两条要求

(a) 和 (b) 的集合X,

(a)X含一个元素;

(b)如果Y∈Ⅹ,那么Y∪{Y}∈X。其中Y∪{Y}={Y,{Y}},即

∃X [∃α(α∈X))∧(∀Y(Y∈X → Y∪{Y}∈X))].

(6)分解原理:分解公理又称概括公理,应当注意到这里的表达式并非朴素集合论的概括方式。设φ(x,y₁,...,yn) (1≤n<∞)是集合论语言的一个表达式。任给集合X和p₁,...,pn,集合X中的那些具有性质φ[u,y₁,...,yn]的元素u构成一个集合Y,即

∀X∀p₁· · ·∀pₙ∃Y(Y={u∈X|φ[u,p₁,· · ·,Pₙ]}).

(7)肤像存在原理:映像存在原理又称替换公理(置换公理)。它由以色列数学家弗伦克尔(Fraenikel)1922 年引入。设φ(x,y)是集合论语言的一个表达式,又设表达式φ(x,y)决定一种对应关系,也就是说,对于任意的售合u,最多存在一个集合v来满足φ[x,y]所给出的对应要求。任给集合X,能够与X中的某个元素u形成对应关系φ[x,y]的那些集合v组成一个集合Y,即

∀u∀υ∀ω ((φ (u,υ) ∧ φ (u,ω)) → υ=ω) →∀X∃Y(Y={υ|∃u (u∈X∧φ(u,υ)}).

(8)∈极小原理:∈极小原理又称正则公理,它由冯诺依曼1925年引入。任何一个非空集合必含有一个∈极小元素,也就是说,如果X中有一个元素,那么X中一定有一个元素都不在X之中的元素a,即

∀X[X=∅ → ∃Y(Y∈X∧X∩Y=∅]

上述的分解原理和映像存在原理实际上由无限多条公理组成,也就是说,给定一个表达式φ以上述原理就给出一条公理。ZF理论的前6条公理都由德国数学家策梅洛1908年引入。[1]

数学联邦政治世界观提示您:看后求收藏(同人小说网http://tongren.me),接着再看更方便。

相关小说

5个常 连载中
5个常
ch.夏婉
0.1万字6个月前
魔尊,你家仙尊来娶你了 连载中
魔尊,你家仙尊来娶你了
赵琅暥
【已完结】仙尊与魔尊大打出手,大家抱着看好戏的心态前往,没成想仙尊强大的灵力直接掀翻了天花板。只见仙尊双颊薄红,眸光滟潋,清瘦修长的身子被魔......
30.1万字6个月前
仙君大佬缺挂件吗 连载中
仙君大佬缺挂件吗
倦飞知还
【沙雕+魂穿+绝世小甜饼】最不正经的玄幻言情。#素质教育漏网之鱼兼佛系修仙lsp七小姐vs#著名气人大佬兼本书颜值担当怜舟仙君林凭语x风听暮......
11.0万字6个月前
木兰歌 连载中
木兰歌
冰心幽兰
花木兰百年之后飞升仙界,感慨生前杀孽太重,想要行善弥补。恰好她以前战死的战友们也飞升仙界,成了天兵天将之一。不过,他们身上和灵魂上多多少少还......
12.2万字6个月前
ALL轩:我感觉我要坠落 连载中
ALL轩:我感觉我要坠落
QL小卖部
(完结)本文虐,微甜(宋亚轩人设抑郁症)
1.7万字6个月前
那些五年级该看的故事(续) 连载中
那些五年级该看的故事(续)
秋封叶凌小号
续集,续集!
0.3万字6个月前