>> 欢迎您,客人登录 按这里注册 忘记密码 在线 搜索 论坛风格  帮助  插件   


>>> 数学分析,奇异积分,几何,代数,微分方程,群与环,数论
Elinkage数学论坛基础数学 [返回] → 浏览:[分享]简明基础集合论引论 标记论坛所有内容为已读 

 目前论坛总在线 4 人,本主题共有 1 人浏览。其中注册用户 0 人,访客 1 人。  [关闭详细列表]
发表一个新主题 回复贴子 开启一个新投票 ◆此帖被阅读 414 次◆  浏览上一篇主题  刷新本主题  树形显示贴子 浏览下一篇主题
 * 贴子主题: [分享]简明基础集合论引论 不分页显示此帖  保存该页为文件  本贴有问题,发送短消息报告给版主  加入个人收藏&关注本贴  显示可打印的版本  把本贴打包邮递  把本贴加入收藏夹  发送本页面给朋友   
 elim 
 头衔: 论坛版主

 

等级: 新手上路
信息: 该用户目前不在线 此人为版主
威望: 0 积分: 0
现金: 134864 雷傲元
存款: 没开户
贷款: 没贷款
来自: 保密 blank
发帖: 2007
精华: 0
资料:  
在线: 948 时 22 分 17 秒
注册: 2010/12/07 06:27am
造访: 2019/07/16 00:49am
消息 查看 搜索 好友 引用 回复贴子回复 只看我 [楼 主]
  作者:ANUSH TSERUNYAN [ pdf]o
1. Zermelo-Franenkel 集合论 $ZF,\;\;ZFC$(C:选择公理)HL
$\quad ZFC\;\;(ZFC)\,$需一确定的形式语言(一阶逻辑语言)描述.?[.}
$\quad$除了逻辑符号$\,=,\,\neg,\,\wedge,\,\vee,\rightarrow,\,\forall,\,\exists,\,(,)$及变量$\,x_0,x_1,\ldots$外YpHQ y
$\quad$只有一个特殊符号$\,\in$(二元关系符). 为方便灵活起见,我们W7X
$\quad$也使用其它字母$\,x,y,z\,$甚至$A,B,\mathscr{C,F}$等作表示变元,并8>E&
$\quad$增添符号$\ne,\not\in,\leftrightarrow$等.;3\lR
$\quad$我们用这些符号及变量构建有关集合的陈述.如$\,\forall x(x=x)$,S"
$\quad\,\exists x(x\ne x),\;\exists x(x\in y\wedge y\not\in z)$等等. 其中变量代表集合.`>Bu3
$\quad$符号按通常方式解读:$=$表示相等,$\in$表示属于(集合的成员),Zqv
$\quad\neg\,$表示"非",$\;\wedge\,$表示"合取"(且),$\;\vee\,$表示"析取"(或),$\;\to\,$表'&
$\quad$示"蕴含"$,\,\forall\,$指"对一切"$,\,\exists\,$指"存在". [
$\quad$例如$\,\forall x((x\in y\wedge y\in z)\to(x\in z))\,$被解读为"对每个集合~$$)`[
$\quad x,\,$若$\,x\,$是$\,y\,$的成员,而$\,y\,$是$\,z\,$的成员,则$\,x\,$是$\,z\,$的成员."g(1z
$\quad$在数理逻辑中称这种陈述为$ZF$中的公式. 形式地定义如下._0jzg|
定义1.1 $ZF\,$中公式的归纳定义:对变元$\,x,\,y,\,$公式$\,\varphi,\,\psi,$P2)
$\;\;$(i)$\;\;\,x=y\,$是公式.N~Q
$\;$(ii)$\;\,x\in y\,$是公式.0-//*
(iii)$\;\neg(\varphi)\,$是公式.=8p>
$\;$(iv)$\;(\varphi)\wedge(\psi),\;(\varphi)\vee(\psi)\,$及$\,(\varphi)\to(\psi)\,$是公式.W
$\;\;$(v)$\;\;\forall x(\varphi),\;\,\exists x(\varphi)\,$是公式.z


发贴时间2018/11/03 00:19pm IP: 已设置保密[本文共1565字节]  
 elim 
 头衔: 论坛版主

 

等级: 新手上路
信息: 该用户目前不在线 此人为版主
威望: 0 积分: 0
现金: 134864 雷傲元
存款: 没开户
贷款: 没贷款
来自: 保密 blank
发帖: 2007
精华: 0
资料:  
在线: 948 时 22 分 17 秒
注册: 2010/12/07 06:27am
造访: 2019/07/16 00:49am
消息 查看 搜索 好友 引用 回复贴子回复 只看我 [第 2 楼]
  ZFC 的公理.$\underset{\,}{\,}$wx
Axiom 0. 集合的存在性:x
$\qquad\exists x(x=x).$x*m4EI
Axiom 1. 外延公理::pF,k
$\qquad\forall x\forall y((\forall z(z\in x\leftrightarrow z\in y))\rightarrow x = y).$=i2F
Axiom 2. 概括公理模式. 对每个公式$\varphi,\,$以下公式是公理k3
$\qquad\forall z\,\exists y\,\forall x(x\in y\leftrightarrow(x\in z\wedge\varphi(x))).$W3~
Axiom 3. 对集公理:tb
$\qquad\forall u\,\forall v\,\exists z(u\in z\wedge v\in z).$4];kb
Axiom 4. 并集公理:X
$\qquad\forall\mathscr{C}\,\exists A\,\forall x\,\forall y((x\in y\wedge y\in\mathscr{C})\rightarrow x\in A).$lWF
Axiom 5. 幂集公理:0UXG4N
$\qquad\forall x\,\exists y\,\forall z(z\subset x\rightarrow z\in y)\,\scriptsize\color{grey}{(z\subset x\,\text{是}\,\forall w(w\in z\rightarrow w\in x)\,\text{的简写}}).$(q/>I7
Axiom 6. 代换公理模式:K
$\qquad\forall A[(\forall x\in A\,\exists! y\varphi(x,y))\rightarrow(\exists B\,\forall x\in A\,\exists y\in B\,\varphi(x,y))]${Z[C/.
Axiom 7. 无穷公理:\@I
$\qquad\forall u\,\exists x(\varnothing\in x\wedge \forall y(y\in x\rightarrow y\cup\{y\}\in x)).$m
Axiom 8. 正则公理:a
$\qquad\forall x[x\ne\varnothing\rightarrow\exists y\in x\,\lnot\exists z\in x(z\in y)].$#
Axiom 9. 选择公理::T'.
$\qquad\forall\mathscr{C}[\varnothing\notin\mathscr{C}\rightarrow\exists f:\mathscr{C}\to\bigcup\mathscr{C}\,\forall A\in\mathscr{C}(f(A)\in A)]\underset{\,}{.}$Tl1
公理$0\sim 8\,$构成$\,ZF\,$系统,$ZFC=ZF+\,$选择公理.^>w


发贴时间2019/01/17 08:46am IP: 已设置保密[本文共1514字节]  
 elim 
 头衔: 论坛版主

 

等级: 新手上路
信息: 该用户目前不在线 此人为版主
威望: 0 积分: 0
现金: 134864 雷傲元
存款: 没开户
贷款: 没贷款
来自: 保密 blank
发帖: 2007
精华: 0
资料:  
在线: 948 时 22 分 17 秒
注册: 2010/12/07 06:27am
造访: 2019/07/16 00:49am
消息 查看 搜索 好友 引用 回复贴子回复 只看我 [第 3 楼]
  [这个贴子最后由elim在 2019/02/03 00:01pm 第 1 次编辑]}#HE2m
©Elinkage数学论坛 -- Elinkage极酷超级论坛  %iH'VJ
习题一.Ha
$1.$ 设$\,x,\,y,\,A,B\,$为集合,试证gk)
$\quad(a)\;\;\{x\}\,$是集合,>~VT
$\quad(b)\;\;(x,y):=\{\{x\},\{x,y\}\}\,$是集合.给出公式$\,\varphi(z)\,$使之真Spj
$\qquad$当且仅当$\,z\,$是序对.进一步给出公式$\,\varphi_0(z,x),\;\varphi_1(z,y)\,$使a^
$\qquad$之成立当且仅当$z=(x,y)$z
©Elinkage数学论坛 -- Elinkage极酷超级论坛  H$>k
解:$(a)\,$在对集公理$\,A_3\,$中取$\,u=v=\small B\,$知道存在集合$\,z\,$使J5"KM
$\qquad\quad{\small B}\in z.\,$再$A_2$中取$\,\varphi(x)$为$\,x=\small B\,$知道$\,y=\small\{B\}$是集.8;J
$\quad(b)\,$据对集公理,有某集$\,z_0\,$使$\,(x\in z_0)\wedge(y\in z_0).\,$故据$A_2,$*tD6f:
$\qquad\{x,y\}=\{w\mid (w\in z_0)\wedge((w=x)\vee(w=y))\}$p!
$\qquad$是集合. 同理知$\{x,\{x,y\}\}$是集合.oo8


发贴时间2019/01/21 00:16pm IP: 已设置保密[本文共985字节]  
 elim 
 头衔: 论坛版主

 

等级: 新手上路
信息: 该用户目前不在线 此人为版主
威望: 0 积分: 0
现金: 134864 雷傲元
存款: 没开户
贷款: 没贷款
来自: 保密 blank
发帖: 2007
精华: 0
资料:  
在线: 948 时 22 分 17 秒
注册: 2010/12/07 06:27am
造访: 2019/07/16 00:49am
消息 查看 搜索 好友 引用 回复贴子回复 只看我 [第 4 楼]
  2. 良序集X$
定义 2.0 称$\,R\subset A\times B\,$为$\,A\,$到$\,B\,$的关系,用$\,a R b\,$表示1{g
$\quad (a,b)\in R\,$此时称$\,a,\,b\,$具有(满足)关系$\,R.\;A\,$到$\,A\,$的关F/(
$\quad$系叫作$\,A\,$中的关系.:m
定义 2.1 $A\,$中的关系$\,< \,$叫作序(严格序), 如果R~t
${\small\text{(i)}}\;\quad\forall x\in A\,(x\not< x).\,$(反自反性) $(x\not< x)\leftrightarrow((x,x)\not\in <)$|hp
${\small\text{(ii)}}\quad\forall x,y,z\in A\,(x<y<z\implies x<z)\,$(传递性)jVg
注记 2.2 $\text{(i,ii)}\rightarrow (x< y\rightarrow y\not< x)\,$(反对称性)WR
评注 2.3 关系$\,\le \,:= \{(x,x)\mid x\in A\}\cup (< )\,$也叫序关系,a
$\quad$具自反,传递及反对称性$\,(x\le y\leftrightarrow (x=y)\vee(x< y)).$W4kTJ
定义 2.4 $(A,< )\,$(集-关系对)叫作线性(全)序集,如果M ~;,T
${\small\text{(iii)}}\;\;\;\forall x,y\in A\,(x=y)\vee(x< y)\vee(y< x).$>iU
$\quad$全序集叫作良序集,如果非空集$B$含最小元$\,\min{B}$:1
${\small\text{(iv)}}\;\;\;\varnothing\ne B\subset A\rightarrow \exists m\in B\,(A\ni x< m\rightarrow x\not\in B).$]*!
定义 2.5 $\text{pred}(a)=\text{pred}(a,A,< )\,:=\{b\in A: b< a\}.$w
$\quad$起始段是满足$\,\forall x\in B\,(\text{pred}(x,A,< ){\small\subset B\subset A})\,$的集$\,B.\,$dv
q$\quad$真起始段是$\ne A\,$的起始段.e
引理 2.6 若$(A,< )$是良序集,则对任意真起始段$\,B,\,$有[
$\quad a\in A\,$使$\,B=\text{pred}(a)\;(a=\min(A-B)).\quad\square$B/ax8
定义 2.7 设$(A,<_A),(B,<_B)\,$为序集$,\,f:A\to B\,$是双G
$\quad$射.若$\,\forall a,a'\in A\,(a <_A a'\iff f(a)<_B f(a')),\,$则称6rOun!
$\quad$二序集同构$((A,<_A)\simeq(B,<_B)),\; f\,$为(序)同构映射.)YIr?
约定:设$(A,<),\;B\subset A,\,$用$(B,<)$表示$(B,<_{|B}).\,$其中%tA,
$\quad <_{|B}\, = (<) \cap (B\times B).$iEv7
$\quad$对良序集,用$(A,<_A)\prec(B,<_B)$表示$\;\exists b\in B:$#
$\quad((A,<_A)\simeq(\text{pred(b),<_B})).\;$又$,\;(\preceq) \iff (\prec\vee\simeq).$?
注记: $\,(A,<_A)\simeq(B,<_B)$等价于$(A,<_A)$与$(B,<_B)$的,y
$\quad$某起始段(保序)同构."5_X
引理 2.9 良序集$(A,<_A)$至多与良序集$(B,<_B)$的一个~?)
$\quad$起始段同构.8
证:设$B',B''$是$B$的起始段,$f:A\to B',\;g:A\to B''$是Af+
$\quad$保序同构.若$\,f\ne g,\,$取$\,a=\min\{x\in A:f(x)\ne g(x)\}$?
$\quad$不妨设$f(a)<_B g(a),\;f(a)\in B'',\;a'=g^{-1}(f(a))$I3)-7
$\therefore\; a'<_{\small A} g^{\small -1}{\small(g(a))}=a.\,$由$\,a\,$的取法$\,f(a')=g(a')=f(a).$((l
$\quad$这与$f$的保序同构性矛盾.-a
推论 2.10 对任意良序集$(A,<),\;\lnot((A,<)\prec(A,<))$.t
注记 2.11 对良序集$(A,<_A),(B,<_B),(C,<_C),$*V
${\small(a)}\;(A,<_{\small A})\prec(B,<_{\small B})\preceq(C,<_{\small C})\implies (A,<_{\small A})\prec(C,<_{\small C});$tM;u'
${\small(b)}\;(A,<_{\small A})\preceq(B,<_{\small B})\prec(C,<_{\small C})\implies (A,<_{\small A})\prec(C,<_{\small C});$)?/
评注 2.12 映射(函数)$f\subset A\times B$是关系,具有性质@2~
$\quad \forall a\in A\,\exists !b\in B\,((a,b)\in f).\;$映射间可有集合包含关系.H)y
定理 2.13 任意良序集$(A,<_A),(B,<_B),$具下列三歧性:]
$\;\small((A,<_A)\simeq(B,<_B))\vee((A,<_A)\prec(B,<_B))\vee((B,<_B)\prec(A,<_A)).$Z
证:令$\,f=\{{\small(a,b)\in A\times B}:(\text{pred}(a),<_{\small A})\simeq(\text{pred}(b),<_{\small B})\}$7p&]]
$\quad$易见$\,f\,$是$\,A\,$的起始段$\,A'$与$\,B\,$的起始段间的保序同构.但@$T@v
$\quad A',\,B'\,$不可能都是真起始段.$\quad\square$u?


发贴时间2019/01/22 00:07pm IP: 已设置保密[本文共3629字节]  
 elim 
 头衔: 论坛版主

 

等级: 新手上路
信息: 该用户目前不在线 此人为版主
威望: 0 积分: 0
现金: 134864 雷傲元
存款: 没开户
贷款: 没贷款
来自: 保密 blank
发帖: 2007
精华: 0
资料:  
在线: 948 时 22 分 17 秒
注册: 2010/12/07 06:27am
造访: 2019/07/16 00:49am
消息 查看 搜索 好友 引用 回复贴子回复 只看我 [第 5 楼]
  3. 序数)
定义 3.1 集$\,x\,$称为传递的,如果$\,\forall y\in x\;(y\subset x)$8uC
定义 3.2 称集$\,\alpha\,$为序数,若其为传递集,且关于$\,\in\,$良序.g]"Q"
引理 3.3 设$\,\alpha\,$为一序数, 则Fo
$(a)\quad\forall y\in\alpha\,(y=\text{pred}(y,\alpha,\in)).$i
$(b)\quad\varnothing=\min(\alpha).\;$命$\,0:=\varnothing.$'$[d
$(c)\quad$每个$\,y\in\alpha\,$均为序数.8$yK
$(d)\quad\alpha\not\in\alpha.$f3i3|V


发贴时间2019/02/02 06:59am IP: 已设置保密[本文共540字节]  

 该主题只有一页

快速回复主题: [分享]简明基础集合论引论
您目前的身份是: 客人 ,要使用其他用户身份,请输入用户名和密码。未注册客人请输入网名,密码留空。
输入用户名和密码: 用户名: 没有注册? 密码: 忘记密码?
上传附件或图片 (最大容量 10000KB)
目前附件:(如不需要某个附件,只需删除内容中的相应 [UploadFile ...] 标签即可) [删除]
选项

使用 LeoBBS 标签?
显示您的签名?
有回复时使用邮件通知您?

使用字体转换?

    快速引用第 楼层的回复
 顶端 加到"个人收藏夹" 主题管理总固顶 取消总固顶 区固顶 取消区固顶 固顶 取消固顶 提升 沉底
加重 取消加重 精华 取消精华 锁定 解锁 删除 删除回复 移动


© 中文版权所有: 雷傲科技
程序版权所有: 雷傲超级论坛  版本: LeoBBS X Build051231
 

本论坛言论纯属发表者个人意见,与 Elinkage数学论坛 立场无关