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=1m?Ui?,則稱A1,?,AmA_1,\cdots,A_mA1?,?,Am?是一組有限子(開)覆蓋。
緊集 AAA是緊集,如果AAA的任何開覆蓋都有有限子覆蓋,它有兩個重要的性質:
總結
以上是生活随笔為你收集整理的UA MATH523A 实分析1 集合论基础6 一些点集拓扑基本概念的全部內容,希望文章能夠幫你解決所遇到的問題。
- 上一篇: UA STAT687 线性模型理论I 线
- 下一篇: UA SIE545 优化理论基础0 优化