UA MATH523A 实分析1 集合论基础6 一些点集拓扑基本概念
UA MATH523A 实分析1 集合论基础6 一些点集拓扑基本概念
- 拓扑空间
- 内部、边界、闭包
- 连续性
- 紧性
拓扑空间
非空集合XXX,∀p∈X\forall p \in X∀p∈X,∃Up\exists \mathcal{U}_p∃Up是XXX的子集构成的集族,其中的元素是ppp的邻域,如果
则称τ={Up:∀p∈X}\tau =\{\mathcal{U}_p:\forall p \in X\}τ={Up:∀p∈X}为XXX上的一个拓扑,(X,τ)(X,\tau)(X,τ)是一个拓扑空间。
一般介绍拓扑空间会用下面的定义,而上面的定义是拓扑的性质,但实际上它们是等价的:称(X,τ)(X,\tau)(X,τ)为拓扑空间,τ\tauτ为XXX上的拓扑,如果
称τ\tauτ中的元素为开集。
内部、边界、闭包
基于拓扑的定义,我们进一步定义内部、边界、闭包等概念。考虑A⊂XA \subset XA⊂X,
内点:∀x∈X\forall x \in X∀x∈X, 如果∃Ux∈τ\exists U_x \in \tau∃Ux∈τ, x∈Uxx \in U_xx∈Ux, Ux⊂AU_x \subset AUx⊂A,则xxx是AAA的内点;
外点:∀x∈X\forall x \in X∀x∈X, 如果∃Ux∈τ\exists U_x \in \tau∃Ux∈τ, x∈Uxx \in U_xx∈Ux, Ux⊂ACU_x \subset A^CUx⊂AC,则xxx是AAA的外点;
边界点:∀x∈X\forall x \in X∀x∈X, 如果∃Ux∈τ\exists U_x \in \tau∃Ux∈τ, x∈Uxx \in U_xx∈Ux, Ux∩A≠ϕU_x \cap A \ne \phiUx∩A=ϕ, Ux∩AC≠ϕU_x \cap A^C\ne \phiUx∩AC=ϕ,则xxx是AAA的边界点;
聚点 :∀x∈X\forall x \in X∀x∈X, 如果∃Ux∈τ\exists U_x \in \tau∃Ux∈τ, x∈Uxx \in U_xx∈Ux, ∣(Ux∖{x})∩A∣>0|(U_x\setminus \{x\}) \cap A| >0∣(Ux∖{x})∩A∣>0
孤立点 :∀x∈X\forall x \in X∀x∈X, 如果∃Ux∈τ\exists U_x \in \tau∃Ux∈τ, x∈Uxx \in U_xx∈Ux, ∣(Ux∖{x})∩A∣=0|(U_x\setminus \{x\}) \cap A| =0∣(Ux∖{x})∩A∣=0
开集 AAA中的所有点都是AAA的内点,则AAA是开集;
闭集 ACA^CAC是开集,则AAA是闭集;
内部 ∀A⊂X\forall A \subset X∀A⊂X, AAA的内部表示AAA包含的最大的开集,或者AAA的所有内点构成的集合,记为int(A)int(A)int(A)
边界 AAA的所有边界点的集合,记为∂A\partial A∂A
闭包 AAA的内部与边界点的集合,记为Aˉ\bar{A}Aˉ,表示包含AAA的最小闭集
导集 AAA的聚点的集合,记为A′A'A′
连续性
现在考虑定义在拓扑空间上的函数,假设f:(S,τ1)→(T,τ2)f:(S,\tau_1) \to (T,\tau_2)f:(S,τ1)→(T,τ2),
连续 考虑p0∈Sp_0 \in Sp0∈S, ∀V∈τ2\forall V \in \tau_2∀V∈τ2, f(p0)∈Vf(p_0) \in Vf(p0)∈V, ∃U∈τ1,p0∈U\exists U \in \tau_1, p_0 \in U∃U∈τ1,p0∈U, f(U)⊂Vf(U) \subset Vf(U)⊂V,则称fff在p0p_0p0处连续。如果∀p0∈S\forall p_0 \in S∀p0∈S,fff在p0p_0p0处连续,则称fff在SSS上连续。关于连续性有一些有用的性质:
同胚 如果fff与f−1f^{-1}f−1都是连续的,则称fff是同胚,称S,TS,TS,T是同胚的拓扑空间。
紧性
开覆盖 A⊂XA\subset XA⊂X, U\mathcal{U}U是XXX的子集系,∀p∈A\forall p \in A∀p∈A, ∃U∈U\exists U \in \mathcal{U}∃U∈U, p∈Up \in Up∈U,则称U\mathcal{U}U是AAA的覆盖。如果U\mathcal{U}U中的元素都是开集,则称之为开覆盖。
有限子覆盖 假设∃A1,⋯,Am∈U\exists A_1,\cdots,A_m \in\mathcal{U}∃A1,⋯,Am∈U, A⊂⋃i=1mUiA \subset \bigcup_{i=1}^m U_iA⊂⋃i=1mUi,则称A1,⋯,AmA_1,\cdots,A_mA1,⋯,Am是一组有限子(开)覆盖。
紧集 AAA是紧集,如果AAA的任何开覆盖都有有限子覆盖,它有两个重要的性质:
总结
以上是生活随笔为你收集整理的UA MATH523A 实分析1 集合论基础6 一些点集拓扑基本概念的全部内容,希望文章能够帮你解决所遇到的问题。
- 上一篇: UA STAT687 线性模型理论I 线
- 下一篇: UA SIE545 优化理论基础0 优化