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


>>> 数学分析,奇异积分,几何,代数,微分方程,群与环,数论
Elinkage数学论坛基础数学 [返回] → 浏览:实变函数论的重要概念和定理 标记论坛所有内容为已读 

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

 

等级: 新手上路
信息: 该用户目前不在线 此人为版主
威望: 0 积分: 0
现金: 134218 雷傲元
存款: 没开户
贷款: 没贷款
来自: 保密 blank
发帖: 2002
精华: 0
资料:  
在线: 945 时 57 分 47 秒
注册: 2010/12/07 06:27am
造访: 2019/05/24 04:46am
消息 查看 搜索 好友 引用 回复贴子回复 只看我 [楼 主]
  集合 最本原的数学对象, 对象化,外延化的数学概念.Nr-:
映射 集合间的单值对应关系.K/^7oW
$\qquad$ 记$\;B^A = \{f\mid f:A\to B\}\,$为$\,A\,$到$\,B\,$的映射全体(以映射为其元素的集合).C6U]
$\qquad$ 单射,满射,双射(1-1对应)xv
©Elinkage数学论坛 -- Elinkage极酷超级论坛  :
选择公理 设集$\,C\,$的元素皆为非空集合,则$\;\exists f\in(\bigcup_{E\in C} E)^C\;\big(\forall E\in C\,(f(E)\in E)\big)$d<e
良序原理 任意集合都可被良序化.[^g
©Elinkage数学论坛 -- Elinkage极酷超级论坛  p7aQ\
由良序原理推出bnDZZp
可比定理 对任意集合$\;A,\,B,\;A^B\cup B^A\,$中必有单射.;.z:)a
©Elinkage数学论坛 -- Elinkage极酷超级论坛  Ibh]C
集合的等势,基数Ey|GJp
©Elinkage数学论坛 -- Elinkage极酷超级论坛  ~13>x'
Bernstein 定理 若存在单射$\;\varphi\in B^A,\,\psi\in A^B$,则$\,A\sim B\,$即$\,A\,$与$\,B\,$可1-1对应。3J88J
©Elinkage数学论坛 -- Elinkage极酷超级论坛  CvD
证:令$\,A_0=\psi(B),\,B_0= \varphi(A),\,A_1=A-A_0,\,B_1=\varphi(A_1),\,A_2=\psi(B_1),\,B_2=\varphi(A_2).$RnmHuq
©Elinkage数学论坛 -- Elinkage极酷超级论坛  x`
$\quad\because\; A_1\cap A_2\subset A_1\cap A_0\subset (A-A_0)\cap A_0=\varnothing,\quad\therefore\;B_1\cap B_2=\psi(A_1)\cap\psi(B_2)=\varnothing.$q"-
©Elinkage数学论坛 -- Elinkage极酷超级论坛  W&
$\quad$设$\,A_1,\ldots,A_n\,$互不相交,$\; B_1,\ldots,B_n$亦然,$A_{i+1}=\psi(B_i),\;B_i=\varphi(A_i),\,i=\overline{1,n-1}$6V
©Elinkage数学论坛 -- Elinkage极酷超级论坛  j-`:
$\quad$取$\;A_{n+1}=\psi(B_n),\;B_{n+1}=\varphi(A_{n+1}).\;$由$\,\psi\,$单及$\,B_1,\ldots,B_n\,$两两不交知$A_2,\ldots,A_{n+1}$M
©Elinkage数学论坛 -- Elinkage极酷超级论坛  r#
$\quad$两两不交, 由$\,A_{n+1}\subset A_0\,$知$\,A_{n+1}\cap A_1=\varnothing\,$于是$\;A_1,\ldots,A_{n+1}\,$两两不交, 进而由71]
©Elinkage数学论坛 -- Elinkage极酷超级论坛  "Q0nL
$\quad\varphi\,$为单射得$\,B_1,\ldots,B_{n+1}\,$两两不交。不难看出$\;(A_0 = A -A_1)$ 于是RDL/(8
$\quad(\star)\quad\displaystyle{\varphi\big(\bigcup_{n=1}^{\infty}A_n\big) =\bigcup_{n=1}^{\infty}B_n,\quad \psi\big(B-\bigcup_{k=1}^{\infty}B_k\big)= A_0-\bigcup_{n=2}^{\infty}A_n = A-\bigcup_{n=1}^{\infty}A_n}.$K<l!
$\quad$令$\,\displaystyle{\;A^* =\bigcup_{n=1}^{\infty}A_n,\;B^* = \bigcup_{n=1}^{\infty}B_n},\;$令$\;\psi^{-1}:A_0\to B\,$为$\,\psi:B\to\psi(B)=A_0\,$的逆.&[
$\quad$则由$\,(\star)\,$得$\quad\displaystyle{A\sim\big(\varphi(A^*)}\cup\psi^{-1}(A-A^*)\big) = B^*\cup(B-B^*) = B.\quad\square$p.lM
©Elinkage数学论坛 -- Elinkage极酷超级论坛  ^
又证: 设 $\varphi:A\to B,\; \psi: B\to A$ 均为单射。先证明存在$\;A_1,\,A_2,\,B_1,\,B_2\underset{\,}{\;}$使得!h
$\quad A= A_1\cup A_2,\;B = B_1\cup B_2$ 均为不交并,且满足$\;(\varphi(A_1) = B_1)\wedge (\psi(B_2)\underset{\,}{=} A_2).$HCFZeU
$\quad$令$\;E^* = A - \psi(B - \varphi(E))\,(E\subset A),\;\;$则$\;^*\;$单调增:$\,\;(E\subset F\subset A)\implies (E^*\subset F^*)\underset{\,}{\,}${s<^&z
$\quad$记$\;\mathscr{M} = \{E\subset A \mid E^* \subset E\} \subset \mathscr{P}(A)$, 则$\;A\in\mathscr{M},\;\mathscr{M}\ne\varnothing.\,\;$取$\;A_1 = \bigcap_{E\in \mathscr{M}} E\underset{\,}{,}$ i_"W
$\quad$则 $\forall E\in\mathscr{M}\;(A_1\subset E)\wedge(A_1^* \subset E^* \subset E)\;\,$故$\;A_1^* \subset A_1$ 进而知 $(A_1^*)^* \subset A_1^*,\underset{\,}{\,}$e"
$\quad A_1^* \in \mathscr{M},\; A_1^*\supset \cap \mathscr{M} = A_1.\;$可见$\;A_1 = A_1^*\underset{\,}{.}\;\,$今取$\;B_1 = \varphi(A_1),\,\;B_2 = B - B_1,\underset{\,}{\,}$VGJz;
$\quad A_2 = \psi(B_2),\;$则$\;A_1 = A_1^* = A-\psi(B-\varphi(A_1)) = A -A_2.\;\,$终得$\,A,\,B\,$之所论分割.AZ
©Elinkage数学论坛 -- Elinkage极酷超级论坛  0
$\quad$易见 $h(x) = \begin{cases}(\varphi|_{A_1})(x) & x\in A_1 \\ (\psi|_{B_2})^{-1}(x) & x\in A_2 \end{cases}$ 定义了双射 $h:A\to B.\quad\square$E]


发贴时间2016/06/14 00:45am IP: 已设置保密[本文共3094字节]  
 elim 
 头衔: 论坛版主

 

等级: 新手上路
信息: 该用户目前不在线 此人为版主
威望: 0 积分: 0
现金: 134218 雷傲元
存款: 没开户
贷款: 没贷款
来自: 保密 blank
发帖: 2002
精华: 0
资料:  
在线: 945 时 57 分 47 秒
注册: 2010/12/07 06:27am
造访: 2019/05/24 04:46am
消息 查看 搜索 好友 引用 回复贴子回复 只看我 [第 2 楼]
  关于选择公理,良序原理见百度百科-*U -
©Elinkage数学论坛 -- Elinkage极酷超级论坛  M
可比定理说白了就是任何二集合的基数是可以比较的。X`<
©Elinkage数学论坛 -- Elinkage极酷超级论坛  vL9)[
Bernstein定理是说集合的基数大小关系满足三歧性。Rx
©Elinkage数学论坛 -- Elinkage极酷超级论坛  O.LA
定理 连续统不可数5FZz{
©Elinkage数学论坛 -- Elinkage极酷超级论坛  %CEc7
证:若不然,由Bernstein 定理,必有$\;[0,1]\sim\mathbb{N}^+\;$故$\,[0,1]\,$的元可无遗漏地列出hxs.{'
©Elinkage数学论坛 -- Elinkage极酷超级论坛  /4!
$\quad c_1,c_2,\ldots,c_n,\ldots$. 记$\;I_1\,$为$\,[0,\frac{1}{3}],[\frac{2}{3},1]\,$之不含$\,c_1\,$者. 假定$\,I_1,\ldots,I_n\,$已取定,满足H
©Elinkage数学论坛 -- Elinkage极酷超级论坛  j'<
$\quad c_i\not\in I_i\subset I_{i-1}\;(I_0=[0,1]),\quad\;I_i =[a_i,b_i]\; (b_i-a_i = 3^{-i},\;i=\overline{1,n}),\quad$令$\,I_{n+1}\,$为A.|
©Elinkage数学论坛 -- Elinkage极酷超级论坛  U$/4-q
$\quad[a_n,a_n+3^{-n-1}],\,[b_n-3^{-n-1},b_n]\,$之不含$\,c_{n+1}\,$者. 由此得区间套$\;\{I_n\}$F0.
©Elinkage数学论坛 -- Elinkage极酷超级论坛  l"zpC"
$\quad$由区间套定理及$\,I_n\,$的取法得矛盾$\,\displaystyle{\varnothing\neq \bigcap_{n=1}^{\infty}I_n \subset \bigcap_{x\in [0,1]}([0,1]-\{x\})= \varnothing.}\quad\square$G}


发贴时间2016/06/14 08:43am IP: 已设置保密[本文共850字节]  
 elim 
 头衔: 论坛版主

 

等级: 新手上路
信息: 该用户目前不在线 此人为版主
威望: 0 积分: 0
现金: 134218 雷傲元
存款: 没开户
贷款: 没贷款
来自: 保密 blank
发帖: 2002
精华: 0
资料:  
在线: 945 时 57 分 47 秒
注册: 2010/12/07 06:27am
造访: 2019/05/24 04:46am
消息 查看 搜索 好友 引用 回复贴子回复 只看我 [第 3 楼]
  定理$\;\;\mathbb{Q}^+\sim \mathbb{N}^+$\7_&!l
证:定义 $\varphi:\mathbb{N}^+\to\mathbb{Q}^+,\;\; \varphi(n) = \dfrac{p_n}{q_n}  \begin{cases}(p_1,q_1)=(1,1),& n=1,\\ (p_n,q_n)=(p_{\lfloor\frac{n}{2}\rfloor}+q_{\lfloor\frac{n}{2}\rfloor},\;q_{\lfloor\frac{n}{2}\rfloor}),& 2\nmid n> 1,\\ (p_n,q_n)=(p_{\lfloor\frac{n}{2}\rfloor},\;p_{\lfloor\frac{n}{2}\rfloor}+q_{\lfloor\frac{n}{2}\rfloor}),& 2\mid n > 1.  \end{cases}$V%Ok[
$\quad$若$\,\varphi\,$非单射,有最小$\,n\,$使对某$\,m>n\,$有$\,\varphi(n)=\varphi(m).\;$易见$\;\varphi(k)=1\implies k=1$HK*B,
$\quad$故$\,n> 1.\,$又由$\,\varphi(n)\begin{cases}> 1,& 2\nmid n\\ < 1,& 2\mid n \end{cases}\;(n > 1)$ 知$\;n\equiv m\pmod{2}$. 于是有Ph
$\quad \varphi(\lfloor\frac{n}{2}\rfloor) =\varphi(\lfloor\frac{m}{2}\rfloor),\;\lfloor\frac{n}{2}\rfloor < \lfloor\frac{m}{2}\rfloor.\;$这与$\,n\,$的最小性矛盾.$
©Elinkage数学论坛 -- Elinkage极酷超级论坛  >Gh-
$\quad$若$\;\varphi\,$非满射,取$\;\;{\small{\dfrac{p}{q}}}\not\in\varphi(\mathbb{N}^+)\;$使$\;\gcd(p,q) =1,\,p+q\,$为最小。显然$\;p\neq  q$, 于是<a
$\quad ((p>q)\implies \frac{p-q}{q}\not\in\varphi(\mathbb{N}^+))\wedge ((p<q)\implies \frac{p}{q-p}\not\in\varphi(\mathbb{N}^+))\wedge(\max(p,q)< p+q).\;$[H9x
$\quad$这与$\;p+q\,$的最小性矛盾.hJ
©Elinkage数学论坛 -- Elinkage极酷超级论坛  mF
$\quad$综上$,\;\varphi\,$是双射.$\quad\square$Z~Is?


发贴时间2016/06/15 06:03pm IP: 已设置保密[本文共1313字节]  
 elim 
 头衔: 论坛版主

 

等级: 新手上路
信息: 该用户目前不在线 此人为版主
威望: 0 积分: 0
现金: 134218 雷傲元
存款: 没开户
贷款: 没贷款
来自: 保密 blank
发帖: 2002
精华: 0
资料:  
在线: 945 时 57 分 47 秒
注册: 2010/12/07 06:27am
造访: 2019/05/24 04:46am
消息 查看 搜索 好友 引用 回复贴子回复 只看我 [第 4 楼]
  定义 对任意集合$\,A\,$, 记$\;\mathscr{P}(A) = \{S\mid S\subset A\},\;$称其为$\,A\,$的幂集.*Lspp
©Elinkage数学论坛 -- Elinkage极酷超级论坛  (
定理 $|\mathscr{P}(A)|> |A|$=${0+W
©Elinkage数学论坛 -- Elinkage极酷超级论坛  #MxS
证:若不然,$|\mathscr{P}(A)|\le |A|,\;$则由Bernstein定理,$\;\exists\varphi:\;A\overset{\varphi}{\sim}\mathscr{P}(A).$3Q
©Elinkage数学论坛 -- Elinkage极酷超级论坛  TS
$\qquad$令$\;B = \{x\in A\mid x\not\in\varphi(x)\}(\in\mathscr{P}(A)),\;$则有$\,b\in A\,$使$\;\varphi(b) = B$.Xj/
©Elinkage数学论坛 -- Elinkage极酷超级论坛  #agvK
$\qquad$由$\,B\,$的定义$,\;\;(b\in B=\varphi(b))\implies (b\not\in B=\varphi(b))\implies (b\in B).\;$]
©Elinkage数学论坛 -- Elinkage极酷超级论坛  K+hi$
$\qquad$这个矛盾$\,\small{\big((b\in B)\iff (b\not\in B)\big)}\,$证明$\;B\not\in\varphi(A).\;$即$\;\varphi\,$非满射.$\;\square$O+n


发贴时间2016/06/16 02:46am IP: 已设置保密[本文共633字节]  
 elim 
 头衔: 论坛版主

 

等级: 新手上路
信息: 该用户目前不在线 此人为版主
威望: 0 积分: 0
现金: 134218 雷傲元
存款: 没开户
贷款: 没贷款
来自: 保密 blank
发帖: 2002
精华: 0
资料:  
在线: 945 时 57 分 47 秒
注册: 2010/12/07 06:27am
造访: 2019/05/24 04:46am
消息 查看 搜索 好友 引用 回复贴子回复 只看我 [第 5 楼]
  定理 $\mathbb{R}\sim \mathscr{P}(\mathbb{N}^+)$c
©Elinkage数学论坛 -- Elinkage极酷超级论坛  %
证:易见$\;\mathbb{R}\sim [0,1),\;\;\mathscr{P}(\mathbb{N}^+)\sim \{0,1\}^{\mathbb{N}^+}\;$($S\,$的子集与其在$\,S\,$上的特征函数1-1对应)AZl
©Elinkage数学论坛 -- Elinkage极酷超级论坛  E[.p
$\qquad$下证$\;[0,1)\sim\{0,1\}^{\mathbb{N}^+}.\,b\in I=[0,1)\,$可唯一地表为二进小数$\,b= 0.b_1b_2b_3\ldots$y.9=M
©Elinkage数学论坛 -- Elinkage极酷超级论坛  rn
$\qquad$并避免从某位起以$\,1\,$为循环节.故$\;f:I\to \{0,1\}^{\mathbb{N}^+},\;0.b_1b_2\ldots\mapsto \phi_b\,(k\overset{\phi_b}{\mapsto}b_k)$[k
©Elinkage数学论坛 -- Elinkage极酷超级论坛  ~>
$\qquad$是单射. 反之,对$\;\phi\in\{0,1\}^{\mathbb{N}^+},\;$定义$\displaystyle{\;g(\phi)=\small{\sum_{n=1}^{\infty}\frac{\phi(n)}{10^n}}},\;$则$\;g:\{0,1\}^{\mathbb{N}^+}\to [0,1)$ps
$\qquad$也是单射. 故Bernstein定理蕴含本定理.2Pn}
©Elinkage数学论坛 -- Elinkage极酷超级论坛  3Sd
引入记号 $\aleph_0 = |\mathbb{N}^+|,\quad\aleph = |\mathbb{R}|$. 则上二定理表明$\;\aleph_0 <\aleph$. 这再次证明$\,\mathbb{R}\,$不可数.o "F
©Elinkage数学论坛 -- Elinkage极酷超级论坛  V\
连续统假设: 没有集合$\,S\,$能使$\;\aleph_0 < |S| < \aleph$.Q4
©Elinkage数学论坛 -- Elinkage极酷超级论坛  FZ0
现已证明,连续统假设独立于ZFC公理集合论.J


发贴时间2016/06/16 08:20am IP: 已设置保密[本文共965字节]  

 该主题只有一页

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

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

使用字体转换?

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


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

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