java 无理数_《数学分析原理》笔记之——无理数的引入
说明:《数学分析原理》指 г.м.菲赫金哥尔茨 著《数学分析原理》(第一卷 第九版)高等教育出版社
整数和分数统称为有理数。有理数域不能完全满足数学定义的需求,比如人们无法将一个边长为1的正方形的对角线长度表示为有理数,也即没有一个其平方能等于2的有理数 ${\frac{{p}}{{q}}}$(${p}$ 与 ${q}$ 是两个自然数)存在(需要说明的是原书中的自然数相当于我们说的正整数)。下面记录书中用反证法证明这一结论的过程。
证明 1
论点:没有一个其平方能等于2的有理数 ${\frac{{p}}{{q}}}$ (${p}$ 与 ${q}$ 是两个自然数)存在
证法:反证法
证明:假定有这样的分数 ${\frac{{p}}{{q}}}$ 存在,使得 ${{ \left( {\frac{{p}}{{q}}} \right) }\mathop{{}}\nolimits^{{2}}\text{ }=\text{ }2}$ 。可以假设这个分数是既约的,也就是说 ${p}$ 与 ${q}$ 无公因子,不可再约分。因 ${p\mathop{{}}\nolimits^{{2}}\text{ }=\text{ }2q\mathop{{}}\nolimits^{{2}}}$,所以 ${p}$ 是偶数。因 ${\frac{{p}}{{q}}}$ 既约,因而 ${q}$ 是奇数。设 ${p=2r}$(${r}$是整数),则有 ${p\mathop{{}}\nolimits^{{2}}\text{ }=\text{ }2q\mathop{{}}\nolimits^{{2}}\text{ }=\text{ }4r\mathop{{}}\nolimits^{{2}}}$,进而 ${q\mathop{{}}\nolimits^{{2}}\text{ }=\text{ }2r\mathop{{}}\nolimits^{{2}}}$ ,由此可推得 ${q}$ 是偶数,这与假设相矛盾,论点得证。
有理数域的不足在几何中简单地表现为 “不是所有的线段都能有长度”。例如,上述边长为1的正方形其对角线长度的平方为2,但其对角线长度自身不能用有理数表示,这可由论点1得出。
书中扩充有理数域、定义无理数是通过记录德国数学家戴德金关于讨论有理数域内分割的概念得出的。考虑把全部有理数的集合分成两个非空集合${A}$和${A'}$,即假定:
1. 每一个有理数在而且只在 ${A}$ 或 ${A'}$ 两个集合中的一个
2. 集合${A}$中的每一个数 ${a}$小于集合 ${A'}$ 中的每一个数 ${a'}$
满足这两个条件的对有理数域的分法称为“分割”。其中集合 ${A}$ 叫做分割的下类,集合${A'}$叫做上类,分割可用 ${A|A'}$ 表示。书中证明,分割只能有以下三个类型:
1) 在下类 ${A}$ 中没有最大的数,而在上类 ${A'}$ 中有最小的数 ${r}$;
2) 在下类 ${A}$ 中有最大的数 ${r}$,而在上类 ${A'}$ 中没有最小的数;
3) 既在下类中没有最大的数,又在上类中没有最小的数。
前两种分割是由有理数 ${r}$ 产生的( ${r}$ 是 ${A}$ 与 ${A'}$ 两类中间的界数),或者说,这分割定义了有理数 ${r}$。第三种情形下的界数在有理数域不存在,分割不能定义任何有理数,故而引进了无理数,且规定 任何属于类型 3) 的分割定义了某一个无理数${α}$,${α}$就代替这缺少的界数。
下面用图示简单表示这三种情形,并证明第三种情形。
分割一:
分割二:
分割三:
下面先记录书中对分割三第一种情形的证明,再仿照方法证明第二种情形。
证明 2
论点:在有理数域内,把一切使 ${a\mathop{{}}\nolimits^{{2}}\text{ } < \text{ }2}$ 的正有理数${a}$、${0}$及一切负有理数都归入${A}$类,把一切使 ${\mathop{{a'}}\nolimits^{{2}}\text{ } > \text{ }2}$ 的正有理数${a'}$ 归入${A'}$ 类,证明在 ${A}$ 类中既无最大数,在 ${A'}$ 类中也无最小数。
证法:放缩法不等式证明
证明:
(1). 首先,证明在 ${A}$ 类中无最大数
我们只需显示证明 ${a\mathop{{}}\nolimits^{{2}}\text{ } < \text{ }2}$ 的情况,${a\mathop{{}}\nolimits^{{2}}\text{ } \le \text{ }0}$ 的情况很明显成立。
设 ${a}$ 是 ${A}$ 类中的任一整数,则有${a\mathop{{}}\nolimits^{{2}} < 2}$,我们需证明如果可以有正数${n}$,使得
${{ \left( {a+\frac{{1}}{{n}}} \right) }\mathop{{}}\nolimits^{{2}}\text{ } < \text{ }2}$ (1),
也就是说让 ${a+\frac{{1}}{{n}}}$ 也属于${A}$类。展开不等式并移项可得
${\frac{{2a}}{{n}}+\frac{{1}}{{n\mathop{{}}\nolimits^{{2}}}}\text{ } < \text{ }2-a\mathop{{}}\nolimits^{{2}}}$ (2)
又对于正数${n}$,不妨取 ${n > 1}$,则有
${\frac{{1}}{{n\mathop{{}}\nolimits^{{2}}}}\text{ } < \text{ }}\frac{{1}}{{n}}$
不等式两边同时加正数 ${\frac{{2a}}{{n}}}$ 可得
${\frac{{2a}}{{n}}+\frac{{1}}{{n\mathop{{}}\nolimits^{{2}}}}\text{ } < \text{ }\frac{{2a}}{{n}}+\frac{{1}}{{n}}}$
亦即 ${\frac{{2a}}{{n}}+\frac{{1}}{{n\mathop{{}}\nolimits^{{2}}}}\text{ } < \text{ }\frac{{2a\text{ }+1}}{{n}}}$
如果 ${n}$ 满足不等式 ${{\frac{{2a\text{ }+1}}{{n}}}\text{ } < \text{ }2-a\mathop{{}}\nolimits^{{2}}}$ ,则不等式成立 (2) 成立,进而不等式 (1) 成立。为此,只要取
${n\text{ } > \text{ }\frac{{2a+1}}{{2-a\mathop{{}}\nolimits^{{2}}}}}$
即可。由此可见,无论 ${a}$ 是 ${A}$ 类中怎样的一个正数,在 ${A}$ 类中总能找到大于 ${a}$ 的数。联系 ${a\mathop{{}}\nolimits^{{2}}\text{ } \le \text{ }0}$ 的情况,在 ${A}$ 类中无最大数得证。
(2). 同理,证明在${A'}$类中无最小数
设 ${a'}$ 是 ${A'}$ 类中的任一整数,则有 ${\mathop{{a'}}\nolimits^{{2}}\text{ } > \text{ }2}$。我们需证明如果可以有正数 ${n}$ 使得
${{ \left( {a'-\frac{{1}}{{n}}} \right) }\mathop{{}}\nolimits^{{2}}\text{ } > \text{ }2}$ (3)
也就是说让 ${a'-\frac{{1}}{{n}}}$ 也属于 ${A'}$ 类。展开不等式 (3) 并移项可得:
${\frac{{1}}{{n\mathop{{}}\nolimits^{{2}}}}\text{ }-\text{ }\frac{{2a'}}{{n}}\text{ } > \text{ }2\text{ }-\text{ }a'\mathop{{}}\nolimits^{{2}}}$ (4)
对于正数 ${n}$,取 ${0 < n < 1}$,则有
${\frac{{1}}{{n\mathop{{}}\nolimits^{{2}}}}\text{ } > \text{ }\frac{{1}}{{n}}}$
不等式两边同时减去 ${\frac{{2a'}}{{n}}}$ 可得
${\frac{{1}}{{n\mathop{{}}\nolimits^{{2}}}}\text{ }-\text{ }\frac{{2a'}}{{n}}\text{ } > \text{ }\frac{{1}}{{n}}\text{ }-\text{ }\frac{{2a'}}{{n}}}$
亦即 ${\frac{{1}}{{n\mathop{{}}\nolimits^{{2}}}}\text{ }-\text{ }\frac{{2a'}}{{n}}\text{ } > \text{ }\frac{{1-2a'}}{{n}}}$
如果 ${n}$ 满足不等式 ${\frac{{1-2a'}}{{n}}\text{ } > \text{ }2\text{ }-\text{ }a'\mathop{{}}\nolimits^{{2}}}$,则不等式 (4) 成立,进而不等式 (3) 成立。
为此,只要取
${n\text{ } < \text{ }\frac{{1-2a'}}{{a'\mathop{{}}\nolimits^{{2}}-2}}}$
即可。由此,无论${a'}$ 是 ${A'}$ 类中怎样的一个正数,在 ${A'}$ 类中总能找到小于 ${a'}$ 的数。故,在 ${A'}$ 类中无最小数得证。
分割三在有理数域不存在界数,但可以在无理数域找到这个界数就是 ${{\sqrt{{2}}}}$。
事实上,在引进了无理数后,前述三种分割也可以统一起来。这建立在一下两个规定之上:
(1). 有理数和无理数统称为实数
(2). 将界数归到上类
这样,在实数域内定义的分割就是:
在下类 ${A}$ 中没有最大的数,而在上类 ${A'}$中有最小的数 ${r}$ 。
java 无理数_《数学分析原理》笔记之——无理数的引入相关推荐
- java 渗透_渗透课程笔记
由于仅仅是听课笔记,错漏均会有,原理是正确的 1.环境 主机1 192.168.0.101 1)win2003操作系统 2)开启apache+mysql+php+wordpress 其中 apache ...
- 用c++自制词法分析器_编译原理笔记 02 词法分析
# 词法分析 ## 主要任务 从左向右逐行扫描源程序的字符,识别出各个单词,确定单词的类型.将识别的单词转换成统一的机内表述---词法单元(token)形式 ## 词法分析的状态转换图 图片来源: 编 ...
- 张孝祥java高新技术笔记_张孝祥Java高新技术_课程--------学习笔记第一天
1)静态注入:import static java.lang.Math.*; 就可以直接用里面的方法,不用再New个对象调用了 System.out.println(max(1,2)); System ...
- active控件和java脚本_【学习笔记】在原生javascript中使用ActiveX和插件
什么是插件 现在的浏览器提供了大量的内置功能,但仍然有一些工作无法完成,如播放音频和视频.插件及其扩展浏览器功能就尤为重要. 插件是可下载的应用程序,可以插入到浏览器中,现在有很多不同的插件,常用的有 ...
- 插入的数据不能时时查询到_数据库原理笔记
转载自:https://zhuanlan.zhihu.com/c_1236597039825223680 数据库系统的基本概念 数据:描述事物的符号记录 数据库(DB):长期存储在计算机内,有组织,可 ...
- java 字节码增强原理_深入浅出Java探针技术1--基于java agent的字节码增强案例
Java agent又叫做Java 探针,本文将从以下四个问题出发来深入浅出了解下Java agent 一.什么是java agent? Java agent是在JDK1.5引入的,是一种可以动态修改 ...
- 关于Walter Rudin《数学分析原理》第一章附录对定理1.19的证明
一.概述 使用的书是来自机械工业出版社影印的<数学分析原理>,书号为ISBN 978-7-111-61954-3,对应于Walter Rudin的原书第三版. 作者在第一章提出了一个定理: ...
- JAVA基础与高级学习笔记
JAVA基础与高级学习笔记 /记录java基础与高级,除了较简单的内容,没有必要记录的没有记录外,其余的都记录了/ java初学者看这一篇就够了,全文 6万+ 字. JAVA基础 java会出现内存溢 ...
- Java程序的运行原理及JVM的启动是多线程的吗?
Java程序的运行原理及JVM的启动是多线程的吗? A:Java程序的运行原理 Java通过java命令会启动java虚拟机.启动JVM,等于启动了一个应用程序,也就是启动了一个进程. 该进程会自动启 ...
- Java NIO使用及原理分析
http://blog.csdn.net/wuxianglong/article/details/6604817 转载自:李会军•宁静致远 最近由于工作关系要做一些Java方面的开发,其中最重要的一块 ...
最新文章
- 软件工具将GPU代码迁移到fpga以用于AI应用
- 在conda环境中pip使用清华源秒速安装skimage、opencv、tensorflow、pytorch1.2.0等p
- springboot 单元测试
- 干货 | 神经网络与深度学习精选文章汇总
- 牛客练习赛42 A	字符串
- FATAL: NO bootable medium found! System halted
- 清除Linux终端命令的历史记录
- 关于HTTPS的几个问题
- php返回ajax必须是数组,ajax返回数组,页面接收不到数据
- 每天一个linux命令(16):witch命令
- IntelliJ IDEA多项目共用一个Tomcat
- swift编程语言和c,Swift与Objective C对比:选择更快的开发语言
- 女生转行学习IT技术需要考虑什么
- while循环实例C语言,实例之while循环
- 单页面网站优化技巧有哪些?
- Comparing Mongo DB and Couch DB
- 电商类-仿美团页面demo
- H5视频自动播放和循环播放
- 视频画中画效果制作,原来这么简单就可以做出
- elo 评分_Elo评分系统:使用Clojure对欧洲冠军联赛球队进行排名
热门文章
- linux 设备类型misc,linux驱动开发之misc类设备介绍
- (学信网联合万方)免费论文查重
- 英语4级的分数如何计算机,英语四级分数怎么算
- C#打印机套打三联单
- Windows操作系统免费下载地址(itellyou)
- 小e和siri_华为手机语音助手“小E”功能大全,二十三种玩法你都会吗?
- 机械臂D-H参数法分析
- 广东迅视资管 “亦庄智造”填补国内高速棒材技术空白
- 爬取QQ空间说说日志、好友个人信息并进行加密
- 微信铁通服务器地址,铁通dns服务器地址大全