第四回. 实数系的性质
前面两回构造了实数系, 并且证明了实数全体构成一个有序域, 且有理数域在同构意义下是实数域的子域. 那么实数是否可以描述一些有理数所不能描述的自然界的规律呢? 答案是肯定的.
(性质) 存在实数 $r>0$ 使得
$$r^2=2.$$
(上式的意思实际上是存在有理数基本列 $(q_n)$ 使得 $(q_n^2)=(2)$.)
证明. 这里采用构造性证明. 归纳地定义数列如下: $q_1=2$,
$$q_{n+1}=\frac{1}{2}q_n+\frac{1}{q_n},\quad n\geq 1.$$
在第二回已经说明了 $(q_n)$ 是一个基本列, 下面说明:
$$(q_n)^2=2.$$
事实上,
$$q_{n+1}^2-2=\frac{(q_n^2-2)^2}{4q_n^2}.$$
由此式可知:
$$q_n^2> 2,\quad \forall n\geq1.$$
所以
$$q_{n+1}^2-2\leq\frac{1}{8}(q_n^2-2)^2,\quad \forall n\geq1.$$
$$\log(q_{n+1}^2-2)\leq 2\log(q_n^2-2)-\log8.$$
\begin{align*}
\log(q_{n+1}^2-2)-\log8&\leq2\left(\log(q_n^2-2)-\log8\right)\\
&\leq\cdots\\
&\leq2^n\left(\log(q_1^2-2)-\log8\right)\\
&=-2^n\log(4).
\end{align*}
所以
$$0<q_{n+1}^2-2\leq 8\cdot4^{-2^n}.$$
即
$$(q_n)^2=(2).$$
在我们日常生活中, 我们习惯了用十进制小数去表示一个实数, 这种表示本质上是给出了这个基本列的前 $n$ 位小数, 用前 $n$ 位小数的精度在 $10^{-n}$ 级别.
在Python中输入以下代码:
s=2
for i in range(100):
s=s/2+1/s
运行结果如下:
s
1.414213562373095
通常取1.414213562373作为正方形边长的一种近似, 而用 $\sqrt{2}$ 表示其长度.
下面来给出实数系的基本定理, 这也是当初这么构造实数的一个动机.
(完备性定理) 设 $(r_n)_{n\geq1}$ 是 $\mathbb{R}$ 中的基本列, 则存在唯一的 $r\in\mathbb{R}$ 使得
$$\lim_{n\rightarrow\infty}r_n=r.$$
(单调有界定理) 设数列 $(a_n)$ 单调递增, 且有上界, 则 $\lim\limits_{n\rightarrow\infty}a_n$ 存在.
(确界存在定理) 设数集~$A$~有上界, 则一定有上确界.
(Bolzano-Weierstrass定理) 设数列 $(a_n)$ 有界, 则一定存在收敛子列 $(a_{n_k})$.
(Heine-Borel定理) 设有一族开区间 $\{(a_\lambda,b_\lambda)\}_{\lambda\in \Lambda}$ 覆盖了闭区间 $[a,b]$, 即
$$[a,b]\subset\bigcup_{\lambda\in \Lambda}(a_\lambda,b_\lambda).$$
则一定存在这族开区间中的有限个 $\{(a_i,b_i)\}_{i=1}^n$ 覆盖 $[a,b]$.
(闭区间套定理) 设 $\{[a_n,b_n]\}_{n\geq1}$ 是闭区间套, 即
$$[a_{n+1},b_{n+1}]\subset [a_n,b_n],\quad n\geq1,$$
且有
$$\lim_{n\rightarrow\infty}(b_n-a_n)=0.$$
则存在唯一的 $\xi$ 使得
$$a_n\leq\xi\leq b_n,\quad\forall~n\geq1.$$
转载于:https://www.cnblogs.com/schrodinger/p/6058703.html
第四回. 实数系的性质相关推荐
- [你必须知道的.NET]第十四回:认识IL代码---从开始到现在
本文将介绍以下内容: · IL代码分析方法 · IL命令解析 · .NET学习方法论 1. 引言 自从『你必须知道.NET』系列开篇以来,受到大家很多的关注和支持, ...
- 第四回 还君明珠双泪垂,恨不相逢未嫁时
第四回 还君明珠双泪垂,恨不相逢未嫁时 节妇吟 唐·张籍 君知妾有夫,赠妾双明珠. 感君缠绵意,系在红罗襦. 妾家高楼连苑起,良人执戟明光里. 知君用心如日月,事夫誓拟同生死. 还君明珠双泪垂,恨不相 ...
- P1217 [USACO1.5]回文质数 Prime Palindromes——回文质数性质、打表
[USACO1.5]回文质数 Prime Palindromes 题目描述 因为 151151151 既是一个质数又是一个回文数(从左到右和从右到左是看一样的),所以 151151151 是回文质数. ...
- MicroPython_ESP8266_IoT——第四回 初入联网(接入了贝壳物联)
第四回 初入联网(接入了贝壳物联) 本来计划先把所有的硬件介绍完,再介绍如何介入贝壳物联的.但是那样就比较枯燥,还是先尝试接入贝壳物联,来增加ESP8266模块的可玩性. 需要了解[贝壳物联平台通信协 ...
- Python数据可视化matplotlib:第四回:文字图例尽眉目
Python数据可视化matplotlib:第四回:文字图例尽眉目 1. Figure和Axes上的文本 大家可以看到有些论文或者博客上都有绘制的很漂亮的图,其中大部分都在图形绘制上进行一定的注释说明 ...
- 数据可视化教程作业打卡-第四回:文字图例尽眉目
教程链接 https://github.com/datawhalechina/fantastic-matplotlib https://gitee.com/zhang35/fantastic-matp ...
- 第四回-MBR加载与执行实验
本回我们进行一次实验性的实操环节,机器上电运行相应BIOS代码,然后BIOS加载硬盘的MBR分区内容,并执行MBR代码.本次实验使用Bochs虚拟机模拟整个x86架构的真实机器.实验过程中我们需要为B ...
- 学习日志 全民一起VBA提高篇 第四回 日期类型穿梭岁月 时间函数算尽光阴
学习日志 全民一起VBA提高篇 第四回 日期类型穿梭岁月 时间函数算尽光阴 相关知识点 一.获取当前系统时间1. date() 或date 可获得日期 如 2019/2/12. time() 或tim ...
- 【HDU - 5744 】Keep On Movin (回文串性质,贪心思维,不是水题)
题干: Professor Zhang has kinds of characters and the quantity of the ii-th character is aiai. Profess ...
- 《东周列国志》第七十四回 囊瓦惧谤诛无极 要离贪名刺庆忌
话说费无极心忌伯郤宛,与鄢将师商量出一个计策来,诈谓囊瓦曰:"子恶欲设享相延,托某探相国之意,未审相国肯降重否?"囊瓦曰:"彼若见招,岂有不赴之理?"无极又谓郤 ...
最新文章
- 安装汇编环境,写一个最简单的窗口程序
- 通过组策略禁止用户安装任何软件
- win7系统任务管理器如何强制关闭程序
- javascript-运算符
- 第二章16位和32位微处理器(1)——8086的编程结构与最小模式
- spark算子_Spark算子总结
- 【Android架构GPS篇】之GPS定位应用层流程
- Entry模拟对输入的密码进行验证是否符合规范
- fltk和glog在mac下的安装与编译
- Vue自定义组件——图片放大器,js点击<img>触发图片放大,富文本内图片点击实现放大器效果
- Sublime快捷键大全
- html 英文艺术字体,生日快乐英文艺术字体
- Qt学习——聊天的QQ列表QToolBox类
- java 反射 获取 实例_java通过类反射获取某个类的所有信息--代码实例
- 信息安全概论:Hash函数概念与性质
- 周三直播 | PaddleGAN又开金手指,零门槛人像转卡通
- 服务器 信号超出范围,显示器上显示输入信号超出范围怎么处理
- 华为服务器网卡激活配置文件,客户端服务器网络配置文件
- linux个人学习文档
- 有哪些问卷调查工具推荐?
热门文章
- thinkphp5 insertAll 插入的数据列不对 对应关系不对
- java 成员初始化_静态成员及其初始化
- 270 扩展固态硬盘_希捷硬盘白送3年原厂数据恢复!成功率高达90
- sql的执行顺序(from平凡世界)
- springboot学习笔记2106版
- 数据库中的case when ,if ,if null
- 下列属于usb转串口的芯片是_USB转串口常用芯片
- 解决tomcat在idea控制台乱码
- 十一、Shell脚本流程控制语句
- CentOS下启动mysql出现“MySQL Daemon failed to start”解决办法