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

例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.rhkb.cn/news/297924.html

如若内容造成侵权/违法违规/事实不符,请联系长河编程网进行投诉反馈email:809451989@qq.com,一经查实,立即删除!

相关文章

【数据结构(一)】初识数据结构

❣博主主页: 33的博客❣ ▶文章专栏分类: Java从入门到精通◀ &#x1f69a;我的代码仓库: 33的代码仓库&#x1f69a; &#x1faf5;&#x1faf5;&#x1faf5;关注我带你学更多数据结构知识 目录 1.前言2.集合架构3.时间和空间复杂度3.1算法效率3.2时间复杂度3.2.1大O的渐进…

DFS:深搜+回溯+剪枝解决矩阵搜索问题

创作不易&#xff0c;感谢三连&#xff01;&#xff01; 一、N皇后 . - 力扣&#xff08;LeetCode&#xff09; class Solution { public:vector<vector<string>> ret;vector<string> path;bool checkcol[9];bool checkdig1[18];bool checkdig2[18];int n…

【C++】vector问题解决(非法的间接寻址,迭代器失效 , memcpy拷贝问题)

送给大家一句话&#xff1a; 世界在旋转&#xff0c;我们跌跌撞撞前进&#xff0c;这就够了 —— 阿贝尔 加缪 vector问题解决 1 前言2 迭代器区间拷贝3 迭代器失效问题4 memcpy拷贝问题 1 前言 我们之前实现了手搓vector&#xff0c;但是当时依然有些问题没有解决&#xff…

【Java笔记】多线程0:JVM线程是用户态还是内核态?Java 线程与OS线程的联系

文章目录 JVM线程是用户态线程还是内核态线程什么是用户态线程与内核态线程绿色线程绿色线程的缺点 线程映射稍微回顾下线程映射模型JVM线程映射 线程状态操作系统的线程状态JVM的线程状态JVM线程与OS线程的状态关系 Reference 今天复盘一下Java中&#xff0c;JVM线程与实际操作…

使用虚拟引擎为AR体验提供动力

Powering AR Experiences with Unreal Engine ​​​​​​​ 目录 1. 虚拟引擎概述 2. 虚拟引擎如何为AR体验提供动力 3. 虚拟引擎中AR体验的组成部分是什么&#xff1f; 4. 使用虚拟引擎创建AR体验 5. 虚拟引擎中AR的优化提示 6. 将互动性融入AR与虚拟引擎 7. 在AR中…

简述JMeter实现分布式并发及操作

为什么要分布式并发&#xff1f; JMeter性能实践过程中&#xff0c;一旦进行高并发操作时就会出现以下尴尬场景&#xff0c;JMeter客户端卡死、请求错误或是超时等&#xff0c;导致很难得出准确的性能测试结论。 目前知道的有两个方法可以解决JMeter支撑高并发&#xff1a; …

【Android Studio】上位机-安卓系统手机-蓝牙调试助手

【Android Studio】上位机-安卓系统手机-蓝牙调试助手 文章目录 前言AS官网一、手机配置二、移植工程三、配置四、BUG五、Java语言总结 前言 提示&#xff1a;以下是本篇文章正文内容&#xff0c;下面案例可供参考 AS官网 AS官网 一、手机配置 Android Studio 下真机调试 …

Rust egui(4) 增加自己的tab页面

如下图&#xff0c;增加一个Sins也面&#xff0c;里面添加一个配置组为Sin Paraemters&#xff0c;里面包含一个nums的参数&#xff0c;范围是1-1024&#xff0c;根据nums的数量&#xff0c;在Panel中画sin函数的line。 demo见&#xff1a;https://crazyskady.github.io/index.…

Spring Boot 介绍

1、SpringBoot 介绍 用通俗的话讲&#xff0c;SpringBoot 在Spring生态基础上发展而来&#xff0c;它的发现不是取代Spring&#xff0c;是为了让人们更容易使用Spring。 2、相关依赖关系 Spring IOC/AOP > Spring > Spring Boot > Spring Cloud 3、 SpringBoot工作原…

ENSP中AC登录web界面

拓扑 虚拟网卡配置 云团配置&#xff1a; **AC配置** vlan batch 100 # interface GigabitEthernet0/0/1port link-type accessport default vlan 100 # interface Vlanif100ip address 192.168.0.1 255.255.255.0 #http server enable浏览器输入&#xff1a;http://192.168.…

前端 - 基础 表单标签 - 表单元素 input - type 属性 ( 单选按钮和复选按钮 )

input 标签 type 属性 &#xff0c;上一篇讲了 输入框 和 密码框 这节看看 单选按钮 和 复选 按钮 目录 单选按钮 &#xff1a; 复选按钮 # 看上图就可以看到 单选按钮 -- radio 和 复选 按钮 -- checkbox 单选按钮 &#xff1a; 所谓单选按钮就是 有时…

某音乐平台歌曲信息逆向之参数寻找

如何逆向加密参数&#xff1a;某音乐平台歌曲信息逆向之webpack扣取-CSDN博客 参数构建 {"comm": {"cv": 4747474,"ct": 24,"format": "json","inCharset": "utf-8","outCharset": "ut…

HTML:框架

案例&#xff1a; <frameset cols"5%,*" ><frame src"left_frame.html"><frame src"right_frame.html"> </frameset> 一、<frameset>标签 <frameset>标签&#xff1a;称为框架标记&#xff0c;将一个HTML…

动态规划详解(Dynamic Programming)

目录 引入什么是动态规划&#xff1f;动态规划的特点解题办法解题套路框架举例说明斐波那契数列题目描述解题思路方式一&#xff1a;暴力求解思考 方式二&#xff1a;带备忘录的递归解法方式三&#xff1a;动态规划 推荐练手题目 引入 动态规划问题&#xff08;Dynamic Progra…

基于SpringBoot的“数码论坛系统设计与实现”的设计与实现(源码+数据库+文档+PPT)

基于SpringBoot的“数码论坛系统设计与实现”的设计与实现&#xff08;源码数据库文档PPT) 开发语言&#xff1a;Java 数据库&#xff1a;MySQL 技术&#xff1a;SpringBoot 工具&#xff1a;IDEA/Ecilpse、Navicat、Maven 系统展示 系统总体结构图 系统首页界面图 数码板…

一次java.lang.NullPointerException的排查之旅

一次java.lang.NullPointerException的排查之旅 问题由来问题分析问题处理 问题由来 最近在项目中遇到了一个比较奇怪的java.lang.NullPointerException&#xff0c;就是说在自己的本地环境中&#xff0c;功能正常&#xff0c;运行无异常。但是测试环境点击同样的功能时却总是…

【解读Kubernetes架构】全面指南,带你掌握Kubernetes的设计原理与构成!

了解 Kubernetes 架构&#xff1a;综合指南 前言一、什么是 Kubernetes 架构&#xff1f;1.1、控制平面1.2、工作节点 二、Kubernetes 控制平面组件2.1、kube-api服务器2.2、etcd2.3、kube-scheduler2.4、Kube 控制器管理器2.5、云控制器管理器 &#xff08;CCM&#xff09; 三…

CAD Plant3D 2023 下载地址及安装教程

CAD Plant3D是一款专业的三维工厂设计软件&#xff0c;用于在工业设备和管道设计领域进行建模和绘图。它是Autodesk公司旗下的AutoCAD系列产品之一&#xff0c;专门针对工艺、石油、化工、电力等行业的设计和工程项目。 CAD Plant3D提供了一套丰富的工具和功能&#xff0c;帮助…

matlab中角度-弧度转化

在 MATLAB 中进行角度和弧度之间的转换可以使用内置的函数&#xff1a; 1. 将角度转换为弧度&#xff1a; matlab rad deg * pi / 180; 这里 deg 是你想要转换的角度值&#xff0c;pi 是 MATLAB 内置的圆周率常量。 2. 将弧度转换为角度&#xff1a; matlab…

基于springboot+vue+Mysql的大学生租房系统

开发语言&#xff1a;Java框架&#xff1a;springbootJDK版本&#xff1a;JDK1.8服务器&#xff1a;tomcat7数据库&#xff1a;mysql 5.7&#xff08;一定要5.7版本&#xff09;数据库工具&#xff1a;Navicat11开发软件&#xff1a;eclipse/myeclipse/ideaMaven包&#xff1a;…