陶哲轩实分析 定理 13.1.5
(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相关推荐
- 陶哲轩实分析 定理 13.3.5 :紧致度量空间上的连续函数一致连续
设 $(X,d_X)$ 和 $(Y,d_Y)$ 都是度量空间,假定 $(X,d_X)$ 是紧致的,如果 $f:X\to Y$ 是函数,那么 $f$ 是连续的当且仅当 $f$ 是一致连续的. 证明:当 ...
- 陶哲轩实分析 定理 13.4.5
设 $X$ 是实直线 $\mathbf{R}$ 的子集合,那么下述命题等价. (a) $X$ 是连通的. (b) 只要 $x,y\in X$,并且 $x<y$,就有 $[x,y]\subsete ...
- 陶哲轩实分析定理17.3.8(三)
本文继承了这篇博文. 为了证明$f$在$x_0$处可微,我们只用证明,存在线性映射$T$,使得 \begin{equation} \lim_{x'\to x_0;x'\neq x_0}\frac{f( ...
- 陶哲轩实分析 定理 8.2.2 (无限和的富比尼定理) 证明
设$f:\mathbb{N}\times\mathbb{N}\to\mathbb{R}$是函数.使得$$\sum_{(n,m)\in\mathbb{N}\times\mathbb{N}}f(n,m)$ ...
- 陶哲轩实分析-第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 ...
- 陶哲轩实分析定理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 ...
- 陶哲轩实分析 习题 13.4.6
设 $(X,d)$ 是度量空间,并设 $(E_{\alpha})_{\alpha\in I}$ 是 $X$ 中的一族连通集合.还设 $\bigcap_{\alpha\in I}E_{\alpha}$ ...
- 陶哲轩实分析 习题 13.5.6
设 $X$ 是不可数集,并设 $\tau$ 是 $X$ 中一切这样的子集合 $E$ 的族,$E$ 或是空集或是余有限的.证明 $\tau$ 是 $X$ 上的拓扑. 证明:首先,$\emptyset\i ...
- 陶哲轩实分析定理 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 ...
最新文章
- 号外号外 你和python大牛的差距有多少?
- Kali下JDK1.8的安装过程
- 前端学习(2767):下拉刷新的学习
- 支持XML的公司和它们的开发工具有哪些?
- web测试常用的用例及知识
- hdu1426 Sudoku Killer
- HTML5海报生成器源码,原生js小项目 - canvas海报生成器
- 1373:鱼塘钓鱼(fishing)
- 菜鸟使用RedHat Linux9.0极品笑话
- ubuntu18.04下的屏幕亮度调节问题
- 未能加载程序集oracle.dataaccess 控制台,未能加载文件或程序集“Oracle.DataAccess”或它的某一个依赖项.试图加载格式不正确的程序...
- python 拼多多抢券_拼多多满减优惠 AC代码 python
- 金贵子为什么能把托育做成功—专访济南唐冶校区张楠园长
- 基本共射放大电路的动态分析以及放大电路Q点的稳定
- Vue中的视频播放插件( vue-video-player )
- Java:pdf转word
- 荣联科技转型的一二三四五
- C语言实现简单小游戏---扫雷
- linux(centos7)内核升级
- Android 读取外设U盘(USB)文件。
热门文章
- 大数据学习(09)--spark学习
- 《Python Cookbook 3rd》笔记(1.2):拆分任意长可迭代对象后赋值给多个变量
- java 指定时间转换_Java中使用Calendar进行获取指定时间,使用SimpleDateFormat进行格式化转换...
- hs控什么意思_凡尔赛文学 到底是什么?
- linux加密框架 crypto 算法管理 - 动态和静态算法管理
- web3 0.2.x 和 1.x.x版本之间的差异
- 以太坊私有链 使用dev模式
- codeforces 112A-C语言解题报告
- 一个三流学校程序员的奋斗历程
- 官方文档: Dubbo 框架设计、模块说明、依赖关系