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

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

策梅洛弗兰克尔集合论(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),接着再看更方便。

相关小说

短文小合集 连载中
短文小合集
松枝也也
作者的一些小灵感……
0.3万字5个月前
公子,你灿若星辰 连载中
公子,你灿若星辰
神祇不是神
又名《师尊在上,黑化逆徒要翻天》她为给师尊自由独创诡术踏入邪道,回魔界之后继承魔尊之位,率军攻破郦渊大陆,俘虏郦渊仙尊白夜并逼迫与其成亲。新......
18.5万字5个月前
星陨碎爱 连载中
星陨碎爱
温柔的晨曦
柔弱多情的外表下,一颗冰封的心脏,深夜无人的叹息里,又道尽多少怅惘,一汪秋水,埋葬那些说不出的感情——“你在透过我的眼睛,看着谁?”……星空......
10.6万字5个月前
清风醉梦念羲和 连载中
清风醉梦念羲和
洛夏之殇
【★天外天系列文二,已签约,禁一切】【暂时不更】浮华人世绘,清风醉梦时。梦中长相忆,但却不见君。采用篇章式,以女主羲和神生中经历的一件件事构......
4.5万字5个月前
失魂琴 连载中
失魂琴
夙夜风声
大唐商人通商月氏,却在刚刚抵达月氏境内时天象突变,巨大的雕刻着精美花纹的碎片从天而降,月氏一商人重金买下,其子却在手碰触到碎片后在众目睽睽之......
22.3万字5个月前
恩宠一生之绝世郡主 连载中
恩宠一生之绝世郡主
蓝嫣蝶
紫狐曾认为上天对她是不公的,出生便被父母抛弃,存活在世上的唯一方法便是加入杀手组织。受尽折磨与训练,最终在杀手界博得名号,却因能力太强而被组......
17.3万字5个月前