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


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

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

 

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


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

 

等级: 新手上路
信息: 该用户目前不在线 此人为版主
威望: 0 积分: 0
现金: 137142 雷傲元
存款: 没开户
贷款: 没贷款
来自: 保密 blank
发帖: 2037
精华: 0
资料:  
在线: 963 时 43 分 31 秒
注册: 2010/12/07 06:27am
造访: 2019/10/12 09:43am
消息 查看 搜索 好友 引用 回复贴子回复 只看我 [第 2 楼]
  ZFC 的公理.$\underset{\,}{\,}$J
Axiom 0. 集合的存在性:L|T
$\qquad\exists x(x=x).$t'%I#S
Axiom 1. 外延公理:^ZG[o<
$\qquad\forall x\forall y((\forall z(z\in x\leftrightarrow z\in y))\rightarrow x = y).$@Z
Axiom 2. 概括公理模式. 对每个公式$\varphi,\,$以下公式是公理GFV
$\qquad\forall z\,\exists y\,\forall x(x\in y\leftrightarrow(x\in z\wedge\varphi(x))).$8eRBu
Axiom 3. 对集公理:O5'D
$\qquad\forall u\,\forall v\,\exists z(u\in z\wedge v\in z).$h\w
Axiom 4. 并集公理:U
$\qquad\forall\mathscr{C}\,\exists A\,\forall x\,\forall y((x\in y\wedge y\in\mathscr{C})\rightarrow x\in A).$z
Axiom 5. 幂集公理:4}G
$\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{的简写}}).${}
Axiom 6. 代换公理模式:*@3Y
$\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))]$HkbmrM
Axiom 7. 无穷公理:y
$\qquad\forall u\,\exists x(\varnothing\in x\wedge \forall y(y\in x\rightarrow y\cup\{y\}\in x)).$iv[
Axiom 8. 正则公理:Es66v
$\qquad\forall x[x\ne\varnothing\rightarrow\exists y\in x\,\lnot\exists z\in x(z\in y)].$?B/X
Axiom 9. 选择公理:PR,|*
$\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{\,}{.}$6XM
公理$0\sim 8\,$构成$\,ZF\,$系统,$ZFC=ZF+\,$选择公理.c~e


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

 

等级: 新手上路
信息: 该用户目前不在线 此人为版主
威望: 0 积分: 0
现金: 137142 雷傲元
存款: 没开户
贷款: 没贷款
来自: 保密 blank
发帖: 2037
精华: 0
资料:  
在线: 963 时 43 分 31 秒
注册: 2010/12/07 06:27am
造访: 2019/10/12 09:43am
消息 查看 搜索 好友 引用 回复贴子回复 只看我 [第 3 楼]
  [这个贴子最后由elim在 2019/02/03 00:01pm 第 1 次编辑]g/I]j
©Elinkage数学论坛 -- Elinkage极酷超级论坛  j
习题一.[ngV7\
$1.$ 设$\,x,\,y,\,A,B\,$为集合,试证{3]
$\quad(a)\;\;\{x\}\,$是集合,,Vvz5
$\quad(b)\;\;(x,y):=\{\{x\},\{x,y\}\}\,$是集合.给出公式$\,\varphi(z)\,$使之真bL.y:
$\qquad$当且仅当$\,z\,$是序对.进一步给出公式$\,\varphi_0(z,x),\;\varphi_1(z,y)\,$使Mmteb
$\qquad$之成立当且仅当$z=(x,y)$vkVEj
©Elinkage数学论坛 -- Elinkage极酷超级论坛  KG}AB
解:$(a)\,$在对集公理$\,A_3\,$中取$\,u=v=\small B\,$知道存在集合$\,z\,$使Q#`
$\qquad\quad{\small B}\in z.\,$再$A_2$中取$\,\varphi(x)$为$\,x=\small B\,$知道$\,y=\small\{B\}$是集.)TO[6
$\quad(b)\,$据对集公理,有某集$\,z_0\,$使$\,(x\in z_0)\wedge(y\in z_0).\,$故据$A_2,$j9
$\qquad\{x,y\}=\{w\mid (w\in z_0)\wedge((w=x)\vee(w=y))\}$I(.l"
$\qquad$是集合. 同理知$\{x,\{x,y\}\}$是集合._S


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

 

等级: 新手上路
信息: 该用户目前不在线 此人为版主
威望: 0 积分: 0
现金: 137142 雷傲元
存款: 没开户
贷款: 没贷款
来自: 保密 blank
发帖: 2037
精华: 0
资料:  
在线: 963 时 43 分 31 秒
注册: 2010/12/07 06:27am
造访: 2019/10/12 09:43am
消息 查看 搜索 好友 引用 回复贴子回复 只看我 [第 4 楼]
  2. 良序集C95L`
定义 2.0 称$\,R\subset A\times B\,$为$\,A\,$到$\,B\,$的关系,用$\,a R b\,$表示T[s}Zp
$\quad (a,b)\in R\,$此时称$\,a,\,b\,$具有(满足)关系$\,R.\;A\,$到$\,A\,$的关+~3
$\quad$系叫作$\,A\,$中的关系.Fsh
定义 2.1 $A\,$中的关系$\,< \,$叫作序(严格序), 如果6{3)A
${\small\text{(i)}}\;\quad\forall x\in A\,(x\not< x).\,$(反自反性) $(x\not< x)\leftrightarrow((x,x)\not\in <)$I@K&S6
${\small\text{(ii)}}\quad\forall x,y,z\in A\,(x<y<z\implies x<z)\,$(传递性)N
注记 2.2 $\text{(i,ii)}\rightarrow (x< y\rightarrow y\not< x)\,$(反对称性)
评注 2.3 关系$\,\le \,:= \{(x,x)\mid x\in A\}\cup (< )\,$也叫序关系,Ya>"m,
$\quad$具自反,传递及反对称性$\,(x\le y\leftrightarrow (x=y)\vee(x< y)).$iB4
定义 2.4 $(A,< )\,$(集-关系对)叫作线性(全)序集,如果tXFO0
${\small\text{(iii)}}\;\;\;\forall x,y\in A\,(x=y)\vee(x< y)\vee(y< x).$L
$\quad$全序集叫作良序集,如果非空集$B$含最小元$\,\min{B}$:[m<K
${\small\text{(iv)}}\;\;\;\varnothing\ne B\subset A\rightarrow \exists m\in B\,(A\ni x< m\rightarrow x\not\in B).$VF<
定义 2.5 $\text{pred}(a)=\text{pred}(a,A,< )\,:=\{b\in A: b< a\}.$,vz27
$\quad$起始段是满足$\,\forall x\in B\,(\text{pred}(x,A,< ){\small\subset B\subset A})\,$的集$\,B.\,$.@o
q$\quad$真起始段是$\ne A\,$的起始段.ku[[],
引理 2.6 若$(A,< )$是良序集,则对任意真起始段$\,B,\,$有~Z2,
$\quad a\in A\,$使$\,B=\text{pred}(a)\;(a=\min(A-B)).\quad\square$;KAK4
定义 2.7 设$(A,<_A),(B,<_B)\,$为序集$,\,f:A\to B\,$是双j@U=r5
$\quad$射.若$\,\forall a,a'\in A\,(a <_A a'\iff f(a)<_B f(a')),\,$则称>8t
$\quad$二序集同构$((A,<_A)\simeq(B,<_B)),\; f\,$为(序)同构映射.&T}eU
约定:设$(A,<),\;B\subset A,\,$用$(B,<)$表示$(B,<_{|B}).\,$其中T/I{u
$\quad <_{|B}\, = (<) \cap (B\times B).$0^
$\quad$对良序集,用$(A,<_A)\prec(B,<_B)$表示$\;\exists b\in B:$4Z
$\quad((A,<_A)\simeq(\text{pred(b),<_B})).\;$又$,\;(\preceq) \iff (\prec\vee\simeq).$=dc
注记: $\,(A,<_A)\simeq(B,<_B)$等价于$(A,<_A)$与$(B,<_B)$的L
$\quad$某起始段(保序)同构.ET\kP$
引理 2.9 良序集$(A,<_A)$至多与良序集$(B,<_B)$的一个DX ?*[
$\quad$起始段同构.*+HB
证:设$B',B''$是$B$的起始段,$f:A\to B',\;g:A\to B''$是y
$\quad$保序同构.若$\,f\ne g,\,$取$\,a=\min\{x\in A:f(x)\ne g(x)\}$vk$,6
$\quad$不妨设$f(a)<_B g(a),\;f(a)\in B'',\;a'=g^{-1}(f(a))$M[LxB
$\therefore\; a'<_{\small A} g^{\small -1}{\small(g(a))}=a.\,$由$\,a\,$的取法$\,f(a')=g(a')=f(a).$6;fpa
$\quad$这与$f$的保序同构性矛盾.8ZD`.
推论 2.10 对任意良序集$(A,<),\;\lnot((A,<)\prec(A,<))$.MJ={=
注记 2.11 对良序集$(A,<_A),(B,<_B),(C,<_C),$ZNlhH
${\small(a)}\;(A,<_{\small A})\prec(B,<_{\small B})\preceq(C,<_{\small C})\implies (A,<_{\small A})\prec(C,<_{\small C});$|7D
${\small(b)}\;(A,<_{\small A})\preceq(B,<_{\small B})\prec(C,<_{\small C})\implies (A,<_{\small A})\prec(C,<_{\small C});$a
评注 2.12 映射(函数)$f\subset A\times B$是关系,具有性质L3'vH-
$\quad \forall a\in A\,\exists !b\in B\,((a,b)\in f).\;$映射间可有集合包含关系.8K*"7K
定理 2.13 任意良序集$(A,<_A),(B,<_B),$具下列三歧性:Ag
$\;\small((A,<_A)\simeq(B,<_B))\vee((A,<_A)\prec(B,<_B))\vee((B,<_B)\prec(A,<_A)).$4V9
证:令$\,f=\{{\small(a,b)\in A\times B}:(\text{pred}(a),<_{\small A})\simeq(\text{pred}(b),<_{\small B})\}$Nvgt
$\quad$易见$\,f\,$是$\,A\,$的起始段$\,A'$与$\,B\,$的起始段间的保序同构.但(hiZ&Q
$\quad A',\,B'\,$不可能都是真起始段.$\quad\square$7IeC#+


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

 

等级: 新手上路
信息: 该用户目前不在线 此人为版主
威望: 0 积分: 0
现金: 137142 雷傲元
存款: 没开户
贷款: 没贷款
来自: 保密 blank
发帖: 2037
精华: 0
资料:  
在线: 963 时 43 分 31 秒
注册: 2010/12/07 06:27am
造访: 2019/10/12 09:43am
消息 查看 搜索 好友 引用 回复贴子回复 只看我 [第 5 楼]
  3. 序数~=Ij
定义 3.1 集$\,x\,$称为传递的,如果$\,\forall y\in x\;(y\subset x)$?
定义 3.2 称集$\,\alpha\,$为序数,若其为传递集,且关于$\,\in\,$良序.6'\&pb
引理 3.3 设$\,\alpha\,$为一序数, 则HBuU/
$(a)\quad\forall y\in\alpha\,(y=\text{pred}(y,\alpha,\in)).$B(Z)@
$(b)\quad\varnothing=\min(\alpha).\;$命$\,0:=\varnothing.$jPT
$(c)\quad$每个$\,y\in\alpha\,$均为序数.Algg;T
$(d)\quad\alpha\not\in\alpha.$$T.


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

 该主题只有一页

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

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

使用字体转换?

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


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

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