陶哲轩实分析Chap5-命题5.4.14

命题5.4.14 给定任意两个实数\(x< y\),我们能够找到一个有理数\(q\)使得\(x<q<y\)。
证明:
设\(x=LIM_{n \to \infty}a_n,y=LIM_{n \to \infty}b_n\)
\(\because x<y\),由定义5.4.6(实数的排序)、定义5.4.3(实数的正负)得
\(y-x=LIM_{n \to \infty}(b_n-a_n)\)为正\(=LIM_{n \to \infty}c_n\)
其中\({(c_n)^{\infty}_{n=1}}\)为正远离\(0\)的柯西序列,${\forall}n \geq 1,c_n \geq c > 0,c \in \mathbb{Q} $
由定义5.3.1(实数的相等)得\((b_n-a_n)^{\infty}_{n=1}\)与\((c_n)^{\infty}_{n=1}\)等价,即
\({\forall}\varepsilon_1 > 0,{\exists}N_1 \in \mathbb{N},s.t. \vert b_n-a_n-c_n\vert \leq \varepsilon_1\)对\({\forall}n \geq N_1\)成立
由定义5.1.8(柯西序列)得
\({\forall}\varepsilon_2 > 0,{\exists}N_2 \in \mathbb{N},s.t. \vert a_n-a_{N_2}\vert \leq \varepsilon_2\)对\({\forall}n \geq N_2\)成立
\({\forall}\varepsilon_3 > 0,{\exists}N_3 \in \mathbb{N},s.t. \vert b_n-b_{N_3}\vert \leq \varepsilon_3\)对\({\forall}n \geq N_3\)成立
令\(\varepsilon_1=\varepsilon_2=\varepsilon_3=\frac{c}{4}\),\(N=max\{N_1,N_2,N_3\}\),对\({\forall}n \geq N\)
\(\vert b_n-a_n-c_n\vert \leq \frac{c}{4}\Rightarrow c-\frac{c}{4}=\frac{3c}{4} \leq c_n-\frac{c}{4} \leq b_n-a_n \leq c_n+\frac{c}{4} \Rightarrow \frac{3c}{4} \leq c_N-\frac{c}{4} \leq b_N-a_N \leq c_n+\frac{c}{4}\)
\(\vert b_n-b_N\vert \leq \frac{c}{4}\Rightarrow b_N-\frac{c}{4} \leq b_n \leq b_N+\frac{c}{4}\)
\(\vert a_n-a_N\vert \leq \frac{c}{4}\Rightarrow a_N-\frac{c}{4} \leq a_n \leq a_N+\frac{c}{4}\)
取\(q=\frac{a_N+b_N}{2}\)
\(b_n-q=b_n-\frac{a_N+b_N}{2} \geq b_N-\frac{c}{4}-\frac{a_N+b_N}{2}=\frac{b_N-a_N}{2}-\frac{c}{4} \geq \frac{3c}{8}-\frac{c}{4}=\frac{c}{8}>0\),\(n \geq N\)
\(q-a_n=\frac{a_N+b_N}{2}-a_n \geq \frac{a_N+b_N}{2}-a_N-\frac{c}{4}=\frac{b_N-a_N}{2}-\frac{c}{4} \geq \frac{3c}{8}-\frac{c}{4}=\frac{c}{8}>0\),\(n \geq N\)
令\((D_n)^{\infty}_{n=1}=\begin{equation} \left\{ \begin{array}{c} \frac{c}{8},n<N \\ b_n,n \geq N \\ \end{array} \right. \end{equation}\)与\((b_n-q)^{\infty}_{n=1}\)等价,\(y-q=LIM_{n \to \infty}(b_n-q)=LIM_{n \to \infty}D_n\)
\(\because {\forall}n \geq 1,D_n \geq \frac{c}{8}\),\(\therefore (D)^{\infty}_{n=1}\)为正远离\(0\)的柯西序列,\(y-q=LIM_{n \to \infty}D_n\)为正,即\(y>q\)
同理令\((E_n)^{\infty}_{n=1}=\begin{equation} \left\{ \begin{array}{c} \frac{c}{8},n<N \\ a_n,n \geq N \\ \end{array} \right. \end{equation}\)与\((q-a_n)^{\infty}_{n=1}\)等价,\(q-x=LIM_{n \to \infty}(q-a_n)=LIM_{n \to \infty}E_n\)
又\(\because {\forall}n \geq 1,E_n \geq \frac{c}{8}(E_n)^{\infty}_{n=1}\)为正远离0的柯西序列,\(\therefore q-x=LIM_{n \to \infty}E_n\)为正,即\(q>x\)
综上,对任意两个实数\(x<y\),总存在有理数\(q\)使得\(x<q<y\)

原文地址:https://www.cnblogs.com/puyiniao/p/11104783.html

时间: 2024-11-10 11:36:02

陶哲轩实分析Chap5-命题5.4.14的相关文章

陶哲轩 实分析 第二章第二小节 习题解答

陶哲轩 实分析 第二小节 习题 最近从网上下载到了陶哲轩写的实分析,确实是本好书.不过所有的习题都没有给出答案.我试着自己做一遍习题,整理一份习题解答. 2.2.1 证明自然数加法是结合的 (a + b) + c = a + (b + c) 数学归纳法 a=0 时, 左边: (0+b)+c=b+c 右边: 0+(b+c)=b+c 左边 = 右边 假设当 a=n 时,(n+b)+c=n+(b+c) 成立 则,当 a=n++ 时 ((n++)+b)+c=((n+b)++)+c=((n+b)+c)++

陶哲轩实分析 3.3 节习题试解

陶哲轩实分析 习题解答 习题 3.3 3.3.1 (1) 证明自反性 ?x∈X,f(x)=f(x) 所以 f=f (2) 证明对称性 假设 f=g 那么 ?x∈X,f(x)=g(x) 所以 ?x∈X,g(x)=f(x) 所以 g=f (3) 传递性 假设 f=g,g=h 那么有 ?x∈X,f(x)=g(x) ?x∈X,g(x)=h(x) 所以?x∈X,f(x)=h(x) 所以 f=h 3.3.2 (1) 证明.当 f 和 g 都是单射时.g°f 也是单射. 反证法: 设存在不同样的 x1 和 x

陶哲轩实分析-第2章-从头开始:自然数

个人笔记,可能错误 2.1 Peano公理 假设2.6 书中没有证明假设2.6,不知道为什么. 2.2 加法 公理2.5 看了这儿才知道,原来数学归纳法是公理,最基础的东西. 命题2.1.16 正如所说,这个命题定义了递归,通过一个函数,定义了n->an ->前面的n就是普通自然数,->后面的an 也满足自然数的5条公理,一个例子是后面定义2.2.1中提到的fn(x)==x+3 ,这里,"an"中的"0",也就是c,为3,0++=4,以此类推. 定

陶哲轩实分析-第3章-集合论-1-3

warning:个人笔记与习题解答,必然有很多错误!! 觉得这一章很有意思,如果觉得看的过程是一种享受,习题就感觉容易些,如果觉得是任务,就会感觉很难,而且很不确定做的对不对 这一章的很多为什么感觉明显比上一章的简单,根据定义很容易得出,很多就不写了 3.1 基本事项 定义3.1.4为什么属于∈ 遵从带入公理A.7 对于集合A和B作为对象采用带入公理,并且根据相等关系定义,对于A=B,显然x同时属于A和B,证明完毕 公理3.2后面为什么 两个空集??′彼此相等 只需要说明? 中每个元素都属于?′

陶哲轩实分析-第3章-集合论-4-6

warning:个人笔记与习题解答,相信有很多错误 这一章全是各种逻辑推理,看完以后确实对集合论有了一定了解,了解了一些推理过程.习题也真多,所以分成1-3和4-6. 3.4 象和逆象 定义3.4.1 为什么根据替换公理,f(S)是明确定义了的 替换公理中,定义P(x,y)为{y:?x∈S使得f(x)=y},这样选出的集合就是f(S) 如何根据分类公理来定义f(S) 分类公理中,定义f(S)为{y∈Y:?x∈X使得f(x)=y} 为什么 y∈f(S)<=>?x∈S,y=f(x) 感觉这就是象的

【分享】近4000份数学学习资源免费分享给大家

一直以来喜欢收集数学类的教程资源,于是费了好大劲从万千合集站上扒拉了下来,总结归类了一下,一共有将近4000本电子书.经测试,均可免费下载,可能会弹出小广告,可不必理会之.[仅供学术学习和交流,请无用于商业用途.]另外,如有可能,还请尽量支持正版纸质书.   数学史(54)     数学史.rar 55.6 MB   数学的起源与发展.rar 4.3 MB   费马大定理—一个困惑了世间智者358年的谜.pdf 9.5 MB   通俗数学名著译丛14-无穷之旅:关于无穷大的文化史.pdf 14.

百世经纶一页书

大学 4 年的计算机专业的生活快结束了,看完了大部分的书,还有一小部分没看完,记之. 看的比较杂,有些也不是很好分类.文笔很烂,点评就不写了. 基本都买了,加起来比我人高.... <<<<<<<<<<<<<<<<<<<<<< 图论点滴 >>>>>>>>>>>>>>>>>>

天才辈出的数学江湖

这篇日志的原因很简单,就是希望给所有期望在学科研究上能有所建树的学子们一面镜子,镜子里不仅有这位昔日的IMO金牌.北大数院毕业后前往MIT攻读博士后.29岁拿到拉马努金奖.现在Stanford做tenure的大神恽之玮,还有比利时数学家Pierre Deligne(皮埃尔·德利涅)以及德国数学家Gerd Faltings (格尔德·法尔廷斯)和Peter Scholze等大神的影子,更为重要的是,作者揭示了大神之所以能称为"大神",背后所付出的一切,同时又用一个个鲜活的事例演示了现代版

一些对数学领域及数学研究的个人看法(转载自博士论坛wcboy)

转自:http://www.math.org.cn/forum.php?mod=viewthread&tid=14819&extra=&page=1 原作者: wcboy 现在的论坛质量比以前差了,大部分都是来解题问答的,而且层次较低.以前论坛中,Qullien很令人印象深刻,但愿他能在国外闯出一片天空.现在 基础数学版代数&数论子版中那几个讨论代数几何的还不错.不期望目前论坛出现很多高层次高手,高层次高手应该站在好课题上高观点讨论数学,出 现这样的网友,看他们的言论非常过