【数学分析笔记】第2章第1节实数系的连续性(1)

news2024/12/29 14:43:34

2. 数列极限

2.1 实数系的连续性

人类对数系认识的历史:
人类最早对数系的认识是自然数集合 N \mathbb{N} N,自然数系对加法和乘法是封闭的(这里的封闭是指:若 m ∈ N , n ∈ N ⇒ m + n ∈ N , m n ∈ N m\in\mathbb{N},n\in\mathbb{N}\Rightarrow m+n\in\mathbb{N},mn\in\mathbb{N} mN,nNm+nN,mnN),但是对减法来说,自然数集合 n \mathbb{n} n不封闭,数系 n \mathbb{n} n不够了,人类就把数系扩充到整数集合 Z \mathbb{Z} Z,整数集合 Z \mathbb{Z} Z对加法,乘法,减法封闭,但是对除法不封闭,于是人类又把数集扩充到有理数集 Q \mathbb{Q} Q,有理数集合 Q \mathbb{Q} Q对加减乘除都是封闭的,有很长一段时间人类觉得有理数集合很完美,后来古希腊的毕达哥拉斯学派发现有理数集合对开方不封闭,毕达哥拉斯学派认为任意两条线段都是可公度的(有a,b两个线段, a , b a,b a,b表示两个线段的长度,则存在另一长度为 c c c的线段使得 a = m c , b = n c ( m , n ∈ N ) ⇒ a b = m n a=mc,b=nc(m,n\in\mathbb{N})\Rightarrow\frac{a}{b}=\frac{m}{n} a=mc,b=nc(m,nN)ba=nm),但是这套理论建立在任意两个线段可公度的前提下,正方形边长为1,正方形的对角线和边长不可公度( 2 1 \frac{\sqrt{2}}{1} 12 不能等于 m n , m , n ∈ N \frac{m}{n},m,n\in\mathbb{N} nm,m,nN),这是数学史上的第一次危机,于是我们有了一个命题。
【命题】 2 \sqrt{2} 2 不是有理数。
【证】用反证法,假设 2 \sqrt{2} 2 是有理数,即 2 = n m , m , n ∈ Z , 且 m , n \sqrt{2}=\frac{n}{m},m,n\in\mathbb{Z},且m,n 2 =mn,m,nZ,m,n互质, 2 = n 2 m 2 2=\frac{n^{2}}{m^{2}} 2=m2n2,即 n 2 = 2 m 2 n^{2}=2m^{2} n2=2m2,由于 2 m 2 2m^{2} 2m2是偶数(2是偶数,偶数×偶数还是偶数,偶数×奇数还是偶数,所以说明 2 m 2 2m^{2} 2m2是偶数则 n 2 n^{2} n2是偶数,而 n 2 = n × n n^{2}=n\times n n2=n×n,在上述情况中,如果两个一样的整数相乘是偶数,那么只有偶数×偶数的情况,因为偶数×奇数的情况下对应的是两个不一样的数,所以 n n n是偶数),所以 n n n是偶数,令 n = 2 k , k ∈ Z n=2k,k\in\mathbb{Z} n=2k,kZ,则 n 2 = 4 k 2 = 2 m 2 n^{2}=4k^{2}=2m^{2} n2=4k2=2m2,则 m 2 = 2 k 2 m^{2}=2k^{2} m2=2k2,所以 m m m是偶数(和刚才的 n n n是偶数的推理过程是一样的),由于 m , n m,n m,n互质,但是 m , n m,n m,n都是偶数,矛盾(偶数和偶数是不互质的,都是能约分的,至少有公因子2),所以 2 \sqrt{2} 2 不是有理数。

由此说明在有理数集合 Q \mathbb{Q} Q中开根号不封闭,所以人类要扩充数系。
有理数可以表示为有限小数或无限循环小数,把无限不循环小数加到有理数集合里面去这样就使得开方也变得封闭,它可以完全布满整个数轴,不留“空隙”,我们将无限不循环小数定义为无理数,把无理数加入到有理数集合中构成实数集合 R = { x ∣ x 是有理数或无理数 } \mathbb{R}=\{x|x是有理数或无理数\} R={xx是有理数或无理数},实数所对应的点布满了整个数轴,它上面没有“空隙”,我们将这个性质称之为实数的连续性。实数集合又叫实数连续统

2.1.1 最大数与最小数

S ⊂ R , S ≠ ∅ \textbf{S}\subset\mathbb{R},\textbf{S}\ne\emptyset SR,S=,若 S \textbf{S} S是有限集, S \textbf{S} S必有最大数与最小数,但若 S \textbf{S} S是无限集,则 S \textbf{S} S不一定有最大数与最小数。
先引入记号 ∀ \forall ∃ \exists ∀ \forall 表示“对于任意的”或者“对于每一个”, ∃ \exists 表示“存在”或“可以找到”
S ⊂ R , S ≠ ∅ \textbf{S}\subset\mathbb{R},\textbf{S}\ne\emptyset SR,S=,若 ∃ ξ ∈ S \exists\xi\in\textbf{S} ξS,使得 ∀ x ∈ S \forall x\in\textbf{S} xS,有 x ≤ ξ x\le \xi xξ,则称 ξ \xi ξ S \textbf{S} S中的最大数,记为 ξ = max S \xi=\text{max}\textbf{S} ξ=maxS,若 ∃ η ∈ S \exists\eta\in\textbf{S} ηS,使得 ∀ x ∈ S \forall x\in\textbf{S} xS,有 x ≥ η x\ge \eta xη,则称 η \eta η S \textbf{S} S中的最小数,记为 η = min S \eta=\text{min}\textbf{S} η=minS
【例2.1.1】 A = { x ∣ x ≥ 0 } \textbf{A}=\{x|x\ge 0\} A={xx0} min A = 0 \text{min}\textbf{A}=0 minA=0,但是 max A \text{max}\textbf{A} maxA不存在。


【例2.1.2】 B = { x ∣ 0 ≤ x < 1 } \textbf{B}=\{x|0\le x < 1\} B={x∣0x<1}, min B = 0 \text{min}\textbf{B}=0 minB=0,但是 max B \text{max}\textbf{B} maxB不存在。
【证】假设 β ∈ B , β = max B \beta\in\textbf{B},\beta=\text{max}\textbf{B} βB,β=maxB,则 β ∈ [ 0 , 1 ) \beta\in[0,1) β[0,1),令 β ′ = 1 + β 2 ∈ [ 0 , 1 ) \beta'=\frac{1+\beta}{2}\in[0,1) β=21+β[0,1)(取得很巧妙),则 β ′ ∈ B \beta'\in\textbf{B} βB,但是 β ′ − β = 1 + β 2 − β = 1 − β 2 > 0 \beta'-\beta=\frac{1+\beta}{2}-\beta=\frac{1-\beta}{2}>0 ββ=21+ββ=21β>0,即 β ′ > β \beta'>\beta β>β,与 β = max B \beta=\text{max}\textbf{B} β=maxB矛盾。

2.1.2 上确界与下确界

  • S ⊂ R , S ≠ ∅ \textbf{S}\subset\mathbb{R},\textbf{S}\ne\emptyset SR,S=,若 ∃ M ∈ R \exists M\in\mathbb{R} MR,使得 ∀ x ∈ S \forall x\in\textbf{S} xS,有 x ≤ M x\le M xM,则称 M M M S \textbf{S} S一个上界(上界不唯一,比 M M M大的都是上界),或称 S \textbf{S} S有上界。
    U \textbf{U} U S \textbf{S} S上界的集合,则 U \textbf{U} U没有最大数,但 U \textbf{U} U必定有最小数(需证明,以后证明),记它为 β = sup ⁡ S \beta=\sup \textbf{S} β=supS(supremum),称为 S \textbf{S} S上确界
    β : { β 是上界,即 ∀ x ∈ S ,有 x ≤ β β 是最小上界,即 ∀ ξ > 0 , ∃ x ∈ S , 使得 x > β − ξ \beta:\left\{\begin{array}{l} \beta是上界,即\forall x \in \textbf{S},有x\le \beta \\ \beta是最小上界,即\forall \xi > 0,\exists x\in\textbf{S}, 使得x>\beta - \xi \end{array}\right. β:{β是上界,即xS,有xββ是最小上界,即ξ>0,xS,使得x>βξ
    【注】任何小于 β \beta β的数都不是集合 S \textbf{S} S的上界( β \beta β是最小上界的同义句),所以集合 S \textbf{S} S中一定存在不是上界的 x x x要大于任何小于 β \beta β的数 β − ξ \beta - \xi βξ,换句话说就是任何比 β \beta β小的数中存在着集合 S \textbf{S} S的元素,但是大于等于 β \beta β的数都是集合 S \textbf{S} S的上界,这样 β \beta β就成了一个“分界线”,比 β \beta β小的数 β − ξ \beta - \xi βξ中存在 S \textbf{S} S的元素,比 β \beta β大的数一定是 S \textbf{S} S的上界,那么 β \beta β子集就是上确界(自己理解的,欢迎数院大佬批评指正,下面是我画图理解的)

  • ∃ m ∈ S \exists m\in\textbf{S} mS,使得 ∀ x ∈ S , x ≥ m \forall x\in\textbf{S},x\ge m xS,xm,则称 m m m S \textbf{S} S一个下界
    L \textbf{L} L S \textbf{S} S的集合,则 L \textbf{L} L没有最小数,但 L \textbf{L} L一定有最大数,记它为 α = inf ⁡ S \alpha=\inf\textbf{S} α=infS(infimum),称为 S \textbf{S} S下确界
    α : { α 是下界,即 ∀ x ∈ S ,有 x ≥ α α 是最大上界,即 ∀ ξ > 0 , ∃ x ∈ S , 使得 x < α + ξ \alpha:\left\{\begin{array}{l} \alpha是下界,即\forall x \in \textbf{S},有x\ge \alpha \\ \alpha是最大上界,即\forall \xi > 0,\exists x\in\textbf{S}, 使得x<\alpha + \xi \end{array}\right. α:{α是下界,即xS,有xαα是最大上界,即ξ>0,xS,使得x<α+ξ

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

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

相关文章

芯片用什么胶粘接牢固?​​​​​​​

芯片用什么胶粘接牢固?芯片粘接胶的牢固性对于电子产品的性能和可靠性至关重要。选择合适的胶水可以确保芯片能够稳定、可靠地固定在基板上。芯片的粘接通常涉及几种不同类型的胶水&#xff0c;每种胶水都有其特定的应用场景和性能特点。以下是几种常见的用于芯片粘接的胶水类…

C Primer Plus第十二章编程练习

第十二章编程练习 第一题要求我们不使用全局变量&#xff0c;修改程序12.4&#xff0c;那我们就用指针作为参数去传递变量的地址&#xff0c;去修改变量的值&#xff0c;完整程序代码以及运行结果如下&#xff1a; #include<stdio.h> //int units 0; void critic(int …

node卸载与安装

1.直接使用卸载程序卸载 2.安装新的Node 官网下载并执行下一步直到完成 3.Idea配置不同版本的node file->settings->Languages & Frameworks->Node.js and NPM->增加带选项->选择指定版本

ubuntu下使用docker、socket、yolov5进行图像处理数据交互记录

ubuntu下使用docker、socket、yolov5进行图像处理数据交互记录 概述&#xff1a;主要实现了在宿主机上通过8000端口传递一张图像给docker镜像&#xff0c;然后镜像中处理后&#xff0c;通过8001端口回传处理后的图像给宿主机。 第一章、构建镜像 一、dockerfile文件 1.拉取…

jQuery:配置与选择器

一&#xff0c;jQuery的配置 jQuery下载 这里以compressed为例&#xff0c;根据喜好也可以选择uncompressed版本。 进入jQuery代码中&#xff0c;右键另存为&#xff0c;保存到自己项目中&#xff1a; 导入jQuery <!DOCTYPE html> <html lang"en"><…

WO Mic 手机变身免费麦克风

目录 一、主要特点 1.支持多种连接方式 2.应用广泛 3.低延迟 4.简易配置 5.自动连接 6.音频格式 二、软件下载 三、软件安装 四、系统连接 五、测试 直播的时候,上课的时候,会议的时候……突然发现没有麦克风或者电脑麦克风有故障,这可怎么办呢?今天给大家介绍一…

ONNX深入研究(1):AI模型优化与加速方法

得益于现有的硬件和加速器&#xff0c;深度学习在 2010 年代初开始兴起&#xff0c;在这种支持下&#xff0c;研究人员和工程师提出了更复杂、更大的模型。然而&#xff0c;内存消耗和执行时间等限制仍然是一个挑战。由于计算资源的限制&#xff0c;这些挑战在工程和商业领域变…

UE5学习笔记11-为拿取武器添加动画

一、一点说明 动画实例通过扩展为所有机器上的每个字符都存在动画蓝图&#xff0c;动画实例只能访问该计算机上的变量。 二、思路 我在武器组件中有一个武器类的指针&#xff0c;判断当前指针是否为空去判断当前角色是否装备武器 三、实现 1.在角色C类中添加是否装备武器的函…

OpenCV--图片操作

一.图片旋转 图片旋转是图像处理中的一种基本操作&#xff0c;用于将图像按照指定的角度进行旋转。旋转操作在图像编辑、计算机视觉和图形学等领域中非常常见&#xff0c;通常用来调整图像的方向或在图像识别中进行数据增强。 旋转的基本原理 图片旋转涉及到将每个像素从原始…

(贪心) LeetCode 376. 摆动序列

原题链接 一. 题目描述 如果连续数字之间的差严格地在正数和负数之间交替&#xff0c;则数字序列称为 摆动序列 。第一个差&#xff08;如果存在的话&#xff09;可能是正数或负数。仅有一个元素或者含两个不等元素的序列也视作摆动序列。 例如&#xff0c; [1, 7, 4, 9, 2,…

电脑技巧:电脑系统盘文件清理指南

目录 一、可以安全删除的文件 1.1. 临时文件 1.2. 系统缓存文件 1.3. 回收站 1.4. 安装包缓存 1.5. 系统还原点 1.6. 已下载的更新文件 1.7. 浏览器缓存 1.8. Thumbs.db 文件 1.9. Windows日志文件 1.10. Windows.old 文件夹 二、系统文件清理注意点 三、系统文件…

推荐一款Python开源移动应用安全测试分析工具!!!

今天给大家推荐一个安全测试相关的开源项目&#xff1a;nccgroup/house 1、介绍 它是一个由 NCC Group 开发的&#xff0c;一个基于Frida和Python编写的动态运行时移动应用分析工具包&#xff0c;提供了基于 Frida 的 Web GUI 界面&#xff0c;旨在简化动态函数挂钩的过程&am…

Linux---04---Vim编辑器

一、vi/vim编辑器介绍 vi 是 visual interface 的简称&#xff0c;是Linux系统提供的一个文本编辑工具&#xff0c;可以对文件内容进行编辑&#xff0c;类似于Windows中的记事本。 vim 是 vi 的加强版本&#xff0c;兼容 vi 的所有指令&#xff0c;不仅能编辑文本&#xff0c…

Using locally deployed llm with langchain‘s openai llm wrapper

题意&#xff1a;使用本地部署的LLM与Langchain的OpenAI LLM封装器 问题背景&#xff1a; I have deployed llm model locally which follows openai api schema. As its endpoint follows openai schema, I dont want to write separate inference client. 我已经本地部署了…

Mybatis框架介绍

Mybatis入门 MyBatis 是一款优秀的持久层框架&#xff0c;它支持自定义 SQL、存储过程以及高级映射。MyBatis 免除了几乎所有的 JDBC 代码以及设置参数和获取结果集的工作。MyBatis 可以通过简单的 XML 或注解来配置和映射原始类型、接口和 Java POJO&#xff08;Plain Old Jav…

IT管控体系建设(集团企业),附网传埃森哲案例

&#xff08;一&#xff09;集团IT企业IT管控组织结构设计 1.集团分管领导 职能&#xff1a;最高级别的管理&#xff0c;负责对整个集团的信息化管控进行监督和决策。 2.CIO/管理部主任 职能&#xff1a;负责整体的IT战略和方向&#xff0c;直接向集团分管领导汇报。负责协…

一分钟了解:Java 冒泡排序算法

1. 冒泡排序算法介绍 冒泡排序是最简单的排序算法&#xff0c;如果相邻元素的顺序错误&#xff0c;则通过反复交换相邻元素来工作。Java 中的冒泡排序不是对数组进行排序的最佳方法&#xff0c;但却是最基本的实现之一。在本文中&#xff0c;我们将学习如何用 Java 编写冒泡排…

「Pytorch」解析 nn.Embedding 词嵌入 及反推输入

在Pytorch里面有三种编码方式&#xff0c;Embedding 就是其中之一&#xff0c;不同于 one_hot 需要用同长度的张量存 Embedding将单词映射为稠密向量&#xff0c;并且指定 embedding_dim维度。通过 Embedding层 转换的数据并不是经过词典映射的&#xff0c;而是原始数据。Embed…

VirtualBox扩容VDI虚拟磁盘

环境 虚拟机软件&#xff1a;VirtualBox虚拟机&#xff1a;Ubuntu 18.04.1 第一步&#xff1a;调整虚磁盘大小 方法1&#xff1a;使用VirtualBox管理器直接修改 关闭虚拟机&#xff0c;点击VirtualBox管理器菜单管理>虚拟介质管理&#xff0c;重新设大小 方法2&#x…

【Linux基础】对Linux权限的理解与管理

目录 &#x1f680;前言一&#xff0c;有关用户二&#xff0c;Linux权限管理1. 文件访问者的分类(人)2. 文件类型和访问权限(事物属性)2.1 文件类型2.2 文件/目录的基本权限 三&#xff0c;文件权限值的表示方法3.1 字符表示方法3.2 八进制数值表示方法 四&#xff0c;文件访问…