【拓扑的基】示例及详解

集合X的某拓扑的一个基是X的子集的一个族\mathcal B(其成员称为基元素)，满足条件：

1.\forall x \in X,\exists B\in \mathcal B,x\in B

2.if \ x \in B_1\cap B_2,B_1,B_2\in \mathcal B,\exists B_3\in \mathcal B,x\in B_3\subseteq B_1\cap B_2

由基生成拓扑

由\mathcal B生成的拓扑\tau(\mathcal B满足以上两个条件）

\tau=\left \{U\subseteq X: \forall x\in U ,\exists B \in \mathcal B,x\in B \subseteq U \right \}

等价描述：

\tau由所有可表示为\mathcal B的某些成员的井的那些集合组成

\tau=\left \{\bigcup_{B\in \mathcal B'}B: \mathcal B'\subseteq\mathcal B\right \}

例1:

证明：由\mathcal B生成的族\tau确实是拓扑

Proof:

1.\forall x \in X,\exists B\in \mathcal B,x\in B \subseteq X

so \ X ,\varnothing \in \tau

2.let \ \left \{ u_i \right \}_{i\in I},u_i \in \tau

\forall x \in \cup_{i\in I} u_i,\exists u_i,x \in u_i

u_i \in \tau,so\ \exists B \in \mathcal{B},x\in B \subseteq u_i \subseteq \cup_{i\in I} u_i

3.\forall u_1,u_2 \in \tau,if\ u_1\cap u_2=\varnothing,\varnothing\in \tau

if\ not\ ,\forall x \in u_1\cap u_2,\exists B_1 ,B_2\in \tau,x\in B_1\cap B_2\subseteq u_1\cap u_2

then, \exists B_3\in \tau,x\in B_3 \subseteq B_1\cap B_2\subseteq u_1\cap u_2, so\ u_1\cap u_2 \in \tau

with\ induction,\cap_{i=1}^nu_i\in\tau

In \ sum , \tau \ is \ topo

同理可证，任意一个集合X，X的所有单点子集的族是X上的离散拓扑的一个基

例2:

设\mathcal B和\mathcal B'分别是X的拓扑\tau和\tau'的基，则下列条件等价：

1.\tau'细于\tau

2.对\forall x\in X，及包含x的\forall B\in \mathcal B,\exists B' \in \mathcal B',s.t.x\in B'\subseteq B

Proof:

1.\Leftarrow

proof\ \tau \subseteq \tau '

\forall u \in \tau ,\forall x\in u,\exists B\in\mathcal B,x\in B\subseteq u

then,\exists B' \in \mathcal B',x\in B'\subseteq B\subseteq u\Rightarrow x\in \tau'

2.\Rightarrow

\forall x \in X, \forall B\in \mathcal B,s.t.\ x\in B

B\in\tau

\tau \subseteq \tau '\Rightarrow B\in\mathcal \tau '

\tau' \ generated \ by \ B'\Rightarrow \exists B' \in \mathcal B',x\in B'\subseteq B

本文来自互联网用户投稿，该文观点仅代表作者本人，不代表本站立场。本站仅提供信息存储空间服务，不拥有所有权，不承担相关法律责任。如若转载，请注明出处：http://www.hqwc.cn/news/601980.html

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

相关文章

vue2 父子组件通讯

vue2 父子组件通讯

父传子 父组件&#xff1a;app.vue <template><div>app 父组件<!-- 2.动态绑定定义的数据 --><LiCount :title"mytitle"></LiCount></div> </template><script> import LiCount from "./components/LiCount.…
阅读更多...
机场数据治理系列介绍（5）民用机场智慧能源系统评价体系设计

机场数据治理系列介绍（5）民用机场智慧能源系统评价体系设计

目录 一、背景 二、体系设计 1、评价体系设计维度 2、评价体系相关约定 3、评价指标体系框架设计 4、能源利用评价指标 5、环境友好评价指标 6、智慧管控评价指标 7、安全保障评价指标 三、具体落地措施 一、背景 在“双碳”国策之下&#xff0c;各类机场将能源系统建…
阅读更多...
6.10物联网RK3399项目开发实录-驱动开发之SPI接口的使用（wulianjishu666）

6.10物联网RK3399项目开发实录-驱动开发之SPI接口的使用（wulianjishu666）

嵌入式实战开发例程&#xff0c;珍贵资料&#xff0c;开发必备&#xff1a; 链接&#xff1a;https://pan.baidu.com/s/1149x7q_Yg6Zb3HN6gBBAVA?pwdhs8b SPI 使用 SPI 简介 SPI 是一种高速的&#xff0c;全双工&#xff0c;同步串行通信接口&#xff0c;用于连接微控制器、…
阅读更多...
使用单点登录（SSO）如何提高安全性和用户体验

使用单点登录（SSO）如何提高安全性和用户体验

什么是单点登录&#xff08;SSO&#xff09; 对于所有大量采用云应用程序的组织来说&#xff0c;有效的身份管理是一个巨大的挑战&#xff0c;如果每个 SaaS 应用程序的用户身份都是独立管理的&#xff0c;则用户必须记住多个密码&#xff0c;技术支持技术人员在混合环境中管理…
阅读更多...
20万就想买智能驾驶汽车？！我给你找到了三款车

20万就想买智能驾驶汽车？！我给你找到了三款车

文 | AUTO芯球 作者 | 雷歌 我都不敢相信&#xff0c;智能驾驶的车型已经这么便宜啦&#xff01; 一年多前&#xff0c;我一个前同事大冤种&#xff0c;还另掏3万多买某个造车新势力品牌的智驾包呢。 现在动不动就全给你标配了。 近的就说刚刚发布的小米SU7标准版&#xf…
阅读更多...
【LeetCode: 455. 分发饼干 + 贪心】

【LeetCode: 455. 分发饼干 + 贪心】

&#x1f680; 算法题 &#x1f680; &#x1f332; 算法刷题专栏 | 面试必备算法 | 面试高频算法 &#x1f340; &#x1f332; 越难的东西,越要努力坚持&#xff0c;因为它具有很高的价值&#xff0c;算法就是这样✨ &#x1f332; 作者简介&#xff1a;硕风和炜&#xff0c;…
阅读更多...
ubuntu安装

ubuntu安装

一、安装虚拟机 https://www.vmware.com/products/workstation-pro/workstation-pro-evaluation.html 下载后运行安装向导&#xff0c;一直Next即可 许可证&#xff1a; https://zhuanlan.zhihu.com/p/685829787#:~:textpro,17%E5%AF%86%E9%92%A5%EF%BC%9AMC60H-DWHD5-H80U9-6…
阅读更多...
STC89C52学习笔记（二）

STC89C52学习笔记（二）

STC89C52学习笔记&#xff08;二&#xff09; 综述&#xff1a;本文简要介绍了51单片机以及示例了如何成功创建并运行一个程序&#xff08;点亮一个LED&#xff09;。 一、单片机介绍 单片机简称MCU&#xff0c;MCUCPURAMROM定时器中断系统通讯协议等单片机任务是信息采集、…
阅读更多...
Cali Linux上的PoshC2安装和使用

Cali Linux上的PoshC2安装和使用

一、安装PoshC2 curl -sSL https://raw.githubusercontent.com/nettitude/PoshC2/master/Install-for-Docker.sh | sudo bash二、创建工程 posh-project -n test三、修改配置文件 posh-config将图中的baidu.com改为自己要攻击的域名或者IP地址 四、执行 posh-server 显示没…
阅读更多...
鸿蒙OS实战开发：【多设备自适应服务卡片】

鸿蒙OS实战开发：【多设备自适应服务卡片】

介绍 服务卡片的布局和使用&#xff0c;其中卡片内容显示使用了一次开发&#xff0c;多端部署的能力实现多设备自适应。 用到了卡片扩展模块接口&#xff0c;[ohos.app.form.FormExtensionAbility] 。 卡片信息和状态等相关类型和枚举接口&#xff0c;[ohos.app.form.formInf…
阅读更多...
MySQL8.3.0 主从复制方案（master/slave）

MySQL8.3.0 主从复制方案（master/slave）

一 、什么是MySQL主从 MySQL主从&#xff08;Master-Slave&#xff09;复制是一种数据复制机制&#xff0c;用于将一个MySQL数据库服务器&#xff08;主服务器&#xff09;的数据复制到其他一个或多个MySQL数据库服务器&#xff08;从服务器&#xff09;。这种复制机制可以提供…
阅读更多...
《深入浅出多模态》：多模态经典模型CLIP

《深入浅出多模态》：多模态经典模型CLIP

🎉AI学习星球推荐： GoAI的学习社区 知识星球是一个致力于提供《机器学习 | 深度学习 | CV | NLP | 大模型 | 多模态 | AIGC 》各个最新AI方向综述、论文等成体系的学习资料，配有全面而有深度的专栏内容，包括不限于 前沿论文解读、资料共享、行业最新动态以、实践教程、求职…
阅读更多...
推荐文章
最新文章

Copyright @ 2022~2023