拓扑学基础 Week 2

avatar
作者
猴君
阅读量:0

目录

如何知道一个点是否在 A ˉ \bar A Aˉ

定理:已知 A A A ( X , T ) (\mathbb X,\mathscr T) (X,T) 的子集,则有以下两条成立:

  1. x ∈ A ˉ x\in\bar A xAˉ 当且仅当 ∀ U ∈ T 且 x ∈ U , U ∩ A ≠ ∅ \forall U\in \mathscr T且x\in U,U\cap A\neq \mathbb \empty UTxU,UA=
  2. B \mathscr B B 是能够用来生成 T \mathscr T T 的一个基,此时则有 x ∈ A ˉ x\in\bar A xAˉ 当且仅当 ∀ B ∈ B 且 x ∈ B , B ∩ A ≠ ∅ \forall B\in \mathscr B且x\in B,B\cap A\neq \mathbb \empty BBxB,BA=

对于这两条性质,用语言可以直观地描述为:

  1. x x x 在集合 A A A 的闭包之中,等价于,所有含 x x x 的开集 U U U 均与 集合 A A A 有交集;
  2. x x x 在集合 A A A 的闭包之中,等价于,所有含 x x x 的基元素 S S S 均与集合 A A A 有交集。

出于篇幅我们只证明其中的第一条。

考虑闭包的定义: A ˉ \bar A Aˉ 是所有包含 A A A 的开集 的交集。若 x ∈ A ˉ x\in \bar A xAˉ 则说明所有含 A A A 的开集的公共部分一定包含了 x x x。考虑这个定理的逆否命题:

x ∉ A ˉ    i f f    ∃ C , A ⊆ C , X − C ∈ T    s . t .    x ∉ C x\not \in \bar A\;iff\;\exist C,A\subseteq C,\mathbb X-C\in \mathscr T\;s.t.\;x\not\in C xAˉiffC,AC,XCTs.t.xC

即: x x x 不在 A ˉ \bar A Aˉ 中,等价于, X \mathbb X X 中存在一个包含 A A A 的闭集 C C C,使 x x x 不在 C C C 中。

从开集的角度说,就是:

x ∉ A ˉ    i f f    ∃ U ∈ T , U ∩ A = ∅    s . t .    x ∈ U x\not \in \bar A\;iff\;\exist U\in \mathscr T, U\cap A=\mathbb \empty\;s.t.\;x\in U xAˉiffUT,UA=s.t.xU

考虑上文中提到的那个闭集合 C C C 的补集 U U U,存在一个包含 A A A C C C 使得 x x x 不在 C C C 中,也就是存在一个与 A A A 没有交集的 U U U 使得 x x x U U U 中。

而这个命题的逆否命题即为我们要证明的 1。

x ∈ A    i f f    ∀ U ∈ T , x ∈ U , U ∩ A = ∅ , x\in A\;iff\;\forall U\in \mathscr T,x\in U, U\cap A=\mathbb \empty, xAiffUT,xU,UA=,

例子

R \mathbb R R 上的标准拓扑上 A = ( 0 , 1 ] A=(0, 1] A=(0,1],可以证明 0 ∈ A ˉ 0\in \bar A 0Aˉ

使用上文中的第二条,所有开区间在 R \mathbb R R 上构成了标准拓扑的一个基,显然所有的含 0 0 0 的开区间都和区间 A A A 相交,因此 0 ∈ A ˉ 0\in \bar A 0Aˉ

聚点 Limit Point

A A A 是拓扑空间 ( X , T ) (\mathbb X, \mathscr T) (X,T) 的一个子集, x ∈ X x\in \mathbb X xX 是拓扑空间中的一个点,若满足下面的条件,则称 x x x A A A 的聚点:

∀ U ∈ T , x ∈ U , U ∩ A − { x } ≠ ∅ \forall U\in \mathscr T, x\in U, U\cap A-\{x\}\neq \mathbb \empty UT,xU,UA{x}=

用语言描述为: X \mathbb X X 中所有含 x x x 的开集,都至少与 A A A 相交于除 x x x 之外的一点。注: U ∩ A U\cap A UA 不一定包含了 x x x

例子

R \mathbb R R 上的标准拓扑空间上,集合 A = { 1 n ∣ n ∈ Z + } A=\{\frac{1}{n}|n\in\mathbb Z_+\} A={n1nZ+} 0 0 0 是集合 A A A 的唯一一个聚点。

聚点和闭包的关系

A A A ( X , T ) (\mathbb X, \mathscr T) (X,T) 的子集, A ′ A' A 是 集合 A A A 聚点构成的集合(有时也称 A ′ A' A A A A 的导集),则有 A ˉ = A ′ + A \bar A=A'+A Aˉ=A+A

  • 弃坑跑路

广告一刻

为您即时展示最新活动产品广告消息,让您随时掌握产品活动新动态!