设 $(X,d_X)$ 是度量空间,并设 $(Y,d_Y)$ 是另一个度量空间.设 $f:X\to Y$是函数,那么 $f$ 是连续的可以推出

(c)只要 $V$ 是 $Y$ 中的开集,集合 $f^{-1}(V):=\{x\in X:f(x)\in V\}$ 就 是 $X$ 中的开集.

\begin{proof} 为了证明 $f^{-1}(V)$ 是开集,我们只用证明对于 $f^{-1}(V)$ 中的任意一个 点 $x_0$ 来说,当正实数 $\delta$ 足够小时,$B_{(X,d)}(x_0,\delta)\bigcap f^{-1}(V)$ 中的所有点在经过 $f$ 作用后都在 $V$ 中.由于 $f(x_0)\in V$,且 $V$ 是开集,且 $f$ 连续,因此这是可以办到的. \end{proof}

(d)只要 $F$ 是 $Y$ 中的闭集,集合 $f^{-1}(F):=\{x\in X:f(x)\in F\}$ 就是 $X$ 中的闭集.

\begin{proof} 即证明集合 $f^{-1}(F)$ 中的任意一个柯西列 $$ a_1,a_2,a_3,\cdots,a_n,\cdots $$ 都收敛到 $f^{-1}(F)$ 中.如果该柯西列收敛到 $X$ 中的一个元素 $a$,则显 然$a\in f^{-1}(F)$(为什么?提示:$F$ 是 $Y$ 中的闭集).如果该柯西列不收敛 到$X$ 中的元素,则不予讨论(因为是限定在 $X$ 中讨论命题).综上,$f^{-1}(F)$ 是 $X$ 中的闭集. \end{proof}

转载于:https://www.cnblogs.com/yeluqing/archive/2013/03/06/3827697.html

陶哲轩实分析 定理 13.1.5相关推荐

  1. 陶哲轩实分析 定理 13.3.5 :紧致度量空间上的连续函数一致连续

    设 $(X,d_X)$ 和 $(Y,d_Y)$ 都是度量空间,假定 $(X,d_X)$ 是紧致的,如果 $f:X\to Y$ 是函数,那么 $f$ 是连续的当且仅当 $f$ 是一致连续的. 证明:当 ...

  2. 陶哲轩实分析 定理 13.4.5

    设 $X$ 是实直线 $\mathbf{R}$ 的子集合,那么下述命题等价. (a) $X$ 是连通的. (b) 只要 $x,y\in X$,并且 $x<y$,就有 $[x,y]\subsete ...

  3. 陶哲轩实分析定理17.3.8(三)

    本文继承了这篇博文. 为了证明$f$在$x_0$处可微,我们只用证明,存在线性映射$T$,使得 \begin{equation} \lim_{x'\to x_0;x'\neq x_0}\frac{f( ...

  4. 陶哲轩实分析 定理 8.2.2 (无限和的富比尼定理) 证明

    设$f:\mathbb{N}\times\mathbb{N}\to\mathbb{R}$是函数.使得$$\sum_{(n,m)\in\mathbb{N}\times\mathbb{N}}f(n,m)$ ...

  5. 陶哲轩实分析-第13章 度量空间上的连续函数

    13.1 连续函数 习题 13.1.1 完全类似命题9.4.7证明 13.1.2 根据定理13.1.4,(a)<=>(b) a->c 假设y∈Vy\in V,那么存在f(x0)=yf ...

  6. 陶哲轩实分析定理11.9.1:微积分第一基本定理(二)

    设$a<b$是实数,并设$f:[a,b]\to\mathbf{R}$是黎曼可积的,设$F:[a,b]\to\mathbf{R}$是函数$$F(x)=\int_{[a,x]}f$$如果$x\in ...

  7. 陶哲轩实分析 习题 13.4.6

    设 $(X,d)$ 是度量空间,并设 $(E_{\alpha})_{\alpha\in I}$ 是 $X$ 中的一族连通集合.还设 $\bigcap_{\alpha\in I}E_{\alpha}$ ...

  8. 陶哲轩实分析 习题 13.5.6

    设 $X$ 是不可数集,并设 $\tau$ 是 $X$ 中一切这样的子集合 $E$ 的族,$E$ 或是空集或是余有限的.证明 $\tau$ 是 $X$ 上的拓扑. 证明:首先,$\emptyset\i ...

  9. 陶哲轩实分析定理 11.4.3 $\max$与$\min$保持黎曼可积性

    设$I$是有界区间,并设$f:I\to\mathbf{R}$与$g:I\to\mathbf{R}$都是$\bf{Riemann}$可积函数,那么由$$\max(f,g)(x):=\max(f(x),g ...

最新文章

  1. 号外号外 你和python大牛的差距有多少?
  2. Kali下JDK1.8的安装过程
  3. 前端学习(2767):下拉刷新的学习
  4. 支持XML的公司和它们的开发工具有哪些?
  5. web测试常用的用例及知识
  6. hdu1426 Sudoku Killer
  7. HTML5海报生成器源码,原生js小项目 - canvas海报生成器
  8. 1373:鱼塘钓鱼(fishing)
  9. 菜鸟使用RedHat Linux9.0极品笑话
  10. ubuntu18.04下的屏幕亮度调节问题
  11. 未能加载程序集oracle.dataaccess 控制台,未能加载文件或程序集“Oracle.DataAccess”或它的某一个依赖项.试图加载格式不正确的程序...
  12. python 拼多多抢券_拼多多满减优惠 AC代码 python
  13. 金贵子为什么能把托育做成功—专访济南唐冶校区张楠园长
  14. 基本共射放大电路的动态分析以及放大电路Q点的稳定
  15. Vue中的视频播放插件( vue-video-player )
  16. Java:pdf转word
  17. 荣联科技转型的一二三四五
  18. C语言实现简单小游戏---扫雷
  19. linux(centos7)内核升级
  20. Android 读取外设U盘(USB)文件。

热门文章

  1. 大数据学习(09)--spark学习
  2. 《Python Cookbook 3rd》笔记(1.2):拆分任意长可迭代对象后赋值给多个变量
  3. java 指定时间转换_Java中使用Calendar进行获取指定时间,使用SimpleDateFormat进行格式化转换...
  4. hs控什么意思_凡尔赛文学 到底是什么?
  5. linux加密框架 crypto 算法管理 - 动态和静态算法管理
  6. web3 0.2.x 和 1.x.x版本之间的差异
  7. 以太坊私有链 使用dev模式
  8. codeforces 112A-C语言解题报告
  9. 一个三流学校程序员的奋斗历程
  10. 官方文档: Dubbo 框架设计、模块说明、依赖关系