请选择 进入手机版 | 继续访问电脑版

数学之家

建站
数学爱好者的家园
 找回密码
 注册

QQ登录

只需一步,快速开始

查看: 258|回复: 0

[已解决] 裴礼文 多元函数微分学 647页 练习6.1.21 解答

[复制链接]
发表于 2016-4-30 21:33:48 | 显示全部楼层 |阅读模式
练习6.1.21:

  设$f$在$R^n$中点$x_0$的邻域里有界,记
$$M_f(x_0,\delta)=\sup\left\{f(x)|\rho(x,x_0)<\delta\right\},$$
$$m_f(x_0,\delta)=\inf\left\{f(x)|\rho(x,x_0)<\delta\right\},$$
  则极限
$$w_f(x_0) \equiv \lim\limits_{\delta \to 0^+}[M_f(x_0,\delta)-m_f(x_0,\delta)]$$
  存在,并称之为$f$在$x_0$处的振幅。
  试证:$f(x)$在$x_0$处连续的充要条件是$w_f(x_0)=0$。



解:
  取$\delta_n=\frac{1}{n}$,则$\lim\limits_{n \to +\infty}\delta_n=0$。由于
$$M_f(x_0,\delta_n)>M_f(x_0,\delta_{n+1}), (n=1,2,\cdots)$$
$$m_f(x_0,\delta_n)<m_f(x_0,\delta_{n+1}), (n=1,2,\cdots)$$
$$M_f(x_0,\delta_n)-m_f(x_0,\delta_n)<M_f(x_0,\delta_{n+1})-m_f(x_0,\delta_{n+1}), (n=1,2,\cdots)$$
  所以数列$\left\{M_f(x_0,\delta_n)-m_f(x_0,\delta_n)\right\}$是单调递增数列。
$$M_f(x_0,\delta_n)-m_f(x_0,\delta_n) \ge 0$$
  所以当$\delta \to 0^+$时,$M_f(x_0,\delta_n)-m_f(x_0,\delta_n)$的极限存在。
  必要性
  设$f(x)$在$x_0$处连续,即
$$\lim\limits_{x \to x_0}f(x)=f(x_0)$$
  从而当$\delta \to 0^+$时,$x \to x_0$
$$\lim\limits_{\delta \to 0^+}M_f(x_0,\delta)=\lim\limits_{x \to x_0}f(x)=f(x_0)$$
$$\lim\limits_{\delta \to 0^+}m_f(x_0,\delta)=\lim\limits_{x \to x_0}f(x)=f(x_0)$$
  所以
$$\lim\limits_{\delta \to 0^+}[M_f(x_0,\delta)-m_f(x_0,\delta)]=f(x_0)-f(x_0)=0$$
  充分性
  对$\forall \epsilon>0$,$\exists \delta>0$,当$|x-x_0|<\delta$时,有
$$|M_f(x_0,\delta)-m_f(x_0,\delta)|<\epsilon$$
  从而
$$|f(x)-f(x_0)| \le |\sup f(x)-\inf f(x)|<\epsilon$$
  所以$f(x)$在$x_0$处连续。
回复

使用道具 举报

您需要登录后才可以回帖 登录 | 注册

本版积分规则

QQ|网站统计|手机版|小黑屋|数学之家    

GMT+8, 2019-8-19 05:32 , Processed in 1.312500 second(s), 21 queries .

Powered by Discuz! X3.1

© 2001-2013 Comsenz Inc.

快速回复 返回顶部 返回列表