拓扑与拓扑的基(1)

这两周着重阅读了P58-63,整理一下学习成果

拓扑与拓扑空间

定义1:集合XX 的一个拓扑是XX 的子集的一个族τ\tau ,它满足以下条件:

  • (平凡开集性质),Xτ\empty,X \in \tau.
  • (任意并封闭性)τ\tau 的任意子族的元素的并在τ\tau 中.
  • (有限交封闭性)τ\tau 的任意有限子族的元素的交在τ\tau 中.

定义2:一个指定了拓扑的集合(X,τ)(X,\tau) 叫拓扑空间.

为什么要这么定义呢?

\mathbb{R} 上,我们有邻域的概念:

给定一个点x0x_0 和一个半径δ>0\delta >0 ,则x0x_0 的一个δ\delta 邻域为:

(x0δ,x0+δ)(x_0-\delta,x_0+\delta)

每个x0Ux_0 \in U UτU \in \tau ,其实可以看作一个更抽象的“邻域”,它没有半径,只是规定了哪些元素在这个“邻域”里面,在拓扑学中,我们把这样的邻域UU 称为“开集”

再看拓扑的三个性质,类比到邻域的概念上:

  • 平凡开集性质其实就是令δ+\delta \to +\infty 的特殊情况.对于空集,这是为了保证有限交封闭性成立,因为这些集合的交可能是空集.
  • 任意并封闭性说明一些邻域(或者说开集)的并也是另一个点的邻域,在\mathbb{R} 上这很好证明,请读者自行证明.
  • 有限交封闭性很有意思,为什么只有有限个开集的交是封闭的呢?

我们来看一个反例:

我们取一系列开区间

In=(1n,1n)I_n=(-\frac{1}{n},\frac{1}{n}) ,其中n+n \in \mathbb{Z}_+

运用一点数分知识(可以类比区间套定理的证明过程,但是要注意区间套定理的区间是闭区间,而这里是开区间),不难发现


n=1In={0}\bigcap_{n=1}^{\infty} I_n = \{0\}

很明显,{0}\{0\} 不是一个邻域,,因为它不满足δ>0\delta >0 ,它只是一个单点集.

拓扑的基

我们已经知道,k\mathbb{R}^k是一个向量空间,其中所有元素能表示为基底的线性组合(高中生朋友们请代入平面向量基本定理).

这很方便,因为我们可以用k个向量和k个实数表示空间中的所有向量,在研究其它向量的时候,将它表示为基底的线性组合能大大方便我们的研究.

那么拓扑呢?它是否也有这样的“基底?”

答案是有的

定义3: 拓扑空间(X,τ)(X,\tau) 中,拓扑τ\tau的一个基𝔅\mathfrak{B}是满足以下条件的XX的子集族:

  • (覆盖性)对于每个xXx \in X,至少有一个B𝔅B \in \mathfrak{B} 使得xBx \in B.
  • (交兼容性)若有xB1B2x \in B_1\cap B_2B1,B2𝔅B_1,B_2 \in \mathfrak{B} ,则有B3𝔅B_3 \in \mathfrak{B}B3B1B2B_3 \subset B_1 \cap B_2.

定义4:若任给一个xUx \in UUXU \sub X,存在一个B𝔅B \in \mathfrak{B} ,使得xBUx \in B\sub U ,那么UUXX的开集,所有这样的UU 构成的族称为由𝔅\mathfrak{B} 生成的拓扑τ\tau.

为什么我们断言,由定义4生成的τ\tau 一定是一个拓扑呢?

证明1

这里加入一个小小的引理

引理1.1:拓扑的基的所有元素都是开集.

证明1.1:这很好证明,任给一个xBx \in B B𝔅B \in \mathfrak{B} ,根据覆盖性,显然我们有BXB \sub X ,且显然xBBx \in B \sub B ,根据定义4,BB 是一个开集,所以BτB \in \tau.

让我们来根据拓扑的定义逐条验证:

我们先来验证平凡开集性质:

  • 根据拓扑的基的覆盖性,我们能在𝔅\mathfrak{B} 中找到XX 中的所有元素,且𝔅\mathfrak{B} 中没有XX中没有的元素,因此,B𝔅B=X\bigcup_{B \in \mathfrak{B}} B =X ,根据引理1,BB 都是开集,那么根据拓扑的并封闭性,它们的并XX 也是开集,所以XτX \in \tau.
  • 拓扑的基并不包含空集,但是如果我们令定义4中的U=U = \empty ,对于UU 中任意元素xx,xBUx \in B \in U 也成立,因为没有这样的xx .这是一个虚真论断.(不懂的可以看原书P5)因此UU 也是开集.

验证并封闭性:

  • 我们任取取τ\tau 中的一些元素Ui(iJ)U_i(i \in J \sub \mathbb{R}),为何不是+\mathbb{Z}_+呢?因为拓扑有可能是不可数的.这里要注意,我们只取了τ\tau 中的一些元素而不是全部元素.我们要证明的是总是存在UτU \in \tau 使得其可以表示为Ui\bigcup U_i.
  • 下面开始正式证明:我们令U=UiU = \bigcup U_i ,那么UU 中的每一个元素xx都能找到一个UiU_i使得xUix \in U_i.显然,UiU_i是一个开集,那么根据定义4,我们有xBUix \in B \sub U_i.
  • 由于xBUix \in B \sub U_i,显然有xBUiUx \in B \sub U_i \sub U,因为UU是一系列UiU_i 的交.让我们简化一下,xBUx \in B \sub U.根据这个结论,结合定义4,我们可以得出UU 是开集.

验证有限交封闭性:

  • 我们选取任意的U1,U2τU_1,U_2 \in \tau ,那么根据定义4,一定有B1U1,B2U2B_1 \sub U_1, B_2 \sub U_2.根据交兼容性,存在B3𝔅B_3 \in \mathfrak{B}使得B3B1B2B_3 \sub B_1 \cap B_2. 由于B1,B2B_1,B_2分别是U1,U2U _1 ,U_2 的子集,B3U1U2B_3 \sub U_1 \cap U_2.(实际上这一步十分令人费解,至少是对我而言,如果理解不了建议多看看书上的图13.3.)
  • (1)由此,一定有xXx \in X ,使得xB3U1U2x \in B_3 \sub U_1 \cap U_2. 这是因为根据引理1.1,B3B_3是一个开集,而开集不能有原集合以外的元素.到这里,根据定义4,U1U2U_1 \cap U_2 是一个开集.
  • (2)我们设Ukτ(k+)U_k \in \tau(k \in \mathbb{Z}_+),现在我们证明,对于有限交U=U’=U1U2...UnU_1 \cap U_2 \cap … \cap U_nUτ.U’ \in \tau.
  • 我们注意任意UmUm+1U_m\cap U_{m+1},由于相交的两个集合是开集,那么根据(1)中的结论,UmUm+1U_m\cap U_{m+1}是开集,即(2)式中相邻两项的交集仍然是开集.
  • 这样,(2)中的式子长度可以被缩减到一半,如果是奇数项则向上取整.因为相邻两项的交仍然是开集.这样一直重复缩减,我们可以把所有的项缩成一个项,而它仍然是开集.由此,可以得到UU’是开集.

由此,我们验证了τ\tau确实是一个拓扑,证毕.

先讲这么多吧,后面的几个引理下周再说

评论

  1. 博主
    已编辑
    1 月前
    2026-3-22 18:04:18

    不想上晚自习

发送评论 编辑评论


				
|´・ω・)ノ
ヾ(≧∇≦*)ゝ
(☆ω☆)
(╯‵□′)╯︵┴─┴
 ̄﹃ ̄
(/ω\)
∠( ᐛ 」∠)_
(๑•̀ㅁ•́ฅ)
→_→
୧(๑•̀⌄•́๑)૭
٩(ˊᗜˋ*)و
(ノ°ο°)ノ
(´இ皿இ`)
⌇●﹏●⌇
(ฅ´ω`ฅ)
(╯°A°)╯︵○○○
φ( ̄∇ ̄o)
ヾ(´・ ・`。)ノ"
( ง ᵒ̌皿ᵒ̌)ง⁼³₌₃
(ó﹏ò。)
Σ(っ °Д °;)っ
( ,,´・ω・)ノ"(´っω・`。)
╮(╯▽╰)╭
o(*////▽////*)q
>﹏<
( ๑´•ω•) "(ㆆᴗㆆ)
😂
😀
😅
😊
🙂
🙃
😌
😍
😘
😜
😝
😏
😒
🙄
😳
😡
😔
😫
😱
😭
💩
👻
🙌
🖕
👍
👫
👬
👭
🌚
🌝
🙈
💊
😶
🙏
🍦
🍉
😣
Source: github.com/k4yt3x/flowerhd
颜文字
Emoji
小恐龙
花!
上一篇
下一篇