标签：1.4 闭包 bar sub cup 命题 聚点 aligned
聚点和闭包
聚点
A limit point (or cluster point or accumulation point)
wiki:
聚点: Let \(S\) be a subset of a topological space \(X\). A point \(x\) in \(X\) is a limit point or cluster point or accumulation point of a set of \(S\) if every neighbourhood of \(x\) contains at least one point of \(S\) different from \(x\) itself.
书上：\(A\) 是拓扑空间 \(X\) 的子集，\(x\in X\)。如果 \(x\) 的每个邻域都含有 \(A-\{x\}\) 中的点，则称 \(x\) 为 \(A\) 的聚点
中文这教材只说聚点，不查还不知道也叫极限点
聚点这定义我越看越眼熟，再加上刚刚看见个回答说 \(\R\) 包含了它所有的极限点
确界原理和开集的关联似乎清楚了一点
导集
Derived set
The collection \(M'\) of all limit points of a set \(M\) in a topological space.
Addition: A set \(M\) that is contained in its derived set is called dense-in-itself; if in addition \(M\) is closed, it is termed a perfect set.
书上：\(A\) 的所有聚点的集合称为 \(A\) 的导集，记作 \(A'\)
闭包
称集合
\[\bar{A} = A\cup A' \]为 \(A\) 的闭包。
形象地来看，如果 \(A\) 是一个封闭图形 \(G\) 的内点，那么 \(G\) 的边上的每个点都是 \(A\) 的聚点，边所有点的集合就是 \(G\) 的导集，\(G\) 的内点和边上点的并就是 \(A\) 的闭包。
性质
命题 1.1
\[x\in \bar{A} \iff \forall U(x), U(x) \cap A \ne \emptyset \]证明：
- 左往右
- 若 \(x\in A\) 显然非空
- 若 \(x\in \bar{A}\)，\(x\) 是 \(A\) 的聚点，由聚点定义，也非空
- 右往左
- \(x\in A\)，显然左边成立
- \(x\notin A\)，则 \(x\) 是 \(A\) 的聚点，所以 \(x\in A'\)，那么左边成立
逆否形式：
\[x\in (\bar{A})^c \iff \exist U(x), U(x) \cap A = \emptyset \]命题 1.2
\(A\) 是拓扑空间 \(X\) 的子集，那么 \((\bar{A})^c = (A^c)^{\circ}\)
拓扑空间的子集并不都是开集，拓扑的元素才是开集，闭集也是拓扑空间的子集
闭集需要用补集才能与邻域概念联系起来，所以闭集相关的证明几乎都要用逆否取补，然后用这条命题转换为开集与内部的问题
证明：
\[\begin{aligned} &\forall x \in (\bar{A})^c\\ \to &x \notin \bar{A} \\ \to &\exist U(x), U(x) \cap A = \emptyset \\ \to &U(x) \sub A^c \\ \to &x\in (A^c)^{\circ} \end{aligned} \]反过来
\[\begin{aligned} &\forall x \in (A^c)^{\circ} \\ \to & \exist U(x) \sub A^c \\ \to & \forall a \in U(x), a \notin A &(U(x)\cap A =\emptyset)\\ \to & x \notin \bar{A} \\ \to & x \in (\bar{A})^c \end{aligned} \]命题 1.3
\(A\sub B\to \bar{A} \sub \bar{B}\)
证明：
\[\begin{aligned} &\forall x \in \bar{A}, \forall U(x), \exist a\in U(x) ,a \in A\\ \to & a\in B \\ \to & x \in \bar{B} \end{aligned} \]命题 1.4
\(\bar{A}\) 是所有包含 \(A\) 的闭集的交集，所以是包含 \(A\) 的最小的闭集
证明:
这个证明的精髓在于
- 内点和邻域的关系
- 一个开集就是自身的内部
令 \(E=\{S~is~closed~|~A\sub S\}\)
即证
\[\bigcap_{S\in E} S = \bar{A} = A \cup A' \]- 左边 \(\sub\) 右边
即证
\[\begin{aligned} &\bigcap_{S\in E} S \sub \bar{A} = A \cup A'\\ \iff &(\bar{A})^c \sub \bigcup_{S\in E}S^c \end{aligned} \]\(\forall x\in (\bar{A})^c\)，由命题 1.2 可知，\(x\) 是 \(A^c\) 的内点。
言外之意，\(\exist U(x), U(x) \sub A^c,A\sub (U(x))^c\)
不失一般性，这里可取 \(U(x)\) 为开集，故而 \((U(x))^c\) 为闭集，所以 \((U(x))^c\in E\)
所以
\[x\in U(x) = ((U(x))^c)^c \sub \bigcup_{S\in E}S^c \]- 右边 \(\sub\) 左边
\(\bar{A} = A \cup A'\)，所以首先
\[\begin{aligned} &\forall S \in E, A\sub S \\ \to & A \sub \bigcap_{S\in E} S \end{aligned} \]下一步证明
\[\begin{aligned} &A'\sub \bigcap_{S\in E} S \\ \iff & \bigcup_{S\in E} S^c \sub (A')^c & (S^c~is~opened) \end{aligned} \]\(\forall S\in E, A\sub S\to S^c \sub A^c\)
\(\forall x \in S^c\)，\(S^c\) 是开集故而 \(S^c = (S^c)^{\circ}\)，因此 \(\exist U(x)\sub S^c\sub A^c\)
这说明 \(x\notin A'\), 于是得证
标签：1.4,闭包,bar,sub,cup,命题,聚点,aligned 来源： https://www.cnblogs.com/human-in-human/p/15095735.html
本站声明： 1. iCode9 技术分享网（下文简称本站）提供的所有内容，仅供技术学习、探讨和分享； 2. 关于本站的所有留言、评论、转载及引用，纯属内容发起人的个人观点，与本站观点和立场无关； 3. 关于本站的所有言论和文字，纯属内容发起人的个人观点，与本站观点和立场无关； 4. 本站文章均是网友提供，不完全保证技术分享内容的完整性、准确性、时效性、风险性和版权归属；如您发现该文章侵犯了您的权益，可联系我们第一时间进行删除； 5. 本站为非盈利性的个人网站，所有内容不会用来进行牟利，也不会利用任何形式的广告来间接获益，纯粹是为了广大技术爱好者提供技术内容和技术思想的分享性交流网站。