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

【拓扑空间】示例及详解1

目录

例1 

例2


例1 

度量空间(X,d)的任意两球形邻域的交集是若干球形邻域的并集

Proof:

任取空间(X,d)的两个球形邻域B(x_1,\varepsilon _1)B(x_2,\varepsilon _2),令U=B(x_1,\varepsilon _1)\cap B(x_2,\varepsilon _2)

任取x\in U,令\varepsilon_x=min\left \{ \varepsilon_1-d(x_1,x), \varepsilon_2-d(x_2,x) \right \}

\Rightarrow B(x,\varepsilon_x)\subseteq U

\Rightarrow U=\bigcup_{x\in U}B(x,\varepsilon_x)

球形领域B(x_0,\varepsilon )=\left \{ x \in X : d(x,x_0)< \varepsilon,x_0\in X,\varepsilon >0 \right \}

例2

规定X的子集族\tau_d=\left \{ U:U\ is \ union \ of\ spherical \ neighborhoods \right \},证明\tau_d是X上的一个拓扑

Proof:

1.\varnothing \in \tau_d

X=\bigcup_{x\in X}B(x,\varepsilon_x) \in \tau_d

2.\forall u_1,u_2 \in \tau_d, u_1\cup u_2 \ is \ union\ of\ spherical\ neighboorhoods,u_1\cup u_2\in\tau_d

(若干个球形邻域的并集都是\tau_d的元素,元素间的任意并依旧是若干个球形邻域的并集,故对任意并封闭)

3.\begin{gathered}\exists u_1,u_2\in\tau_d,u_1=\bigcup_{\alpha }B(x_{\alpha},\varepsilon_{\alpha}),u_2=\bigcup_{\beta}B(x_{\beta},\varepsilon_{\beta}).\end{gathered}

\begin{gathered} u_1\cap u_2=\left(\bigcup_\alpha B(x_\alpha,\varepsilon_\alpha)\right)\bigcap\left(\bigcup_\beta B(x_\beta,\varepsilon_\beta)\right) \\ =\bigcup_{\alpha,\beta}\left(B(x_{a},\varepsilon_{a})\bigcap B(x_{\beta},\varepsilon_{\beta})\right) \end{gathered}

let \ U =B(x_{a},\varepsilon_{a})\bigcap B(x_{\beta},\varepsilon_{\beta})

\forall x \in U,let \ \varepsilon_x=min\left \{ d(x,x_\alpha),d(x,x_\beta) \right \}

then,U=\bigcup_{x\in U}B(x,\varepsilon_x)

\begin{gathered} then,u_1\cap u_2=\bigcup_{\alpha,\beta}\left(\bigcup_{x\in U}B(x,\varepsilon_x)\right) \end{gathered},so \ u_1\cap u_2 \in \tau_d

therefore \ \tau_d \ is \ a \ topo \ in\ X

拓扑:=

1.X,\varnothing \in \tau

2.任意并封闭

3.有限交封闭

\left(\bigcup_\alpha B(x_\alpha,\varepsilon_\alpha)\right)\bigcap\left(\bigcup_\beta B(x_\beta,\varepsilon_\beta)\right) =\bigcup_{\alpha,\beta}\left(B(x_{a},\varepsilon_{a})\bigcap B(x_{\beta},\varepsilon_{\beta})\right)

一般称\tau_d为X上由度量d决定的度量拓扑

每个度量空间都可以看成具有度量拓扑的拓扑空间,从而欧氏空间E^{n}也是拓扑空间,其度量拓扑称为欧氏拓扑。 

从这个意义上讲,拓扑空间是欧氏空间和度量空间的推广,拓扑公理也是从度量空间的开集的基本性质中抽象出来的。

​​​​​​​

http://www.dtcms.com/a/270683.html

相关文章:

  • sqlplus表结构查询
  • 高效集成-C#全能打印报表设计器诞生记
  • Android-重学kotlin(协程源码第一阶段)新学习总结
  • mongodb: cannot import name ‘_check_name‘ from ‘pymongo.database‘
  • 池化思想-Mysql异步连接池
  • 教育行业可以采用Html5全链路对视频进行加密?有什么优势?
  • 高通 QCS6490PI 集群架构支撑 DeepSeek 模型稳定运行的技术实现
  • upload-labs靶场通关详解:第19关 条件竞争(二)
  • Java-----韩顺平单例设计模式学习笔记
  • java项目maven编译的时候报错:Fatal error compiling: 无效的标记: --release
  • 【计算机组成原理——知识点总结】-(总线与输入输出设备)-学习笔记总结-复习用
  • Caffeine的tokenCache与Spring的CaffeineCacheManager缓存区别
  • uniapp,Anroid10+版本如何保存图片并删除
  • 缓存三大问题详解与工业级解决方案
  • 视频音频转换器V!P版(安卓)安装就解锁V!P!永久免费使用!
  • 【RK3568+PG2L50H开发板实验例程】FPGA部分 | DDR3 读写实验例程
  • 创客匠人:在 IP 变现浪潮中,坚守知识变现的本质
  • 飞算AI-idea强大的AI工具
  • 二分查找篇——在排序数组中查找元素的第一个和最后一个位置【LeetCode】
  • 如何把一个多行的RAS key放到环境变量中?
  • 最新全开源礼品代发系统源码/电商快递代发/一件代发系统
  • 红宝书单词学习笔记 list 26-50
  • 71、【OS】【Nuttx】【启动】启动函数分析
  • 股权结构解析
  • 首批 | 云轴科技ZStack加入施耐德电气技术本地化创新生态
  • 微算法科技从量子比特到多级系统,Qudits技术革新引领量子计算新时代
  • 从零开始学前端html篇2
  • Redis:分组与设备在 Redis 中缓存存储设计
  • K线训练关键代码
  • Laravel 动态生成 PDF:基于 KnpSnappy 实现多公司页眉页脚差异化配置