当前位置: 首页 > article >正文

【苏德矿高等数学】第1讲:有界函数、无界函数、复合函数

我还是喜欢高数,虽然已经是硕士在读了,但是我还是想再学一遍高数,学高数放松放松(汗流浃背了),笔记就是按视频顺序来的,随缘记录,其实我只是想用学习数学掩盖自己的一些情绪,在最近的生活中,我喜欢上了一个女生,这就导致我出现了一些抽象的焦虑情绪,所以我学数学来缓一缓……(数学对我来说是一种“参禅悟道”)
课程地址:https://www.bilibili.com/video/BV1Lt411r7NQ

1. 函数

函数是微积分的研究对象。

1.1 有界函数

在有限的区间上,左端点记为 N N N,右端点记为 M M M

1.1.1 下界与上界

【定义】设 y = f ( x ) , x ∈ D y=f(x),x\in\boldsymbol{D} y=f(x),xD ∃ \exists 常数 N ⩽ M N\leqslant M NM ∃ \exists 表示存在的意思), ∀ x ∈ D \forall x\in\boldsymbol{D} xD,都有 N ⩽ f ( x ) ⩽ M N\leqslant f(x) \leqslant M Nf(x)M ∀ \forall 表示任给一切),称 f ( x ) f(x) f(x) D \boldsymbol{D} D上的有界函数, N N N称为 f ( x ) f(x) f(x)的一个下界(下界有无数个,因为比 N N N小的数都是它的下界,比 N N N大的数可能是它的下界可能也不是它的下界),最大的下界称为下确界 M M M就称为 f ( x ) f(x) f(x)的一个上界(同理上界也有无数个,比 M M M大的有无数个都是它的上界,比 M M M小的数也可能是它的上界),最小的上界称为上确界

1.1.2 有下界函数

∃ \exists 常数 N N N ∀ x ∈ D \forall x\in\boldsymbol{D} xD,都有 N ⩽ f ( x ) N\leqslant f(x) Nf(x),称 f ( x ) f(x) f(x)有下界函数

1.1.3 有上界函数

∃ \exists 常数 M M M ∀ x ∈ D \forall x\in\boldsymbol{D} xD,都有 f ( x ) ⩽ M f(x)\leqslant M f(x)M,称 f ( x ) f(x) f(x)有上界函数

1.1.4 有界函数的几何意义

平面上存在两条直线 y = N , y = M y=N,y=M y=N,y=M,函数曲线在这连个直线之间(限制住了)。

1.1.5 有下界函数的几何意义

存在直线 y = N y=N y=N,函数曲线在该直线的上方。

1.1.6 有上界函数的几何意义

存在直线 y = M y=M y=M,函数曲线在该直线的下方。

1.1.7 函数有界的定义

【定义】 ∃ \exists 常数 M > 0 M>0 M>0 ∀ x ∈ D \forall x\in\boldsymbol{D} xD都有 ∣ f ( x ) ∣ ⩽ M ⇔ − M ⩽ f ( x ) ⩽ M |f(x)|\leqslant M\Leftrightarrow -M\leqslant f(x)\leqslant M f(x)MMf(x)M,称 y = f ( x ) y=f(x) y=f(x) D \boldsymbol{D} D上有界。

【补充,绝对值不等式】 ∣ a ± b ∣ ⩽ ∣ a ∣ + ∣ b ∣ |a\pm b|\leqslant |a|+|b| a±ba+b



【例1】证明 f ( x ) = sin ⁡ 80 x − 6 c o s 60 2 x f(x)=\sin ^{80}x - 6 cos^{60} 2x f(x)=sin80x6cos602x有界。
【证】由题意可知, f ( x ) f(x) f(x)的定义域为 R \mathbb{R} R
∣ f ( x ) ∣ = ∣ sin ⁡ 80 x − 6 c o s 60 2 x ∣ ⩽ ∣ sin ⁡ 80 x ∣ + ∣ 6 c o s 60 2 x ∣ = sin ⁡ 80 x ∣ + 6 ∣ c o s 60 2 x ∣ ⩽ 1 + 6 = 7 |f(x)|=|\sin ^{80}x - 6 cos^{60} 2x|\leqslant|\sin ^{80}x|+| 6 cos^{60} 2x|=\sin ^{80}x|+6|cos^{60} 2x|\leqslant 1+6=7 f(x)=sin80x6cos602xsin80x+∣6cos602x=sin80x+6∣cos602x1+6=7
f ( x ) f(x) f(x)有界。


【补充不等式】

  • a 2 + b 2 ⩾ 2 a b , a b ⩽ 1 2 ( a 2 + b 2 ) a^2+b^2\geqslant 2ab,ab\leqslant\frac{1}{2}(a^2+b^2) a2+b22ab,ab21(a2+b2),若 a > 0 , b > 0 , a + b 2 ⩾ a b a>0,b>0,\frac{a+b}{2}\geqslant\sqrt{ab} a>0,b>0,2a+bab
  • 更一般地,还有 n n n个元素的此种不等式: a 1 + a 2 + ⋯ + a n n ⩾ a 1 a 2 ⋯ a n n \frac{a_{1}+a_{2}+\cdots+a_{n}}{n} \geqslant \sqrt[n]{a_{1} a_{2} \cdots a_{n}} na1+a2++anna1a2an .

【例2】证明 f ( x ) = x 1 + x 2 sin ⁡ x f(x)=\frac{x}{1+x^2}\sin x f(x)=1+x2xsinx有界。
【证】由题意可知, f ( x ) f(x) f(x)的定义域为 R \mathbb{R} R.
∀ x ∈ R , ∣ f ( x ) ∣ = ∣ x ∣ 1 + ∣ x ∣ 2 ∣ sin ⁡ x ∣ = ∣ x ∣ ⋅ 1 1 + ∣ x ∣ 2 ∣ sin ⁡ x ∣ ⩽ ∣ x ∣ ⋅ 1 1 + ∣ x ∣ 2 ⩽ 1 2 ( ∣ x ∣ 2 + 1 ) 1 + ∣ x ∣ 2 = 1 2 \forall x\in\mathbb{R},|f(x)|=\frac{|x|}{1+|x|^2}|\sin x|=\frac{|x|\cdot 1}{1+|x|^2}|\sin x|\leqslant\frac{|x|\cdot 1}{1+|x|^2}\leqslant\frac{\frac{1}{2}(|x|^2+1)}{1+|x|^2}=\frac{1}{2} xR,f(x)=1+x2xsinx=1+x2x1sinx1+x2x11+x221(x2+1)=21
从而 f ( x ) f(x) f(x) R \mathbb{R} R上是有界函数。
【注】此题用到的不等式是变种的 a 2 + b 2 ⩾ 2 a b ⇔ 1 2 ( a 2 + b 2 ) ⩽ a b a^2+b^2\geqslant 2ab\Leftrightarrow \frac{1}{2}(a^2+b^2)\leqslant ab a2+b22ab21(a2+b2)ab

1.2 无界函数

数学中经常用到的对立面的词语(反证法常用):

  • ∀ \forall 的对立面是 ∃ \exists
  • ∃ \exists 的对立面是 ∀ \forall
  • > > >的对立面是 ⩽ \leqslant

1.2.1 无界函数

【定义】 ∀ M > 0 \forall M>0 M>0 ∃ x M ∈ D \exists x_M\in \boldsymbol{D} xMD,但是 ∣ f ( x ) ∣ > M |f(x)|> M f(x)>M,则称 f ( x ) f(x) f(x) D \boldsymbol{D} D上的无界函数


【例3】证明 f ( x ) = 1 x f(x)=\frac{1}{\sqrt{x}} f(x)=x 1 ( 0 , 1 ] (0,1] (0,1]上是无界函数。
【证】(分析法:要证B成立,只要A成立,指的是 A ⇒ B A\Rightarrow B AB,即A成立是B成立的充分条件。) ∀ M > 0 \forall M>0 M>0,若要 ∣ f ( x ) ∣ > M |f(x)|>M f(x)>M成立 ⇔ ∣ 1 x ∣ > M ⇔ 1 x > M ⇔ 1 x > M 2 ⇔ 0 < x < 1 M 2 \Leftrightarrow|\frac{1}{\sqrt{x}}|>M\Leftrightarrow \frac{1}{\sqrt{x}}>M\Leftrightarrow\frac{1}{x}>M^2\Leftrightarrow0<x<\frac{1}{M^2} x 1>Mx 1>Mx1>M20<x<M21 0 < x ⩽ 1 0<x\leqslant 1 0<x1,取 x = 1 ( M + 1 ) 2 ∈ ( 0 , 1 ] , 0 < x < 1 M 2 x=\frac{1}{(M+1)^2}\in(0,1],0<x<\frac{1}{M^2} x=(M+1)21(0,1],0<x<M21,有 ∣ f ( x ) ∣ > M |f(x)|>M f(x)>M,知 f ( x ) f(x) f(x) ( 0 , 1 ] (0,1] (0,1]上是无界的。
【注】取 x = 1 ( M + 1 ) 2 x=\frac{1}{(M+1)^2} x=(M+1)21是因为 ( M + 1 ) 2 > 1 , M > 0 (M+1)^2>1,M>0 (M+1)2>1,M>0,此时分母大于1,分子为1,整个分式一定小于1,则 0 < x = 1 ( M + 1 ) 2 < 1 0<x=\frac{1}{(M+1)^2}<1 0<x=(M+1)21<1,又因为 ( M + 1 ) 2 > M 2 (M+1)^2>M^2 (M+1)2>M2,分母大,整个分式就小了,则 0 < x = 1 ( M + 1 ) 2 < 1 M 2 0<x=\frac{1}{(M+1)^2}<\frac{1}{M^2} 0<x=(M+1)21<M21,所以两个条件均满足。

1.3 复合函数

D \boldsymbol{D} D是指定义域, R \boldsymbol{R} R是指值域。
【定义】 y = f ( u ) , u ∈ D ( f ) y=f(u),u\in\boldsymbol{D}(f) y=f(u),uD(f) u = φ ( x ) , u ∈ R ( φ ) u=\varphi (x),u\in\boldsymbol{R}(\varphi) u=φ(x),uR(φ) D ( f ) ∩ R ( φ ) ≠ ∅ \boldsymbol{D}(f)\cap\boldsymbol{R}(\varphi)\ne\emptyset D(f)R(φ)=,则称 y = f ( φ ( x ) ) y=f(\varphi(x)) y=f(φ(x)) x x x复合函数

  • D ( f ) ∩ R ( φ ) ≠ ∅ \boldsymbol{D}(f)\cap\boldsymbol{R}(\varphi)\ne\emptyset D(f)R(φ)=,则 ∃ u 0 ∈ D ( f ) ∩ R ( φ ) ⇒ u 0 ∈ R ( φ ) \exists u_0\in\boldsymbol{D}(f)\cap\boldsymbol{R}(\varphi)\Rightarrow u_0\in\boldsymbol{R}(\varphi) u0D(f)R(φ)u0R(φ) ∃ x 0 \exists x_0 x0,使得 u 0 = φ ( x 0 ) , u 0 ∈ D ( f ) u_0=\varphi (x_0),u_0\in\boldsymbol{D}(f) u0=φ(x0),u0D(f) u 0 ∈ D , ∃ y 0 u_0\in\boldsymbol{D},\exists y_0 u0D,y0使得 y 0 = f ( u 0 ) ⇒ y 0 = f ( φ ( x 0 ) ) y_0=f(u_0)\Rightarrow y_0=f(\varphi(x_0)) y0=f(u0)y0=f(φ(x0)),此时 x x x称为自变量 y y y称为因变量 u u u称为中间变量 f ( u ) f(u) f(u)称为外层函数或简称为外函数 φ ( x ) \varphi(x) φ(x)称为内层函数或简称为内函数

【反例】 y = u , u = − ( 1 + x ) 2 ⇒ y = − ( 1 + x 2 ) y=\sqrt{u},u=-(1+x)^2\Rightarrow y=\sqrt{-(1+x^2)} y=u ,u=(1+x)2y=(1+x2) ,定义域是空集(没有意义),所以复合函数不能是定义域与值域随便复合(微积分都是在实数范围内讨论)。


http://www.kler.cn/a/470539.html

相关文章:

  • 关于FPGA中添加FIR IP核(采用了GOWIN EDA)
  • libaom 源码分析线程结构
  • Java SpringBoot使用EasyExcel导入导出Excel文件
  • WebSocket 实现指南
  • 数据库1-4讲
  • 衡量算法效率的方法:时间复杂度、空间复杂度
  • DeepSpeed是什么,怎样使用
  • 个性化电影推荐系统|Java|SSM|JSP|
  • 【形式篇】年终总结怎么写:PPT如何将内容更好地表现出来
  • 5.C语言流程控制语句详解:if、switch、while、for、break、continue等
  • Vue Router v3.x 迁移到 v4.x(两者的区别)【路由篇】
  • 【模电】功率放大电路总结
  • 【C++数据结构——查找】二分查找(头歌实践教学平台习题)【合集】
  • 【渗透测试术语总结】
  • Zero to JupyterHub with Kubernetes 下篇 - Jupyterhub on k8s
  • 人工智能的发展领域之GPU加速计算的应用概述、架构介绍与教学过程
  • 【H3CNE邓方鸣】路由协议概述+2025.1.5
  • SQLite 的未来发展与展望
  • 【vue3封装element-plus的反馈组件el-drawer、el-dialog】
  • 解决 IntelliJ IDEA 中 Tomcat 日志乱码问题的详细指南
  • STLG_01_14_程序设计C语言 - 函数与程序结构
  • 基于ROS先验地图的机器人自主定位与导航SLAM
  • 基于单片机的直流稳压电源的设计(论文+源码)
  • 【AIGC-ChatGPT进阶提示词指令】AI美食助手的设计与实现:Lisp风格系统提示词分析
  • jenkins入门9--参数化构建
  • Vue3国际化多语言的切换