《初等数论(第四版,北京大学出版社,潘承洞,潘承彪著)》阅读笔记+心得

I、整除理论

一、自然数与整数

这里的自然数定义和各种规律以及反证法的定义就不再赘述,我们从归纳法开始讲起。

1.归纳原理

归纳原理: 设 S 是 N 的一个子集,满足条件:
(i) \(1 \in S\)
(ii) \(n \in S\),那么有 \(n + 1 \in S\)
\(S = N\)
那么我们就有以下推论:
数学归纳法:\(P(i)\) 是关于 \(i\) 的一个命题,满足条件:
(i) \(P(1) = 1\)
(ii) \(P(i) = 1\),那么有 \(P(i + 1) = 1\)
则对于所有 \(x \in N\),都有 \(P(x) = 1\)

这个定理在很多数学证明题里面都非常实用,主要思路是先证明 \(P(1) = 1\),再证明 (ii),一般证明时 (ii) 是最难证明的,而 (ii) 的证明需要视情况而定,读者可以通过多练习,熟能生巧来逐渐熟悉。

2.最小自然数定理

最小自然数定理:\(T\)\(N\) 的一个非空子集,则必有 \(t_0 \in T\),对于任意的 \(t \in T\),都有 \(t_0 \le t\)
同理,有最大自然数定理:
最大自然数定理:\(T\)\(N\) 的一个非空子集,则必有 \(t_0 \in T\),对于任意的 \(t \in T\),都有 \(t_0 \ge t\)

例题 1(对应习题中的 1.):设 \(k_0\) 是给定的自然数,\(P(n)\) 是关于 \(n\) 的一种性质或命题,证明:如果
(i) \(P(k_0) = 1\)
(ii) 由 \(P(n)\) 成立可以推出 \(P(n + 1)\) 成立。
那么对于所有 \(n \ge k_0\),都有 \(P(n) = 1\)

解答:
假设定理不成立,则不妨设 \(A\) 为所有不成立的整数中组成的集合,很容易证明 \(A\) 非空。
最小自然数定理可得,\(A\) 集合有最小自然数 \(a_0\)
但由于 \(P(a_0) = 0\),所以 \(P(a_0 - 1) = 0\)
所以 \(a_0 - 1\) 也在集合 \(A\) 中,所以最小自然数应该为 \(a_0 - 1\)
与原题矛盾,该猜想不成立。
所以原命题成立。

3.第二数学归纳法

第二数学归纳法:\(P(i)\) 是关于 \(i\) 的一个命题,满足条件:
(i) \(P(1) = 1\)
(ii) 对于 \(n > 1\),若所有的自然数 \(m < n\),都有 \(P(m) = 1\),则可以推出 \(P(n) = 1\)
则对于所有 \(x \in N\),都有 \(P(x) = 1\)

虽然这个定理没有第一数学归纳法常用,但一些题目还是会涉及到它,我们通过例题 2 来运用:

例题 2(对应习题中的 2.):设 \(k_0\) 是给定的自然数,\(P(n)\) 是关于 \(n\) 的一种性质或命题,证明:如果
(i) \(P(k_0) = 1\)
(ii) 对于 \(n > k_0\),若所有的自然数 \(k_0 \le m < n\),都有 \(P(m) = 1\),则可以推出 \(P(n) = 1\)
那么对于所有 \(n \ge k_0\),都有 \(P(n) = 1\)

解答:
假设定理不成立,则不妨设 \(A\) 为所有不成立的整数中组成的集合,很容易证明 \(A\) 非空。
最小自然数定理可得,\(A\) 集合有最小自然数 \(a_0\)
但由于 \(P(a_0) = 0\),所以对于自然数集合 \(M = \{m|k_0 \le m < a_0\}\),至少有一个数 \(m_0\) 使得 \(P(m_0)=1\)
所以 $P(m_0)
与原题矛盾,该猜想不成立。
所以原命题成立。

本文来自互联网用户投稿,该文观点仅代表作者本人,不代表本站立场。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如若转载,请注明出处:http://www.mzph.cn/news/923879.shtml

如若内容造成侵权/违法违规/事实不符,请联系多彩编程网进行投诉反馈email:809451989@qq.com,一经查实,立即删除!

相关文章

完整教程:Ansible Playbook

pre { white-space: pre !important; word-wrap: normal !important; overflow-x: auto !important; display: block !important; font-family: "Consolas", "Monaco", "Courier New", …

免费招聘的网站自己的网站什么做优化

我的施工之路Python 绘图入门这是施工系列第18篇&#xff0c;同时也进入到一个新的阶段&#xff1a;Python绘图篇。作为绘图模块的第一篇&#xff0c;与大家一起过过最基本的Python绘图原理。掌握基本的绘图原理很有必要&#xff0c;各个常用绘图库的原理基本都是相通的。所以了…

做企业云网站的企业邮箱丰都网站建设公司

Web页面中的特殊效果&#xff0c;如菜单效果&#xff0c;对话框效果都需要通过定位属性来实现。定位样式position属性可以控制元素的定位类型position属性值可以为sataic、fixed、absolute、relativeposition属性的语法结构- position:value;定位属性static默认值。没有定位&am…

深圳做分销网站的公司大学生心里健康网站设计与建设

深入理解Linux守护进程Linux服务器在启动时需要启动很多系统服务&#xff0c;它们向本地和网络用户提供了Linux的系统功能接口&#xff0c;直接面向应用程序和用户。提供这些服务的程序是由运行在后台的守护进程&#xff08;daemons&#xff09;来执行的。守护进程是生存期长的…

完整教程:Word和WPS文字中的自动编号和文字间距过大怎么办?

完整教程:Word和WPS文字中的自动编号和文字间距过大怎么办?pre { white-space: pre !important; word-wrap: normal !important; overflow-x: auto !important; display: block !important; font-family: "Cons…

没有网站怎样做外贸wordpress文章换行符

前面我们看到的代码都是顺序执行的&#xff0c;也就是先执行第一条语句&#xff0c;然后是第二条、第三条……一直到最后一条语句&#xff0c;这称为顺序结构。 但是对于很多情况&#xff0c;顺序结构的代码是远远不够的&#xff0c;这时我们就要使用判断语句即if else语句。 …

珠海哪里学网站开发拓者设计吧官网app

计算机专业毕业后大致的工作方向是软、硬、网、图 四大类 尤其以软件、网络为现今的首选 从岗位上分&#xff0c;又可以分为技术道路、营销道路两大方向 if 你选择作技术&#xff0c;then 从现在开始&#xff0c;牢记&#xff1a; 天道酬勤&#xff01;&#xff01;&#xff…

制作网站首先做的工作重庆网站排名优化教程

系统配置:Windows XP 32位R 3.1.1一、安装RMySQL:1&#xff0c;安装RTools并配置环境变量:我的电脑——属性——高级——环境变量&#xff0c;在系统变量一栏中选择PATH&#xff0c;点击编辑&#xff0c;在后面添加RTools的路径(如:D:\Rtools\bin;D:\Rtools\gcc-4.6.3\bin;D:\R…

做网站需要购买服务器吗wordpress 果酱小程序

13 集合 实现方法时&#xff0c;不同的数据结构会导致性能有很大差异。 13.1 集合接口 Java集合类库将接口&#xff08;interface&#xff09;与实现&#xff08;implementation&#xff09;分离。 可以使用接口类型存放集合的应用&#xff0c;一旦改变了想法&#xff0c;可…

NOIP2025模拟赛28

T1 T2 T3 T4\(\color{#52C41A} 普及+/提高\) \(\color {#3498DB} 提高+/省选-\) \(\color {#3498DB} 提高+/省选-\) \(\color{#9D3DCF} 省选/NOI-\)参赛网址:https://oj.33dai.cn/d/TYOI/contest/68a2efb9c5d9c2f14c2…

markdown笔记文件批量打上时间戳

解决了给一个文件夹(包含子文件夹)下的所有.md文件在最前面添加时间戳。 例如`Typora 笔记迁移 Obsidian 图片链接处理.md`修改为`20251001-Typora 笔记迁移 Obsidian 图片链接处理` 打上时间戳的笔记能够更好配合笔…

微服务调整中心高可用设计:从踩坑到落地的实战指南(二)

微服务调整中心高可用设计:从踩坑到落地的实战指南(二)pre { white-space: pre !important; word-wrap: normal !important; overflow-x: auto !important; display: block !important; font-family: "Consola…

NOIP2025模拟赛30

T1 T2 T3 T4\(\color{#52C41A} 普及+/提高\) \(\color{#52C41A} 普及+/提高\) \(\color{#9D3DCF} 省选/NOI-\) \(\color{#9D3DCF} 省选/NOI-\)参赛网址:https://oj.33dai.cn/d/TYOI/contest/68abe2d6c5d9c2f14c2cd7d2…

制作一个网站的全过程wordpress 手机 图片不显示

入门数字设计的时候&#xff0c;跨时钟域的数据处理是绕不开的课题&#xff0c;特别是多比特数据跨时钟域时&#xff0c;都会采用异步FIFO的方法。 异步FIFO中涉及较多的考点这里记录几个以供大家参考。 1. 异步FIFO的空满判断分别在哪个域&#xff1f; 根据异步FIFO的结构&…

dede采集规则下载网站爱给网官网免费素材

https://github.com/yechens/NL2SQL Text2SQL 语义解析数据集、解决方案、paper资源整合项目

图文讲解k8s中Service、Selector、EndpointSlice的运行原理 - 详解

pre { white-space: pre !important; word-wrap: normal !important; overflow-x: auto !important; display: block !important; font-family: "Consolas", "Monaco", "Courier New", …

怎么做义工网站去河南省住房和城乡建设厅网站查

下载ssh https://github.com/PowerShell/Win32-OpenSSH/releases 然后把它放入 C:\Program Files 中 添加环境变量 高级系统设置-》高级-》环境变量-》 是用户变量 不是系统变量 选择 path- 然后点击编辑&#xff0c;然后新建&#xff0c; 把刚才的地址放进去 C:\Program F…

2025西安品牌新房,西安刚需新房,陕西优质新房住宅推荐,地建嘉信臻境,超2000㎡高端会所,满足多元化生活需求

2025西安品质新房推荐:地建嘉信臻境,开启理想人居新篇章 在西安这座充满活力与机遇的城市,寻找一处理想的新房成为许多人的梦想。今天,为大家推荐一个备受瞩目的项目——地建嘉信臻境,它将为您带来前所未有的居住…

公司网站主页设计网络销售怎么做才能做好

思科设备参考&#xff1a;路由引入实验&#xff08;思科&#xff09; 技术简介 路由引入技术在网络通信中起着重要的作用&#xff0c;能够实现不同路由协议之间的路由传递&#xff0c;并在路由引入时部署路由控制&#xff0c;实现路径或策略的控制 实验目的 不同的路由协议之…