【数学分析笔记】第3章第2节 连续函数(4)

news2024/12/23 20:57:45

3. 函数极限与连续函数

3.2 连续函数

3.2.9 反函数的连续性定理

【定理3.2.2】【反函数连续性定理】设 y = f ( x ) y=f(x) y=f(x)在闭区间 [ a , b ] [a,b] [a,b]上连续且严格单调增加,设 f ( a ) = α , f ( b ) = β f(a)=\alpha,f(b)=\beta f(a)=α,f(b)=β,则反函数 f − 1 ( y ) f^{-1}(y) f1(y) [ α , β ] [\alpha,\beta] [α,β]上连续。
【证】先证 f f f的值域是 [ α , β ] [\alpha,\beta] [α,β]
∀ γ ∈ ( α , β ) \forall \gamma\in(\alpha,\beta) γ(α,β),集合 S = { x ∣ x ∈ [ a , b ] , f ( x ) < γ } \textbf{S}=\{x|x\in[a,b],f(x)<\gamma\} S={xx[a,b],f(x)<γ},则令 S \textbf{S} S的上确界为 x 0 x_{0} x0,当 x < x 0 , f ( x ) < γ x<x_{0},f(x)<\gamma x<x0,f(x)<γ(单调增加),当 x > x 0 , f ( x ) > γ x>x_{0},f(x)>\gamma x>x0,f(x)>γ
lim ⁡ x → x 0 − f ( x ) ≤ γ \lim\limits_{x\to x_{0}^{-}}f(x)\le\gamma xx0limf(x)γ(单调函数的单侧极限一定存在)
lim ⁡ x → x 0 + f ( x ) ≥ γ \lim\limits_{x\to x_{0}^{+}}f(x)\ge\gamma xx0+limf(x)γ
由于 f ( x ) f(x) f(x) x 0 x_{0} x0点连续,所以 lim ⁡ x → x 0 − f ( x ) = lim ⁡ x → x 0 + f ( x ) = f ( x 0 ) \lim\limits_{x\to x_{0}^{-}}f(x)=\lim\limits_{x\to x_{0}^{+}}f(x)=f(x_{0}) xx0limf(x)=xx0+limf(x)=f(x0)
所以 γ = f ( x 0 ) ∈ ( α , β ) \gamma=f(x_{0})\in(\alpha,\beta) γ=f(x0)(α,β)
∀ x ∈ ( a , b ) : f ( x ) ∈ ( α , β ) \forall x\in(a,b):f(x)\in(\alpha,\beta) x(a,b):f(x)(α,β)
f ( a ) = α , f ( b ) = β f(a)=\alpha,f(b)=\beta f(a)=α,f(b)=β,所以 f ( x ) f(x) f(x)的值域是 [ a , b ] [a,b] [a,b]
∀ y 0 ∈ ( α , β ) \forall y_{0}\in(\alpha,\beta) y0(α,β),要证 f − 1 f^{-1} f1 y 0 y_{0} y0连续
y = α y=\alpha y=α,证 f − 1 f^{-1} f1 α \alpha α右连续
y = β y=\beta y=β,证 f − 1 f^{-1} f1 β \beta β左连续

f ( x 0 ) = y 0 , ( f − 1 ( y 0 ) = x 0 ) f(x_{0})=y_{0},(f^{-1}(y_{0})=x_{0}) f(x0)=y0,(f1(y0)=x0)
∀ ε > 0 \forall \varepsilon>0 ε>0,找 δ > 0 , ∀ y ( ∣ y − y 0 ∣ < δ ) : ∣ f − 1 ( y ) − f − 1 ( y 0 ) ∣ ⇔ ∣ x − x 0 ∣ < ε \delta>0,\forall y(|y-y_{0}|<\delta):|f^{-1}(y)-f^{-1}(y_{0})|\Leftrightarrow |x-x_{0}|<\varepsilon δ>0,y(yy0<δ):f1(y)f1(y0)xx0<ε,取 δ = min ⁡ { y 0 − y 1 , y 2 − y 0 } \delta=\min\{y_{0}-y_{1},y_{2}-y_{0}\} δ=min{y0y1,y2y0},当 ∣ y − y 0 ∣ < δ |y-y_{0}|<\delta yy0<δ时,有 ∣ x − x 0 ∣ < ε |x-x_{0}|<\varepsilon xx0<ε,所以区间连续
对于左侧端点,找 δ 1 > 0 , ∀ y ( ∣ y − f ( a ) ∣ = ∣ y − α ∣ < δ 1 ) : ∣ f − 1 ( y ) − f − 1 ( α ) ∣ = ∣ f − 1 ( y ) − a ∣ ⇔ ∣ x − a ∣ < ε \delta_{1}>0,\forall y(|y-f(a)|=|y-\alpha|<\delta_{1}):|f^{-1}(y)-f^{-1}(\alpha)|=|f^{-1}(y)-a|\Leftrightarrow|x-a|<\varepsilon δ1>0,y(yf(a)=yα<δ1):f1(y)f1(α)=f1(y)axa<ε,取 δ 1 = min ⁡ { f ( a + ε ) − f ( a ) } \delta_{1}=\min\{f(a+\varepsilon)-f(a)\} δ1=min{f(a+ε)f(a)},当 ∣ y − α ∣ < δ |y-\alpha|<\delta yα<δ时,有 ∣ x − a ∣ < ε |x-a|<\varepsilon xa<ε,所以左端点连续
同理右端点连续。(后边证明端点连续是自己想的,欢迎数院大神批评指正)


【例】 y = sin ⁡ x , x ∈ [ − π 2 , π 2 ] , y ∈ [ − 1 , 1 ] y=\sin x,x\in[-\frac{\pi}{2},\frac{\pi}{2}],y\in[-1,1] y=sinxx[2π,2π],y[1,1],反函数为 y = arcsin ⁡ x , D = [ − 1 , 1 ] , R = [ − π 2 , π 2 ] y=\arcsin x,\textbf{D}=[-1,1],\textbf{R}=[-\frac{\pi}{2},\frac{\pi}{2}] y=arcsinx,D=[1,1],R=[2π,2π],所以 y = arcsin ⁡ x y=\arcsin x y=arcsinx [ − 1 , 1 ] [-1,1] [1,1]不仅连续,且严格单调增加。



【例3.2.9】 y = cos ⁡ x y=\cos x y=cosx,它的反函数是 y = arccos ⁡ x y=\arccos x y=arccosx D = [ − 1 , 1 ] , R = [ 0 , π ] \textbf{D}=[-1,1],\textbf{R}=[0,\pi] D=[1,1],R=[0,π]
y = tan ⁡ x y=\tan x y=tanx,它的反函数是 y = arctan ⁡ x , D = ( − ∞ , + ∞ ) , R = ( − π 2 , π 2 ) y=\arctan x,\textbf{D}=(-\infty,+\infty),\textbf{R}=(-\frac{\pi}{2},\frac{\pi}{2}) y=arctanx,D=(,+),R=(2π,2π)



【例3.2.10】 y = a x , ( a > 0 , a ≠ 1 ) y=a^{x},(a>0,a\ne 1) y=ax,(a>0,a=1),它的反函数是 y = log ⁡ a x , D = ( 0 , + ∞ ) , R = ( − ∞ , + ∞ ) y=\log_{a} x,\textbf{D}=(0,+\infty),\textbf{R}=(-\infty,+\infty) y=logax,D=(0,+),R=(,+)

【注】三角函数,反三角函数,指数函数,对数函数, y = x n , n ∈ Z , y = x α = e ln ⁡ x α = e α ln ⁡ x y=x^{n},n\in\mathbb{Z},y=x^{\alpha}=e^{\ln x^{\alpha}}=e^{\alpha\ln x} y=xn,nZ,y=xα=elnxα=eαlnx等……的复合函数都是在其定义域上连续

3.2.10 复合函数的连续性

问题: lim ⁡ u → u 0 f ( x ) = A , lim ⁡ x → x 0 g ( x ) = u 0 \lim\limits_{u\to u_{0}}f(x)=A,\lim\limits_{x\to x_{0}}g(x)=u_{0} uu0limf(x)=A,xx0limg(x)=u0,问 lim ⁡ x → x 0 f ∘ g ( x ) = A \lim\limits_{x\to x_{0}}f\circ g(x)=A xx0limfg(x)=A是否成立,实际上是错误的,反例: f ( u ) = { 0 , u = 0 1 u ≠ 0 , g ( x ) = x sin ⁡ 1 x f(u)=\left\{\begin{matrix} 0&,u=0 \\ 1&u\ne 0 \end{matrix}\right.,g(x)=x\sin \frac{1}{x} f(u)={01,u=0u=0,g(x)=xsinx1
lim ⁡ x → 0 g ( x ) = 0 \lim\limits_{x\to 0}g(x)=0 x0limg(x)=0 f ∘ g ( x ) = { 0 , x = 1 n π 1 x ≠ 1 n π f\circ g(x)=\left\{\begin{matrix} 0&,x=\frac{1}{n\pi} \\ 1&x\ne\frac{1}{n\pi} \end{matrix}\right. fg(x)={01,x=1x=1
x → 0 x\to 0 x0,取 x n ′ = 1 n π ≠ 0 x_{n}'=\frac{1}{n\pi}\ne 0 xn=1=0,但 lim ⁡ n → ∞ x n ′ = 0 \lim\limits_{n\to\infty}x_{n}'=0 nlimxn=0,则 lim ⁡ n → ∞ f ∘ g ( x n ′ ) ) = 0 \lim\limits_{n\to\infty}f\circ g(x_{n}'))=0 nlimfg(xn))=0,取 x n ′ ′ = 1 n π , x n ′ ′ ≠ 0 , x n ′ ′ → 0 , lim ⁡ n → ∞ f ∘ g ( x n ′ ′ ) = 1 x_{n}''=\frac{1}{n\pi},x_{n}''\ne0,x_{n}''\to 0,\lim\limits_{n\to\infty}f\circ g(x_{n}'')=1 xn′′=1,xn′′=0,xn′′0,nlimfg(xn′′)=1
由海涅定理, lim ⁡ x → 0 f ∘ g ( x ) \lim\limits_{x\to 0}f\circ g(x) x0limfg(x)不存在。
【注】这个函数0这一点不连续。 ∘ \circ 是复合函数的符号。


【定理3.2.3】 u = g ( x ) u=g(x) u=g(x) x 0 x_{0} x0连续, g ( x 0 ) = u 0 g(x_{0})=u_{0} g(x0)=u0 f ( u ) f(u) f(u) u 0 u_{0} u0连续,则 f ∘ g f\circ g fg x 0 x_{0} x0连续。
也即 lim ⁡ x → x 0 g ( x ) = u 0 , lim ⁡ u → u 0 f ( x ) = f ( u 0 ) \lim\limits_{x\to x_{0}}g(x)=u_{0},\lim\limits_{u\to u_{0}}f(x)=f(u_{0}) xx0limg(x)=u0,uu0limf(x)=f(u0),则 lim ⁡ x → x 0 f ∘ g ( x ) = f ∘ g ( x 0 ) = f ( u 0 ) \lim\limits_{x\to x_{0}}f\circ g(x)=f\circ g(x_{0})=f(u_{0}) xx0limfg(x)=fg(x0)=f(u0)
【证】 ε > 0 , ∃ η > 0 , ∀ u ( ∣ u − u 0 ∣ < η ) : ∣ f ( u ) − f ( u 0 ) ∣ < ε \varepsilon>0,\exists\eta>0,\forall u(|u-u_{0}|<\eta):|f(u)-f(u_{0})|<\varepsilon ε>0,η>0,u(uu0<η):f(u)f(u0)<ε
对上述 η > 0 , ∃ δ > 0 , ∀ x ( ∣ x − x 0 ∣ < δ ) : ∣ g ( x ) − g ( x 0 ) ∣ < η \eta>0,\exists\delta>0,\forall x(|x-x_{0}|<\delta):|g(x)-g(x_{0})|<\eta η>0,δ>0,x(xx0<δ):g(x)g(x0)<η
由于 g ( x 0 ) = u 0 g(x_{0})=u_{0} g(x0)=u0 ∣ g ( x ) − u 0 ∣ < η |g(x)-u_{0}|<\eta g(x)u0<η
所以 ∣ f ∘ g ( x ) − f ∘ g ( x 0 ) ∣ = ∣ f ∘ g ( x ) − f ( u 0 ) ∣ < ε \left|f \circ g(x)-f \circ g\left(x_{0}\right)\right|=\left|f \circ g(x)-f\left(u_{0}\right)\right|<\varepsilon fg(x)fg(x0)=fg(x)f(u0)<ε
lim ⁡ x → x 0 f ∘ g ( x ) = f ∘ g ( x 0 ) \lim\limits_{x \rightarrow x_{0}} f \circ g(x)=f \circ g\left(x_{0}\right) xx0limfg(x)=fg(x0)

【例3.2.10】 sh ⁡ x = e x − e − x 2 , ch ⁡ x = e x + e − x 2 \sh x=\frac{e^{x}-e^{-x}}{2},\ch x=\frac{e^{x}+e^{-x}}{2} shx=2exex,chx=2ex+ex(双曲正弦函数,双曲余弦函数),这两个函数是复合函数,比如 sh ⁡ x = e x − e − x 2 \sh x=\frac{e^{x}-e^{-x}}{2} shx=2exex可以写成 y = u + u − 1 2 , u = e x y=\frac{u+u^{-1}}{2},u=e^{x} y=2u+u1,u=ex u u u的值域是 u > 0 u>0 u>0,所以它复合后的结果也是连续的,所以 sh ⁡ x , ch ⁡ x \sh x,\ch x shx,chx ( − ∞ , + ∞ ) (-\infty,+\infty) (,+)连续。

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

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

相关文章

仓颉编程入门

#体验华为仓颉编程语言# 仓颉发布的第一时间&#xff0c;就申请了测试。昨天发现申请通过 &#xff0c;果断下载SDK体验一下。 废话不多说&#xff0c;从下载完开始&#xff0c;下面这个图&#xff0c;就是下载的文件&#xff1a; 看文件夹样子跟c/c套路差不多。bin目录是cjc…

linux安装nginx+前端部署vue项目(实际测试react项目也可以)

&#x1f9f8;本篇博客作者测试上线过不下5个项目&#xff0c;包括单纯的静态资源&#xff0c;vue项目和react项目&#xff0c;包好用&#xff0c;请放心使用 &#x1f4dc;作者首页&#xff1a;dream_ready-CSDN博客 &#x1f4dc;有任何问题都可以评论留言&#xff0c;作者将…

什么是大模型的泛化能力?

大模型的泛化能力指的是模型在未见过的数据上表现的能力&#xff0c;即模型不仅能在训练数据上表现良好&#xff0c;也能在新的、未知的数据集上保持良好的性能。这种能力是衡量机器学习模型优劣的重要指标之一。 泛化能力的好处包括但不限于&#xff1a; 提高模型的适应性&a…

基于uniapp的民宿酒店预订系统(后台+小程序)

&#x1f497;博主介绍&#x1f497;&#xff1a;✌在职Java研发工程师、专注于程序设计、源码分享、技术交流、专注于Java技术领域和毕业设计✌ 温馨提示&#xff1a;文末有 CSDN 平台官方提供的老师 Wechat / QQ 名片 :) Java精品实战案例《700套》 2025最新毕业设计选题推荐…

F28335中断系统

1 中断介绍 1.1 中断概念 1.2 TMS320F28335 中断概述

CUDA并行架构

一、CUDA简介 CUDA(Compute Unified Device Architecture)是一种由NVIDIA推出的通用并行计算架构&#xff0c;该架构使GPU(Graphics Processing Unit)能够对复杂的计算问题做性能速度优化。 二、串并行模式 高性能计算的关键是利用多核处理器进行并行计算。 串行模式&#…

使用LangGPT提示词让大模型比较浮点数

使用LangGPT提示词让大模型比较浮点数 背景介绍环境准备创建虚拟环境安装一些必要的库安装其他依赖部署大模型启动图形交互服务设置提示词与测试 LangGPT结构化提示词 背景介绍 LLM在对比浮点数字时表现不佳&#xff0c;经验证&#xff0c;internlm2-chat-1.8b (internlm2-cha…

Excel-时间取整,工作有效时长计算

在计算考勤时&#xff0c;打卡时间不是整点&#xff0c;上班时间是遵循整点开始计算的&#xff0c;员工提前打卡&#xff0c;所以要用到时间向上取整。 上班取整&#xff1a; 使用CEILING函数可实现该需求&#xff0c;参考以下公式&#xff0c;第一个参数为上班打卡时间&#…

MySQL篇(窗口函数/公用表达式(CTE))(持续更新迭代)

目录 讲解一&#xff1a;窗口函数 一、简介 二、常见操作 1. sumgroup by常规的聚合函数操作 2. sum窗口函数的聚合操作 三、基本语法 1. Function(arg1,..., argn) 1.1. 聚合函数 sum函数&#xff1a;求和 min函数 &#xff1a;最小值 1.2. 排序函数 1.3. 跨行函数…

一文读懂SpringCLoud

一、前言 只有光头才能变强 认识我的朋友可能都知道我这阵子去实习啦&#xff0c;去的公司说是用SpringCloud(但我觉得使用的力度并不大啊~~)… 所以&#xff0c;这篇主要来讲讲SpringCloud的一些基础的知识。(我就是现学现卖了&#xff0c;主要当做我学习SpringCloud的笔记吧&…

英集芯IP5902:集成电压可调异步升压转换充电管理功能的8位MCU芯片

英集芯IP5902是一款集成了9V异步升压转换、锂电池充电管理及负端NMOS管的8-bit MCU芯片&#xff0c;外壳采用了SOP16封装形式&#xff0c;高集成度和丰富的功能使其在应用时只需很少的外围器件&#xff0c;就能有效减小整体方案的尺寸&#xff0c;降低BOM成本&#xff0c;为小型…

Vue使用axios实现Ajax请求

1、什么是 axios 在实际开发过程中&#xff0c;浏览器通常需要和服务器端进行数据交互。而 Vue.js 并未提供与服务器端通信的接口。从 Vue.js 2.0 版本之后&#xff0c;官方推荐使用 axios 来实现 Ajax 请求。axios 是一个基于 promise 的 HTTP 客户端。 关于 promise 的介绍…

C#开源的一个能利用Windows通知栏背单词的软件

前言 今天给大家推荐一个C#开源且免费的能利用Windows通知栏背单词的软件&#xff0c;可以让你在上班、上课等恶劣环境下安全隐蔽地背单词&#xff08;利用摸鱼时间背单词的软件&#xff09;&#xff1a;ToastFish。 操作系统要求 目前该软件只支持Windows10及以上系统&…

Scrapy爬虫实战——某瓣250

# 按照我个人的习惯&#xff0c;在一些需要较多的包作为基础支撑的项目里&#xff0c;习惯使用虚拟环境&#xff0c;因为这样能极大程度的减少出现依赖冲突的问题。依赖冲突就比如A、B、C三个库&#xff0c;A和B同时依赖于C&#xff0c;但是A需要的C库版本大于N&#xff0c;而B…

Linux系统查找文件的所属目录

在Linux下查找文件的所属目录方法较多&#xff0c;既可以在图形桌面系统中用搜索功能查找文件&#xff0c;也可以在字符终端窗口中用不同的命令查找不同类型文件并显示其所在目录&#xff0c;针对不同的文件类型&#xff0c;有不同的命令。 一、在图形桌面系统中查找 如图1&a…

利用 ARMxy边缘计算网关和 BLiotlink 软网关,实现工业智能化升级

在当今数字化、智能化的时代浪潮中&#xff0c;工业领域也在不断寻求创新与突破&#xff0c;以提高生产效率、降低成本并提升竞争力。ARM 工业计算机与 BLiotlink 协议转换软件的结合&#xff0c;为工业智能化带来了新的机遇和解决方案。 一、ARM 工业计算机的优势 ARM 工业计…

【4.4】图搜索算法-BFS和DFS两种方式解岛屿数量

一、题目 给你一个由 1&#xff08;陆地&#xff09;和 0&#xff08;水&#xff09;组成的的二维网格&#xff0c;请你计算网格中岛屿的数量。岛屿总是被水包围&#xff0c;并且每座岛屿只能由水平方向或竖直方向上相邻的陆地连接形成。此外&#xff0c;你可以假设该网格的四条…

I2C中继器TCA9517A(TI)

一、芯片介绍 本芯片是一款具有电平转换功能的双向缓冲器&#xff0c;适用于I2C和SMBus系统&#xff0c;同时支持各种拓扑结构的扩展使用。芯片支持SCL和SDA缓冲&#xff0c;因此允许两条总线的负载电容达到400pF。 TCA9517A的A和B侧驱动器是不同的&#xff0c;但是均可耐受5…

Obsidian 全部笔记共享配置文件,obsidian仓库-文件夹配置统一化

obsidian仓库-文件夹配置统一化 在每次新建obsidian仓库(vaults)时&#xff0c;仓库的主题和快捷键等都需要重新设置&#xff0c;这是因为每次创建新的仓库时 新仓库的配置文件都是默认配置但是如果通过复制粘贴旧配置文件来达到新仓库的配置和旧仓库一致的话&#xff0c;无法…

kafka3.8的基本操作

Kafka基础理论与常用命令详解&#xff08;超详细&#xff09;_kafka常用命令和解释-CSDN博客 [rootk1 bin]# netstat -tunlp|grep 90 tcp6 0 0 :::9092 :::* LISTEN 14512/java [rootk1 bin]# ./kafka-topics.s…