2026-03-05

Topo Homework - Week 1

Topo Homework - Week 1

T1

5. (ER) 在三点集 X={a,b,c}X = \{a,b,c\} 上, 平凡拓扑有两个开集, 离散拓扑有八个开集. 对于 n=3,4,5,6,7n = 3,4,5,6,7 中的每一个数, 找出 XX 上由 nn 个开集组成的拓扑, 或证明这样的拓扑不存在.

  • 3:{,X,{a}}\{ \varnothing,X,\{ a \}\}
  • 4:{,X,{a},{a,b}}\{ \varnothing,X,\{ a \} ,\{ a,b \}\}
  • 5:{,X,{a},{b},{a,b}}\{ \varnothing,X,\{ a \} ,\{ b \} ,\{ a,b \} \}
  • 6:{,X,{a},{b},{a,b},{a,c}}\{ \varnothing,X,\{ a \} ,\{ b \} ,\{ a,b \} ,\{ a,c \} \}

对于n=7n=7,容易验证删掉任何一个开集都不构成拓扑.

T2

6. (ER)R\mathbb{R} 上定义一个拓扑 T\mathcal{T} (通过列出其中的开集), 使得 (0,2),(1,3)T(0, 2), (1, 3) \in \mathcal{T}, 并且 T\mathcal{T} 包含尽可能少的开集.

{,R,(0,2),(1,3),(1,2),(0,3)}\begin{gathered} \{ \varnothing,{\mathbb R},(0,2),(1,3),(1,2),(0,3) \} \end{gathered}

T3

9. (MR) 确定下列哪些子集是直线 R\mathbb{R} 的下极限拓扑 Rl\mathbb{R}_l 的开集, 并证明之:

A=[1,2),B={3},C=[4,5],D=(6,7),E=(8,9].\begin{gathered} A = [1,2), \\ B = \{3\}, \\ C = [4,5], \\ D = (6,7), \\ E = (8,9]. \end{gathered}

AA显然是.

UURl{\mathbb R}_l的开集,则U=i[ai,bi)U=\bigcup_i [a_i,b_i),设B=supbiB=\sup b_i,则一定有BU,B=supUB\notin U,B=\sup U.故排除B,C,EB,C,E.

DD是:D=nZ[6+1n,7)D=\bigcup_{n\in Z} [6+\dfrac1n,7)

T4

10. (ER)XX 是拓扑空间, UXU \subset X 是开集, FXF \subset X 是闭集. 证明 UFU - F 是开集, FUF - U 是闭集.

UF=U(XF)U-F=U\cap (X-F)是两个开集的交,是开集.

FU=F(XU)F-U=F\cap (X-U)是两个闭集的交,是闭集.

T5

14. (ER)Q={qRq 为有理数}\mathbb{Q} = \{q \in \mathbb{R} \mid q \text{ 为有理数}\}. 证明 {(a,b)a,bQ,a<b}\{(a, b) \mid a, b \in \mathbb{Q}, a < b\} 是通常直线拓扑的一个基.

显然 x,x(x1,x+1)\forall x,x\in (\lfloor x-1 \rfloor ,\lfloor x+1 \rfloor ).

又有

U is open ,UR,xUx(l,r)U\begin{gathered} \forall U \text{ is open },U\subset R,x\in U \\ \exists x\in(l,r)\subset U \\ \end{gathered}

则令aa(l,x)(l,x)中的某有理数,bb(x,r)(x,r)中的某有理数,有x(a,b)(l,r)x\in (a,b)\subset (l,r)

于是它与开区间基生成相同的拓扑.

T6

15. (DRH)ARA \subset \mathbb{R}. 若 AA 含有每一个形如 {a,a+b,,a+(n1)b}\{a, a+b, \cdots, a+(n-1)b\} 的子集, 其中 b0b \neq 0, 则称 AA 包含一个长度为 nn 的算术级数. 考虑正整数集 N+\mathbb{N}_+ 的一个子集 FF 的如下性质: nN+\exists n \in \mathbb{N}_+, 使得 FF 不包含长度为 nn 的算术级数. 证明: 存在 N+\mathbb{N}_+ 上的一个拓扑, 使得有上面性质的 N+\mathbb{N}_+ 的子集和 N+\mathbb{N}_+ 本身能构成这个拓扑的一个闭子集族.

在求解上面问题的过程中, 可能需要用到组合数学的范德瓦尔登 (van der Waerden) 定理: nN+\forall n \in \mathbb{N}_+, 存在 NN+N \in \mathbb{N}_+, 使得对于 {1,2,,N}\{1,2,\cdots,N\} 的每一个子集 AA, AA{1,2,,N}A\{1,2,\cdots,N\} \setminus A 这两个集合中至少有一个含有长度为 nn 的算术级数.

考虑直接定义满足性质的集合的补集是开集,或者说直接定义满足性质的集合是闭集.则只需要验证闭集的三条公里:

显然空集和全集成立.

对无限交,若F1F_1存在nn使得F1F_1不含长度为nn的算数级数,则任意FiF1\bigcap F_i\subset F_1也不含长度为nn的算术级数,仍未闭集.

对有限并,考虑反证,如果F1F2F_1\cup F_2含有任意长度的算术级数,则任意选定nn,一定存在NN满足题述定理.而F1F2F_1\cup F_2中可以找到{cn=a+bn}\{c_n=a+bn\}长度不小于NN,那么设cnc_nFiF_i元素的下标的集合是SiS_i,则S1,{1N}S1S_1,\{1\ldots N\}-S_1中至少有一个有长nn的算术级数,也就是说S1,S2S_1,S_2中至少有一个包含长nn的算数级数,设为{pn}\{p_n\},则cpnc_{p_n}一定是F1F_1F2F_2中的算数级数,与F1,F2F_1,F_2是闭集矛盾.故F1F2F_1\cup F_2不含任意长的算数级数.

于是得证.

T7

证明ff是单射时等号成立:

(1) f(λAλ)λf(Aλ)f(\bigcap_{\lambda} A_{\lambda}) \subset \bigcap_{\lambda} f(A_{\lambda}) If ff is injective, then "==" holds.

(2) f(f1(B))Bf(f^{-1}(B)) \subset B If ff is surjective, then "==" holds.

(3) f1(f(A))Af^{-1}(f(A)) \supset A If ff is injective, then "==" holds.

(1):

xf(λAλ),Aλ,aAλ s.t. f(a)=x,xf(Aλ)    f(λAλ)λf(Aλ)if f is injective:xλf(Aλ)!a s.t. f(a)=x    λ,aAλ    xf(λAλ)\begin{gathered} \forall x\in f(\bigcap_\lambda A_\lambda),\forall A_\lambda,\exists a\in A_\lambda \ s.t.\ f(a)=x,x\in f(A_\lambda) \\ \implies f(\bigcap_\lambda A_\lambda)\subset \bigcap_\lambda f(A_\lambda) \\ \text{if } f \text{ is injective:} \\ \forall x\in \bigcap_\lambda f(A_\lambda) \\ \exists! a \ s.t.\ f(a)=x \\ \implies\forall \lambda, a\in A_\lambda \\ \implies x\in f(\bigcap_\lambda A_\lambda) \\ \end{gathered}

相互包含所以取等.

(2):

bf(f1(B)),xf1(B) s.t. f(x)=bbBif f is surjective:bBxf1(b)f1(B),f(x)=b    bf(f1(B))\begin{gathered} \forall b \in f(f^{-1}(B)), \\ \exists x\in f^{-1}(B) \ s.t.\ f(x)=b \\ \therefore b \in B \\ \text{if } f \text{ is surjective:} \\ \forall b\in B \\ \exists x\in f^{-1}(b)\subset f^{-1}(B),f(x)=b \\ \implies b\in f(f^{-1}(B)) \end{gathered}

相互包含所以取等.

(3):

aA,af1(f(a))if f is injective:af1(f(A))bA,f(b)=f(a) f is injection b=a,aA\begin{gathered} \forall a\in A ,a\in f^{-1}(f(a)) \\ \text{if } f \text{ is injective:} \\ \forall a \in f^{-1}(f(A)) \\ \exists b\in A,f(b)=f(a) \\ \xRightarrow{\text{ f is injection }} b=a,a\in A \end{gathered}

相互包含所以取等