惯性聚合 高效追踪和阅读你感兴趣的博客、新闻、科技资讯
阅读原文 在惯性聚合中打开

推荐订阅源

The GitHub Blog
The GitHub Blog
S
SegmentFault 最新的问题
MyScale Blog
MyScale Blog
有赞技术团队
有赞技术团队
V
Visual Studio Blog
T
The Blog of Author Tim Ferriss
爱范儿
爱范儿
Vercel News
Vercel News
让小产品的独立变现更简单 - ezindie.com
让小产品的独立变现更简单 - ezindie.com
Y
Y Combinator Blog
Blog — PlanetScale
Blog — PlanetScale
D
DataBreaches.Net
美团技术团队
Microsoft Security Blog
Microsoft Security Blog
大猫的无限游戏
大猫的无限游戏
Cyber Security Advisories - MS-ISAC
Cyber Security Advisories - MS-ISAC
酷 壳 – CoolShell
酷 壳 – CoolShell
GbyAI
GbyAI
A
About on SuperTechFans
云风的 BLOG
云风的 BLOG
The Cloudflare Blog
宝玉的分享
宝玉的分享
V
V2EX
Microsoft Azure Blog
Microsoft Azure Blog

博客园 - iMath

宜阅手机通用墨水屏 DeepSeek创始人专访:中国的AI不可能永远跟随,需要有人站到技术的前沿 - iMath 实时(Qwen-Omni-Realtime) 同好网:基于兴趣标签和地理距离的社交平台 基于OpenVINO创建文本生成AI服务器 英酷词典添加文档翻译的方法 英酷词典添加AI翻译的方法 AI模型API网址添加到Open WebUI的方法 新的标题 单词故事 项目简介 Gemini OpenAI Clande等大模型API统一中转URL 国内可用 【视频讲座】用极限计算瞬时速度的原理 【视频讲座】用极限或定积分求出来的面积是准确值还是近似值? 芝诺二分悖论与无穷大是否可被超越? 我的淘宝店 美团门票度假商家新订单短信微信邮件提醒 辅导高等数学、微积分、数学分析 Anki点击翻译 哪里不会点哪里 How many points are inside the hole revealed by the Dedekind cut? 免费版和付费版乐影音下载器的区别 付费版音视频下载插件 购买须知 初探极限符号表示形式之优劣 扩写了华为手机闹钟里的《Star》铃音 为什么圆的面积的导数等于周长?球的的体积的导数等于其表面积? sin震荡函数的图像分析
教材小错误:极限四则运算法则里的除法前提
iMath · 2022-12-09 · via 博客园 - iMath

对于极限四则运算法则的描述,首先让我们来看“数学分析教程,第二版,常庚哲,史济怀,p15”的描述:

再看“数学分析,第二版,陈纪修,於崇华,金路,p42”的描述:

有没有发现什么错误呢?

极限除法法则实际上说的是数列$\frac{a_{n}}{b_{n}}$和数列$a_{n}$$b_{n}$的极限关系,而数列$\frac{a_{n}}{b_{n}}$存在的前提是作为分母的各$b_{n}$不能为0,但是上面两本教材都忽略了这一点,准确的描述应该根据$\lim_{n \rightarrow \infty}\mspace{2mu} b_{n} \neq 0$得出某N项后的所有$b_{n} \neq 0$,然后在此基础上再谈论除法法则,或者进一步加强限制像“数学分析(上册),第四版,华东师范大学数学系,p32”这种:

这个问题是我在试着表述极限除法法则思考前提条件时发现的,造成这个问题的根本原因还是因为我们默认了一切数列的定义域是所有自然数,如果我们定义数列的定义域是整数的一个区间(a sequence is formally defined as a function whose domain is an interval of integers1),那么就可以根据$\lim_{n \rightarrow \infty}\mspace{2mu} b_{n} \neq 0$灵活调整数列$\frac{a_{n}}{b_{n}}$的定义域从而避免分母为零的问题。这个问题也让我去检查教材上的函数极限除法法则的前提条件是否也存在同样的问题,但是对于$\lim_{x \rightarrow x_{0}}\mspace{2mu}\frac{f}{g}(x) = \frac{\lim_{x \rightarrow x_{0}}\mspace{2mu} f(x)}{\lim_{x \rightarrow x_{0}}\mspace{2mu} g(x)}$,因为要求其中的$\lim_{x \rightarrow x_{10}}\mspace{2mu} g(x) \neq 0$,根据

2得知有领域内的$\mspace{2mu} g(x) \neq 0$,并且函数$\frac{f}{g}(x)$的定义域也并没有默认和$g(x)$是一样的,因此便不会有同样的问题,相反数列$\frac{a_{n}}{b_{n}}$$\mspace{2mu} b_{n}$的定义域被默认为是一样的,是全体自然数,这便造成了上述问题。


  1. https://en.wikipedia.org/wiki/Sequence#Definition↩︎

  2. 数学分析,第二版,陈纪修,於崇华,金路,p75↩︎