【拓扑的基】示例及详解

集合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

  • 2
    点赞
  • 1
    收藏
    觉得还不错? 一键收藏
  • 打赏
    打赏
  • 0
    评论

“相关推荐”对你有帮助么?

  • 非常没帮助
  • 没帮助
  • 一般
  • 有帮助
  • 非常有帮助
提交
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包

打赏作者

F_D_Z

你的鼓励将是我创作的最大动力

¥1 ¥2 ¥4 ¥6 ¥10 ¥20
扫码支付:¥1
获取中
扫码支付

您的余额不足,请更换扫码支付或充值

打赏作者

实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值